USACO Steeplechase: алгоритм Dinic / изменения в указателе не регистрируются

Отказ от ответственности: не весь код, который я использовал для решения проблемы, необходим для ответа на мой вопрос, но я предоставлю остальное, если это необходимо.

Проблема (если необходим контекст): http://www.usaco.org/index.php?page=viewproblem2&CPID = 93

#include <iostream>
#include <stdio.h>
#include <stdlib.h>
#include <vector>
#include <queue>
#include <algorithm>
#include <cmath>

using namespace std;

#define INF 1000000000

struct Edge{
int from, to, cap, flow;
Edge* backwards;
Edge(int a, int b, int c, int d): from(a), to(b), cap(c), flow(d) {}
};

struct Dinic{
int n, source, sink, dist [1000];
queue<int> q;
vector<Edge> adjacency [1000];
bool blocked [1000];
Dinic(int x): n(x), source(n++), sink(n++) { }
void add(int v1, int v2, int c, int f){
Edge e(v1, v2, c, f); Edge r(v2, v1, 0, 0);
e.backwards = &r; r.backwards = &e;
adjacency[v1].push_back(e); adjacency[v2].push_back(r);
}
bool bfs(){
q = queue<int>(); fill_n(dist, 1000, -1); dist[sink] = 0; q.push(sink);
while(q.size() > 0){
int node = q.front(); q.pop();
if(node == source) return true;
for(int i = 0; i < adjacency[node].size(); i++){
if(adjacency[node][i].backwards->cap > adjacency[node][i].backwards->flow && dist[adjacency[node][i].to] == -1){
dist[adjacency[node][i].to] = dist[node]+1;
q.push(adjacency[node][i].to);
}
}
}
return dist[source] != -1;
}
int dfs(int pos, int mini){
if(pos == sink) return mini;
int flowy = 0;
for(int i = 0; i < adjacency[pos].size(); i++){
int curr = 0;
if(!blocked[adjacency[pos][i].to] && dist[adjacency[pos][i].to] == dist[pos]-1 && adjacency[pos][i].cap > adjacency[pos][i].flow){
curr = dfs(adjacency[pos][i].to, min(mini-flowy, adjacency[pos][i].cap-adjacency[pos][i].flow));
adjacency[pos][i].flow += curr; adjacency[pos][i].backwards->flow -= adjacency[pos][i].flow;
flowy += curr;
}
if(flowy == mini) return flowy;
}
blocked[pos] = flowy != mini;
return flowy;
}
int flow(){
int ret = 0; fill_n(blocked, 1000, false);
while(bfs()){
fill_n(blocked, 1000, false);
ret += dfs(source, INF);
cout << ret << endl;
}
return ret;
}
};

Задача существенно сужается до нахождения минимального числа вершин, которые составляют покрытие вершин двудольного графа. Я смог успешно построить указанный граф в невидимой части моего кода, но моя проблема заключается в том, чтобы запустить на нем алгоритм Диника.

При этом я продолжаю получать бесконечный цикл, который происходит из-за ошибки в методе «dfs ()». Всякий раз, когда я пытаюсь обновить указатель «обратный край», он не сохраняет изменения, как предполагалось, в результате один и тот же путь берется снова и снова.

Я очень плохо знаком с использованием указателей, и мне не удалось найти решение или объяснение моей проблемы, связанной с указателями, после нескольких часов поиска.

Пожалуйста, помогите, и спасибо заранее!

РЕДАКТИРОВАТЬ: Добавлено в сегмент кода, который отображает проблему.

Dinic solve(3);
solve.add(0, 3, 1, 0);
solve.adjacency[3][0].backwards->flow = 1;
cout << solve.adjacency[0][0].flow << endl; //prints out 0 instead of 1