Cette question est délicate (et en particulier plus difficile que Quel grand nombre est le plus grand? ), Pour ceux qui aiment les puzzles plus difficiles.

Contribution

Entiers a1, a2, a3, a4, a5, b1, b2, b3, b4, b5 chacun dans la plage de 1 à 10.

Production

True if a1^(a2^(a3^(a4^a5))) > b1^(b2^(b3^(b4^b5))) and False otherwise.

^ est l'exponentiation dans cette question.

Règles

C'est du code-golf. Votre code doit se terminer correctement dans les 10 secondes pour toute entrée valide sur TIO . Si votre langue n'est pas sur TIO, le code devrait se terminer sous 10 secondes sur votre machine.

Vous pouvez générer tout ce qui est vrai pour vrai et tout ce qui est faux pour faux.

Cas de test

Rappelons que selon les règles d'exponentiaon, a1 ^ (a2 ^ (a3 ^ (a4 ^ a5))) == a1 ^ a2 ^ a3 ^ a4 ^ a5.

10^10^10^10^10 > 10^10^10^10^9
1^2^3^4^5 < 5^4^3^2^1
2^2^2^2^3 > 10^4^3^2^2
6^7^8^9^10 is not bigger than 6^7^8^9^10
10^6^4^2^2 < 10^6^2^4^2
2^2^2^2^10 > 2^2^2^10^2
10^9^8^7^6 < 6^7^8^9^10 
3^1^10^10^10 > 2^1^10^10^10 
9^10^10^10^10 < 10^9^10^10^10

Nouveaux cas de test de Kevin Cruijssen

[10,10,10,10,10, 10,10,10,10,9] #true
[2,2,2,2,3,      10,4,3,2,2]    #true
[2,2,2,2,10,     2,2,2,10,2]    #true
[10,10,10,10,10, 9,10,10,10,10] #true
[3,2,2,1,1,      2,5,1,1,1]     #true
[2,2,3,10,1,     2,7,3,9,1]     #true
[7,9,10,10,10,   6,9,10,10,10]  #true
[3,2,2,2,2,      2,2,2,2,2]     #true
[8,3,1,2,1,      2,2,3,1,1]     #true
[2,4,2,1,1,      3,3,2,1,1]     #true
[5,4,3,2,1,      1,2,3,4,5]     #true

[1,2,3,4,5,      5,4,3,2,1]     #false
[6,7,8,9,10,     6,7,8,9,10]    #false
[10,6,4,2,2,     10,6,2,4,2]    #false
[10,9,8,7,6,     6,7,8,9,10]    #false
[1,10,10,10,10,  1,10,10,10,9]  #false
[2,4,1,1,1,      2,2,2,1,1]     #false
[2,2,2,1,1,      2,4,1,1,1]     #false
[2,5,1,1,1,      3,2,2,1,1]     #false
[4,2,1,1,1,      2,4,1,1,1]     #false
[2,4,1,1,1,      4,2,1,1,1]     #false
[2,3,10,1,1,     8,3,9,1,1]     #false
[8,3,9,1,1,      2,3,10,1,1]    #false
[2,4,1,1,1,      3,3,1,1,1]     #false
[2,2,1,9,9,      2,2,1,10,10]   #false
[2,2,1,10,10,    2,2,1,9,9]     #false
[1,1,1,1,1,      1,2,1,1,1]     #false

Rubis, 150 octets

Voir les révisions pour les décomptes précédents.

->a,b,c,d,e,f,g,h,i,j{l=->s,t=c{Math.log(s,t)};y,z=l[l[g,b]]-d**e+l[h]*i**=j,l[l[a,f]*b**c,g];a>1?f<2?1:b<2||g<2?z>h:c<2||d<2?l[z,h]>i:y==0?a>f:y<0:p}

-10 octets grâce à @ValueInk

+16 octets grâce à @RosLuP pour les bugs.

Essayez-le en ligne .

Comparer différentes puissances de base (cinq tours de «hauteur»)?

Code non golfé:

