摘要：bzoj 1997 Planar 题目大意： 给一个存在曼哈顿回路的无向图，求该图是否为平面图 思路： 先把曼哈顿回路提出来，则剩下的边的两个端点若有$ABAB$的形式则这两条边必定一个在环外一个在环内 对于这些边$2-SAT$即可 1 #include<iostream> 2 #include<c 阅读全文

摘要：2-SAT就是给出$m$个限制表示$x==val_x || y==val_y$ 求出满足的解 每个点拆成两个点，如果$x$不满足则$y$一定满足，$y$不满足同理。这样我们连边，然后$tarjan$即可 1 #include<iostream> 2 #include<cstdio> 3 #inclu 阅读全文