stefiosif/reachability-algorithms
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add new tests, remove duplicate tests (scc creation ~ tarjan's algorithm)

Browse Source
This commit is contained in:
stefiosif
2022-07-20 23:46:50 +03:00
parent fe3bb68c18
commit 41e5bead43
2 changed files with 90 additions and 116 deletions
Download Patch File Download Diff File Expand all files Collapse all files

84
test/graph_test.cc
View File

@@ -9,7 +9,7 @@ using namespace graph;
TEST_SUITE("Graph") {
TEST_CASE("Reverse") {
TEST_CASE("Digraph::reverse") {
// 1 --> 2 --> 4 --> 1
// 2 --> 3 --> 5 --> 7 --> 3
// 5 --> 9 --> 6 --> 8 --> 9
@@ -26,11 +26,11 @@ TEST_SUITE("Graph") {
G.insert(8, 9);
G.insert(9, 6);
REQUIRE_EQ(G.vertices.size(), 9);
REQUIRE_EQ(G.adjMatrix.size(), 9);
auto RG = G.reverse();
auto R = G.reverse();
std::map<std::uint16_t, std::set<std::uint16_t>> exp = {
std::map<std::uint16_t, std::set<std::uint16_t>> X = {
{1, {4}},
{2, {1}},
{3, {2, 7}},
@@ -42,81 +42,7 @@ TEST_SUITE("Graph") {
{9, {5, 8}}
};
CHECK_EQ(RG.adjMatrix, exp);
CHECK_EQ(R, X);
}
TEST_CASE("SCC T1") {
// 1 --> 2 --> 4 --> 1
// 2 --> 3 --> 5 --> 7 --> 3
// 5 --> 9 --> 6 --> 8 --> 9
Digraph<std::uint16_t> G;
G.insert(1, 2);
G.insert(2, 3);
G.insert(2, 4);
G.insert(3, 5);
G.insert(4, 1);
G.insert(5, 7);
G.insert(5, 9);
G.insert(6, 8);
G.insert(7, 3);
G.insert(8, 9);
G.insert(9, 6);
REQUIRE_EQ(G.vertices.size(), 9);
algo::Tarjan<std::uint16_t> tarjan(G);
auto sccs = tarjan.execute();
}
TEST_CASE("SCC T2") {
// 1 --> 2 --> 5 --> 7 --> 2
// 1 --> 4 --> 3 --> 1
// 4 --> 6 --> 3
Digraph<std::uint16_t> G;
G.insert(1, 2);
G.insert(1, 4);
G.insert(2, 5);
G.insert(3, 1);
G.insert(4, 3);
G.insert(4, 6);
G.insert(5, 7);
G.insert(6, 3);
G.insert(7, 2);
REQUIRE_EQ(G.vertices.size(), 7);
algo::Tarjan<std::uint16_t> tarjan(G);
auto sccs = tarjan.execute();
}
TEST_CASE("SCC T3") {
// 1 --> 2 --> 3 --> 1
// 3 --> 4 --> 5 --> 3
// 2 --> 6 --> 7 --> 8 --> 6
// 6 --> 9 --> 10 --> 11 --> 12 --> 13 --> 9
// 12 --> 10
Digraph<std::uint16_t> G;
G.insert(1, 2);
G.insert(2, 3);
G.insert(3, 1);
G.insert(3, 4);
G.insert(4, 5);
G.insert(5, 3);
G.insert(2, 6);
G.insert(6, 7);
G.insert(7, 8);
G.insert(8, 6);
G.insert(6, 9);
G.insert(9, 10);
G.insert(10, 11);
G.insert(11, 12);
G.insert(12, 13);
G.insert(13, 9);
G.insert(12, 10);
REQUIRE_EQ(G.vertices.size(), 13);
algo::Tarjan<std::uint16_t> tarjan(G);
auto sccs = tarjan.execute();
}
}