3 ms·
I have always wanted to really understand this data structure. Sure, I can follow the analysis with the potential functions and all, but I never really understo
by hexomancer 4y ago
I have always wanted to really understand this data structure. Sure, I can follow the analysis with the potential functions and all, but I never really understood how Tarjan came up with the functions in the first place. Does anybody have a resource which intuitively explains the analysis?
- hashingroll 4y agoThis might a long read but it is well-written reader-friendly analysis of Tarjan's proof with chain of reasoning. https://codeforces.com/blog/entry/98275 https://codeforces.com/blog/entry/98275
- simonlindholm 4y agoHere's a writeup I made a while ago: https://www.overleaf.com/read/hjbshsqmjwpg https://www.overleaf.com/read/hjbshsqmjwpg
- sn9 4y agoRobert Sedgewick has a great explanation in his Algorithms book. He has gorgeous diagrams alongside his explanations.
- hexomancer 4y agoIs it in an old edition? I just downloaded an extremely legitimate version of Algorithms 4th edition but it has no section on union data structure.
- sn9 4y agoIt should be in Chapter 1 Section 5 of the 4th edition. It's even in the table of contents.
- hexomancer 4y agoSorry, my bad. I searched for the word "disjoint" expecting it to be prominent in this section but somehow this word only appears 3 times in this book non of which are in this section! Anyway, while the figures in this work were indeed gorgeous, it was not what I was looking for. It did not even contain a non-intuitive analysis of the inverse ackermann complexity, much less an intuitive one!