LA-3713-TwoSAT

题目大意：有ABC三个任务需要分配给n个宇航员，任务C没有限制，年龄大于等于平均年龄的可以分配A任务，否则是B任务，有m对宇航员互相讨厌，他们不能顾分配相同的方案，问是否可以找出一种方案。

题目解析：如果相互讨厌的话，那么肯定不能够同时分配C，并且不能分配A和B，如果一个A一个B则不需要考虑；

AC代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<vector>
#include<stack>
using namespace std;
const int maxn=200010;
const int maxm = 100010;
int first[maxn];
int vv[maxm*4],nxt[maxm*4],S[maxm*4];
int e,c,n,m;
bool vis[maxn];
void addedge(int u,int v)
{
vv[e] = v; nxt[e] = first[u]; first[u] = e++;
}

bool dfs(int u)
{
if(vis[u^1]) return 0;
if(vis[u]) return 1;
vis[u] = 1;
S[c++] = u;
for(int i = first[u];i != -1;i = nxt[i])
{
int v = vv[i];
if(!dfs(v)) return false;
}
return true;
}

bool Judge()
{
for(int i = 0;i < n*2;i+=2)
{
if(!vis[i] && !vis[i+1])
{
c = 0;
if(!dfs(i))
{
while(c > 0) vis[S[--c]] = 0;
if(!dfs(i+1)) return false;
}
}
}
return true;
}
int old[maxn],eld[maxn];
int main()
{
while(scanf("%d%d",&n,&m)!=EOF&&(n+m))
{
memset(first,-1,sizeof(first));
e=0;
memset(vis,0,sizeof(vis));
int sum=0;
for(int i=0;i<n;i++)
{
scanf("%d",&old[i]);
sum+=old[i];
}
for(int i=0;i<n;i++)
eld[i]=old[i]*n>=sum?1:0;
for(int i=0;i<m;i++)
{
int u,v;
scanf("%d%d",&u,&v);
u--;
v--;
addedge(2*u+1,2*v);
addedge(2*v+1,2*u);
if(eld[u]==eld[v])
addedge(2*u,2*v+1),addedge(2*v,2*u+1);
}
if(Judge())
{
for(int i=0;i<n;i++)
{
if(vis[2*i+1]==1)
printf("C\n");
else if(eld[i])
printf("A\n");
else
printf("B\n");
}
}
else
printf("No solution.\n");
}
return 0;
}