图 的一对顶点
被称为
-临界对,如果
,其中
表示通过向
添加边
得到的图,而
是
的团数。
-临界对永远不是
中的边。
的一个极大稳定集
被称为
的强制颜色类,如果
与
的每个
-团相交,并且
内的
-临界对形成一个连通图。
1993 年,G. Bacsó 猜想如果 是唯一
-可着色的完美图,那么
至少有一个强制颜色类。这个猜想被称为大胆猜想,并蕴涵强完美图定理。然而,Sakuma (1997) 随后找到了该猜想的反例。