次数列・グラフ的な列

定義 7.1（「道・閉路・木」§7）

グラフの頂点の次数を大きい順に並べた列を次数列という。非負整数の列 $d_1\ge d_2\ge\cdots\ge d_n$ が、ある（単純）グラフの次数列になっているとき、グラフ的であるという。

閉包の状態

定義

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

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

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