2-SAT
文章平均质量分 84
Cyhlnj
这个作者很懒,什么都没留下…
展开
-
Poj2723:Get Luffy Out
题意 给出 n 对钥匙,每对只能挑一把使用,每把只能用一次,当一对钥匙中的一把被使用后,另一把也就不能再用了;然后给出 m 道门,每个门都有两把钥匙可以打开,问最多能开几道门(按给出的顺序开)。 Sol 这不就是HNOIHNOIHNOI超级英雄吗? 上次写的二分图匹配 这次写个2−SAT2−SAT2-SAT 二分答案+2−SAT2−SAT2-SAT判定 注意不要漏 # incl...原创 2018-02-23 15:29:17 · 246 阅读 · 0 评论 -
Poj2749:Building roads
题意 有 N 个牛栏,现在通过一条通道(s1,s2)要么连到s1,要么连到s2,把他们连起来,他们之间有一些约束关系,一些牛栏不能连在同一个点,一些牛栏必须连在同一个点,现在问有没有可能把他们都连好,而且满足所有的约束关系,如果可以,输出距离最大的两个牛栏之间距离最小值(两点距离是指哈密顿距离) Sol 二分答案+2−SAT2−SAT2-SAT判定 每次二分答案,把枚举两个点距离>...原创 2018-02-23 19:11:14 · 172 阅读 · 0 评论 -
2-SAT
简介 2-SAT是一类适定性问题 适定性问题? 通俗的说就是确定是否可以满足所有的条件 k-SAT 有很多个集合,每个集合里面有若干元素,现给出一些取元素的规则,要你判断是否可行,可行则给出一个可行方案。如果所有集合中,元素个数最多的集合有k个,那么我们就说这是一个k-sat问题 3-SAT乃至k更大的情况已经被证明为是 NP完全问题了 2-SAT 在更多的情况下,2-...原创 2018-02-22 21:30:25 · 241 阅读 · 0 评论 -
Poj3683:Priest John's Busiest Day
题意 n对夫妻要结婚,第i对夫妻结婚的婚礼持续时间为[Si, Ti],他们会举行一个仪式,仪式时间为Di,这个仪式只能举行在开头或者结尾举行,要么[Si, Si+Di],要么[Ti-Di, Ti],然而举行仪式的牧师只有一个,问牧师能否举行完所有仪式 按输入顺序输出方案 手动翻译 Sol 2−SAT2−SAT2-SAT输出一组可行解 这个很烦 TarjanTarjanTarjan...原创 2018-02-23 22:10:42 · 183 阅读 · 0 评论 -
Poj3678:Katu Puzzle
大概题意 有nnn个数,可以为0/10/10/1,给mmm个条件,表示某两个数经过or,and,xoror,and,xoror, and, xor后的数是多少 判断是否有解 Sol 2−SAT2−SAT2-SAT判定 建图 # include <iostream> # include <stdio.h> # include <stdlib.h>...原创 2018-02-22 22:09:02 · 212 阅读 · 0 评论 -
Bzoj1997: [Hnoi2010]Planar
题面 Bzoj Sol 平面图的性质:边数小于等于3n-6 然后就是裸2−SAT2−SAT2-SAT # include <bits/stdc++.h> # define RG register # define IL inline # define Fill(a, b) memset(a, b, sizeof(a)) using namespace std; type...原创 2018-02-24 17:21:48 · 206 阅读 · 0 评论 -
[NOI2017]游戏
Sol 然而我的代码在UOJUOJ上被hackhack TLE TLE了 但思路是没问题的TATTAT 如果没有xx,就是个2−SAT2−SAT 我们爆搜xx的地图是aa还是bb就好了 不用枚举它是cc,枚举aa,bb就能保证正好选ABCABC三种车 我也不知道我的输出方案哪里学的 拓扑排序+染色QAQQAQ 如果觉得自己的代码优秀就去UOJUOJ上交吧(逃 # include...原创 2018-03-28 22:10:36 · 279 阅读 · 0 评论