MathLabs

第3题

一个社交网络有 20192019 名用户,其中一些用户成对为朋友(朋友关系是对称的)。以下事件可以反复发生,每次一个:三名用户 AA、BB、CC 满足 AA 同时与 BB 和 CC 是朋友,但 BB 与 CC 不是朋友;改变他们的朋友关系,使得 BB 与 CC 现在成为朋友,但 AA 不再与 BB 是朋友,也不再与 CC 是朋友。其他所有朋友关系保持不变。最初,10101010 名用户各有 10091009 个朋友,10091009 名用户各有 10101010 个朋友。证明存在一系列这样的事件,使得之后每名用户至多与另一名用户是朋友。
第 3/6 步:既非完全图、圈也非树的连通图必存在安全的切换
G connected, G≠K∣V∣, G≠C∣V∣, G not a tree ⟹ ∃ A,B,C: G′ connectedG\ \text{connected},\ G\neq K_{|V|},\ G\neq C_{|V|},\ G\ \text{not a tree}\ \Longrightarrow\ \exists\, A,B,C:\ G'\ \text{connected}
详细分析

设 GG 连通但既非完全图、也非圈、也非树;那么 GG 含有一个圈,但它本身不是那个圈。取一个最短圈 C0C_0。若 GG 不含三角形,选取 C0C_0 外部与 C0C_0 上某点 aa 相邻的顶点 bb(因为 GG 连通且比 C0C_0 大,此点存在),并设 cc 是 C0C_0 上与 aa 相邻的一个顶点;由 C0C_0 的最短性可知 bb 与 cc 不相邻,于是在 a,b,ca,b,c 处的切换是合法的,并且它保持图连通,因为 aa 仍保留圈上另一个相邻顶点,而 bb 通过新边与 cc 重新相连。若 GG 含有三角形,取一个极大完全子图 KK(是顶点集的真子集)以及一条从 a∈Ka\in K 到某个 b∉Kb\notin K 的边;由极大性可知存在 c∈Kc\in K 与 bb 不相邻,于是在 a,b,ca,b,c 处的切换是合法的并保持图连通,因为 aa 仍与 KK 的其余部分相连,而 bb 通过 cc 重新相连。