定义
弦:连接环中不相邻的两个点的边
一个图是弦图当图中任意长度大于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