![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
ACM_图论
文章平均质量分 80
8毛_
心若在,梦就在!
展开
-
2-sat系列(二) POJ 3678 Katu Puzzle
【题目大意】n个布尔变量Xi,现在有m个约束条件,给出a op b = c,给出每个a b c 和 op。其中op可能是AND,OR,XOR。要求这n个布尔变量是否存在一组可能的取值,使得满足所有的约束条件。【思路分析】这题的构图的思路并不难,因为每个点就只有2种状态0或者1,所以构图就显得容易!我们设a为0,a'为1,b为0,b‘为1那么根据3种操作符和c的值就可以构建下面这些边原创 2012-09-14 18:38:00 · 758 阅读 · 0 评论 -
2-sat系列(一) POJ 2723 Get Luffy Out
题意:有2n把钥匙,分成2组,给你每组的钥匙信息,并且每组的钥匙只能用一个。m个门,每个门有2个锁,只要打开一个锁这个门就开了。(顺序遇见m个门)问你最多能够打开多少个门。建边方式:(需要建2类边,对于每组钥匙(A,B),增加点对(A',B'))1:n 对钥匙中,A 和 B 只能选择一把,用点A 默示选择钥匙 A ,用 A’ 默示不选择(同理用点B 和B‘ 默示钥匙 B 的选择关系),建边原创 2012-12-05 12:48:37 · 371 阅读 · 0 评论 -
强连通&&双连通
1.至少添加几条边,使有向图边成强连通图思路:将有向图求强连通分量(SCC),缩点后变成有向无环图(DAG)!根据缩点后的新图,分别统计入度为0的结点个数(假设有a个),出度为0的结点个数(假设有b个)! 则max(a,b)就是答案!注:这里的结点指得是缩点后的结点,即对应原图的一个强连通分量例题:http://acm.hdu.edu.cn/showproblem.php?pi原创 2013-02-19 10:58:37 · 407 阅读 · 0 评论