Я уже 3 часа пытаюсь изучить алгоритм Тарьяна из Википедии, но никак не могу понять. :(
http://en.wikipedia.org/wiki/Tarjan's_strongly_connected_components_algorithm#cite_note-1
Почему это поддерево дерева DFS? (на самом деле DFS создает лес? o_O)
И почему v.lowlink=v.index
подразумевает, что v
является корнем?
Может ли кто-нибудь объяснить мне это / дать интуицию или мотивацию этого алгоритма?