中会形成环，用formula_47替换环中的任意一条权值更大的边，将会形成权值更小的生成树，与题设矛盾。
相关算法.
历史简介.计算稠密图的最小生成树最早是由在1957年发明的，即Prim算法。之后艾兹赫尔·戴克斯特拉也独自发明了它。但该算法的基本思想是由于1930年发明的。所以该算法有时候也被称为Jarník算法或者Prim-Jarník算法。20世纪70年代，优先队列发明之后很快被用在了寻找稀疏图中的最小生成树上。1984年，迈克尔·弗里德曼和罗伯特·塔扬