2_SAT
Coco_T_
东南大学本科毕业生,浙江大学在读研究生
展开
-
2-SAT(随意写点)
今年noi考了一道2-SAT裸题,害怕今年省选会出到,只能填坑SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题,简称 k-SAT。 当k>2时,k-SAT是NP完全的。因此一般讨论的是k=2的情况,即2-SAT问题。 2-SAT,简单的说就是给出n个集合,每个集合有两个元素, 已知若干个 < a,b >,表示a与b矛盾(其中a与b属于...原创 2017-09-17 08:11:29 · 10888 阅读 · 2 评论 -
poj3207 Ikki's Story IV - Panda's Trick(2 SAT)
题目链接题意: 平面上有一个圆,圆的边上按顺时针放着n个点 现在要连m条边(a,b),a到b可以从圆的内部连接,也可以从圆的外部连接 信息中,每个点最多只会连接的一条边,问能不能连接这m条边,使这些边都不相交分析: 经典的2_SAT问题建图:对于一条边i,在圆内记为i,在圆外记为i’。设边iii连接点A,BA,BA,B,边jjj连接点C,DC,DC,D iii与jjj在圆...原创 2018-03-07 16:52:30 · 240 阅读 · 0 评论 -
poj3683 Priest John's Busiest Day(2_SAT【方案)
题目链接题意: N对夫妇计划在同一天结婚, 第i对夫妇计划在Si到Ti之间举行婚礼,第i对夫妇需要Di分钟来完成一个特殊的仪式,此外,这个仪式必须在婚礼的开始或结束时(即它必须从Si到Si + Di,或从Ti-Di到Ti) 问如何安排可以使John在每一个婚礼特别仪式上出席分析: 我们需要在每一场婚礼的开始或结束中选择一段举行仪式,使得n场婚礼没有冲突 显然是一个2 SAT问题,那...原创 2018-03-07 19:50:36 · 196 阅读 · 0 评论 -
hdu1814 Peaceful Commission(2 SAT【字典序最小解)
题目链接题意: 著名的和平委员会选举问题 委员会必须满足以下条件: 1.每一方在委员会只有一名代表 2.如果两位代表相互讨厌,他们不能同时入选委员会分析: 经典2 SAT问题设(A,A′),(B,B′)(A,A′),(B,B′)(A,A'),(B,B') 如果A,BA,BA,B之间存在矛盾:A−>B′,B−>A′A−>B′,B−>A′A->B',B-...原创 2018-03-07 21:01:01 · 405 阅读 · 0 评论 -
poj3678 Katu Puzzle(2 SAT)
题目链接题意: 若干个点,每个点的取值非0即1,点对之间存在一些边,边的权值由两端点的权值(AND,OR,XOR)得到的 给出边的权值,询问是否存在合法的点权分析: 很明显的2 SAT痕迹 我们可以通过边权的运算符号得到一些奇怪的限制设(x1,x2),(y1,y2)(x1,x2),(y1,y2)(x_1,x_2),(y_1,y_2),x1,y1x1,y1x_1,y_1代表选0,...原创 2018-03-08 08:24:05 · 211 阅读 · 0 评论 -
poj3648 Wedding(2 SAT)
题目链接题意: 有一对新人结婚,邀请n对夫妇去参加婚礼 有一张很长的桌子,人只能坐在桌子的两边,还要满足下面的要求:每对夫妇不能坐在同一侧 n对夫妇之中可能有通奸关系,有通奸关系的不能同时坐在新娘的对面,可以分开坐,可以同时坐在新娘这一侧新郎新娘不能坐在同一侧 如果存在一种可行的方案,输出与新娘同侧的人分析: 题目描述真的是。。。我们构造一个图,选出要坐在新娘对面...原创 2018-03-08 10:07:32 · 204 阅读 · 0 评论 -
poj2723 Get Luffy Out(2 SAT+二分)
题目链接题意: (翻译软件没有直接读原文好使。。。) M扇大门,每扇门上有两把锁,只要打开门上的一把锁就可以通过此门 一共有2*N种锁,每种对应一把钥匙,分成了n组,一旦使用了一组中的一把钥匙,另一把钥匙就会就此消失 问是否有合法方案分析: 2 SAT 显然,这n组钥匙就是我们的集合了(非此即彼)我先想了一个小例子: 如果b和c是一组,我们在第二扇门上选择打开c锁,那...原创 2018-03-08 16:31:20 · 228 阅读 · 0 评论 -
poj2749 Building roads(2 SAT+二分)
题目链接题目翻译分析: 每头奶牛的谷仓需要连接到S1或S2(非此即彼) 奶牛之间还有一些奇怪的限制:设xxx表示连向S1,x′x′x'表示连向S2 (x,y)(x,y)(x,y) likelikelike:x−>y,y−>x,x′−>y′,y′−>x′x−>y,y−>x,x′−>y′,y′−>x′x->y,y->x,x'->y',...原创 2018-03-08 20:18:24 · 198 阅读 · 0 评论