forezxl的博客

2-SAT题目传送门入坑2-SAT qwq2-SAT经典题，但因为求最小字典序，所以只能暴力判断。（要有信仰O(nm)O(nm)是过得去的）代码：#include#include#include#include#define N 16001#define M 40001using namespace std;struct edge{ int next,

前置技能Tarjan定义K-SAT：给你许多个集合，每个集合都有k个元素。同时又有一些限制（如取x则不能取y），你必须在所有集合中取且仅能取一个元素，求合法方案。 2-SAT：当K取2时的情况。为什么只考虑K=2的情况呢？ 因为当K>2时，已经被证明是一个NPC问题。算法实现几个前提建x->y的边表示选了x就必须选y。在同一集合的元素编号为x，x^1。 建

2-SAT 平面图BZOJ题目传送门 洛谷题目传送门首先根据平面图的性质，如果m>n∗3−6m>n*3-6，那么这个图一定不是平面图。这样我们就可以把边数缩至nn级别的了。因为存在哈密顿回路，那么对于连接相同的两点的边，最多只能有两条（除了哈密顿回路的边），一条在环的里面，一条在环的外面。这样的限制满足2-SAT.用手画几张图就可以发现，当两条边相交时，必然都在环的同一侧。记相交

2-SAT DFS洛谷题目传送门 BZOJ题目传送门每张地图都只有两种车能使用且只能用一辆车，这样的限制满足2-SAT。设每种地图能使用的两辆车为id[x]和id[x]^1。 先假设没有x地图存在，那么对于一个限制(x,p,y,q)(x,p,y,q)(x,p,y,q)，我们可以进行如下连边： 1.地图x无法放第p种车。此时略过。 2.地图x可以放第p种车，但是地图y无法放第q种...