如果结果不匹配，请 
更多“英国在1956年挤出了世界上第一条冷水管道。（)”相关的问题
A.办事公道
B.爱岗敬业
C.诚实守信
D.奉献社会
此题为判断题(对，错)。
Joseph Kruskal于1956年提出了构造极小支撑树的另一算法：
将每个顶点视作一棵树，并将所有边按权重非降排序;
依次考查各边，只要其端点分属不同的树，则引入该边，并将端点所分别归属的树合二为一;
如此迭代，直至累计已引入n-1条边时，即得到一棵极小支撑树。
试证明：
a)算法过程中所引入的每一条边，都是某一割的极短跨越边(因此亦必属于某棵极小支撑树);
b)算法过程中的任一时刻，由已引入的边所构成的森林，必是某棵极小支撑树的子图;
