LA-3713-TwoSAT

来源：互联网发布：芒果tv mac版下载编辑：程序博客网时间：2024/05/17 08:27

题目大意：有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;}

阅读全文

0 0