18/02/08 01:14:19.92 bWLJ5iCe.net
>>628
m = 2 のとき、
a(0) = 1
a(1) = 1*(2^1) = 2^1 = 2
a(2) = 2*(2^2) = 2^3 = 8
a(3) = 8*(2^8) = 2^11 = 2048
a(4) = 2048*(2^2048) = 2^(2059)
となった
ここで指数の肩に着目すると0 , 1 , 3 , 11 , 2059 , ... となってる
この数列n項がどうやら遺伝的有限集合で、これを頂点とするグラフに対してAckermann符号化を施したときに、辞書的にもっとも早くnクリークのグラフを形成できるらしい
肝心のAckermann 関数との関係は2の累乗があること以外には未だに分からないけれど