MathLabs

第4题

设有 n 个顶点的图 G 满足:(i) 没有顶点与其余所有顶点都相邻;(ii) 图中不含三角形;(iii) 对任意两个不相邻的顶点 A、B,恰有一个顶点 C 同时与二者相邻。证明所有顶点的度数相同,并求可能的最小 n。
第 3/6 步:计算 CijC_{ij} 的度数
deg⁡(Cij)=1+(m−1)=m.\deg(C_{ij})=1+(m-1)=m.
详细分析

除 BiB_i 外,CijC_{ij} 的任何邻点都只能是某个 ChkC_{hk}:不能是 AA,否则会与 A,BiA,B_i 构成三角形;若是 k≠ik\ne i 的 BkB_k,则不相邻的 Bi,BkB_i,B_k 会有 AA 和 CijC_{ij} 两个公共邻点。对每个 k≠ik\ne i,至多一个 CkhC_{kh} 能与 CijC_{ij} 相邻,否则 BkB_k 和 CijC_{ij} 会有两个公共邻点。由于 Bk,CijB_k,C_{ij} 不相邻,它们有唯一公共邻点;该点必须是这样的 CkhC_{kh},而不能是 AA。因此每个 k≠ik\ne i 恰有一个,且 deg⁡(Cij)=1+(m−1)=m\deg(C_{ij})=1+(m-1)=m。