Правильность алгоритма Диница

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <vector>
#include <algorithm>
#include <utility>
#include <queue>
 
using namespace std;
typedef long long ll;
 
const ll maxv = 10000, maxe = 100000;
ll ef[maxe], es[maxe], ev[maxe], first[maxv], nexti[maxe], c = 0, n, m, s, t, inf = 9999999999LL;
vector<char> good(maxe, true);
vector<ll> level(maxv, 0);
queue<ll> q;
 
void add(ll v1, ll v2, ll val)
{
    nexti[++c] = first[v1]; first[v1] = c;
    ef[c] = v1; es[c] = v2; ev[c] = val;
}
 
void input()
{
    cin >> n >> m >> s >> t;
    ll x, y, z;
    for (ll i = 0; i<m; ++i)
    {
        cin >> x >> y >> z;
        add(x, y, z);
    }
}
 
void bfs()
{
    q.push(s);
    level[s] = 1;
    while (!q.empty())
    {
        ll v = q.front(); q.pop();
        for (ll h = first[v]; h; h = nexti[h])
        if (ev[h] > 0 && level[es[h]] == 0)
        {
            level[es[h]] = level[v] + 1;
            q.push(es[h]);
        }
    }
}
 
ll dfs(ll v, ll flow)
{
    if (v == t) return flow;
    ll temp = 0, res = 0;
    for (ll h = first[v]; h; h = nexti[h])
    {
        if (ev[h]>0 && level[es[h]] == level[v] + 1)
        {
            temp = dfs(es[h], min(flow, ev[h]));
            if (temp == 0)
            {
                ev[h] = 0;
                return 0;
            }
            ev[h] -= temp;
            res += temp;
        }
    }
    return res;
}
 
int main()
{
    //freopen("input.txt","r",stdin);
    //freopen("output.txt","w",stdout);
    input();
    ll flow = 0, ans = 0;
    do
    {
        bfs();
        ans = dfs(s, inf);
        flow += ans;
        level.clear();
        level.resize(n+1);
    } while (ans);
    cout << flow;
    system("pause");
    return 0;
}