El objetivo de las cuatro patas de puzzle es representar cada número natural, usando cuatro copias de los dígitos $ comunes y símbolos matemáticos.
Por ejemplo, 5=(\sqrt{4} + \sqrt{\sqrt{{\sqrt{4^{4!}}}}}) \div .4$.
Si queremos eliminar la restricción en el número de patas, vamos a $f(N)$ be the number of fours required to be able to represent all positive integers no greater than $N$. What is the asymptotic behaviour of $f(N)$? Can it be shown that $f(N) \sim r \log N$ for some $r$?
Para ser más específicos, vamos a restringir las operaciones a los siguientes:
- además: $x+y$
- resta: $x-y$
- multiplicación: $x\times y$
- división: $x\div y$
- exponenciación: $y^x$
- raíces: $\sqrt[x]{y}$
- raíz cuadrada: $\sqrt{x}$
- factorial de $n!$
- punto decimal: $.4$
- recurrente decimal: $. \overline 4$
Es fácil ver que $f(N)$ is $O(\log N)$. For example, with four fours, numbers up to 2$ can be represented (see here for a tool for generating solutions), so, since = 4\times4!$, we can use k-2$ a cuatro patas en el formulario $(\dots((a_1\times 96+a_2)\times 96+a_3)\dots)\times96+a_k$ para representar cada número hasta el ^k$.
Por otro lado, podemos intentar contar el número de expresiones distintas que se pueden hacer con $k$ fours. For example, if we (arbitrarily) permit factorial only to be applied to the digit $, and allow no more than two successive applications of the square root operation, we get $\frac{216^k}{18}C_{k-1}$ distinct expressions where $C_k$ is the $k$th Catalan number. (Of course, many of these expressions won't represent a positive integer, many different expressions will represent the same number, and the positive integers generated won't consist of a contiguous range from $ to some $N$.)
Utilizando la fórmula de Stirling, para un gran $k$, this is approximately $\frac{864^k}{72k\sqrt{\pi k}}$. So for $f(N)$ to grow slower than $r\log N$, tendríamos que eliminar las restricciones sobre el uso de operaciones unarias. (Es bien conocido que el uso de los registros permite que cualquier número que puede representarse con sólo cuatro patas.)
Puede este enfoque se extiende a mostrar que $f(N)$ is $\Omega(\log N)$? O hace uso irrestricto de factorial y raíces cuadradas significa que $f(N)$ is actually $o(\log N)$? Es la respuesta diferente si el uso de $x\%$ (porcentajes) también está permitida?