无X图是那些不包含来自X的图作为诱导子图的图。甲孔是具有至少4个顶点的循环。一个奇数孔是具有奇数个顶点的孔。一个antihole是孔的补充。
无(奇数孔,无奇数孔)图恰好是理想的图。这就是强完美图定理。可以在多项式时间内在理想图中找到最大的独立集(和最大的集团),但是唯一已知的方法是建立一个半定程序来计算Lovásztheta数。
无(无孔,无防孔)图称为弱弦弦图,它构成许多问题(包括INDEPENDENT SET 和CLIQUE)的简单类。
有谁知道(无孔,无孔)图是否已被研究或写过?
这些图在约束满足问题中很自然地出现,其中相关变量的图形成一棵树。这样的问题相当容易,因此,如果有一种方法可以找到该族图中最大的独立集合 派系而不必计算Lovásztheta ,那将是很好的。
等效地,一个人想要找到无(无孔,奇-反孔)图的最大独立集。张显治在下面指出了为什么与(无孔,无孔)无图相比,这对于独立组是更有趣的一类。