test/cpv/library-checker-graph/scc.kosaraju.cpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // competitive-verifier: PROBLEM https://judge.yosupo.jp/problem/scc | ||
| 2 | #include "../../../src/graph/scc/kosaraju/lib.hpp" | ||
| 3 | #include "../../../src/io/container/lib.hpp" | ||
| 4 | |||
| 5 | using namespace tifa_libs; | ||
| 6 | 12 | int main() { | |
| 7 |
1/2✓ Branch 2 taken 12 times.
✗ Branch 3 not taken.
|
12 | std::cin.tie(nullptr)->std::ios::sync_with_stdio(false); |
| 8 | u32 n, m; | ||
| 9 |
2/4✓ Branch 1 taken 12 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 12 times.
✗ Branch 5 not taken.
|
12 | std::cin >> n >> m; |
| 10 | 12 | alist g(n); | |
| 11 |
2/2✓ Branch 0 taken 4208808 times.
✓ Branch 1 taken 12 times.
|
4208820 | for (u32 i = 0, u, v; i < m; ++i) { |
| 12 |
2/4✓ Branch 1 taken 4208808 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 4208808 times.
✗ Branch 5 not taken.
|
4208808 | std::cin >> u >> v; |
| 13 | 4208808 | g.add_arc(u, v); | |
| 14 | } | ||
| 15 | 12 | kosaraju scc(g); | |
| 16 |
2/4✓ Branch 2 taken 12 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 12 times.
✗ Branch 6 not taken.
|
12 | std::cout << scc.dag.vsize() << '\n'; |
| 17 |
5/8✓ Branch 4 taken 4054667 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 4054667 times.
✗ Branch 8 not taken.
✓ Branch 12 taken 4054667 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 4054667 times.
✓ Branch 15 taken 12 times.
|
4054679 | flt_ (u32, i, 0, scc.dag.vsize()) std::cout << scc.belongs[i].size() << ' ' << scc.belongs[i] << '\n'; |
| 18 | 12 | return 0; | |
| 19 | 12 | } | |
| 20 |