弦图 完美消除序列 MCS算法

对于普通图的两个性质：

最大团数 $\le$ 最小色数
最大独立集 $\le$ 最小团覆盖

而在弦图就变成了：

最大团数=最小色数
最大独立集=最小团覆盖
（虽然不知道有什么用

完美消除序列：

对与序列中的点vi，排在vi后面并且和vi相连的点是一个团
一个图存在完美消除序列是它是弦图的充要条件

那么完美消除序列有什么用呢？用处可大啦
求弦图的最大团数/最小色数的时候，只要在完美消除序列上从后往前贪心染色即可。
而求最大独立集/最小团覆盖的时候，只要在完美消除序列上从前往后贪心取点即可。

---

那么就来了一系列的问题，首先是弦图的判定，我们需要确定这个图有没有完美消除序列。

MCS算法

从后往前确定序列的点，每取一个点都把还没加入序列的和它相连的点的标号+1，每次取点选择标号最大的点之一。
具体实现好难描述不想说了= =下面有代码，复杂度O(m+n)

据说如果图是弦图，这个算法求出来的序列可以保证是完美消除序列
那么当我们需要判定弦图的时候，就要判断这个序列是不是完美消除序列了。
判断的方法是：
从后往前确定序列中的每个点v是否满足条件：排在v后面的和v相连的点集记为N(v)中排在最前的点记为next(v)是否和N(v)中其他点都相连。
具体实现是，点数少的话直接拿邻接矩阵判相连O(m+n)，点数多就把边表排序然后二分O(mlogm+n)。

---

至此我们已经知道如何解决弦图判定问题和如何求完美消除序列了，那么现在看看具体例题

zoj1015:

裸的弦图判定，点数1000，直接按照上面的做法瞎搞即可
代码:

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<string>
#include<iomanip>
#include<vector>
#include<set>
#include<map>
#include<queue>

using namespace