-> a, b, c, d, e, f, g, h, i, j {
    l =-> s, t = c {Math.log(s, t)}
    i **= j
    y = l[l[g, b]] - d ** e + l[h] * i
    z = l[l[a, f] * b ** c, g]
    if a == 1
        return p
    elsif f == 1
        return 1
    elsif b == 1 || g == 1
        return z > h
    elsif d == 1 || c == 1
        return l[z, h] > i
    elsif y == 0
        return a > f
    else
        return y < 0
    end
}

Répartition du code:

l =-> s, t = c {Math.log(s, t)}

Il s'agit du tlogarithme de base , qui sera utilisé pour réduire la taille des nombres que nous comparons. Il prend par défaut la base clorsqu'un seul argument est donné.

i **= j
y = l[l[g, b]] - d ** e + l[h] * i
z = l[l[a, f] * b ** c, g]

Cette mise à jour i = i ** jcar ijamais utilisée seule, yest le résultat de la journalisation b^c^d^e == g^h^i(^j)deux fois et de tout déplacer d'un côté. On laisse alors z = l[a, f] * b ** ccomme base gde log la base fde log de a ** b ** c.

if a == 1
    return p
elsif f == 1
    return 1

1^b^c^d^e = 1n'est jamais supérieur à f^g^h^i^j, et de même, a^b^c^d^eest toujours supérieur à 1^g^h^i^j = 1if a != 1. Notez que return previent nil, ce qui est falsey, et return 1revient 1, ce qui est vrai.

elsif b == 1
    return z > h

Si b == 1ou g == 1, cela revient à comparer a ** b ** cà f ** g ** h, ce qui se fait avec deux journaux des deux côtés.

elsif d == 1 || c == 1
    return l[z, h] > i

Cela se compare a ** b ** cà f ** g ** h ** ien le réorganisant par log[log[b ** c * log[a, f], g], h]rapport à i. (Rappelez-vous qu'au i **= jdébut et z = log[b ** c * log[a, f], g].)

elsif y == 0
    return a > f
else
    return y < 0
end

Cela compare les 4 puissances les plus élevées après avoir enregistré les deux côtés deux fois. S'ils sont égaux, il compare la base.

Python 2, 671 612 495 490 611 597 octets

lambda a,b:P(S(a,b))>P(S(b,a))if P(a)==P(b)else P(a)>P(b)
def S(a,b):
  if a and a[-1]==b[-1]:
    a.pop()
    b.pop()
    return S(a,b)
from math import*
L=log
E=exp
N=lambda m,n,x:N(m,n+1,L(x))if x>=1else N(m,n-1,E(x))if x<0else(m+n,x)
A=lambda a,n,x:(0,1)if a==1else(1,R(x,n)*L(a))if a<1else N(2,*C(L(L(a)),x,n-1))if n else(1,x*L(a))
def C(c,x,n):
 if c*n==0:return(0if c else n,x+c)
 z=R(x,n-1)
 if z<=L(abs(c)):return(0,E(z)+c)
 return N(1,*C(L(1-E(L(-c)-z)if c<0else 1+E(L(c)-z)),x,n-1))
def R(x,n):
 try:exec'x=E(x)'*n
 except:x=float('inf')
 return x
P=lambda b:b and N(0,*A(b[0],*P(b[1:])))or(0,1)

-59 octets grâce à @EmbodimentOfIgnorance
-117 octets grâce à @Neil
+121 octets pour environ cinq corrections de bugs, tous trouvés par @ngn

Prend les entrées sous forme de deux listes. REMARQUE: fonctionne également avec des listes plus grandes ou de longueur inégale. EDIT: n'est plus vrai; cela fonctionne toujours si P(a)et P(b)aboutit à des tuples différents, mais s'ils sont identiques, ce code mis à jour ci-dessus ne fonctionne qu'avec des listes avec une taille fixe de 5 maintenant.

Essayez-le en ligne.

Explication:

Version golfée de cette réponse sur math.stackexchange.com , donc tout le mérite revient à @ThomasAhle .

Pour citer sa réponse:

$n$$(x\mid n) := exp^n(x)$$x\in[0,1)$

$a^{(x\mid n)}$$a$apow

$2^{2^{2^{2^0}}}<2^{2^{2^{2^{(1/2)^{2^{2^{2^2}}}}}}}$

Je serais intéressé par des suggestions sur d'autres types de contre-exemples, en particulier les entiers.

Il me semble que pour que le problème soit en P, nous avons besoin de méthodes non numériques. Il ne semble pas du tout improbable que certains cas analytiques soient plus difficiles que P.

Exemples:

powtow([2,2,2,2,2,2,2,2,2,2,2,2,2,2,4,2,2,2]) = (0.1184590219613409, 18)
powtow([9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9]) = (0.10111176550354063, 18)

powtow([2,2,5,2,7,4,9,3,7,6,9,9,9,9,3,2]) = (0.10111176550354042, 17)
powtow([3,3,6,3,9,4,2,3,2,2,2,2,2,3,3,3]) = (0.19648862015624008, 17)

Exemples de contre:

powtow([2,2,2,2,2,2,2]) = (0.8639310719129168, 6)
powtow([3,2,2,2,2,2,2]) = (0.8639310719129168, 6)

Concernant les contre-exemples, il mentionne ce qui suit dans la section commentaire:

$1<a<100$

Par conséquent, la principale chose à prouver est qu'une fois que la tête d'une tour dépasse un certain point, et que les autres exposants sont délimités (et également nombreux), nous pouvons simplement regarder la valeur différente la plus élevée. C'est un peu contre-intuitif, mais cela semble très probable à cause des simples inégalités que vous obtenez.

Étant donné que les plans A et B ne sont pas pertinents dans ce défi, puisque la hauteur est de 5 pour les deux tours de puissance que nous avons saisies, le plan C l'est. J'ai donc changé P(a)>P(b)pour P(S(a,b))>P(S(b,a))if P(a)==P(b)else P(a)>P(b)avec la fonction récursive S(a,b). Si P(a)et P(b)aboutissent au même tuple, le P(S(a,b))>P(S(b,a))supprimera d'abord les valeurs de fin qui sont égales aux mêmes indices, avant de faire la même P(A)>P(B)vérification sur ces listes désormais plus courtes.

05AB1E , 96 104 octets

3èI4èmU8.$`m©I7èI2è.n*I6èI1è.nI2è.n+Vнi0ë5èi1ë2ô1èßi¦2£`mIнI5è.n*I6è.nDI7èDi\1›·<žm*ë.n}®›ëXYQiнI5è›ëXY›

