任何带权的无向图都存在最小（代价）生成树。