Hello everyone!
Having found the SCC of a directed graph G, how can I contract each SCC to a single node?
Thanks.
# | User | Rating |
---|---|---|
1 | ecnerwala | 3649 |
2 | Benq | 3581 |
3 | orzdevinwang | 3570 |
4 | Geothermal | 3569 |
4 | cnnfls_csy | 3569 |
6 | tourist | 3565 |
7 | maroonrk | 3531 |
8 | Radewoosh | 3521 |
9 | Um_nik | 3482 |
10 | jiangly | 3468 |
# | User | Contrib. |
---|---|---|
1 | maomao90 | 174 |
2 | awoo | 164 |
3 | adamant | 162 |
4 | TheScrasse | 159 |
5 | nor | 158 |
6 | maroonrk | 156 |
7 | -is-this-fft- | 151 |
8 | SecondThread | 147 |
9 | orz | 146 |
10 | pajenegod | 145 |
Hello everyone!
Having found the SCC of a directed graph G, how can I contract each SCC to a single node?
Thanks.
Name |
---|
Suppose you know C[v] — which component contains node v.
Now you scan through edges of the original graph, let current one be x->y.
Then you should add an edge C[x]->C[y] in compressed graph if C[x] is not equal to C[y].
Yes, and you should also remember to mark which edges have already been added so you don't double count any edge. You can use a boolean array or an edge set
What's so bad about keeping a multi-edge in DAG? :P
If we have to do some traversal in the compressed graph we are going to waste some operations while scanning the adjacency list of each vertex :P
I'd rather use disjoint sets. It doesn't require too much memory and I think it's faster than an edge set :D and are VERY easy to code
How can i use disjoint sets for this purpose? I have never seen this application, i usually use DSU for Kruskal's only :P
Nvm, bullsh*t in rev1
Awesome! It's really simple, you are right, this is the easiest/most efficient option.
But if you have edges X->Y, Y->Z, X->Z, won't you miss one of them this way?
omg you are right, I remember I used disjoint sets but it wasn't this way. Nvm thanks!
Other valid option would be using a hash function so you can check in O(1) whether the edge exists or not! It should be easy to come up with a function that wont generate collisions since amount of edges is usually small :)
EDIT : never used unordered set, but this may actually be the implementation of what i said above
UPD: I am sorry, there is nothing correct here :(
Won't it be more efficient supposing there won't be collisions? I'm assuming you will use map data structure to associate integers to each edge
I am sorry, I have no idea what I was thinking at that moment but I suppose it was something wrong :(