test/aoj/jag/hopcroft_karp.2.test.cpp

• View this file on GitHub
• Last update: 2025-06-07 05:15:30+09:00
• Problem: https://onlinejudge.u-aizu.ac.jp/problems/2976

Depends on

• Hopcroft-Karp algorithm (lib/flow/hopcroft_karp.hpp)
• 素集合データ構造 (lib/tree/union_find.hpp)

Code

// competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/2976
#include "flow/hopcroft_karp.hpp"
#include <iostream>
#include <set>
#include <utility>
#include <vector>
#include "tree/union_find.hpp"

int main(void) {
    int n, m;
    std::cin >> n >> m;
    std::vector<std::pair<int, int>> a(m);
    for (auto &[x, y] : a) std::cin >> x >> y, --x, --y;

    hopcroft_karp mf(n, n);
    for (int i = 0; i < m; ++i) {
        auto [x, y] = a[i];
        mf.add_edge(x, y);
    }
    int ansX = m - mf.matching();

    union_find uf(n * 2 + m);
    for (int i = 0; i < m; ++i) {
        auto [x, y] = a[i];
        uf.unite(i, m + x);
        uf.unite(i, m + n + y);
    }
    std::set<int> st;
    for (int i = 0; i < m; ++i) st.emplace(uf.root(i));
    int ansY = m - st.size();

    std::cout << ansX << ' ' << ansY << '\n';

    return 0;
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 291, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus.py", line 242, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 479, in update
    self._resolve(pathlib.Path(included), included_from=path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 286, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
competitive_verifier.oj.verify.languages.cplusplus_bundle.BundleErrorAt: flow/hopcroft_karp.hpp: line -1: no such header

Test cases

Env	Name	Status	Elapsed	Memory
g++	testcase_00	AC	3 ms	4 MB
g++	testcase_01	AC	2 ms	4 MB
g++	testcase_02	AC	2 ms	4 MB
g++	testcase_03	AC	2 ms	4 MB
g++	testcase_04	AC	2 ms	3 MB
g++	testcase_05	AC	2 ms	3 MB
g++	testcase_06	AC	2 ms	4 MB
g++	testcase_07	AC	2 ms	4 MB
g++	testcase_08	AC	2 ms	3 MB
g++	testcase_09	AC	2 ms	4 MB
g++	testcase_10	AC	2 ms	3 MB
g++	testcase_11	AC	2 ms	4 MB
g++	testcase_12	AC	2 ms	4 MB
g++	testcase_13	AC	2 ms	3 MB
g++	testcase_14	AC	2 ms	3 MB
g++	testcase_15	AC	2 ms	4 MB
g++	testcase_16	AC	2 ms	4 MB
g++	testcase_17	AC	2 ms	4 MB
g++	testcase_18	AC	2 ms	4 MB
g++	testcase_19	AC	2 ms	4 MB
g++	testcase_20	AC	2 ms	3 MB
g++	testcase_21	AC	2 ms	3 MB
g++	testcase_22	AC	2 ms	4 MB
g++	testcase_23	AC	2 ms	3 MB
g++	testcase_24	AC	2 ms	3 MB
g++	testcase_25	AC	2 ms	4 MB
g++	testcase_26	AC	2 ms	3 MB
g++	testcase_27	AC	2 ms	3 MB
g++	testcase_28	AC	2 ms	3 MB
g++	testcase_29	AC	2 ms	3 MB
g++	testcase_30	AC	2 ms	4 MB
g++	testcase_31	AC	2 ms	4 MB
g++	testcase_32	AC	2 ms	4 MB
g++	testcase_33	AC	2 ms	4 MB
g++	testcase_34	AC	2 ms	4 MB
g++	testcase_35	AC	2 ms	4 MB
g++	testcase_36	AC	2 ms	4 MB
g++	testcase_37	AC	2 ms	4 MB
g++	testcase_38	AC	2 ms	4 MB
g++	testcase_39	AC	3 ms	4 MB
g++	testcase_40	AC	2 ms	4 MB
g++	testcase_41	AC	2 ms	4 MB
g++	testcase_42	AC	2 ms	3 MB
g++	testcase_43	AC	2 ms	3 MB
g++	testcase_44	AC	2 ms	3 MB
g++	testcase_45	AC	2 ms	4 MB
g++	testcase_46	AC	2 ms	4 MB

Back to top page