poj3648(2-sat)

解题思路：有关2sat的部分详见我写的新的感想。大致来讲一下这道题的构图思路及意义吧。由于新娘不希望一对夫妻坐在对面，所以就是一个丈夫，妻子二选一的题目，非此即彼，所以可以用2sat来做。复杂度最高也O(NM),N为人数，M为关系数，近似于tarjan的复杂度。然后新娘也不希望有奸情的一对人坐在其对面。例如输入有奸情的为：2h 3w，则新娘的对面如果做了2h,则新娘对面也必须做3h,即连一条边2h->3h,同理还有3w->2w.由于前面的关系描述的都是新娘对面的关系，所以只能求新娘对面的座位情况。而新郎必须在新娘的对面，所以连一条从新娘到新郎的边。这样后面选择的时候，如果对面只有新郎自然不会有关系，但选了新娘，那新郎也一定会出现。所以不管怎么样，新郎是必须出现在选项中。然后剩下就是传统的2sat了

#include
#include
#include
using namespace std;
const int MAXN = 2e4 + 5;
struct node
{
	int u,v,next;
}s[MAXN*2];
int n,m;
int head[100],cnt,dfn[100],low[100],p,k,ins[100],c,color[100];
int oppo[100],deg[100],jd[100],stck[100];
stack q;
void add_edge(int u,int v)
{
	s[cnt].u=u;
	s[cnt].v=v;
	s[cnt].next=head[u];
	head[u]=cnt++;
}
void tarjan(int u)
{
	int tp;
	low[u]=dfn[u]=p++;
	stck[k++]=u;
	ins[u]=1;
	for(int i=head[u];i!=-1;i=s[i].next)
	{
		int v=s[i].v;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}else
		if(ins[v])
		{
			low[u]=min(dfn[v],low[u]);
		}
	}
	if(dfn[u]==low[u])
	{
		c++;
		do{
			tp=stck[--k];
			ins[tp]=0;
			color[tp]=c;	
		}while(u!=tp);
	}
}

void topo()
{
	while(!q.empty()) q.pop();
	for(int i=1;i<=c;i++)
	{
		if(deg[i]==0) q.push(i);
	}
	while(!q.empty())
	{
		int u=q.top();
		q.pop();
		if(!jd[u]) jd[u]=1,jd[oppo[u]]=-1;
		for(int i=head[u];i!=-1;i=s[i].next)
		{
			int v=s[i].v;
			deg[v]--;
			if(deg[v]==0)
			q.push(v);
		}
	}
}

void solve()
{
	p=1;
	k=0;
	c=0;
	memset(dfn,0,sizeof(dfn));
	memset(ins,0,sizeof(ins));
	memset(color,0,sizeof(color));
	memset(oppo,0,sizeof(oppo));
	for(int i=0;i<2*n;i++)
	{
		if(!dfn[i])
		tarjan(i);
	}
	//printf("*%d*",c);
	for(int i=0;i