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

Fix bug that would make ids connect to a different component

Browse Source
This commit is contained in:
stefiosif
2022-09-21 19:30:26 +03:00
parent 7d2d9fd82c
commit 7345a28945
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
algorithm/tarjan.h
View File

@@ -28,6 +28,7 @@ private:
std::stack<T> S; std::stack<T> S;
std::int16_t index = 0; std::int16_t index = 0;
std::vector<SCC<T>> SCCs; std::vector<SCC<T>> SCCs;
T cid;
struct Vertex { struct Vertex {
int index = -1; int index = -1;
@@ -56,6 +57,7 @@ void Tarjan<T>::strongConnect(const T& u) {
if (vmap[u].lowlink == vmap[u].index) { if (vmap[u].lowlink == vmap[u].index) {
std::map<T, std::set<T>> scc; std::map<T, std::set<T>> scc;
bool finished = false; bool finished = false;
cid = S.top();
do { do {
const auto w = S.top(); const auto w = S.top();
@@ -65,7 +67,7 @@ void Tarjan<T>::strongConnect(const T& u) {
finished = (w == u); finished = (w == u);
} while (!finished); } while (!finished);
SCCs.push_back({ scc, static_cast<T>(vmap[u].lowlink + 1) }); SCCs.push_back({ scc, static_cast<T>(cid) });
} }
} }