算法导论 附录B 思考题 B-2

（友谊图）将下列描述改写成关于无向图的定理，并给出证明。假定友谊是对称的，但不是自反的。

a. 任何至少含两人的组中，至少有两人在组内有相同数目的朋友。

b. 任何6人的组要么至少有三个人互为朋友，要么至少有三个人互不认识。

c. 每个组中的人均能分成两个子组，其中每个属于某个子组的至少有一半的朋友在另外一个子组。

d. 如果一个组中每个人都至少是该组内一半人的朋友，那么该组可以按如下方式安排组员坐在圆桌周围：每个人都坐在他的两个朋友之间。

改写：

a. 任何至少有两个顶点的无向图中至少有两个顶点的度相同。

b. 6个顶点的无向图中，要么存在3个顶点相互连接，要么存在3个顶点相互不连接。

c. 无向图顶点可以分为两组，使得每个顶点的边至少一半位于两组间。

d. 无向图中每个顶点至少与图中一半顶点相连，则图中存在一条经过每个顶点的环。

证明：

a. 这个还是比较容易看出来的，对于n个顶点的无向图，如果每个顶点的度都不同，则顶点的度分别为0, 1, 2, ..., n - 1，然后可以发现其中度为0的顶点不与其余任何顶点连接，而度为n - 1的顶点要与其余所有顶点连接，而这是矛盾的。

b. 感觉高中干图论的时候好像看过这个例题。。。

不妨从6个顶点中任取一顶点，记与其相连的点集为LinkedSet，不相连的点集为UnlinkedSet。根据改写命题，LinkedSet中的点如果存在相互连接，则加上最初取的顶点将构成3个相互连接的顶点，于是假设LinkedSet中顶点无相互连接；同样，若UnlinkedSet中的点需两两相连，否则加上最初取的顶点将构成3个互不相连的顶点。但LinkedSet和UnlinkedSet中必有一个含有至少3个顶点，两两相连或两两不相连均将满足改写命题。

c. 用生成的方式考虑（其实就是递归）

对于已满足命题的点集a1，a2，新加一个顶点，若其与a1中顶点连接较多，将其放入a2，反之若其与a2中顶点连接较多，则将其放入a1（这里的顶点不包括a1和a2中既可放入a1又可放入a2的顶点）。放入后，在放入前既可在a1又可在a2中的顶点的命题性质可能被打破，只需将其调整到另一集合中即可。不难看出这样命题性质可以保持。

d. 这个好像也可以通过生成的方式考虑

对于已有的n个顶点的无向图，假设其中已存在一条经过所有顶点的环，新加入一个顶点，若n为偶数，则新加点至少与n / 2 + 1个顶点相连，若n为奇数，则新加点至少与(n + 1) / 2个顶点相连，均超过原n个顶点数量的一半。可知相连的点在原环中必有相邻，将新加点插入到其间即可。