苍竹林

/*平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。解题报告：题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条

/*2-sat建图题，把每个值是1(a)和0(~a)为两种状态，分清楚各种操作的本质就很简单了AND 结果为1：建边 ~x->x,~y->y （两个数必须全为1）AND 结果为0：建边 y->~x,x->~y （两个数至少有一个为0）OR 结果为1：建边 ~x->y,~y->x （两个数至少有一个为1）OR 结果为0：建边 x->~x,y->~y （两个数必须全为0）XOR

# include # include # include # include using namespace std;# define MAXN 6010# define MAXM 10010struct node{ int to; int next;} edge[MAXM];int tot;int tim,num;int be[MAXN];bool