Mr_Xujh的博客

2-sat 入门题 《由对称性解2-SAT问题》 #include #include #include #include #include using namespace std; const int N = 2010; vector vec[N]; int n, m, id, cnt; int dfn[N], vis[N], low[N], belong[N]; stack s;

题意：给你2n把钥匙，分成n组，每组只能选一把，然后另一把就不能用了。同时，有m个门，每个门上有两把锁，打开一个就可以通过，问最多可以通过几扇门； 思路:2-sat，假如(a,b)是同一组的钥匙，那么就有 a--b',b--a'; (c,d)是同一门上的锁那么就有d'--c,c'--d;(为什么不是c--d',d--c'?  因为2-SAT其实就是找不相容的点对,你开了c,当然也可以开d,