■クラトウスキーの問題(その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個以上の点を配置することは不可能である)
===================================