En matemáticas recreativas , los acertijos de quema de cuerdas son una clase de acertijo matemático en el que a uno se le dan trozos de cuerda, cordón fusible o cordón de zapato que se queman durante un período de tiempo determinado, y cerillas para prenderles fuego, y debe usarlos. medir una cantidad de tiempo no unitaria. Los números fusibles se definen como la cantidad de tiempo que se puede medir de esta manera.
Además de ser de interés recreativo, estos acertijos a veces se plantean en entrevistas de trabajo como una prueba de la capacidad de resolución de problemas de los candidatos, [1] y se han sugerido como actividad para estudiantes de matemáticas de secundaria. [2]
Una versión común y simple de este problema pide medir un tiempo de 45 segundos usando solo dos fusibles que arden cada uno durante un minuto. Las suposiciones del problema generalmente se especifican de una manera que impide medir 3/4 de la longitud de un fusible y quemarlo de un extremo a otro, por ejemplo, afirmando que los fusibles se queman de manera desigual a lo largo de su longitud. [1] [2] [3] [4]
Una solución a este problema es realizar los siguientes pasos: [3]
Son posibles muchas otras variaciones, en algunos casos utilizando fusibles que se queman durante períodos de tiempo diferentes entre sí. [5]
En versiones comunes del problema, cada fusible dura una unidad de tiempo, y las únicas operaciones utilizadas o permitidas en la solución son encender uno o ambos extremos de un fusible en momentos conocidos, determinados como el inicio de la solución o como el momento en que se quema otro fusible. Si sólo se enciende un extremo de un fusible a la vez , se quemará al mismo tiempo . Si ambos extremos de un fusible se encienden a veces y , se quemará en el momento , porque una parte de se quema a la velocidad original y la parte restante se quema al doble de la velocidad original, por lo tanto, el fusible se quema a la velocidad original.
Un número es un número de fusible si es posible utilizar fusibles de unidad de tiempo para medir unidades de tiempo utilizando sólo estas operaciones. Por ejemplo, según la solución al problema de ejemplo, hay un número de fusible. [7]
Se puede suponer, sin pérdida de generalidad, que cada fusible está encendido en ambos extremos, reemplazando un fusible que está encendido solo en un extremo a la vez por dos fusibles, el primero encendido en ambos extremos al mismo tiempo y el segundo encendido en ambos extremos. en el momento en que se funde el primer fusible. De esta forma, los números fusibles se pueden definir como el conjunto de números que se pueden obtener a partir del número mediante la aplicación repetida de la operación , aplicada a pares que ya se han obtenido y para los cuales . [7]
Los números fusibles incluyen todos los números enteros no negativos y son un subconjunto bien ordenado de los números racionales diádicos , las fracciones cuyos denominadores son potencias de dos . Estar bien ordenado significa que, si se elige una secuencia decreciente de números fusibles, la secuencia siempre debe ser finita. Entre los conjuntos bien ordenados, su ordenación se puede clasificar como un número épsilon (un caso especial de los infinitos números ordinales ). Debido a que están bien ordenados, para cada número entero hay un número fusible único y más pequeño entre los números fusibles mayores que ; tiene la forma para algunos . [7] Este número crece muy rápidamente en función de , tan rápidamente que (en la notación de flecha hacia arriba de Knuth para números grandes) ya es mayor que . [8] La existencia de este número , para cada uno , no puede probarse en la aritmética de Peano . [7]
Si se interpreta que las reglas de los rompecabezas de quema de mechas permiten que las mechas se enciendan en más puntos que sus extremos, se puede medir un conjunto mayor de cantidades de tiempo. Por ejemplo, si una mecha se enciende de tal manera que, mientras arde, siempre tiene tres extremos encendidos (por ejemplo, encendiendo un punto en el medio y un extremo, y luego encendiendo otro extremo u otro punto en el medio siempre que uno o dos de los puntos encendidos actuales se quemen), entonces arderá durante 1/3 de una unidad de tiempo en lugar de una unidad completa. Al representar una cantidad de tiempo determinada como una suma de fracciones unitarias y quemar sucesivamente mechas con múltiples puntos encendidos para que duren cada fracción unitaria de tiempo, es posible medir cualquier número racional de unidades de tiempo. Sin embargo, mantener encendida la cantidad deseada de llamas, incluso en un solo fusible, puede requerir una cantidad infinita de pasos para volver a encenderla. [4]
El problema de representar un número racional dado como suma de fracciones unitarias está estrechamente relacionado con la construcción de fracciones egipcias , sumas de fracciones unitarias distintas; sin embargo, para problemas de quema de mechas no es necesario que las fracciones sean diferentes entre sí. Utilizando métodos conocidos para fracciones egipcias, se puede demostrar que medir una cantidad fraccionaria de tiempo , con , solo necesita fusibles (expresados en notación O grande ). [9] Una conjetura no probada de Paul Erdős sobre las fracciones egipcias sugiere que menos mechas, , siempre pueden ser suficientes. [10]
En un folleto sobre estos acertijos titulado Shoelace Clock Puzzles , creado por Dick Hess para una conferencia Gathering 4 Gardner de 1998 , Hess acredita al estadístico de Harvard Carl Morris como su fuente original para estos acertijos. [4]