変更：ユーザーブログ:BashicuHyudora/BASIC言語による巨大数のまとめ

2024年4月14日 (日) 13:17時点における最新版

巨大数列数(Huge sequence number)

A=9:dim B[∞]
for C=0 to 9
 for D=0 to A
  B[D]=D
 next
 for E=A to 0 step -1
  A=A+1
  for F=0 to E
   if B[E-F]<B[E] then
    for G=1 to A
     B[E+G-1]=B[E-F]
    next
     E=E+A:F=E
   endif
  next
 next
next
print A

例
0,1,2,3,2,2
0,1,2,3,2,1,1
0,1,2,3,2,1,0,0

Hu(x)=ω.

巨大行列数(Huge matrix number)

 A=9:dim B[∞,∞]
  for C=0 to 9
   for D=1 to A
    B[2,D]=1
   next
   for E=2 to 1 step -1
    A=A+1
    for F=0 to E-1
     for G=1 to D
      if B[E-F,G]<B[E,G] then
       if B[E,G+1]=0 then H=F:I=G:F=E:G=D
      else
       G=D
      endif
     next
    next
    for J=0 to A
     for K=1 to D
      if K<I then B[E,K]=B[E-J,K]+J else B[E,K]=B[E-H,K]
     next
     if 0<H then E=E+1:H=H+1
    next
    H=0
   next
  next
  print A
  
  例
  (0,0)(1,1)(2,2)
  (0,0)(1,1)(2,1)(3,1)
  (0,0)(1,1)(2,1)(3,0)(4,0)
  (0,0)(1,1)(2,1)(3,0)(3,0)(3,0)
  (0,0)(1,1)(2,1)(3,0)(3,0)(2,1)(2,1)

巨大数列を行列化。ε_0くらいのおおきさ。

原始数列数(Primitive sequence number)

A=9:dim B[∞]
for C=0 to 9
 for D=0 to A
  B[D]=D
 next
 for E=A to 0 step -1
  A=A*A
  for F=0 to E
   if B[E-F]<B[E] or B[E]=0 then G=F:F=E
  next
  for H=1 to A*G
   B[E]=B[E-G]:E=E+1
  next
 next
next
print A
 
例
0,1,2,2
0,1,2,1,2
0,1,2,1,1
0,1,2,1,0,1,2,1

または、一次数列数 P(x)=ε_0

大数列数(Large sequence number)

A=9:dim B[∞]
for C=0 to 9
 B[1]=A
 for D=1 to 0 step -1
  A=A*A
  for E=0 to D
   if B[D-E]<B[D] | B[D]=0 then F=E:E=D
  next
   G=B[D]-B[D-F]-1
   for H=1 to A*F
    B[D]=B[D-F]+G:D=D+1
   next
 next
next
print A

L(x)=f_{φ(ω,0)}(x)

バシク亜行列数(Bashicu submatrix number)

A=9:dim B[∞,∞],C[∞]
for D=0 to 9
 for E=1 to A
  B[2,E]=1
 next
 for F=2 to 1 step -1
  A=A+1
  for G=0 to F-1
   for H=1 to E
    if B[F-G,H]<B[F,H]-C[H] | B[F,1]=0 then
     if B[F,H+1]=0 then
      for I=1 to H
       if C[I]=1 | H=1 then
        if I=H-1 | H=1 then
         for J=1 to A*G
          for K=1 to E
           B[F,K]=B[F-G,K]+C[K]            
          next
          F=F+1
         next
         I=H
        endif
       else
        B[F,H]=0:F=F+1:I=H
       endif
      next
      G=F:H=E
     else
      C[H]=B[F,H]-B[F-G,H] 
     endif
    else
     H=E
    endif
   next 
  next 
  for L=1 to E
   C[L]=0
  next
 next
next
print A

バシク小行列システムはBM1の改良です。

超数列数(Hyper sequence number)

A=9:dim B[∞]
for C=0 to 9
 for D=1 to A
  B[D]=D
 next
 for E=A to 0 step -1
  A=A*A
  for F=0 to E
   if B[E-F]<B[E] then
    if G=0 then H=F
    for I=0 to H
     if B[E-F+I]<B[E-H+I] then F=E:I=H:J=1
     if B[E-H+I]<B[E-F+I] then I=H
    next
    if J=0 then G=F else J=0
   endif
  next
  for K=1 to A*G
   B[E]=B[E-G]:E=E+1
  next
  G=0
 next
