Free-Man

<br />差分约束法：在题目中给出不等式条件，然后让我们求符合这些条件的值。我们可以把所有的元素转换为图的顶点，把不等式的右边变为权值，构建一个图。如:v1 - v2 <= c也就是说 v1 <= c + v2即添加由v2指向v1的边   权值为c给一个顶点赋一个初值，然后以其为起点，对图做最小路径的搜索。一个顶点从起点到他的最短路径一定是满足所有条件的。注意:c可能是负数( Bell-man,SPFA )，当有负值环的时候无解。有时候题目没有直接给我们不等式，但是有条件。而这些条件等够转换成不等式。最小

转自:http://apps.hi.baidu.com/share/detail/15830459在有向图G中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。下图中，子图{1,2,3,4}为一个强连通分量，因为顶点1,2,3,4两两可达。{5},{6}也分别是两个强连通分量。直接根据定义，用双向遍历取