编辑“︁最小生成树”︁（章节）

== 数学基础 ==
最小生成树的构造依赖于以下定理：
* '''切割性质'''：对于图的任意切割（将顶点分为两部分），横跨切割的最小权重边属于某个最小生成树。
* '''循环性质'''：对于图中的任意环，环中最大权重的边不属于任何最小生成树。

数学表达：
* 切割性质：若边<math>e</math>是横跨切割的最小权重边，则存在一棵MST包含<math>e</math>。
* 循环性质：若边<math>e</math>是环<math>C</math>中的最大权重边，则不存在包含<math>e</math>的MST。