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

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

巨大数探索スレッド10

939 :132人目の素数さん:2015/10/25(日) 00:56:03.15 ID:XtmjizyJ
バシク行列の強さに達していないとは思う。BEAFより強いわけでもないだろうけど

X: 0個以上の自然数(非負整数)またはリスト
Y: 0個以上のb以上の自然数またはリスト
a: bより小さい自然数またはリスト
b, c: 自然数またはリスト

[](n)=n
[X,0](n)=[X](n+1)
[X,a,Y,b](n)=[X,a,Y,P(b,n),a,Y,P(b,n),...](n)  (Xの後にa,Y,P(b,n)をn回繰り返す)
[X,b,c](n)=[X,b,P(c)...](n)  (P(c)がn個)
[b](n)=[P(b)](n+1)

P(0,n)=n
P(m+1,n)=m
P({X,a,Y,b},n)={X,a,Y,P(b),a,Y,P(b),...}
P({X,b,c},n)={X,b,P(c)...}
P({X,0},n)=P({X},n+1)
{}=0

C(0)=0
C(a)=C(P(a))+1
a<b⇔C(a)<C(b)

[0,1,2](2)=[0,1,1,1,1,1,1](2)=[0,1,1,1,1,1,0,0,1,1,1,1,1,0](2)
=[0,1,1,1,1,1,0,0,1,1,1,1,1](3)
=[0,1,1,1,1,1,0,0,1,1,1,1,0,0,1,1,1,1,0,0,1,1,1,1,0](3)

[0,1](2)=[0,0,0,0](2)=6

[{0,1},{0,1}](2)=[{0,1},4,4](2)=[{0,1},4,3,3](2)

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

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

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