>>845はほんとにできるんだろうか？
l=min{ l | b≦a+2^l-2 }
とおいて
(i) a ≠ 2^k+1 (∀k) のとき
a-1,1,2,…,2^(l-1)
のn=l+1個で可能。
(ii) l≧3、a = 2^k+1 (k≧3) のとき
a-3,2,3,4,8,…,2-(l-1)のn=l+1で可能
(iii) l≧3、a=3,5のとき
5,1,2,4,…,2^(l-1)のn=l+1で可能。
(iv) b=a+1,a+2、aが奇数のとき
(a-1)/2,(a+1)/2,(a+3)/2のn=3で可能。
(v) b=a+2、aが偶数のとき
a-1,2,3のn=4で可能。
(vi) b=a+1、aが偶数のとき
a-1,2のn=3で可能。
はわかるのだけどこれが最小の証明がいくつかのケースで見つからない。
もう一枚削れないだろうなぁとは思うんだけどb≦a+2^(l-1)+lのケースとかで証明ができない。
ホントに出題者そこの証明もってんのかなぁ？