Port de la réponse Ruby de @SimplyBeautifulArt , alors assurez-vous de lui donner un vote positif!

$\log_1(x)$POSITIVE_INFINITY$x\gt1$NEGATIVE_INFINITY$x\lt1$0.0[3,2,2,1,1,2,5,1,1,1]POSITIVE_INFINITE[2,4,1,1,1,3,3,1,1,1]NEGATIVE_INFINITY

Entrée comme une liste d'entiers dix: [a,b,c,d,e,f,g,h,i,j].

Essayez-le en ligne ou vérifiez tous les cas de test .

Explication:

3èI4èm         # Calculate d**e
      U        # And pop and store it in variable `X`
8.$`m          # Calculate i**j
     ©         # Store it in variable `®` (without popping)
I7èI2è.n       # Calculate c_log(h)
 *             # Multiply it with i**j that was still on the stack: i**j * c_log(h)
I6èI1è.nI2è.n  # Calculate c_log(b_log(g))
 +             # And sum them together: i**j * c_log(h) + c_log(b_log(g))
  V            # Pop and store the result in variable `Y`

нi             # If `a` is 1:
 0             #  Push 0 (falsey)
ë5èi           # Else-if `f` is 1:
 1             #  Push 1 (truthy)
ë2ô1èßi        # Else-if the lowest value of [c,d] is 1:
 ¦2£`m         #  Calculate b**c
 IнI5è.n       #  Calculate f_log(a)
  *            #  Multiply them together: b**c * f_log(a)
   I6è.n       #  Calculate g_log(^): g_log(b**c * f_log(a))
 D             #  Duplicate it
  I7è          #  Push h
     Di        #  Duplicate it as well, and if h is exactly 1:
       \       #   Discard the duplicated h
       1›      #   Check if the calculated g_log(b**c * f_log(a)) is larger than 1
               #   (which results in 0 for falsey and 1 for truthy)
         ·<    #   Double it, and decrease it by 1 (it becomes -1 for falsey; 1 for truthy)
           žm* #   Multiply that by 9876543210 (to mimic POSITIVE/NEGATIVE INFINITY)
      ë        #  Else:
       .n      #   Calculate h_log(g_log(b**c * f_log(a))) instead
      }        #  After the if-else:
       ®›      #  Check whether the top of the stack is larger than variable `®`
