圖 的一對頂點
被稱為
-臨界對,如果
,其中
表示透過向
新增邊
得到的圖,而
是
的團數。
-臨界對永遠不是
中的邊。
的一個極大穩定集
被稱為
的強制顏色類,如果
與
的每個
-團相交,並且
內的
-臨界對形成一個連通圖。
1993 年,G. Bacsó 猜想如果 是唯一
-可著色的完美圖,那麼
至少有一個強制顏色類。這個猜想被稱為大膽猜想,並蘊涵強完美圖定理。然而,Sakuma (1997) 隨後找到了該猜想的反例。