第3题
一个社交网络有 名用户,其中一些用户成对为朋友(朋友关系是对称的)。以下事件可以反复发生,每次一个:三名用户 、、 满足 同时与 和 是朋友,但 与 不是朋友;改变他们的朋友关系,使得 与 现在成为朋友,但 不再与 是朋友,也不再与 是朋友。其他所有朋友关系保持不变。最初, 名用户各有 个朋友, 名用户各有 个朋友。证明存在一系列这样的事件,使得之后每名用户至多与另一名用户是朋友。
详细分析
设 连通但既非完全图、也非圈、也非树;那么 含有一个圈,但它本身不是那个圈。取一个最短圈 。若 不含三角形,选取 外部与 上某点 相邻的顶点 (因为 连通且比 大,此点存在),并设 是 上与 相邻的一个顶点;由 的最短性可知 与 不相邻,于是在 处的切换是合法的,并且它保持图连通,因为 仍保留圈上另一个相邻顶点,而 通过新边与 重新相连。若 含有三角形,取一个极大完全子图 (是顶点集的真子集)以及一条从 到某个 的边;由极大性可知存在 与 不相邻,于是在 处的切换是合法的并保持图连通,因为 仍与 的其余部分相连,而 通过 重新相连。