새로운 루비, 135 바이트, >> H _{ψ (φ 3 (Ω + 1))} (9)

여기서 H 는 하디 계층이며, ψ 는 Madore의 OCF (아래 설명)의 확장 버전이고 φ 는 Veblen 함수입니다.

온라인으로 사용해보십시오!

f=->a,n,b=a{c,d,e=a;a==c ?a-1:e ?a==a-[0]?[[c,d,f[e,n,b]],d-1,c]:c:[n<1||c==0?n:[f[c||b,n-1]],n,n]};h=[],k=9,k;h=f[h,p(k*=k)]while h!=0

Ungolfed : (람다가 아닌 함수 사용)

def f(a,n,b)
  c,d,e = a
  if a == c
    return a-1
  elsif e
    if a == a-[0]
      return [[c,d,f(e,n,b)],d-1,c]
    else
      return c
    end
  else
    x = c || b
    if n < 1 || c == 0
      return [n,n,n]
    else
      return [f(x,n-1,x),n,n]
    end
  end
end

k = 9
h = [[],k,k]
while (h != 0) do
  k *= k
  p k
  h = f(h,k,h)
end

Madore의 확장 된 OCF :

그리고 Veblen의 phi 기능은 다음과 같습니다.

서 수가없는 설명 :

f(a,n,b) reduces an array recursively. (if no third argument given, it takes the first argument twice.)
f(k,n,b) = k-1, k is a positive int.
f([c,d,0],n,b) = f([c,0,e],n,b) = c
f([c,d,e],n,b) = [[c,d,f(e,n,b)],d-1,c], d ≠ -1 and c ≠ 0

f([a],0,b) = [0,0,0]
f([0],n,b) = [n,n,n]
f([],n,b) = f([b],n,b)
f([a],n,b) = [f[a,n-1,a],n,n]

내 프로그램이 시작 k = 9, h = [[],9,9]됩니다. 그러므로 적용 k = k*k하고 h = f(h,k)까지 h == 0출력한다 k.

서수로 설명 :

Ordinals follow the following representation: n, [], [a], [a,b,c], where n,d is a natural number and a,c are all ordinals.
x = Ord(y) if y is the syntactic version of x.
a[n,b] = Ord(f(a,n))
ω = Ord([0]) = Ord(f([a],-1,b))
n = Ord(n)
Ω = Ord([])
ψ'(a) = Ord([a])
ψ'(a)[n] = Ord(f([a],n))
φ(b,c) ≈ Ord([[0],b,c])
a(↓b)c = Ord([a,b,c]) (down-arrows/backwards associative hyper operators I designed just for ordinals)

