■ このスレッドは過去ログ倉庫に格納されています
巨大数探索スレッド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.09 2022/06/21 Walang Kapalit ★
FOX ★