add proof

diff --git a/docs/graph/mst.md b/docs/graph/mst.md
index 87319b6..94332b0 100644 (file)
--- a/docs/graph/mst.md
+++ b/docs/graph/mst.md
@@ -505,10 +505,10 @@ int main() {
 
 ### 定义
 
-瓶颈生成树：无向图 $G$ 的瓶颈生成树是其最大的边权值在 $G$ 的所有生成树中最小的生成树。
+无向图 $ G $ 的瓶颈生成树是其最大的边权值在 $ G $ 的所有生成树中最小的生成树。
 
- **最小生成树是瓶颈生成树的充分不必要条件。** 即最小生成树一定是瓶颈生成树，而瓶颈生成树不一定是最小生成树。
+### 性质
 
-### 证明
+ **最小生成树是瓶颈生成树的充分不必要条件。** 即最小生成树一定是瓶颈生成树，而瓶颈生成树不一定是最小生成树。
 
-å\8f¯ä»¥å\8e»ç\9c\8bä¸\80ç\9c\8b[ç\99¾åº¦ç\99¾ç§\91]ï¼\88<https://baike.baidu.com/item/%E7%93%B6%E9%A2%88%E7%94%9F%E6%88%90%E6%A0>% äº\8cç\99¾ä¸\89å\8d\81ä¹\9dä¸\87ä¸\83å\8d\83ä¹\9då\88\86ä¹\8bä¹\9då\8d\81ä¸\80ï¼\9fFR = é\98¿æ\8b\89ä¸\81ï¼\89ï¼\8cé\87\8cé\9d¢æ\9c\89两个æ¯\94è¾\83严谨ç\9a\84è¯\81æ\98\8e。
+å\85³äº\8eæ\9c\80å°\8fç\94\9fæ\88\90æ \91ä¸\80å®\9aæ\98¯ç\93¶é¢\88ç\94\9fæ\88\90æ \91è¿\99ä¸\80å\91½é¢\98ï¼\8cå\8f¯ä»¥è¿\90ç\94¨å\8f\8dè¯\81æ³\95è¯\81æ\98\8eï¼\9aæ\88\91们设æ\9c\80å°\8fç\94\9fæ\88\90æ \91中ç\9a\84æ\9c\80大边æ\9d\83为 $ w $ ï¼\8cå¦\82æ\9e\9cæ\9c\80å°\8fç\94\9fæ\88\90æ \91ä¸\8dæ\98¯ç\93¶é¢\88ç\94\9fæ\88\90æ \91ç\9a\84è¯\9dï¼\8cå\88\99ç\93¶é¢\88ç\94\9fæ\88\90æ \91ç\9a\84æ\89\80æ\9c\89è¾¹æ\9d\83é\83½å°\8fäº\8e $ w $ ï¼\8cæ\88\91们å\8fªé\9c\80å\88 å\8e»å\8e\9fæ\9c\80å°\8fç\94\9fæ\88\90æ \91中ç\9a\84æ\9c\80é\95¿è¾¹ï¼\8cç\94¨ç\93¶é¢\88ç\94\9fæ\88\90æ \91中ç\9a\84ä¸\80æ\9d¡è¾¹æ\9d¥è¿\9eæ\8e¥å\88 å\8e»è¾¹å\90\8eå½¢æ\88\90ç\9a\84两棵æ \91ï¼\8cå¾\97å\88°ç\9a\84æ\96°ç\94\9fæ\88\90æ \91ä¸\80å®\9aæ¯\94å\8e\9fæ\9c\80å°\8fç\94\9fæ\88\90æ \91ç\9a\84æ\9d\83å\80¼å\92\8cè¿\98è¦\81å°\8fï¼\8cè¿\99æ ·å°±äº§ç\94\9fäº\86ç\9f\9bç\9b¾。