We follow the following FS for our ordinals:
k[n,b] = k-1, k < ω
ω[n,b] = n(↓n)n
(a(↓b)0)[n,b] = (a(↓0)c)[n,b] = a
(a(↓b)c)[n,b] = (a(↓b)(c[n,b]))(↓b[n,b])a, b ≥ 0 and c > 0.
ψ'(a)[0,b] = 0(↓0)0
ψ'(a)[n,b] = (ψ'(a[n-1,a]))(↓n)ω, a > 0 and n ≥ 0. (also note that we've changed from [n,b] to [n,a].)
Ω[n,b] = ψ'(b)[n,b]

ψ ‘(ω ∙ α) ≈ ψ (α), 위 이미지에서 설명한 서수 축소 함수.

내 프로그램은 어느 정도 시작 k = 9하고 h = Ω(↑9)9적용 k ← k²하고 h ← h[k,h]까지 h = 1그리고 돌아온다 k.

그래서 내가 올바르게했다면 [[],9,9], Bachmann-Howard 서수 ψ (Ω ^{Ω Ω …} )보다 큽니다. 이는 ϑ (Ω ^ω ω) +1 보다 큽니다 .

ψ (Ω (↓ 9) 9)> ψ (Ω (↓ 4) 3)> ψ (Ω ^{Ω Ω} ) +1> ψ (Ω ^{Ω ω ω} ) +1> ϑ (Ω ^ω ω) +1

그리고 만약 나의 분석이 정확하다면, ψ ‘(Ω ^Ω ∙ x) ~ = ψ * (Ω ^Ω ∙ x)를 가져야합니다 . 여기서 ψ *는 마 도르의 정상적인 psi 함수입니다. 이것이 유지되면 내 서수는 대략 ψ * (φ ₃ (Ω + ω))입니다.

오래된 루비, 309 바이트, H _{ψ ‘ 0 (Ω 9 )} (9) ( 새로운 것 외에 개정 이력 참조 )

답변

data T=T[T]Int
l(T n _)=1+sum(l<$>n)
a@(T n c)#T m d=any(a#)m||c==d&&n!m
l@(x:t)!(y:u)=l!u||x#y&&t!u
x!_=null x
a n=do x<-[1..n];T<$>mapM(\_->a$n-1)[2..x]<*>[1..3]
s 0=[[]]
s n=[t:p|p<-s$n-1,t<-a n,(l t<=n)>any(#t)p]
main=print$[x|x<-[0..],null$s x]!!0

데프 S (T) : T == 1이면 0을 반환 [S (T [0])] + T [1 :]
데프 R (T) : U = T [0]; V = T [1 :]; exec "global B; B = T"* (T [-1] == 0); 반환 [S (B)] + U == 1 인 경우 V V; 그렇지 않으면 V 인 경우 R [U (U)] * c + V
A = [[[1,1], 1], 0]
c = 9
A : A = R (A); c * = c 인 동안
인쇄 c

데프 S (T) :
  T == 1이면 0을 반환하고 그렇지 않으면 [S (T [0])] + T [1 :]

데프 R (T) :
  U = T [0]
  V = T [1 :]
  글로벌 B
  T [-1] == 0 인 경우 :
    B = T
  U == 1 인 경우 :
    [S (B)] + V를 반환
  U 이외의 경우 V [R (U)] * c + V를 반환

A = [[[1,1], 1], 0]
c = 9
A 동안 :
  A = R (A)
  c * = c
인쇄 c

s=->t{*v,u=t;t==1?[]:v<<s[u]}
r=->t{*v,u=t;$b=t[0][0]?$b:t;u==1?v<<s[$b]:u[0]?v+[r[u]]*$c:v}
$c=9
a=[],[1,[1,1]]
($c*=9;a=r[a])while a[0]
$c

데프 S (a)
  * v, u = a
  a == 1 인 경우
    반환 []
  그밖에
    v + [S (u)]를 반환
  종료
종료

데프 R (T)
  * v, u = t
  t [0] == [] 인 경우
    $ b = t
  종료
  u == 1 인 경우
    리턴 v + [S ($ b)]
  elsif u == []
    v를 반환
  그밖에
    v + [R (u)] * $ c 반환
  종료
종료

$ c = 9

a = [[], [1, [1,1]]]

반면에! = [] do
  $ c * = 9
  a = R (a)
종료

인쇄 $ c

r,/,a=0,div,0;¬x=x/2;r<s=r?s:0;y\x=y-~y<<x;+x=global r=(x%2!=0)<1+(+¬x);!x=¬x>>+x;√x=S(4,13,-4,x);S(v,y,c,t)=(!t;f=x=r;f!=2?f>2?f!=v?t-(f>v)%2*c:y:f\(S(v,y,c,!x)\S(v+2,t=√y,c,+x)):S(v,y,c,!x)$S(v,y,c,+x));y$x=!y!=1?5<<y\x:S(4,x,4,+r);D(x)=(c=0;t=7;u=14;while(x!=0&&D(x-1);(x=¬x)%2!=0)d=!!D(x);f=!r;x=!r;c==r<((!u!=0||!r!=f||(x=¬x)%2!=0)<(u=S(4,d,4,r);t=t$d);¬f&(x=¬x)%2!=0<(c=d\c;t=√t;u=√u));(c!=0&&(x=¬x)%2!=0)<(t=((~u&2|(x=¬x)%2!=0)<(u=1<<(!c\u)))\(!c\t);c=r);¬u&(x=¬x)%2!=0<(c=t\c;u=√t;t=9)end;global a=(t\(u\(x\c)))\a);D(D(D(D(D(BigInt(99))))))

r,/,a=0,div,0;
¬x=x/2;
r<s=r?s:0;
y\x=y-~y<<x;
+x=global r=(x%2!=0)<1+(+¬x);
!x=¬x>>+x;
√x=S(4,13,-4,x);
S(v,y,c,t)=(
    !t;
    f=x=r;
    f!=2?
        f>2?
            f!=v?
                t-(f>v)%2*c
                :y
            :f\(S(v,y,c,!x)\S(v+2,t=√y,c,+x))
        :S(v,y,c,!x)$S(v,y,c,+x)
);
y$x=!y!=1?5<<y\x:S(4,x,4,+r);
D(x)=(
    c=0;
    t=7;
    u=14;
    while(x!=0&&D(x-1);(x=¬x)%2!=0)
        d=!!D(x);
        f=!r;
        x=!r;
        c==r<(
            (!u!=0||!r!=f||(x=¬x)%2!=0)<(
                u=S(4,d,4,r);
                t=t$d
            );
            ¬f&(x=¬x)%2!=0<(
                c=d\c;
                t=√t;
                u=√u
            )
        );
        (c!=0&&(x=¬x)%2!=0)<(
            t=((~u&2|(x=¬x)%2!=0)<(u=1<<(!c\u)))\(!c\t);
            c=r
        );
        ¬u&(x=¬x)%2!=0<(
            c=t\c;
            u=√t;
            t=9
        )
    end;
    global a=(t\(u\(x\c)))\a
);
D(D(D(D(D(BigInt(99))))))

A=[0,1,2];B=[0,1,2];for(F=C=9;F;F--){for(C++,G=0;G<=F;G++)(A[F]||A[F-G]<A[F]-H)&&(B[F]?(I=G,G=F):(H=A[F]-A[F-G],B[F-G]<B[F]&&(I=G,G=F)));for(J=0;J<C*I;J++)A[F]=A[F-I]+H,B[F]=B[F-I],F++;H=0}C