la3713

2-sat。。。求解2-sat方案直接每个变量枚举就行了，lrj的代码很靠谱。。。

#include<bits/stdc++.h>
using namespace std;
const int N = ;
struct edge {
    int nxt, to;
} e[N << ];
int n, m, x, cnt, top;
bool mark[N];
int head[N], u[N], v[N], age[N], st[N];
void Init()
{
    cnt = ; top = x = ;
    memset(head, , sizeof(head));
    memset(mark, false, sizeof(mark));
}
void link(int u, int v)
{
    e[++cnt].nxt = head[u];
    head[u] = cnt;
    e[cnt].to = v;
}
bool dfs(int u)
{
    if(mark[u ^ ]) return false;
    if(mark[u]) return true;
    mark[u] = true; st[++top] = u;
    for(int i = head[u]; i; i = e[i].nxt) if(!dfs(e[i].to)) return false;
    return true;
}
bool solve()
{
    for(int i = ; i <=  * n + ; i += ) if(!mark[i] && !mark[i + ])
    {
        top = ;
        if(!dfs(i))
        {
            while(top) mark[st[top--]] = false;
            if(!dfs(i + )) return false;
        }
    }
    return true;
}
int main()
{
    while(scanf("%d%d", &n, &m))
    {
        if(n ==  && m == ) break;
        Init();
        for(int i = ; i <= n; ++i) scanf("%d", &age[i]), x += age[i];
        for(int i = ; i <= m; ++i)
        {
            int u1, v1, u2, v2; scanf("%d%d", &u[i], &v[i]);
            u1 = u[i] << ; u2 = u1 + ; v1 = v[i] << ; v2 = v1 + ;
            if(age[u[i]] * n >= x)
            {
                if(age[v[i]] * n >= x) link(u2, v1), link(v1, u2), link(u1, v2), link(v2, u1);
                if(age[v[i]] * n < x) link(u1, v2), link(v1, u2);
            }
            else
            {
                if(age[v[i]] * n >= x) link(u1, v2), link(v1, u2);
                if(age[v[i]] * n < x) link(u1, v2), link(v2, u1), link(u2, v1), link(v1, u2);
            }
        }
        if(!solve()) { puts("No solution."); continue; }
        for(int i = ; i <= n; ++i)
        {
            if(mark[i * ]) puts("C");
            else if(age[i] * n >= x) puts("A");
            else puts("B");
        }
    }
    return ;
}