# 答案
n ≤ 5 皆不滿足,n ≥ 6 皆滿足。
n ≤ 3 trivial
n = 4 的反例:C4, P4
n = 5 的反例:C5
以下證明 n ≥ 6,取一點 a,分成兩種 case:
Case 1:a 認識 > 2 個人
center|200
假設前 3 個 a 認識的人是 b, c, d,若:
* bc 存在,取 {a, b, c} 滿足「彼此認識」
* bd 存在,取 {a, b, d} 滿足「彼此認識」
* cd 存在,取 {a, c, d} 滿足「彼此認識」
* bc, bd, cd 都不存在,取 {b, c, d} 滿足「互不認識」
Case 2:a 認識 ≤ 2 個人
a 不認識的人數 = n - 1 - #(a 認識的人數) ≥ 3。
假設前 3 個 a 不認識的人是 b, c, d,考慮此圖的補圖,若:
* bc 在補圖上存在,取 {a, b, c} 滿足「互不認識」
* cd 在補圖上存在,取 {a, c, d} 滿足「互不認識」
* bd 在補圖上存在,取 {a, b, d} 滿足「互不認識」
* bc, bd, cd 在補圖上都不存在,取 {b, c, d} 滿足「彼此認識」