next
print A


例
0,1,2,3,2,3
0,1,2,3,2,2,3,2
0,1,2,3,2,2,3,1,2,3,2,2,3
0,1,2,3,2,2,3,1,2,3,2,2,2,2
0,1,2,3,2,2,3,1,2,3,2,2,2,1,2,3,2,2,3,1,2,3,2,2,2,1,2,3,2,2,3,1,2,3,2,2,2

H(x)=Γ_0

ペア数列数(Pair sequence number)

dim A[∞],B[∞]:C=9
for D=0 to 9
 for E=0 to C
  A[E]=E:B[E]=E
 next
 for F=C to 0 step -1
  C=C*C
  for G=0 to F
   if A[F]=0 | A[F-G]<A[F]-H  then
    if B[F]=0 then 
     I=G:G=F
    else
     H=A[F]-A[F-G]
     if B[F-G]<B[F] then I=G:G=F
    endif
   endif
  next
  for J=1 to C*I
   A[F]=A[F-I]+H:B[F]=B[F-I]:F=F+1
  next
  H=0
 next
next
print C
 
例
(0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)
(0,0)(1,1)(2,1)(3,1)(1,0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(5,0)(4,1)(5,1)

または、二次数列数 Pair(x)=Ψ_Ω(Ω_ω)

悪い部分決定に端の行の下降無しで(0,0)(1,1)(2,1)(3,1)(1,0)(1,1)(2,1)(3,1)=Γ_{ω+1}が停止しな
い最小の行列である。バシクトリ=(0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)[3]

大虫数列数

A=pow(10,100):dim B[∞]
for C=0 to 9
 B[2]=A
 for D=2 to 1 step -1
  A=pow(10,A)
  for E=0 to D-1
   if B[D-E]<B[D]-G | B[D]=0 then
    if F=0 then F=E
    G=B[D]-B[D-E]
    for H=E to D-1
     if B[D-H]<B[D-E] | B[D]-B[D-E]=1 | B[D-E]=0 then
      if B[D]-B[D-E]=1 | (B[D-E]=0 & E=F) then
       I=F:E=D-1:H=D-1
      else
       if B[D-E]-B[D-H]+1=B[D]-B[D-E]  then
        I=E:E=D-1:H=D-1
       else
        if B[D]-B[D-E]-1<B[D-E]-B[D-H] then I=H:H=D-1
       endif
      endif
     endif
    next
   endif
  next
  for J=1 to A*I
   B[D]=B[D-I]+G-1:D=D+1
  next
  F=0:G=0:I=0
 next
next
print A

https://docs.google.com/spreadsheets/d/1ySrN0SzWWbMMIsWU9J0RauwENiz4Z37Ib4llOGRLPXg/edit#gid=0

バシク行列数(Bashicu matrix number)

A=9:dim B[∞,∞],C[∞,∞],D[∞]
for E=0 to 9
 for F=0 to A
  B[1,F]=1:C[1,F]=1
 next
 for G=1 to 0 step -1
  A=A*A
  for H=0 to G
   if H=0 then I=G:J=F else I=G-K+H:J=0
   for L=J to F
    for M=0 to F
     D[M]=0:C[H+2,M]=0
    next
    for N=0 to I
     for O=0 to L
      if B[I-N,O]<B[I,O]-D[O] | B[I,0]=0 then
       if B[I,O+1]=0 & H=0 then
        K=N:N=I:O=L
       elseif O=L & N<H+1
        if C[H+1-N,L]=1 then C[H+1,L]=1
        N=I
       else
        D[O]=B[I,O]-B[I-N,O]
       endif
      else
       O=L
      endif
     next
    next
   next
  next
  for P=0 to F
   if 0<B[G,P+1] then D[P]=B[G,P]-B[G-K,P]
  next
  for Q=1 to A
   for R=1 to K
    for S=0 to F
     if C[R,S]=1 then B[G,S]=B[G-K,S]+D[S] else B[G,S]=B[G-K,S]
    next
    G=G+1
   next
  next
 next
next
print A

例
(0,0,0)(1,1,1)(2,1,0)(1,1,1)
(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)

Bm(x).バシク行列数は512文字以内に定義されている

ゼータ行列数 (0,0,0)(1,1,1)(2,1,1)(3,0,0)(1,0,0)[3]

メタ行列数 (0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,0,0)[3]

ガンマ行列数 (0,0,0)(1,1,1)(2,1,1)(3,1,1)(1,0,0)[3]

マルチ行列数 (0,0,0)(1,1,1)(2,1,1)(3,1,1)(4,0,0)(1,0,0)[3]

バシク数 (0,0,0)(1,1,1)(2,2,0)(1,0,0)[3]

ゼータ大行列数 (0,0,0)(1,1,1)(2,2,1)(3,0,0)(1,0,0)[3]

メタバシク数(0,0,0)(1,1,1)(2,2,1)(3,2,0)(1,0,0)[3]

ガンマ大行列数 (0,0,0)(1,1,1)(2,2,1)(3,3,1)(1,0,0)[3]

オメガバシク数 (0,0,0)(1,1,1)(2,2,2)(1,0,0)[3]

マルチ大行列数 (0,0,0)(1,1,1)(2,2,2)(3,3,3)(1,0,0)[3]

トリオ数列数 (0,0,0,0)(1,1,1,1)(1,0,0,0)[3]

バシアクルス(0,0,0,0)(1,1,1,1)(2,2,1,1)(3,3,1,1)(4,2,0,0)(5,1,1,1)(6,2,1,1)(7,3,1,1)[3]

バシク超行列数(Bashicu hyper matrix number)

A=99:dim B[∞,∞],B2[∞,∞],C[∞],C2[∞],C3[∞]
for D=0 to 99
 for D2=1 to A
  B[2,D2]=1
 next
 for D3=2 to 1 step -1
  A=pow(A,A)
  for D4=1 to D2
   if 0<B[D3,D4] & B[D3,D4+1]=0 then
    for D5=0 to D3-1
     for D6=1 to D4
      if 0<B[D3-D5,D6]<B[D3,D6]-C[D6] then
       if D6<D4 then
        C[D6]=B[D3,D6]-B[D3-D5,D6]
       else
        if D7=0 then D7=D5
        D8=D8+1
        C2[D8]=D5
        for D9=1 to D6
         B2[D3-D5,D9]=D8
        next
        for D10=1 to D4
         for D11=D3-D5 to D3
          for D12=D11 to D3-D5 step -1
           for D13=1 to D10
            if B[D12,D13]<B[D11,D13]-C3[D13] then
             if D10=D13 then
              if 0<B2[D12,D10] & B2[D11,D10]=0 then B2[D11,D10]=D8
              D12=D3-D5
             else
              C3[D13]=B[D11,D13]-B[D12,D13]
             endif
            else
             D13=D10
            endif
           next
          next
          for D14=1 to D2
           C3[D14]=0
          next
         next
        next
        for D15=0 to D7
         for D16=1 to D2
          D17=0
          if 0<B2[D3-D7+D15,D16] then
           if D16<D4 then D17=B[D3-C2[B2[D3-D7+D15,D16]],D16]-B[D3-D5,D16]
          endif
          if B[D3-D5+D15,D16]<B[D3-D7+D15,D16]-D17 then
           D15=D7:D16=D2:D18=1:D5=D3
          elseif B[D3-D7,D16]-D17<B[D3-D5,D16]
           D15=D7:D16=D2
          endif
         next
        next    
        if D18=0 then D19=D5 else D18=0
       endif
      else
       D6=D4
      endif
     next
    next
    D4=D2
   endif
  next
  for D20=1 to D2
   if 0<B[D3,D20+1] then C[D20]=B[D3,D20]-B[D3-D19,D20]
  next
  for D21=1 to A*D19
   for D22=1 to D2
    if 0<B2[D3-D19,D22] then B[D3,D22]=B[D3-D19,D22]+C[D22]:B2[D3,D22]=B2[D3-D19,D22] else B[D3,D22]=B[D3-D19,D22]
   next
   D3=D3+1
  next
  for D23=1 to D3
   for D24=1 to D2
    B2[D23,D24]=0
   next
  next
  D7=0:D8=0:D19=0
  for D25=1 to D2
   C[D25]=0
  next
 next
next
print A

BM=(0,0,0)(1,1,1)(1,0,0)(2,0,0)(1,1,0)(1,0,0)(2,0,0)

ペア超数列数{(0,0,0)(1,1,1)}^10(9)

トリオ超数列数{(0,0,0,0)(1,1,1,1)}^10(9)