Algoritmo de tiempo polinómico para comparar números en la notación de flechas encadenadas de Conway

Question

Estoy buscando un tiempo polinómico que, dada una cadena de caracteres que contiene dos números en La notación de flechas encadenadas de Conway para números grandes, indica si el primer número es menor, mayor o igual que el segundo.

Supongamos que la función se llama C. Entonces

• C("1234 ? 432") debería dar "<", ya que 1234 = 1 < 4 256 \= 432,
• C("243 ? 432") debería dar ">", ya que 243 = $2^{2^{\cdot^{\cdot^2}}}$ (una torre de exponentes de altura 65536) > 4 256 \= 432, y
• C("223 ? 2226") debería dar "=", ya que 223 = 4 = 2226.

¿Existe algo así?

Answer 1

No estoy seguro de que esto sirva, pero prueba con Robert Munafo's hipercalc la moto es:

Adelante ¡Intenta hacer que me desborde!

Hypercalc puede trabajar con números bastante grandes, aquí hay una sesión de ejemplo:

C1 = scale=100
C1 = 27^(86!) - (27^86)!
R1 = 10 ^ (3.467778644301262713584883219782046054843086208195414740688065133320263642461739090290922141022702407 x 10 ^ 130 )

Página de inicio: http://mrob.com/pub/perl/hypercalc.html#versions

Descargue: http://mrob.com/pub/perl/index.html

Versión en línea de javascript: http://www.ylmass.edu.hk/~mathsclub/HyperCalc/HyperCalc.html