1.强连通分量缩点完后是一个DAG（大家应该都知道吧）
2.将缩点完后的点的编号倒序输出，就是缩点完后的图的拓扑排序。
3.边双连通分量缩点完后，一定是一棵树。
4.这棵树的树根是编号最大的那个点。