test/aoj/course/GRL_7_A.test.cpp

// competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/GRL_7_A
#include <cassert>
#include <iostream>
#include "flow/bipartite_matching.hpp"
#include "flow/max_flow.hpp"

int main(void) {
    int x, y, e;
    std::cin >> x >> y >> e;
    mf_graph<int> mf(x + y + 2);
    BipartiteMatching bm(x, y);
    while (e--) {
        int s, t;
        std::cin >> s >> t;
        mf.add_edge(s, x + t, 1);
        bm.add_edge(s, t);
    }

    int s = x + y, t = s + 1;
    for (int i = 0; i < x; ++i) mf.add_edge(s, i, 1);
    for (int i = 0; i < y; ++i) mf.add_edge(x + i, t, 1);

    // マッチングの組は一意ではないため、サイズのみ突き合わせる。
    int ans = mf.flow(s, t);
    assert(ans == bm.matching());
    std::cout << ans << '\n';

    return 0;
}