弦图是一种特殊的图，很多在一般图上的 NP-Hard 问题在弦图上都有优秀的线性时间复杂度算法。
一些定义与性质
子图：点集和边集均为原图点集和边集子集的图。
导出子图（诱导子图）：点集为原图点集子集，边集为所有满足 两个端点均在选定点集中 的图。
团：完全子图。
极大团：不是其他团子图的图。
最大团：点数最大的团。
团数：最大团的点数，记为 。
最小染色：用最少的颜色给点染色使得所有边连接的两点颜色不同。
色数：最小染色的颜色数，记为 。
最大独立集：最大的点集使得点集中任意两点都没有边直接相连。该集合的大小记为 。
最小团覆盖：用最少的团覆盖所有的点。使用团的数量记为 。
弦：连接环中不相邻两点的边。
弦图：任意长度大于 的环都有一个弦的图称为弦图。
Lemma 1：团数 色数
证明：考虑单独对最大团的导出子图进行染色，至少需要 种颜色。
Lemma 2：最大独立集数 最小团覆盖数
证明：每个团中至多选择一个点。
Lemma 3：弦图的任意导出子图一定是弦图。
证明：如果弦图有导出子图不是弦图，说明在这个导出子图上存在大于 的无弦环，则无论原图如何（怎么加边）都不会使得原图是弦图，矛盾。
Lemma 4：弦图的任意导出子图一定不可能是一个点数大于 的环。
证明：一个点数大于 的环不是弦图，用以上定理即可。
弦图的判定
问题描述
给定一个无向图，判断其是否为弦图。
点割集
对于图 上的两点 ，定义这两点间的 点割集 为满足删除这一集合后， 两点之间不连通。如果关于 两点间的一个点割集的任意子集都不是点割集，则称这个点割集为 极小点割集。
Lemma 5：图关于 的极小点割集将原图分成了若干个连通块，设包含 的连通块为 ，包含 的连通块为 ，则对于极小点割集上的任意一点 ， 一定包含 和 中的点。
证明：若 只包含 或 中的至多一个连通块中的点，从点割集中删去 点，仍不连通，则原点割集不是最小点割集。
Lemma 6：弦图上任意两点间的极小点割集的导出子图一定为一个团。
证明：极小点割集大小 时，导出子图一定为一个团。
否则，设极小点割集上有两点为 ，由 Lemma 5 得， 中有 中的点，设为 ，同样的，设 ，注意，可能有 。
由于 均为连通块，则在 和 两个点对之间存在最短路径。设 在 内部的最短路为 ，则图上存在一个环 ，该环的大小一定 ，根据弦图的定义，此时该环上一定存在一条弦。
若这条弦连接了 两个连通块，则点集不是点割集。若这条弦连接了单个连通块内部的两个点或一个连通块内部的一个点和一个点割集上的点，都不满足最短路的性质。所以这条弦只能连接 两点。
由此，可证弦图中每个极小点割集中的两点都有边直接相连，故性质得证。
单纯点
设 表示与点 相邻的点集。若点集 的导出子图为一个团，则称点 为单纯点。
Lemma 7：任何一个弦图都至少有一个单纯点，不是完全图的弦图至少有两个不相邻的单纯点。
证明：数学归纳法。单独考虑每一连通块。
归纳基底：当图与完全图同构时，图上任意一点都是单纯点。当图的点数 时，引理成立。
若图上的点数 且图不为完全图，可知必然存在 使得 。设 是图关于 的极小点割集。设 分别是删去 后的导出子图上 所在的连通块。由于问题的对称性，我们只考虑 一侧的情况，设 。若 为完全图，则 为单纯点；若不是，因为 是原图的导出子图，一定也是弦图，所以有两个不相邻的单纯点，因为 是一个团，其上两点都相邻，所以 中一定有一个单纯点。该单纯点扩展到全图也为单纯点。
由于每次将整个图分成若干个连通块证明，大小一定减小，且都满足性质，故归纳成立。
完美消除序列
令 ，完美消除序列 为 的一个排列，满足 在 的导出子图中为单纯点。
Lemma 8：一个无向图是弦图当且仅当其有一个完全消除序列。
充分性：点数为 的弦图有完全消除序列。由 Lemma 3 和 Lemma 7，点数为 的弦图的完美消除序列可以由点数为 的弦图的完美消除序列加上一个单纯点得到。
必要性：假设有无向图存在结点数 的环且拥有完美消除序列，设在完美消除序列中出现的第一个环上的点为 ，设 在环上与 相连，则有完美消除序列的性质即单纯点的定义可得 直接有边相连，矛盾。
朴素算法
每次找到一个 单纯点 ，加入到完美消除序列中。
将点 与其相邻的边从图上删除。
重复以上过程，若所有点都被删除，则原图是弦图且求得了一个完美消除序列；若图上不存在单纯点，则原图不是弦图。
时间复杂度 。
MCS 算法
最大势算法（Maximum Cardinality Search）是一种可以在 的时间复杂度内求出无向图的完美消除序列的方法。
逆序给结点编号，即按从 到 的顺序给点标号。
设 表示第 个点与多少个已经标号的点相邻，每次选择 值最大的未标号结点进行标号。
用链表维护对于每个 ，满足 的 。
由于每条边对 的贡献最多是 ，时间复杂度 。
正确性证明：
设 为 在这个序列中的位置。
我们需要证明对于任何一个弦图，算法求出的序列一定是一个完美消除序列，即在序列中位于某个点后面且与这个点相连的所有点两两相连。
Lemma 9：考虑三个点 满足 ，如果 相连， 不相连，则 只给 的 贡献，不给 贡献。为了让 比 先加入序列，需要一个 满足 且 相连， 不相连，即 只给 贡献而不给 贡献。
Lemma 10：任意一个弦图一定不存在一个序列 满足下列性质：
- 相连当且仅当 。
- 。
- 存在 ，满足 且 。
证明：
由于 ，且 相连， 不相连，所以由性质一，存在 满足 且 相连， 不相连。
考虑最小的 满足 相连，我们可以推出 不相连，否则 构成了一个长度 且无弦的环。
如果 ，则 也是一个满足性质的序列；如果 则 也是一个满足性质的序列。
在上面的推导中，我们扩大了 ，于是一直推下去，一定会产生矛盾。
Theorem 1：对于任何一个弦图，最大势算法求出的序列一定是一个完美消除序列。
证明：考虑任意三个点 满足 ，我们需要证明若 相连， 相连，则 一定相连。
考虑反证法，假设不相连，那么 就是一个满足 Lemma 10 中性质的序列，我们证明了这样序列不存在，所以矛盾， 相连。
参考代码：
如果此时原图是弦图，此时求出的就是完美消除序列；但是由于原图可能不是弦图，此时求出的一定不是完美消除序列，所以问题转化为 判断求出的序列是否是原图的完美消除序列。
判断一个序列是否是完美消除序列
朴素算法
根据定义，依次判断完美消除序列 上 中与 相邻的点是否构成了一个团。时间复杂度 。
优化后的算法
根据完美消除序列的定义，设 在 中相邻的点从小到大为 ，则只需判断 与其他点是否直接连通即可。时间复杂度 。
至此，弦图判定问题 可以在 的时间复杂度内解决。
弦图的极大团
令 为满足与 直接有边相连且在完美消除序列上的 之后的序列。则弦图的极大团一定为 。
证明：考虑弦图的一个极大团 ，其中的点在完美消除序列中出现的第一个点 ，一定有 ，又因为 是极大团，所以 。
弦图最多有 个极大团。求出弦图的每个极大团，可以判断每个 是否为极大团。
设 ，若 ，则 不是极大团。此时在完美消除序列上显然有 在 前。
设 表示 中在完美消除序列上最靠前的点， 表示所有满足 的 中的最靠后的点。此时必然有 ，否则 不是最靠后的，令 仍然满足条件。
当且仅当 。
问题转化为判断是否存在 ，满足 且 。时间复杂度 。
弦图的色数/弦图的团数
一种构造方法：按完美消除序列从后往前依次给每个点染色，给每个点染上可以染的最小颜色。时间复杂度 。
正确性证明：设以上方法使用了 种颜色，则 。由于团上每个点都是不同的颜色，所以 ，由 Lemma 1，。综上，可得 。
无需染色方案，只需求出弦图的色数/团数时，可以取 的最大值得到。
弦图的最大独立集/最小团覆盖
最大独立集：完美消除序列从前往后，选择所有没有与已经选择的点有直接连边的点。
最小团覆盖：设最大独立集为 ，则团的集合 为图的最小团覆盖。时间复杂度均为 。
正确性证明：设以上方案独立集数和团覆盖数为 ，由定义得 ，由 Lemma 2 得，，所以 。
习题
SP5446 FISHNET - Fishing Net
P3196[HNOI2008]神奇的国度
P3852[TJOI2007]小朋友
参考资料
弦图相关
2009 WC 讲稿
弦图总结 - 租酥雨
R. E. Tarjan and M. Yannakakis, Simple linear-time algorithms to test chordality of graphs,test acyclicity of hypergraphs,and selectively reduce acyclic hypergraphs, SIAM J. Comput., 13 (1984), pp. 566–579.