连通度是图论的基本概念之一，它常被用来衡量一个通讯网络的性能。一个通讯网络可以自然地表示成图的形式，而连通度就是为使这个图不......

K．Fine证明S4．3的所有正规扩张都是可有穷公理化的。证明中使用了列表（ list ）方法，其中的关键是Kruskal定理的一个简化版本，Fine使用归......