zoj 1015（玹图的判定）

知道了个新概念：玹图https://wenku.baidu.com/view/6f9f2223dd36a32d73758126.html?from=rec&pos=0&weight=9&lastweight=2&count=5##。

这个题就是有关玹图的判断。

算法看了http://www.cnblogs.com/jianglangcaijin/p/3799696.html这里的

完美消除序列：原图的一个点的序列(每个点出现且恰好出现一次)v1, v2,……, vn满足{vi, vi+1,…,vn}的组成的子图为团。

一个无向图是弦图当且仅当它有一个完美消除序列。

如何计算完美消除序列？最大势算法：从n到1的顺序依次给点标号(标号为i的点出现在完美消除序列的第i个)。 设label[i]表示第i个点与多少个已标号的点相 邻，每次选择label[i]最大的未标号的点进行标号。注意这里只是计算出了完美消除序列，但是在求出这个之后还没有判定是不是弦图。

如何从完美消除序列判断原图是不是弦图？最朴素的办法是依次判断 {vi+1,…,vn}中所有与vi相邻的点是否构成了一个团。可以这样优化：设{vi+1,…,vn}中所有与vi相邻的点依次为vj1,……,vjk。只需判断vj1是否与vj2,……,vjk相邻即可。

#include<cstdio>
#include <cstring>
using namespace std;
int n, m;
bool g[1024][1024], used[1024];
int lable[1024], set[1024];  //lable存储图新的编号，set存弦图计算的编号

void Relable() {
    memset(used, false, sizeof(used));
    used[1] = true;
    for (int num=n-1; num>0; num--) {
        memset(lable, 0, sizeof(lable));
        for (int i=1; i<=n; i++) {
            if (!used[i]) {
                for (int j=1; j<=n-num; j++) {
                    if (g[i][set[n-j+1]])
                        lable[i]++;
                }
            }
        }
        int maxv = 0, max;
        for (int i=1; i<=n; i++) {
            if (lable[i] > maxv) {
                maxv = lable[i];
                max = i;
            }
        }
        set[num] = max;
        used[max] = true;
    }

}
bool check() {
    int temp[1024];
    for (int i=1; i<=n; i++) {
        memset(temp, 0, sizeof(temp));
        int t = 0;
        for (int j=i+1; j<=n; j++) {
            if (g[set[i]][set[j]]) {
                t++;
                temp[t] = set[j];
            }
        }
        for (int j=2; j<=t; j++) {
            if (!g[temp[j]][temp[1]])
                return false;
        }
    }
    return true;
}
int main() {

    while (scanf("%d%d", &n, &m) == 2) {
        if (n == 0 && m == 0) break;
        memset(g, false, sizeof(g));

        int a, b;
        for (int i=0; i<m; i++) {
            scanf("%d%d", &a, &b);
            g[a][b] = g[b][a] = true;
        }
        set[n] = 1;
        Relable();
        if (check()) printf("Perfect\n");
        else printf("Imperfect\n");
        printf("\n");
    }
    return 0;
}