bzoj1006 弦图相关

弦图啊。。。鬼畜的东西。。。害怕。水弱如我当然不能理解这种神奇东西了所以有错的话求指出啊orz。。

点集V的诱导子图：E={(u,v)| u属于V,v属于V}。

弦图：没有长度超过3的无弦环的图。

单纯点：与该点相邻的点的诱导子图是个团。

完美消除序列：点的排列p1,p2..pn，使得对于每一个pi,pi在pi+1~pn中的诱导子图中是个单纯点。

定理：当且仅当一个图有完美消除序列时它是弦图。

（证明：1.有完美消除序列的图是弦图。假设不是，那么存在一个长度>3的无弦环，设它在完美消除序列中最靠前的点

是v，则必然存在两个环上的点v1,v2，(v1>v，v2>v),使得有边v->v1,v->v2，那么根据完美消除序列的定义，v1到v2有边。

矛盾。所以有完美消除序列的图是弦图。）

2.弦图有完美消除序列。首先，弦图至少有一个单纯点。弦图子集的诱导子图依然是弦图。1个点时存在完美消除序列。

于是将一个弦图拆成子弦图+单纯点，该弦图的完美消除序列就是单纯点+子弦图的完美消除序列。）

求完美消除序列：最大势算法。从n到1给点标号，每次找相邻的已标号点数目最多的未标号点标上即可。

检验完美消除序列：倒着来，设{pi+1...pn}中与pi相邻的点集是{pj1,pj2..pjk},则pj1~{pj2..pjk}都有边。

检验弦图：求一波完美消除序列，然后判断是不是合法。

最小染色数=最大团数：倒着来，每次mex后继，找到能染的最小颜色。

最大独立集=最