最便宜的手机GPS Mount,实用,不提美观# PDA - 掌中宝
e*s
1 楼
stack invariant 如何理解
http://en.wikipedia.org/wiki/Tarjan%27s_strongly_connected_comp
"
When the depth-first search recursively explores a node v and its
descendants, those nodes are not all necessarily popped from the stack
before this recursive call returns. The crucial invariant property is that a
node remains on the stack after exploration if and only if it has a path to
some node earlier on the stack.
"
http://en.wikipedia.org/wiki/Tarjan%27s_strongly_connected_comp
"
When the depth-first search recursively explores a node v and its
descendants, those nodes are not all necessarily popped from the stack
before this recursive call returns. The crucial invariant property is that a
node remains on the stack after exploration if and only if it has a path to
some node earlier on the stack.
"
