http://cplusoj.com/d/senior/p/SS231019C我们进行这样的转化则0/1必选一个，2/3必选一个那么就变成一个2sat问题两三角形有交，则一个选，一个不能选对角三角形一个选

2Sat

2SAT问题描述为了方便描述，首先做出如下约定：对于任一布尔变元x，“x”与其非“¬x”称为文字。

constintNN=100;constintMM=1000;structTwoSAT{intn,en,head[NN],next[MM],to[MM],from[MM];//原图(前向星),n个点,2SAT

是只有一对，其他是夫妇，理解后就好做了，建立图是关键，怎么转化关系，对到2sat问题上来，不妨设坐在新娘一排的是要“选择”的，那么对每组读入，必需至少一个要选择，（柳暗花明啦？！）

2sat，注意题意。

经典2sat裸题,dfs的2sat可以方便输出字典序最小的解...PeacefulCommissionTimeLimit:10000/5000MS(Java/Others)MemoryLimit:32768

就把这个作为2SAT求

题目链接：uva1391-Astronauts#include#include#include#include#includeusingnamespacestd;constintmaxn=100005;structTwoSAT{intn;boolmark[maxn*2];vectorG[maxn*2];intS[maxn*2],c;voidinit(intn){this->n=n;for(inti

解题思路：有关2sat的部分详见我写的新的感想。大致来讲一下这道题的构图思路及意义吧。由于新娘不希望一对夫妻坐在对面，所以就是一个丈夫，妻子二选一的题目，非此即彼，所以可以用2sat来做。

题目链接：uva1146-Noworlater二分答案，然后间隔小于当前值的即为一组矛盾关系，对所有关系做2sat。

之前做的两发https://vjudge.net/problem/UVALive-3211#include#include#include#includeusingnamespacestd;constintmaxn=2007;intt[maxn][2],n,tot,S[maxn*2],scnt;boolmark[maxn*2];structEdge{intv,nxt;Edge(){}Edge(in

最大数据：T=100N=500M=10000样例26914151624252634353614253655122334455112345输出NOYES解题思路由于最近学2sat学得疯狂，以致于迅速想到了

DescriptionJohnistheonlypriestinhistown.September1stistheJohn'sbusiestdayinayearbecausethereisanoldlegendinthetownthatthecouplewhogetmarriedonthatdaywillbeforeverblessedbytheGodofLove.ThisyearNcouples

=y[j]这时候就变成了一个类似二分图的图，若Ai,j=1我们将节点i,j连一条边表示i和j不能相等我们先对每个节点i拆点成i和i+n，跑一次2sat，若i和i+n可以互达，那么显然无解，否则我们要将所有的点分入两个集合并且使得两个集合大小的乘积尽可能大这时候就可以对于每个节点

=y[j]这时候就变成了一个类似二分图的图，若Ai,j=1我们将节点i,j连一条边表示i和j不能相等我们先对每个节点i拆点成i和i+n，跑一次2sat，若i和i+n可以互达，那么显然无解，否则我们要将所有的点分入两个集合并且使得两个集合大小的乘积尽可能大这时候就可以对于每个节点

拆点的思想有一种2sat的感觉/*给定一组开关的集合，每个开关最多被两个集合包含，对集合操作一次则所有集合内的开关状态变化现在要将前i个开关状态切换到开，问最少要操作几次集合,求出i从1到n的每个答案一些性质

https://www.cnblogs.com/31415926535x/p/11553164.html感觉很硬核啊这场，，越往后越做不动，，，emmmm，，，（这场是奔着最后一题2sat来的，，，上次学这玩意是在今年的

https://www.cnblogs.com/31415926535x/p/10644419.html从寒假就开始准备学2sat，，然后当时了解了一下模板就溜了，，，一直到上个星期，，三月底才好好重新的看一下

线段树优化2sat建图，特判坐标相等的情况即可。

复杂度爆炸正解：2SAT考完听他们说才恍然大悟，我在分析的时候漏掉了一

做完了POJ的6道2SAT，总结一下2SAT算法流程1.构图2.求SCC3.判断有无解4.缩点反向建图5.拓扑排序6.染色并输出构图模型：模型一：两者（A，B）不能同时取那么选择了A就只能选择B’，选择了

思路：2SAT。。每一层，选第1个数字标记为0，选第2个数字标记为1

传送门：点击打开链接题意：go(intdep,intn,intm)  begin    outputthevalueofdep.    ifdep #include #include #include #include #include #include #include #include #include #include #include #include #include #include

传送门：点击打开链接题意：n对夫妻，一对夫妻必须去1人，有m对人互相讨厌，不能同时去，问是否有这样的情况。思路：2SAT...#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #d

思路：这算是2SAT最经典的题了首先说下2SAT，实质是把关系转换成了求强连通分量。如果已知a,必有b。那么就a->b这样连一条边。一个点拆成2个点，分别表示true和false。

http://codeforces.com/problemset/problem/662/B 题意：给你一个n点m边的无向图，每个边的颜色0或者1，然后让你对点进行操作，一次操作把这个点边上连着的边都变色，0变1，1变0，问你最少多少次能够把图变成一种颜色。不能就-1题解：对于图的最后的颜色，我们可以假设最后颜色是0或者最后颜色是1，然后对于每条边的颜色，一个端点选择这个状态，另外个端点就必须是某

HDU 3062 Party 题目链接 2sat模板题 代码： #include <cstdio> #include <cstring> #include &

Bit Magic Problem Description Yesterday, my teacher taught me about bit operators: and (&), or (|), xor (^). I generated a number table a[N], and wrote a program to calculate the matrix t

pid=3062 2sat判定性问题模板 #include <iostream> #include <algorithm> #include <cstring

SRM464 DIV1 500pt： 比较裸滴，二分+2SAT判定。