uva1391 2-SAT 问题

题意在大白书上。

有3 种工作 abc 大于等于平均年龄的可以去做a c 工作， 小于平均年龄的可以去做 bc ， 同样转化为2 -sat 去做， 因为对于每个人也只有2 种情况可以作为选择

#include <iostream>
#include <algorithm>
#include <string.h>
#include <cstdio>
#include <vector>
using namespace std;
const int maxn=+;
struct TwoSAT{
   int n;
   vector<int > G[maxn*];
   bool mark[maxn*];
   int S[maxn*],c;
   bool dfs(int x){
       if(mark[x^]) return false;
       if(mark[x]) return true;
       mark[x]=true;
       S[c++]=x;
       for(int i=; i<G[x].size(); i++)
         if(!dfs(G[x][i])) return false;
       return true;
   }
   void inti(int n){
       this->n =n;
       for(int i=; i<*n; ++i)
        G[i].clear();
       memset(mark,,sizeof(mark));
   }
   void add_clause(int x, int xval, int y, int yval){
        x = x *  + xval;
        y = y *  + yval;
        G[x^].push_back(y);
        G[y^].push_back(x);
   }
   bool solve(){
      for(int i=; i<n*; i+= )
      if(!mark[i] && !mark[i+]){
        c=;
        if(!dfs(i)){
            while(c>) mark[ S[ --c ] ] = false;
            if(!dfs(i+)) return false;
        }
      }
      return true;
   }
}solver;
int n,m,total_age;
int age[maxn];
bool isyoung(int x){
    return x*n<total_age;
}
int main()
{
    while(scanf("%d%d",&n,&m)==&&n){
          total_age=;

          for(int i=; i<n; ++i){
            scanf("%d",&age[i]);
             total_age+=age[i];
            }

           solver.inti(n);
          for(int i=; i<m; ++i){
              int u,v;
              scanf("%d%d",&u,&v); u--; v--;
              if(u==v)continue;
              solver.add_clause(u,  , v ,  );
              if(isyoung(age[u])==isyoung(age[v])){
                  solver.add_clause( u,  , v , );
              }
          }
          if(!solver.solve()) printf("No solution.\n");
          else {

             for(int i=; i<n; i++)
                if(solver.mark[i*]) printf("C\n");
                else if(isyoung(age[i])) printf("B\n");
                else printf("A\n");
          }
    }

    return ;
}