没有详细算法，全是看课件笔记。
bfs O(|V|+|E|)
二部图(bipartite)
bipartite graph <=> 不存在odd cycle
强连通
s可以到达t，t也可以到达s。
任意节点s，bfs G，可以到达任意节点t
任意节点s，bfs Greverse，可以到达任意节点t
则为强连通图。
强连通分量，强连通的最大子集
tarjian O(|V|+|E|)时间内可以找到所有的强连通分量
DAG（Directed Acyclic Graph）
有向无环图 <=> 拥有拓扑排序
拓扑排序 O(|V|+|E|)
并查集
蝴蝶分类问题 带偏移量的并查集
http://blog.csdn.net/mmc2015/article/details/50153739
