![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
_Mocha_
私はこの世界を深く愛している
展开
-
[POJ3207]Ikki's Story IV - Panda's Trick(2-SAT)
题目大意: 圆上顺序排列n个点,现要在一些点间连边,边只能在圆内或圆外,求有没有可能不相交 学习了2-SAT! 参考资料如下: 1、神犇写的巨无敌详细的博客 2、我觉得很好看的懂的论文好的那么我来捋一捋2-SAT的思路,首先对于一个选择进行拆点分成选和不选,对于约束关系,如果选了a不能选b的话,那就a向b的对称点连边。建图之后强联通缩点,如果有一对对称点在同一个连通分量那就说明无...原创 2018-04-11 14:01:12 · 257 阅读 · 0 评论 -
[POJ3683]Priest John's Busiest Day(2-SAT)
传送门题目大意:一个牧师要给n个婚礼进行仪式,给定婚礼开始的时间和结束的时间,仪式可以在婚礼开始的时候进行,也可以在婚礼结束前进行,问牧师能否完成所有的婚礼仪式并输出方案。还是经典的2-SAT模型,为什么呢,我们来分析: 首先,一场婚礼有两个时间可以选择,刚好对应2-SAT的两个对称点,其次我们需要满足所有的仪式进行,所以就出现了约束条件,那么2-SAT可以很好的解决他们。建图的话,...原创 2018-04-11 19:45:09 · 197 阅读 · 0 评论 -
[BZOJ1997]Planar(2-SAT)
传送门这题乍一眼看上去肥肠的复杂,事实上他非常简单!突破口就在题目中哈密顿回路。 我们可以把哈密顿回路看成一个圆,那么这题就可以转换为下面这道题 poj3207 看完这一道题的题解后,你是不是发现他们本质上是一样的? 好啦2-SAT去做吧。#include<iostream>#include<cstring>#include<cstdi...原创 2018-04-12 13:17:35 · 219 阅读 · 0 评论