パーフェクトグラフ・弦グラフ・単体的頂点

定義 8.1（「彩色」§8）

グラフ $G$ がパーフェクトであるとは、 $G$ のどの誘導部分グラフ $H$ についても $\chi(H)=\omega(H)$ が成り立つことをいう。

長さ 4 以上のどの閉路も弦をもつグラフを弦グラフという。頂点 $v$ は、近傍 $N(v)$ がクリークであるとき単体的であるという。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。