Kruskal のアルゴリズム

系 8.6（「グラフと行列式」§8）・ ✓公理まで証明済み

連結グラフ $G=(V,E)$ と辺の重み $w:E\to\mathbb{R}$ が与えられたとき、辺を軽い順に並べ、閉路ができない限り順に採用していくと、重みの和が最小の全域木が得られる。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 4 件、定義なども含めて 5 件）。

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

グラフ的マトロイド✓命題 8.4・グラフと行列式
- 森の辺の数と葉✓補題 2.2・グラフと行列式
- 極大独立部分集合の大きさは一定✓命題 8.2・グラフと行列式
  - マトロイド定義 8.1・グラフと行列式
貪欲法の最適性✓定理 8.5・グラフと行列式
- 極大独立部分集合の大きさは一定✓命題 8.2・グラフと行列式（上で展開済み）

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