This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub knshnb/competitive_library
#define PROBLEM "https://judge.yosupo.jp/problem/scc" #include <bits/stdc++.h> // clang-format off using Int = long long; #define REP_(i, a_, b_, a, b, ...) for (Int i = (a), lim##i = (b); i < lim##i; i++) #define REP(i, ...) REP_(i, __VA_ARGS__, __VA_ARGS__, 0, __VA_ARGS__) struct SetupIO { SetupIO() { std::cin.tie(nullptr), std::ios::sync_with_stdio(false), std::cout << std::fixed << std::setprecision(13); } } setup_io; #ifndef _MY_DEBUG #define dump(...) #endif // clang-format on /** * author: knshnb * created: Fri Apr 3 13:28:22 JST 2020 **/ #define CALL_FROM_TEST #include "../../src/Graph/StronglyConnectedComponents.hpp" #undef CALL_FROM_TEST signed main() { int n, m; std::cin >> n >> m; StronglyConnectedComponents scc(n); REP(i, m) { int u, v; std::cin >> u >> v; scc.add_edge(u, v); } scc.build(); std::vector<std::vector<int>> groups(scc.size); REP(i, n) { groups[scc.belong_to[i]].push_back(i); } std::cout << scc.size << std::endl; for (auto& group : groups) { std::cout << group.size() << " "; for (int v : group) { std::cout << v << " "; } std::cout << "\n"; } }
#line 1 "test/yosupo/scc.test.cpp" #define PROBLEM "https://judge.yosupo.jp/problem/scc" #include <bits/stdc++.h> // clang-format off using Int = long long; #define REP_(i, a_, b_, a, b, ...) for (Int i = (a), lim##i = (b); i < lim##i; i++) #define REP(i, ...) REP_(i, __VA_ARGS__, __VA_ARGS__, 0, __VA_ARGS__) struct SetupIO { SetupIO() { std::cin.tie(nullptr), std::ios::sync_with_stdio(false), std::cout << std::fixed << std::setprecision(13); } } setup_io; #ifndef _MY_DEBUG #define dump(...) #endif // clang-format on /** * author: knshnb * created: Fri Apr 3 13:28:22 JST 2020 **/ #define CALL_FROM_TEST #line 1 "src/Graph/StronglyConnectedComponents.hpp" /// @docs src/Graph/StronglyConnectedComponents.md struct StronglyConnectedComponents { int n, size; // sizeはbuild()後に強連結成分の数を格納 std::vector<std::vector<int>> edge, redge; std::vector<int> belong_to; StronglyConnectedComponents(int n_) : n(n_), edge(n_), redge(n_) {} void add_edge(int u, int v) { assert(0 <= u && u < n && 0 <= v && v < n); edge[u].push_back(v); redge[v].push_back(u); } void build() { std::vector<int> ord; // post-order // 正方向の辺でdfs、post-orderをふる std::vector<bool> visited(n, false); auto dfs1 = [&](auto f, int v) -> void { if (visited[v]) return; visited[v] = true; for (int s : edge[v]) { f(f, s); } ord.push_back(v); }; for (int i = 0; i < n; i++) dfs1(dfs1, i); // post-order逆順にdfs、到達可能な同値類に分ける belong_to.assign(n, -1); int cur_group = 0; auto dfs2 = [&](auto f, int v) -> void { if (belong_to[v] != -1) return; belong_to[v] = cur_group; for (int s : redge[v]) { f(f, s); } }; std::reverse(ord.begin(), ord.end()); for (int i : ord) { if (belong_to[i] == -1) { dfs2(dfs2, i); cur_group++; } } size = cur_group; } bool has_loop() { build(); return size < n; } }; #line 19 "test/yosupo/scc.test.cpp" #undef CALL_FROM_TEST signed main() { int n, m; std::cin >> n >> m; StronglyConnectedComponents scc(n); REP(i, m) { int u, v; std::cin >> u >> v; scc.add_edge(u, v); } scc.build(); std::vector<std::vector<int>> groups(scc.size); REP(i, n) { groups[scc.belong_to[i]].push_back(i); } std::cout << scc.size << std::endl; for (auto& group : groups) { std::cout << group.size() << " "; for (int v : group) { std::cout << v << " "; } std::cout << "\n"; } }