ëXYQi          # Else-if variables `X` and `Y` are equal:
     нI5è›     #  Check whether `a` is larger than `f`
ë              # Else:
 XY›           #  Check whether `X` is larger than `Y`
               # (after which the top of the stack is output implicitly as result)

Si quelqu'un veut essayer de jouer au golf plus loin, voici un programme d'aide que j'ai utilisé pour obtenir les variables correctes de la liste d'entrée.

C, 168 180 octets

Port C de la réponse de Kevin Cruijssen.

#define l(a,b)log(a)/log(b)
z(a,b,c,d,e,f,g,h,i,j){float t=pow(i,j),y=l(l(g,b),c)-pow(d,e)+l(h,c)*t,z=l(l(a,f)*pow(b,c),g);return~-a&&f<2|(b<2|g<2?z>h:c<2|d<2?l(z,h)>t:y?y<0:a>f);}

Essayez-le en ligne

APL (NARS), caractères 118, octets 236

{p←{(a b c d)←⍵⋄a=1:¯1⋄b=1:⍟⍟a⋄(⍟⍟a)+(c*d)×⍟b}⋄(=/(a b)←{p 1↓⍵}¨⍺⍵)∧k←(∞ ∞)≡(m n)←{p(3↑⍵),*/3↓⍵}¨⍺⍵:(↑⍺)>↑⍵⋄k:a>b⋄m>n}

La fonction au-dessus de l'appel z, dans "az w" retournerait 1 si le nombre dans a est supérieur au nombre dans w, sinon elle retournerait 0.

Si j'ai

f(a,b,c,d,e)=a^b^c^d^e

Ce sera f (aa)> f (bb) avec à la fois un tableau aa et bb de 5 nombres positifs si et seulement si (si a> 1 de aa et bb) log (log (f (aa)))> log ( log (f (bb))) il faut utiliser les lois log ():

log(A*B)=log(A)+log(B)
log(A^B)=B*log(A)

pour build v (aa) = log (log (aa)) = v (a, b, c, d, e) = log (log (a)) + log (b) (c ^ (d ^ e)) = {p (3 ↑ ⍵), / 3 ↓ ⍵} et donc l'exercice est trouvé lorsque v (aa)> v (bb).

