■クラトウスキーの問題(その4)

 数直線上の集合について,もう1題.

===================================

【1】バーレカンプ・グラハムの定理(1970年)

[Q]任意のkに対し,a1,a2,・・・,akがそれぞれ異なった区間

  [(i−1)/k,i/k],i≦k

にあるという性質を満たすn個の整数a1,a2,・・・,an(0<a1<a2<・・・<an<1)が取れる最大のnは?

[A]17個(18個以上の点を配置することは不可能である)

===================================