Connectivity of Hypercube 超方形的联通度

什么是连通度 Connectivity？

对图论或数据结构有所了解的小伙伴应该对连通度都有所了解。
简单来说，对于一个连通图，如果去掉某个顶点 (vertex)，这个图就会被分割而变成非连通图，那么这个被去掉的点就被叫做“割点 （cut vertex）”，如下图。
在这个沙漏状的图中，去掉中间的顶点后，整个图就分割成两条直线，变成了非连通图。
而连通度（Connectivity），就是对任意一个连通图来说，割点的最小值。换句话说，就是最少要去除k个点才能让一个连通图分离。
联通度又分为顶点连通度（Vertex Connectivity）和边连通度（Edge Connectivity），分别用K(G)和K1(G)表示。相对应的，边连通度就是要去掉的边的条数。

什么是超方形 Hypercube？

先引用一段Wikipedia的内容。

在几何学中，一个超方形（英语：Hypercube），又称立方形、正测形（Measure Polytope）是指正方形和立方体的n维类比（对于正方形，n=2，对于立方体，n=3）。它是一类闭合的、紧致的、凸的图形，它们的1维骨架是由一群在其所在空间对准每个维度整齐排列的等长的线段组成的，其中相对的线段互相平行，而相交于一点的线段则互相正交。

简单的说，n纬Hypercube (缩写Qn）在n=1时是线，n=2时是正方形，n=3时就是立方体。那n=4时是什么样子呢？再看一段话，引用自Wikipedia的Hypercube graph。

Alternatively, Qn may be constructed from the disjoint union of two hypercubes Qn − 1, by adding an edge from each vertex in one copy of Qn − 1 to the corresponding vertex in the other copy, as shown in the figure. The joining edges form a perfect matching.

这段是英文版的，简单翻译一下就是说，Qn 可以由 两个 Qn-1组成，只要把两个Qn-1的对应点连起来。举个Q2到Q3的例子，如图。

此外，Hypercube graph还有这么几个特点： Qn has 2^n vertices, 2^(n−1) · n edges, and is a regular graph with n edges touching each vertex.
我们的目的就是要知道，Qn的K(G)和K1(G)等于什么。

证明

先说下答案，K(Qd) = K1(Qd) = d (d 代表纬度)。

证明前，先介绍一个定理。定理及证明
Theorem 9.1 (Whitney): Let G be an arbitrary graph, then κ(G) ≤ λ(G) ≤δ(G).

这里的λ(G)就是K1(G), δ(G)是图的最小度，即一个图中所有顶点中最小的度数，对于Qd来说就是d。

我们用数学归纳法来进行证明。
当n=1时，显而易见，直线去掉一个点，那就剩一个点了。
当n=2时，一个正方形去掉一条对角线上的两点，剩下的两个点也不连接。

假设n=k时也成立，那么我们要证明n=k+1也成立。
从上面的特性我们知道，让Qn+1分离，最多需要去掉2^(n-1)个点，也就是Qn的顶点数，但这和我们的预想答案n相差很远。

我们知道，Qn+1是两个Qn连接相对应的点构成的。我们假设从Qn里去掉n个点，让整个图变成Qn1+Qn’+Qn2，如下图。

去掉n个割点，我们可以保证Qn是被分离成两个不相连的区域了，但Qn1 和 Qn2会有至少大于一个点和Qn’相连。假设Qn’里存在最少一点，去掉后能让Qn1和Qn’分割，那我们就得出K(Qd+1) >= d+1这个结论了。再结合上面说过的定理,κ(Qd) ≤ λ(Qd) ≤δ(Qd) = d, Qd+1又要<=d+1，那么显然Qd+1就只能等于d+1了，因此得证。