Mais il y a un cas où v (aa) et v (bb) sont tous les deux infinis (APL a mis fin à l'espace flottant) dans ce cas, j'utiliserais la fonction non sécurisée

s(a,b,c,d,e)=log(log(b))+log(c)*(d^e)={p 1↓⍵}

que je ne comprends pas bien si c'est ok et ça ne prend pas en compte un paramètre aussi ... test:

  z←{p←{(a b c d)←⍵⋄a=1:¯1⋄b=1:⍟⍟a⋄(⍟⍟a)+(c*d)×⍟b}⋄(=/(a b)←{p 1↓⍵}¨⍺⍵)∧k←(∞ ∞)≡(m n)←{p(3↑⍵),*/3↓⍵}¨⍺⍵:(↑⍺)>↑⍵⋄k:a>b⋄m>n}
  10 10 10 10 10 z 10 10 10 10 9
1
  1 2 3 4 5 z 5 4 3 2 1
0
  2 2 2 2 3 z 10 4 3 2 2
1
  10 6 4 2 2 z 10 6 2 4 2
0
  2 2 2 2 10 z 2 2 2 10 2
1
  10 9 8 7 6 z 6 7 8 9 10
0
  10 10 10 10 10 z 10 10 10 10 9
1      
  2 2 2 2 3   z    10 4 3 2 2
1
  2 2 2 2 10   z   2 2 2 10 2
1
  10 10 10 10 10 z 9 10 10 10 10
1
  3 2 2 1 1   z    2 5 1 1 1
1
  2 2 3 10 1  z    2 7 3 9 1
1
  7 9 10 10 10 z   6 9 10 10 10
1
  3 2 2 2 2    z   2 2 2 2 2
1
  3 10 10 10 10 z  2 10 10 10 10
1
  8 3 1 2 1    z   2 2 3 1 1
1
  2 4 2 1 1    z   3 3 2 1 1
1
  5 4 3 2 1    z   1 2 3 4 5
1
  1 2 3 4 5    z   5 4 3 2 1
0
  6 7 8 9 10    z  6 7 8 9 10
0
  10 6 4 2 2 z     10 6 2 4 2
0
  10 9 8 7 6  z   6 7 8 9 10
0
  1 10 10 10 10 z 1 10 10 10 9
0
  2 4 1 1 1 z     2 2 2 1 1
0
  2 2 2 1 1    z  2 4 1 1 1
0
  2 5 1 1 1   z   3 2 2 1 1
0
  4 2 1 1 1   z   2 4 1 1 1
0
  2 4 1 1 1   z   4 2 1 1 1
0
  2 3 10 1 1  z   8 3 9 1 1
0
  8 3 9 1 1   z   2 3 10 1 1
0
  2 4 1 1 1   z   3 3 1 1 1
0
  2 2 1 9 9   z   2 2 1 10 10
0
  2 2 1 10 10 z   2 2 1 9 9
0
  1 1 1 1 1   z   1 2 1 1 1
0
  1 1 1 1 2   z   1 1 1 1 1
0
  1 1 1 1 1   z   1 1 1 1 1
0
  9 10 10 10 10 z  10 9 10 10 10
1
  9 10 10 10 10 z  10 10 10 10 10
0
  10 10 10 10 10 z  10 10 10 10 10
0
  11 10 10 10 10 z  10 10 10 10 10
1

Java 8, 299 288 286 252 210 208 224 octets

Math M;(a,b,c,d,e,f,g,h,i,j)->{double t=M.pow(i,j),y=l(l(g,b),c)-M.pow(d,e)+l(h,c)*t,z=l(l(a,f)*M.pow(b,c),g);return a>1&&f<2|(b<2|g<2?z>h:c<2|d<2?l(z,h)>t:y==0?a>f:y<0);}double l(double...A){return M.log(A[0])/M.log(A[1]);}

Port de la réponse Ruby de @SimplyBeautifulArt , alors assurez-vous de lui donner un vote positif!
-14 octets grâce à @SimplyBeautifulArt .
+17 octets pour les mêmes corrections de bugs que la réponse Ruby.

Essayez-le en ligne.

Explication:

Math M;                      // Math M=null on class-level to save bytes

(a,b,c,d,e,f,g,h,i,j)->{     // Method with ten integer parameters and boolean return-type
  double t=M.pow(i,j),       //  Temp `t` = `i` to the power `j`
    y=l(l(g,b),c)            //  Temp `y` = `c`_log(`b`_log(`g`))
      -M.pow(d,e)            //  - `d` to the power `e`
      +l(h,c)*t,             //  + `c`_log(`h`) * `t`
    z=l(l(a,f)*M.pow(b,c),g);//  Temp `z` = `g`_log(`f`_log(`a`) * `b` to the power `c`)
  return a>1&&               //  If `a` is 1:
                             //   Return false
   f<2|(                     //  Else-if `f` is 1:
                             //   Return true
    b<2|g<2?                 //  Else-if either `b` or `g` is 1:
     z>h                     //   Return whether `z` is larger than `h`
    :c<2|d<2?                //  Else-if either `c` or `d` is 1:
     l(z,h)>t                //    Return whether `h`_log(`z`) is larger than `t`
    :y==0?                   //   Else-if `y` is 0:
      a>f                    //    Return whether `a` is larger than `f`
    :                        //   Else:
     y<0);}                  //    Return whether `y` is negative

// Separated method to calculate `B`_log(`A`) for inputs `A,B`
double l(double...A){return M.log(A[0])/M.log(A[1]);}