本文介绍了弦图的定义，包括弦、完美图和伴完美图的概念。弦图是完美图的一种，其特性是任何长度大于3的环都有弦。文中提到完美消除序列是弦图的重要特征，用于判定弦图及其算法，如MCS算法。同时，讨论了弦图的色数、团数、最大独立集和最小团覆盖数的关系，并提供了判定和计算这些参数的方法。
定义
弦：连接环中不相邻的两个点的边
一个图是弦图当图中任意长度大于3的环都至少有一个弦。
α ( G ) : \alpha(G): α(G):图 G G G中最大独立集的大小，称为最大独立集数
κ ( G ) : \kappa(G): κ(G):图 G G G中最小团覆盖的团的数量，称为最小团覆盖数
ω ( G ) : \omega(G): ω(G):图 G G G中最大团的大小，称为团数
χ ( G ) : \chi(G): χ(G):图 G G G中用最少的颜色给点染色使相邻点颜色不同的颜色数，称为色数
对于所有图： ω ( G ) ≤ χ ( G ) \omega(G)\le \chi(G) ω(G)≤χ(G)， α ( G ) ≤ κ ( G ) \alpha(G)\le \kappa(G) α(G)≤κ(G)
单纯点：所有相邻点都相互相邻的点（下图中被红圈圈起来的点）
子图：这个不需要解释了吧。。。
诱导子图：
称G’为G的一个诱导子图。
完美图：一个图是完美图当这个图的每个诱导子图的团数和色数都相等
伴完美图：一个图是伴完美图当这个图的每个诱导子图的最大独立集数和最小团覆盖数都相等
完美消除序列：一个点的序列（每个点出现一次）， { v 1 , v 2 , v 3 . . . v n } \{v_1,v_2,v_3...v_n\} { v1,v2,v3...vn}，满足对于每个 v i v_i vi， v i v_i vi在包含点 { v i , v I + 1 , v i + 2 . . . v n } \{v_i,v_{I+1},v_{i+2}...v_n\} { vi,vI+1,vi+2...v
最低0.47元/天 解锁文章
602
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
