| 157 | } |
| 158 | |
| 159 | void test_10() { |
| 160 | vvi adj(4); |
| 161 | |
| 162 | adj[0].push_back(1); |
| 163 | adj[1].push_back(0); |
| 164 | adj[2].push_back(1); |
| 165 | adj[2].push_back(3); |
| 166 | adj[3].push_back(2); |
| 167 | |
| 168 | pair<union_find, vi> res = scc(adj); |
| 169 | union_find scc = res.first; |
| 170 | vi dag = res.second; |
| 171 | |
| 172 | assert_equal(scc.find(0), scc.find(1)); |
| 173 | assert_equal(scc.find(2), scc.find(3)); |
| 174 | assert_not_equal(scc.find(0), scc.find(2)); |
| 175 | |
| 176 | assert_equal(scc.find(0), scc.find(dag[0])); |
| 177 | assert_equal(scc.find(2), scc.find(dag[1])); |
| 178 | } |
| 179 | |
| 180 | void test_11() { |
| 181 | vvi adj(10); |
no test coverage detected