■コーヒー・定理変換装置(その7)
[1]g(3)=3は自明である.
[2]ハッピーエンド問題から,g(4)=5となる.
[3]のちに,g(5)=9.
[4]g(6)=17が示された.
セケレシュは
g(n)=1+2^n-2
と予想した.
セケレシュ予想が正しければ,
[5]g(7)=33
[6]g(8)=65
となるはずであるが,いずれにせよ,n≧7に対するg(n)の値はよくわかっていないようである.
===================================