/*2-sat问题,题意：有对情侣结婚，请来n-1对夫妇，算上他们自己共n对，编号为0~~n-1,他们自己编号为0所有人坐在桌子两旁，新娘不想看到对面的人有夫妻关系或偷奸关系，若有解，输出一组解，无解输出bad luck思路：1.根据偷奸关系建图(1h和2h有偷奸关系，建边1h->2w 2h->1w)2.求强连通分量3.判断有无解(任一对夫妇不在同一强连通分量中，有解；否则无解)

/*2-sat题意：一个环上有n个点，有m对点之间有连接，连接可以在环内，也可以在环外，问这些连接是否相交重点还是在建图，每个连接作为一个对象，他有两个状态，在环内，在环外若两连接相交，则必是一个在环内，一个在环外，如a、b相交，包含同在环内相交，同在环外相交，则同在内相交：a在内(a*2),那么b必在外(b*2+1)b在内(b*2),那么a必在外(a*2+1)

/* 2-sat题意：m个门，每个门上有两把锁，打开一个就可以通过2n个钥匙，每两个绑在一起，只能选用一个问最多可以通过几扇门？2-sat问题关键在建图，2-sat对每个事物都有两个选项可以这么建：每把钥匙有两个状态(用或不用)，把这作为2-sat的两个选项然后是加条件，a、b绑在一起，则选a就不选b，选b就不选a，建边a->!b,b->!ac、d在同一