[弦图最小染色] BZOJ1006: [HNOI2008]神奇的国度

题意

K国是一个热衷三角形的国度,连人的交往也只喜欢三角原则.他们认为三角关系:即AB相互认识,BC相互认识,CA相互认识,是简洁高效的.为了巩固三角关系,K国禁止四边关系,五边关系等等的存在.所谓N边关系,是指N个人 A1A2…An之间仅存在N对认识关系:(A1A2)(A2A3)…(AnA1),而没有其它认识关系。全民比赛时,为了防止做弊，规定任意一对相互认识的人不得在一队，国王想知道，最少可以分多少支队。

题解

题目意思其实就是保证了给出的图是弦图，然后要把所有点染色，要求有边直接相连的点不同色，求颜色种类数的最小值。
什么是弦图：任意节点数大于3的环都至少有一条连接环中不相邻两个点的边。
如何求弦图的最小染色呢？我们要先求出弦图的完美消除序列。定义：一个点的序列(每个点出现且恰好出现一次)v1, v2, …, vn满足vi在{vi, vi+1,…,vn}的诱导子图中为一个单纯点。
求弦图的完美消除序列需要用到最大势算法(MCS)：
设label[i]表示第i个点与多少个已入队的点相邻，每次选择label[i]最大的未标号的点进行入队。得到的序列即是完美消除序列。在完美消除序列上从后往前依次给每个点染色，给每个点染上可以染的最小的颜色。这样就能得到最优解。
详见弦图与区间图-cdq

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
using namespace std;
const int maxn=10005, maxe=2000005;
int n,m,ans,tem[maxn],c[maxn],b[maxn],lab[maxn];
int fir[maxn],nxt[maxe],son[maxe],tot;
bool vis[maxn];
priority_queue< pair<int,int> > hp;
int getint(){
    char ch=getchar(); int res=0;
    while(!('0'<=ch&&ch<='9')) ch=getchar();
    while('0'<=ch&&ch<='9') res=res*10+ch-'0', ch=getchar();
    return res;
}
void add(int x,int y){
    son[++tot]=y; nxt[tot]=fir[x]; fir[x]=tot;
}
void MCS(){
    for(int i=1;i<=n;i++) hp.push(make_pair(0,i));
    while(!hp.empty()){
        pair<int,int> x=hp.top(); hp.pop(); 
        if(vis[x.second]) continue;
        b[++b[0]]=x.second; vis[x.second]=true;
        for(int j=fir[x.second];j;j=nxt[j]) if(!vis[son[j]]) hp.push(make_pair(++lab[son[j]],son[j]));
    }
}
int main(){
    freopen("bzoj1006.in","r",stdin);
    freopen("bzoj1006.out","w",stdout);
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        int x=getint(),y=getint();
        add(x,y); add(y,x);
    }
    MCS();
    for(int i=1;i<=b[0];i++){
        tem[0]=0;
        for(int j=fir[b[i]];j;j=nxt[j]) if(c[son[j]]) tem[++tem[0]]=c[son[j]];
        sort(tem+1,tem+1+tem[0]);
        int now=1;
        for(int j=1;j<=tem[0];j++){
            if(now<tem[j]) break;
            now=tem[j]+1;
        }
        c[b[i]]=now; ans=max(ans,now);
    }
    printf("%d\n",ans);
    return 0;
}