图论
文章平均质量分 81
nothi
这个作者很懒,什么都没留下…
展开
-
2-SAT相关
什么是2-SAT? 其实2-SAT,就是有很多组人,每组有只有两个成员,要你从每组中选一个人。其中,有一些人有矛盾不能同时选。如果抽象的说,就是有n个集合,每个集合有两个元素,从每个集合中选出一个元素,其中有一些元素不能同时选。判定是否有一种方案可以满足上列的条件。2-SAT的主要问题? 是否有解,如果有解给出一组可行解,有时有要求字典序最小的解。主要原创 2012-07-09 12:25:22 · 813 阅读 · 0 评论 -
三种tarjan算法(上)
前几天做了一下有关tarjan算法的专题。这篇算是做一个总结吧。求强连通分量求无向图的割和桥最近公共祖先求强连通分量 基本概念: 强连通是有向图才有的概念。一个有向图是强连通的是对于每个有序对 u,v,存在一条从 u到v 的路径。一个有向图的强连通分量是指它的极大连通子图。就是你可以从 a地走到 b 地,同样可以从b地走到a地,a,b就是连通的。原创 2012-07-12 15:07:23 · 7059 阅读 · 1 评论