弦

连接环中不相邻的两点的边

弦图

任意长度 $>3$ 的环都有一个弦

$N(v)$ 表示与 $v$ 相邻的点集，称 $v$ 为单纯点当 $\{v+N(v)\}$ 的诱导子图是一个团

任何一个弦图至少有一个单纯点。不是完全图的弦图至少有两个不相邻的单纯点。

图中所有点的一个序列 $V$ 满足 $\forall v_i\in V,v_i$ 在 ${v_i,v_{i+1},...,v_n}$ 的诱导子图为一个单纯点。

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

从末尾向开头构造完美消除序列，定义节点的势为与之相邻的已经存在于完美消除序列的节点数目，每次选取势最大的点加入序列并更新相邻点的势，重复 $n$ 次。 这个算法在不是弦图的时候也能正常运行求出结果，所以必须还要再判序列是否是完美序列才行

从后向前扫，在第 $i$ 个位置，检查 $seq_i$ 与在 $i$ 之后的相邻点是否成团。设在 $i$ 之后与 $seq_i$ 相邻的点集为 $V$ ，那么只需要判断 $v_1$ 是否与 $V-v_1$ 中所有的点相邻即可。想不通为什么