5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

巨大数探索スレッド10

135 :132人目の素数さん:2014/08/16(土) 21:07:27.14
>>129
>意味が分からない。
説明が変でしたね。それと、少し間違えていました。
Eのループ処理全体でE=E+1が処理された回数よりもループEが
ループされた回数の方が9だけ大きくなったときにEの値が8に、
次に9+8だけ大きくなったときはEの値は7に、というふうになります。

>A(1)〜A(8)が更新されるときと、G=0になるとき、どっちが先に来るの?
G=0になる方が先です。

>きちんと順序数と対応づけて説明してくれ。
>>109のコードで説明すると余りにも大規模になるので、代わりのコードで
説明します。

dim A(∞):B=2
for D=0 to B
A(D)=D
next
for E=B to 0 step -1
for F=0 to E
if A(E-F)<A(E) or A(E)=0 then G=F:F=E
next
for H=1 to B*G
A(E)=A(E-G):E=E+1
next
next
print B

136 :132人目の素数さん:2014/08/16(土) 21:08:25.86
まず、配列Aの値はA(0)から順に
0,1,2
となり順序数ω^ωに対応します。

次に、ループFの処理でGは1、ループHの処理でEは4、配列Aは
0,1,1,1
となり順序数ω^3に対応します。
その後ループEの繰り返しによりEは3になります。
これがループEが一回ループされた時の処理になります。
この地点でループEがループされた回数は1回、E=E+1が処理された回数は2回です。
次にまたループEをループすると、配列Aは
0,1,1,0,1,1,0,1,1
となり順序数ω^2*3に対応します。
E=E+1が処理された回数は8回、ループEがループされた回数は2回、Eは8です。

ここからは、ループEが一回ループされた時の結果を
次のように省略します。

配列Aの値
[対応する順序数][ループEがループされた回数、E=E+1が処理された回数、Eの値]

137 :132人目の素数さん:2014/08/16(土) 21:09:21.95
0,1,1,0,1,1,0,1,0,1,0,1
[ω^2*2+ω*3][3,12,11]

0,1,1,0,1,1,0,1,0,1,0,0,0
[ω^2*2+ω*2+3][4,14,12]

この地点でGが0になる時が来ます。

0,1,1,0,1,1,0,1,0,1,0,0
[ω^2*2+ω*2+2][5,14,11]

0,1,1,0,1,1,0,1,0,1,0
[ω^2*2+ω*2+1][6,14,10]

0,1,1,0,1,1,0,1,0,1
[ω^2*2+ω*2][7,14,9]

この先、ωが1つ減るごとに、ループされた回数が+4、E=E+1が処理された回数が+2、
Eの値が-2されるので、省略していきます。

138 :132人目の素数さん:2014/08/16(土) 21:09:49.81
0,1,1,0,1,1,0,1
[ω^2*2+ω][11,16,7]

0,1,1,0,1,1
[ω^2*2][15,18,5]

0,1,1,0,1,0,1,0,1
[ω^2+ω*3][16,22,8]

0,1,1,0,1,0,1
[ω^2+ω*2][20,24,6]

0,1,1,0,1
[ω^2+ω][24,26,4]

0,1,1
[ω^2][28,28,2]

0,1,0,1,0,1
[ω*3][28,32,5]

0,1,0,1
[ω*2][32,32,3]

0,1
[ω][36,34,1]

ここでEの値ががループEの処理が始まる前のBよりも
1小さくなります。

139 :132人目の素数さん:2014/08/16(土) 21:11:14.38
0,0,0
[3][37,36,2]

ここでA(0)〜A(E)=0となります。

0,0
[2][38,36,1]

0
[1][39,36,0]


なお、0,1,2の列の最後に0が付くと、ω^ω+1
1が付くと、ω^(ω+1)
2が付くと、ω^(ω*ω)
3が付くと、ω^(ω^ω)
3,4が付くと、ω^(ω^(ω^ω))
というふうになります。
とりあえず説明は以上です。

140 :132人目の素数さん:2014/08/16(土) 21:25:56.38
付け足しです。
>>109のコードでループCを1回ループして得られるBの値はだいたい
ω^^9くらいの大きさです。

347 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)