2-sat
Icefox_zhx
这个作者很懒,什么都没留下…
展开
-
CF875C National Property(简化版的2-sat)
这题原来是2-sat,果然还是我太弱,哪会什么2-sat呀。。以为随便模拟呢x 这题应该是个简化版的2-sat,先把前缀都合并了,然后考虑两个相邻串的大小问题,显然只与第一个不同的数字有关,记前一个串的为x,后一个串的为y。 则若x>y,为了满足条件,x必须大写。 若x< y,为了满足条件,如果y大写了,x也一定要大写,我们就建一条有向边(y->x)。然后用一遍dfs把所有需要变成大写的都变成原创 2017-10-17 22:20:14 · 572 阅读 · 0 评论 -
bzoj1997 [Hnoi2010]Planar(平面图+2-sat)
平面图的一个性质:m<=3n-6. 因此我们可以把边数也变成O(n)级别的。 相当于给了我们一个环,然后若干条边,要么放在环内,要么放在环外。 如果相交则必须一内一外。 用2-sat判定即可。 复杂度O(Tn2)O(Tn^2)原创 2018-04-13 22:15:44 · 216 阅读 · 0 评论 -
poj2749 Building roads(二分答案+2-sat)
求任意两点间最大距离最小。我们二分答案,每次用2-sat去判定是否可行。 三种限制: 1、i,j不能连同一个。 2、i,j必须连同一个 3、i连k1,j连k2就超了的话,这俩互斥。原创 2018-04-13 17:13:19 · 259 阅读 · 0 评论 -
poj2723 Get Luffy Out(二分答案+2-sat)
二分答案,然后2-sat判定是否合法。原创 2018-04-13 16:04:48 · 165 阅读 · 0 评论 -
poj3648 Wedding(2-sat)
首先每个人一个标号,然后每个人分为0–和bride一侧 1–和groom一侧两个点。夫妻不能同侧,建边。有**的不能都是1,建边。然后规定groom必须为1,bride必须为0.我本来写对了,然而对着一个正确的程序调了半天【再见】原创 2018-04-13 15:22:04 · 174 阅读 · 0 评论 -
poj3678 Katu Puzzle(2-sat)
每个点不是0就是1,要满足一些限制,很2-sat。 根据每种运算限制来建图即可。 这里有一些不同于前面几道题的情况,那就是有了类似xi=1这种只有一个元素的限制。 对于这种限制我们怎么办呢?我们让他们去自相矛盾,即如果x必须=1,建边(x0->x1),这样就不可能让x=0了。这样之后好像就不太满足对称性了,为什么还是可以缩点去做呢?因为爱情!(划去),自己去画图理解下吧。。。#include原创 2018-04-13 11:45:45 · 177 阅读 · 0 评论 -
poj3683 Priest John's Busiest Day(2-sat)
2-sat,需要输出方案。我们tarjan缩点之后,建新图时建反图,方便我们倒着拓扑序。 我们从底往上走,如果这个点i还未被选择/删除,就选择i,删除i’(这里我认为只需删除i’,而不需要去dfs删i’的前代,因为i’的前代一定是i的后代,而i的后代后已经做完了)然后按顺序输出即可。原创 2018-04-13 10:34:38 · 417 阅读 · 0 评论 -
poj3207 Ikki's Story IV - Panda's Trick(2-sat)
枚举所有边对,如果会相交,就说明必须一个在内,一个在外,建图即可。 跑tarjan缩scc,如果一条边既必须在内又必须在外则无解,否则一定有解。原创 2018-04-13 08:53:30 · 158 阅读 · 0 评论 -
bzoj2199 [Usaco2011 Jan]奶牛议会(2-sat)
直接枚举每一种方案是否可行即可。 复杂度O(nm)O(nm)原创 2018-04-11 23:23:28 · 173 阅读 · 0 评论 -
bzoj3495 PA2010 Riddle(2-sat+建图优化)
我们把每个点当不当首部作为两种选择,得到了一个很显然的2-sat。但是对于m个点中有且仅有一个点当首都这个条件我们的建边是O(n^2)的,gg我们考虑如何优化这个建图,如果我们选择第i个点作为首都,则1~i-1都不能当首都,i+1~m也都不能。于是我们想到前缀和后缀和优化,新建2m个点,分别表示1~i有没有首都,i~n有没有首都。然后我们把这些点之间的限制关系建出来,边数就是O(n)的。原创 2018-04-15 22:17:30 · 210 阅读 · 0 评论 -
bzoj1823 [JSOI2010]满汉全席(2-sat)
挺裸的2-sat原创 2018-04-15 19:02:31 · 231 阅读 · 0 评论 -
bzoj4945 [Noi2017]游戏(2-sat+枚举)
如果没有x那就是很标准的2-sat模型。 每个点两种选择,上第一种车或第二种,要求i,oi,j,oi就建边i,oi->j,oj,建边j,oj^!->i,oi^1那对于x怎么办呢?这是3-sat呀qaq还好x的很少,我们可以枚举他为不能上A或不能上B(可以发现,不用枚举不能上C,因为前面的两种情况已经枚举全了)。 复杂度O(2d(n+m))O(2^d(n+m))原创 2018-04-24 10:29:23 · 292 阅读 · 0 评论