uva 1391（2-SAT）

题意：有A，B，C三种任务分配给n个宇航员，没个宇航员分配一个任务，只有年龄大于等于平均年龄的宇航员才能分配任务A，年龄小于平均年龄的宇航员才能分配任务B。所有宇航员都能分配任务C。由于有一些宇航员之间存在矛盾所以不能分配同一种任务。现在让你来分配，如果有输出分配情况。

思路：这一看这道题对于没个宇航员有三种状态，但在想一下便可发现对于一个宇航员来说年龄是唯一的，所以A，B中只能选一个。这样一来状态就变成2个了。转化成了2-SAT问题。

代码如下：

/**************************************************
 * Author     : xiaohao Z
 * Blog     : http://www.cnblogs.com/shu-xiaohao/
 * Last modified : 2014-02-01 14:14
 * Filename     : uva_1391.cpp
 * Description     : 
 * ************************************************/

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <queue>
#include <stack>
#include <vector>
#include <set>
#include <map>
#define MP(a, b) make_pair(a, b)
#define PB(a) push_back(a)

using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<unsigned int,unsigned int> puu;
typedef pair<int, double> pid;
typedef pair<ll, int> pli;
typedef pair<int, ll> pil;

const int INF = 0x3f3f3f3f;
const double eps = 1E-6;
const int LEN = 200000+10;
vector<int> Map[LEN], rMap[LEN], vs;
int n, m, vis[LEN], sccn[LEN], age[LEN];
double avg;

void dfs(int v){
    vis[v] = 1;
    for(int i=0; i<Map[v].size(); i++)
        if(!vis[Map[v][i]]) dfs(Map[v][i]);
    vs.PB(v);
}

void rdfs(int v, int f){
    vis[v] = 1;
    sccn[v] = f;
    for(int i=0; i<rMap[v].size(); i++)
        if(!vis[rMap[v][i]]) rdfs(rMap[v][i], f);
}

int scc(){
     memset(vis, 0, sizeof vis);
     vs.clear();
     for(int i=0; i<2*n; i++) if(!vis[i]) dfs(i);
     memset(vis, 0, sizeof vis);
     int k = 0;
     for(int i = vs.size()-1; i>=0; i--) if(!vis[vs[i]]) rdfs(vs[i], k++);
     return k;
}

void solve()
{
    scc();
    for(int i=0; i<2*n; i+=2)
        if(sccn[i] == sccn[i+1]){
            printf("No solution.
");
            return ;
        }
    for(int i=0; i<n; i++){
        if(sccn[i*2] > sccn[i*2+1]) printf("%c
", age[i]>=avg?'A':'B');
        else printf("C
");
    }
}

void addedge(int a, int b){
    Map[a].PB(b);
    rMap[b].PB(a);
}

int main()
{
//    freopen("in.txt", "r", stdin);

    int a, b;
    while(scanf("%d%d", &n, &m)!=EOF){
        if(!n && !m) break;
        for(int i=0; i<LEN; i++) Map[i].clear();
        for(int i=0; i<LEN; i++) rMap[i].clear();
        avg = 0;
        for(int i=0; i<n; i++){
            scanf("%d", &age[i]);
            avg += age[i];
        }
        avg /= n;
        for(int i=0; i<m; i++){
            scanf("%d%d", &a, &b);a--;b--;
            if((age[a] >= avg && age[b] >= avg) || (age[a] < avg && age[b] < avg)){
                addedge(a*2, b*2+1);
                addedge(b*2, a*2+1);
            }
            addedge(a*2+1, b*2);
            addedge(b*2+1, a*2);
        }
        solve();
    }
    return 0;
}