橋・切断点

定義 4.1（「道・閉路・木」§4）

辺 $e=uv$ が $G$ の橋であるとは、 $u$ と $v$ が $G-e$ の異なる連結成分に属することをいう。頂点 $v$ が切断点であるとは、 $c(G-v)>c(G)$ となることをいう。

閉包の状態

定義

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

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

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