MathLabs

第5問

正整数 に対し、任意の 人の中に、互いに知り合いである 組の 人、または互いに知り合いでない 組の 人が必ず存在するような最小の正整数 を求めよ。 mm nn kk kk 2m2m mm 2n2n nn
ステップ 4/5: 基底から帰納する
r(s,1)=2s,r(m,n)≤2m+n−1r(s,1)=2s,\qquad r(m,n)\le2m+n-1
詳しい解説

基底は r(s,1)=2sr(s,1)=2s である。2s2s 人の中には、全員が互いに知り合いである 2s2s 人か、知り合いでない2人がある。漸化式を反復すれば m≥nm\ge n で r(m,n)≤2m+n−1r(m,n)\le2m+n-1。下界と合わせて等号が成立する。