对于不完全为 0 的非负整数 a，b，gcd（a，b）表示 a，b 的最大公约数

必然存在整数对 x，y ，使得 gcd（a，b）=ax+by

　　Tarjan算法是基于对图深度优先搜索的算法，每个强连通分量为搜索树中的一棵子树。

　　搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。