2-SAT
nlj1999
这个作者很懒,什么都没留下…
展开
-
HOJ 1917 Peaceful Commission
03年的论文题《伍昱--由对称性解2-SAT问题》突然发现我以前写的2-SAT原来是O(nm)的(lrj书上并没有提到复杂度)然后就学会了O(m+n)的2-SAT,不过有个很坑爹的地方就是这个算法不能求字典序最小的方案。#include#include#include#include#include#includeusing namespace std;struct原创 2016-03-03 17:44:20 · 242 阅读 · 0 评论 -
BZOJ 1997: [Hnoi2010]Planar
07年的论文里有关于平面图判定的但是那个代码好像要300多行(听说12年WC的时候clj写出来了%%%%%%%%%%%)不过既然存在哈密尔顿回路,那么当然要用特殊的做法啦首先把哈密尔顿圈画出来然后不在圈上的边要么在圈内要么在圈外如果有两条边在圈内相交了,那么他们肯定是一个在圈内一个在圈外所以是个2-SAT问题(直接套Tarjan就好了)然后因为我比较懒就写了个并查集水一原创 2016-03-31 16:18:55 · 771 阅读 · 1 评论