对于普通图的两个性质:
最大团数 ≤ 最小色数
最大独立集 ≤ 最小团覆盖
而在弦图就变成了:
最大团数=最小色数
最大独立集=最小团覆盖
(虽然不知道有什么用
完美消除序列:
对与序列中的点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