La conjetura de Collatz [a] es uno de los problemas no resueltos más famosos de las matemáticas . La conjetura pregunta si la repetición de dos operaciones aritméticas simples eventualmente transformará cada número entero positivo en 1. Se trata de secuencias de números enteros en las que cada término se obtiene del término anterior de la siguiente manera: si el término anterior es par , el siguiente término es la mitad de el término anterior. Si el término anterior es impar, el siguiente término es 3 veces el término anterior más 1. La conjetura es que estas secuencias siempre llegan a 1, sin importar qué entero positivo se elija para iniciar la secuencia. Se ha demostrado que la conjetura es válida para todos los números enteros positivos hasta2,95 × 10 20 , pero no se ha encontrado ninguna prueba general.
Lleva el nombre del matemático Lothar Collatz , quien introdujo la idea en 1937, dos años después de doctorarse. [4] La secuencia de números involucrada a veces se conoce como secuencia de granizo, números de granizo o números de granizo (porque los valores generalmente están sujetos a múltiples descensos y ascensos como granizo en una nube), [5] o como números maravillosos. [6]
Paul Erdős dijo sobre la conjetura de Collatz: "Es posible que las matemáticas no estén preparadas para tales problemas". [7] Jeffrey Lagarias afirmó en 2010 que la conjetura de Collatz "es un problema extraordinariamente difícil, completamente fuera del alcance de las matemáticas actuales". [8] Sin embargo, aunque la conjetura de Collatz en sí permanece abierta, los esfuerzos por resolver el problema han llevado a nuevas técnicas y muchos resultados parciales. [8] [9]
Considere la siguiente operación sobre un número entero positivo arbitrario :
En notación aritmética modular , defina la función f de la siguiente manera:
Ahora forme una secuencia realizando esta operación repetidamente, comenzando con cualquier número entero positivo y tomando el resultado de cada paso como entrada en el siguiente.
En notación: (es decir: a i es el valor de f aplicado a n recursivamente i veces; a i = f i ( n ) ).
La conjetura de Collatz es: Este proceso eventualmente alcanzará el número 1, independientemente del entero positivo elegido inicialmente. Es decir, para cada uno , hay alguno con .
Si la conjetura es falsa, sólo puede deberse a que hay algún número inicial que da lugar a una secuencia que no contiene 1. Tal secuencia entraría en un ciclo repetitivo que excluye 1 o aumentaría sin límite. No se ha encontrado tal secuencia.
El i más pequeño tal que a i < a 0 se llama tiempo de parada de n . De manera similar, el k más pequeño tal que a k = 1 se llama tiempo de parada total de n . [2] Si uno de los índices i o k no existe, decimos que el tiempo de parada o el tiempo de parada total, respectivamente, es infinito.
La conjetura de Collatz afirma que el tiempo total de parada de cada n es finito. También equivale a decir que todo n ≥ 2 tiene un tiempo de parada finito.
Dado que 3 n + 1 es par siempre que n sea impar, se puede utilizar la forma "atajada" de la función de Collatz: esta definición produce valores más pequeños para el tiempo de parada y el tiempo de parada total sin cambiar la dinámica general del proceso.
Por ejemplo, comenzando con n = 12 y aplicando la función f sin "atajo", se obtiene la secuencia 12, 6, 3, 10, 5, 16, 8, 4, 2, 1.
El número n = 19 tarda más en llegar a 1: 19, 58, 29, 88, 44, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2 , 1.
La secuencia para n = 27 , enumerada y gráficada a continuación, toma 111 pasos (41 pasos a través de números impares, en negrita), subiendo hasta 9232 antes de descender a 1.
Los números con un tiempo total de parada mayor que el de cualquier valor inicial menor forman una secuencia que comienza con:
Los valores iniciales cuyo punto máximo de trayectoria es mayor que el de cualquier valor inicial menor son los siguientes:
El número de pasos para que n llegue a 1 son
El valor inicial que tiene el mayor tiempo total de parada mientras se
Estos números son los más bajos con el recuento de pasos indicado, pero no necesariamente los únicos por debajo del límite dado. Como ejemplo,9 780 657 631 tiene 1132 pasos, al igual que9 780 657 630 .
Los valores iniciales que tienen el tiempo total de parada más pequeño con respecto a su número de dígitos (en base 2) son las potencias de dos, ya que 2 n se divide por la mitad n veces para llegar a 1 y nunca aumenta.
Aunque la conjetura no ha sido probada, la mayoría de los matemáticos que han investigado el problema piensan que es cierta porque la evidencia experimental y los argumentos heurísticos la respaldan.
La conjetura ha sido verificada por computadora para todos los valores iniciales hasta 2 68 ≈2,95 × 10 20 . Todos los valores probados hasta ahora convergen a 1. [12]
Esta evidencia informática todavía no es una prueba rigurosa de que la conjetura es cierta para todos los valores iniciales, ya que se pueden encontrar contraejemplos al considerar enteros positivos muy grandes (o posiblemente inmensos), como en el caso de la conjetura refutada de Pólya y la conjetura de Mertens .
Sin embargo, tales verificaciones pueden tener otras implicaciones. Ciertas restricciones en cualquier ciclo no trivial, como los límites inferiores de la duración del ciclo, se pueden probar basándose en el valor del término más bajo del ciclo. Por lo tanto, las búsquedas por computadora para descartar ciclos que tienen un término mínimo pequeño pueden fortalecer estas limitaciones. [13] [14] [15]
Si se consideran solo los números impares en la secuencia generada por el proceso de Collatz, entonces cada número impar es en promedio 3/4 del anterior. [16] (Más precisamente, la media geométrica de las proporciones de resultados es 3/4 .) Esto produce un argumento heurístico de que cada secuencia de Hailstone debería disminuir en el largo plazo, aunque esto no es evidencia contra otros ciclos, solo contra la divergencia. El argumento no es una prueba porque supone que las secuencias de Hailstone se ensamblan a partir de eventos probabilísticos no correlacionados. (Establece rigurosamente que la extensión de 2 ádicos del proceso de Collatz tiene dos pasos de división por cada paso de multiplicación para casi todos los valores iniciales de 2 ádicos).
Como lo demuestra Riho Terras , casi todos los números enteros positivos tienen un tiempo de parada finito. [17] En otras palabras, casi todas las secuencias de Collatz alcanzan un punto que está estrictamente por debajo de su valor inicial. La prueba se basa en la distribución de vectores de paridad y utiliza el teorema del límite central .
En 2019, Terence Tao mejoró este resultado al mostrar, utilizando densidad logarítmica , que casi todas (en el sentido de densidad logarítmica) las órbitas de Collatz descienden por debajo de cualquier función dada del punto de partida, siempre que esta función diverja hasta el infinito, sin importar cuán despacio. En respuesta a este trabajo, la revista Quanta escribió que Tao "obtuvo uno de los resultados más significativos sobre la conjetura de Collatz en décadas". [9] [18]
En una prueba asistida por computadora , Krasikov y Lagarias demostraron que el número de números enteros en el intervalo [1, x ] que eventualmente llegan a 1 es al menos igual a x 0,84 para todo x suficientemente grande . [19]
En esta parte, considere la forma abreviada de la función de Collatz. Un ciclo es una secuencia ( a 0 , a 1 , ..., a q ) de enteros positivos distintos donde f ( a 0 ) = a 1 , f ( a 1 ) = a 2 , ..., y f ( a q ) = a 0 .
El único ciclo conocido es (1,2) del período 2, llamado ciclo trivial.
Se sabe que la duración de un ciclo no trivial es al menos114 208 327 604 (o186 265 759 595 sin atajo). Si se puede demostrar que para todos los números enteros positivos menos de las secuencias de Collatz llegan a 1, entonces este límite se elevaría a217 976 794 617 (355 504 839 929 sin atajo). [20] [14] De hecho, Eliahou (1993) demostró que el período p de cualquier ciclo no trivial es de la forma donde a , b y c son números enteros no negativos, b ≥ 1 y ac = 0 . Este resultado se basa en la expansión fraccionaria continua de en 3/en 2 . [14]
Un k ciclo es un ciclo que se puede dividir en k subsecuencias contiguas, cada una de las cuales consta de una secuencia creciente de números impares, seguida de una secuencia decreciente de números pares. [15] Por ejemplo, si el ciclo consta de una única secuencia creciente de números impares seguida de una secuencia decreciente de números pares, se llama 1 ciclo .
Steiner (1977) demostró que no existe otro ciclo que el trivial (1; 2) . [21] Simons (2005) utilizó el método de Steiner para demostrar que no existen los 2 ciclos. [22] Simons y de Weger (2005) ampliaron esta prueba hasta 68 ciclos; no hay k -ciclo hasta k = 68 . [15] Hercher amplió el método aún más y demostró que no existe ningún ciclo k con k ≤91 . [20] A medida que continúan las búsquedas exhaustivas por computadora, se pueden descartar valores k mayores. Para exponer el argumento de manera más intuitiva; no tenemos que buscar ciclos que tengan menos de 92 subsecuencias, donde cada subsecuencia consta de subidas consecutivas seguidas de caídas consecutivas.
Existe otro enfoque para probar la conjetura, que considera el método ascendente de hacer crecer el llamado gráfico de Collatz . La gráfica de Collatz es una gráfica definida por la relación inversa
Entonces, en lugar de demostrar que todos los números enteros positivos eventualmente conducen a 1, podemos intentar demostrar que 1 conduce hacia atrás a todos los números enteros positivos. Para cualquier número entero n , n ≡ 1 (mod 2) si y solo si 3 n + 1 ≡ 4 (mod 6) . Equivalentemente, norte - 1/3 ≡ 1 (mod 2) si y solo si n ≡ 4 (mod 6) . Conjeturalmente, esta relación inversa forma un árbol excepto por el bucle 1–2–4 (el inverso del bucle 4–2–1 de la función inalterada f definida en la sección Declaración del problema de este artículo).
Cuando la relación 3 n + 1 de la función f se reemplaza por la relación sustitutiva común "atajo" 3 norte + 1/2 , el gráfico de Collatz está definido por la relación inversa,
Para cualquier número entero n , n ≡ 1 (mod 2) si y sólo si 3 norte + 1/2 ≡ 2 (mod 3) . Equivalentemente, 2 norte - 1/3 ≡ 1 (mod 2) si y solo si n ≡ 2 (mod 3) . Conjeturalmente, esta relación inversa forma un árbol excepto por un bucle 1-2 (el inverso del bucle 1-2 de la función f(n) revisado como se indicó anteriormente).
Alternativamente, reemplace el 3 n + 1 con norte ′/H ( norte ′ ) donde n ′ = 3 n + 1 y H ( n ′ ) es la potencia más alta de 2 que divide n ′ (sin resto ). La función resultante f asigna números impares a números impares. Ahora supongamos que para algún número impar n , al aplicar esta operación k veces se obtiene el número 1 (es decir, f k ( n ) = 1 ). Luego, en binario , el número n se puede escribir como la concatenación de cadenas w k w k −1 ... w 1 donde cada w h es un extracto finito y contiguo de la representación de 1/3 horas . [23] La representación de n por lo tanto tiene los repetidos de 1/3 horas , donde cada repetición se gira opcionalmente y luego se replica hasta un número finito de bits. Esto sólo ocurre en binario. [24] Conjeturalmente, cada cadena binaria s que termina con un '1' se puede alcanzar mediante una representación de esta forma (donde podemos agregar o eliminar '0's iniciales a s ).
Las aplicaciones repetidas de la función Collatz se pueden representar como una máquina abstracta que maneja cadenas de bits . La máquina realizará los siguientes tres pasos sobre cualquier número impar hasta que solo quede un 1 :
El número inicial 7 se escribe en base dos como 111 . La secuencia de Collatz resultante es:
111 111 1 101101011 1 10001010001 1 1101001101 1 101000101 1 10000
Para esta sección, considere la forma abreviada de la función Collatz.
Si P(...) es la paridad de un número, es decir P(2 n ) = 0 y P(2 n + 1) = 1 , entonces podemos definir la secuencia de paridad de Collatz (o vector de paridad) para un número n como p i = P( a i ) , donde a 0 = n y a i +1 = f ( a i ) .
¿Qué operación se realiza? 3 norte + 1/2 o norte/2 , depende de la paridad. La secuencia de paridad es la misma que la secuencia de operaciones.
Usando esta forma para f ( n ) , se puede demostrar que las secuencias de paridad para dos números myn concordarán en los primeros k términos si y sólo si myn son equivalentes módulo 2 k . Esto implica que cada número se identifica de forma única por su secuencia de paridad y, además, si hay múltiples ciclos de Hailstone, sus correspondientes ciclos de paridad deben ser diferentes. [2] [17]
Aplicar la función f k veces al número n = 2 k a + b dará el resultado 3 c a + d , donde d es el resultado de aplicar la función f k veces a b , y c es cuántos aumentos se encontraron durante esa secuencia. Por ejemplo, para 2 5 a + 1 hay 3 aumentos a medida que 1 itera hasta 2, 1, 2, 1 y finalmente hasta 2, por lo que el resultado es 3 3 a + 2 ; para 2 2 a + 1 solo hay 1 aumento ya que 1 sube a 2 y cae a 1, por lo que el resultado es 3 a + 1 . Cuando b es 2 k − 1 entonces habrá k aumentos y el resultado será 3 k a + 3 k − 1 . La potencia de 3 multiplicando a es independiente del valor de a ; depende sólo del comportamiento de b . Esto permite predecir que ciertas formas de números siempre conducirán a un número menor después de un cierto número de iteraciones: por ejemplo, 4 a + 1 se convierte en 3 a + 1 después de dos aplicaciones de f y 16 a + 3 se convierte en 9 a + 2 después de cuatro aplicaciones de f . Sin embargo, si esos números más pequeños continúan hasta 1 depende del valor de a .
Para la función Collatz en forma de acceso directo
Las secuencias de granizo se pueden calcular mediante el sistema de 2 etiquetas con reglas de producción.
En este sistema, el entero positivo n está representado por una cadena de n copias de a y la iteración de la operación de etiqueta se detiene en cualquier palabra de longitud inferior a 2. (Adaptado de De Mol.)
La conjetura de Collatz establece de manera equivalente que este sistema de etiquetas, con una cadena finita arbitraria de a como palabra inicial, finalmente se detiene (consulte Sistema de etiquetas para ver un ejemplo resuelto).
Una extensión de la conjetura de Collatz es incluir todos los números enteros, no sólo los enteros positivos. Dejando de lado el ciclo 0 → 0 al que no se puede ingresar desde afuera, hay un total de cuatro ciclos conocidos, en los que todos los números enteros distintos de cero parecen caer eventualmente bajo la iteración de f . Estos ciclos se enumeran aquí, comenzando con el conocido ciclo de n positivo :
Los valores impares se enumeran en negrita grande. Cada ciclo se enumera con su miembro de menor valor absoluto (que siempre es impar) primero.
La conjetura generalizada de Collatz es la afirmación de que cada número entero, bajo iteración por f , eventualmente cae en uno de los cuatro ciclos anteriores o el ciclo 0 → 0. (El ciclo 0 → 0 solo se incluye para completar).
El mapa de Collatz se puede extender a números racionales (positivos o negativos) que tienen denominadores impares cuando se escriben en términos mínimos. El número se considera "impar" o "par" según si su numerador es par o impar. Entonces la fórmula para el mapa es exactamente la misma que cuando el dominio son los números enteros: un racional "par" se divide por 2; un racional "impar" se multiplica por 3 y luego se suma 1. Un hecho estrechamente relacionado es que el mapa de Collatz se extiende al anillo de enteros 2-ádicos , que contiene el anillo de racionales con denominadores impares como subanillo.
Cuando se utiliza la definición de "atajo" del mapa de Collatz, se sabe que cualquier secuencia de paridad periódica es generada exactamente por un racional. [25] Por el contrario, se conjetura que todo racional con un denominador impar tiene una secuencia de paridad eventualmente cíclica (Conjetura de la periodicidad [2] ).
Si un ciclo de paridad tiene longitud n e incluye números impares exactamente m veces en índices k 0 < ⋯ < k m −1 , entonces el único racional que genera inmediata y periódicamente este ciclo de paridad es
Por ejemplo, el ciclo de paridad (1 0 1 1 0 0 1) tiene una longitud de 7 y cuatro términos impares en los índices 0, 2, 3 y 6. La fracción lo genera repetidamente cuando este último conduce al ciclo racional.
Cualquier permutación cíclica de (1 0 1 1 0 0 1) está asociada a una de las fracciones anteriores. Por ejemplo, el ciclo (0 1 1 0 0 1 1) se produce por la fracción
Para una correspondencia uno a uno, un ciclo de paridad debe ser irreducible , es decir, no divisible en subciclos idénticos. A modo de ilustración de esto, el ciclo de paridad (1 1 0 0 1 1 0 0) y su subciclo (1 1 0 0) están asociados a la misma fracción 5/7 cuando se reduce a los términos más bajos.
En este contexto, asumir la validez de la conjetura de Collatz implica que (1 0) y (0 1) son los únicos ciclos de paridad generados por números enteros positivos (1 y 2, respectivamente).
Si el denominador impar d de un racional no es múltiplo de 3, entonces todos los iterados tienen el mismo denominador y la secuencia de numeradores se puede obtener aplicando la generalización " 3 n + d " [26] de la función de Collatz
La función está bien definida en el anillo de enteros de 2 ádicos , donde es continua y conserva la medida con respecto a la medida de 2 ádicos. Además, se sabe que su dinámica es ergódica . [2]
Defina la función vectorial de paridad Q que actúa como
La función Q es una isometría 2-ádica . [27] En consecuencia, cada secuencia de paridad infinita ocurre exactamente para un entero 2-ádico, de modo que casi todas las trayectorias son acíclicas en .
Una formulación equivalente de la conjetura de Collatz es que
El mapa de Collatz se puede extender a la línea real eligiendo cualquier función que evalúe cuándo es un número entero par y cuándo o (para la versión "atajada") cuándo es un entero impar. Esto se llama función de interpolación . Una forma sencilla de hacer esto es elegir dos funciones y , donde:
y usarlos como interruptores para nuestros valores deseados:
Una de esas opciones es y . Las iteraciones de este mapa conducen a un sistema dinámico , investigado más a fondo por Marc Chamberland. [28] Demostró que la conjetura no es válida para números reales positivos ya que hay infinitos puntos fijos , así como órbitas que se escapan monótonamente hasta el infinito. La función tiene dos ciclos de atracción de período : y . Además, se conjetura que el conjunto de órbitas ilimitadas tiene medida .
Letherman, Schleicher y Wood ampliaron el estudio al plano complejo . [29] Usaron la función de Chamberland para seno y coseno complejos y agregaron el término adicional , donde es cualquier función completa . Dado que esta expresión se evalúa como cero para números enteros reales, la función extendida
es una interpolación del mapa de Collatz al plano complejo. La razón para agregar el término adicional es hacer que todos los números enteros sean puntos críticos . Con esto, muestran que ningún número entero está en un dominio de Baker , lo que implica que cualquier número entero es eventualmente periódico o pertenece a un dominio errante . Conjeturaron que este último no es el caso, lo que haría que todas las órbitas enteras fueran finitas.
La mayoría de los puntos tienen órbitas que divergen hasta el infinito. Al colorear estos puntos según la rapidez con la que divergen se produce la imagen de la izquierda, por ejemplo . Las regiones negras internas y la región externa son los componentes de Fatou , y el límite entre ellas es el conjunto de Julia , que forma un patrón fractal , a veces llamado "fractal de Collatz".
Hay muchas otras formas de definir una función de interpolación compleja, como usar la exponencial compleja en lugar de seno y coseno:
que exhiben dinámicas diferentes. En este caso, por ejemplo, si , entonces . El conjunto de Julia correspondiente, que se muestra a la derecha, consta de incontables curvas, llamadas pelos o rayos .
La sección anterior Como secuencia de paridad proporciona una manera de acelerar la simulación de la secuencia. Para avanzar k pasos en cada iteración (usando la función f de esa sección), divida el número actual en dos partes, b (los k bits menos significativos, interpretados como un número entero) y a (el resto de los bits como un número entero). El resultado de saltar hacia adelante k está dado por
Los valores de c (o mejor 3 c ) y d se pueden precalcular para todos los números de k bits posibles b , donde d ( b , k ) es el resultado de aplicar la función f k veces a b y c ( b , k ) es el número de números impares que se encuentran en el camino. [30] Por ejemplo, si k = 5 , se pueden avanzar 5 pasos en cada iteración separando los 5 bits menos significativos de un número y usando
Esto requiere 2 k de cálculo previo y almacenamiento para acelerar el cálculo resultante en un factor de k , una compensación espacio-temporal .
Con el propósito especial de buscar un contraejemplo a la conjetura de Collatz, este cálculo previo conduce a una aceleración aún más importante, utilizada por Tomás Oliveira e Silva en sus confirmaciones computacionales de la conjetura de Collatz hasta valores grandes de n . Si, para algunos b y k dados , la desigualdad
es válido para todos a , entonces el primer contraejemplo, si existe, no puede ser b módulo 2 k . [13] Por ejemplo, el primer contraejemplo debe ser impar porque f (2 n ) = n , menor que 2 n ; y debe ser 3 mod 4 porque f 2 (4 n + 1) = 3 n + 1 , menor que 4 n + 1 . Para cada valor inicial a que no es un contraejemplo de la conjetura de Collatz, hay un k para el cual se cumple dicha desigualdad, por lo que verificar la conjetura de Collatz para un valor inicial es tan bueno como verificar toda una clase de congruencia. A medida que k aumenta, la búsqueda solo necesita verificar aquellos residuos b que no son eliminados por valores más bajos de k . Sólo sobrevive una fracción exponencialmente pequeña de los residuos. [31] Por ejemplo, los únicos residuos supervivientes del mod 32 son 7, 15, 27 y 31.
Los números enteros divisibles por 3 no pueden formar un ciclo, por lo que no es necesario verificar estos números enteros como contraejemplos. [32]
Si k es un entero impar, entonces 3 k + 1 es par, entonces 3 k + 1 = 2 a k ′ con k ′ impar y a ≥ 1 . La función de Siracusa es la función f del conjunto I de enteros impares positivos dentro de sí misma, para la cual f ( k ) = k ′ (secuencia A075677 en la OEIS ).
Algunas propiedades de la función Syracuse son:
La conjetura de Collatz es equivalente a la afirmación de que, para todo k en I , existe un número entero n ≥ 1 tal que f n ( k ) = 1 .
En 1972, John Horton Conway demostró que una generalización natural del problema de Collatz es algorítmicamente indecidible . [33]
Específicamente, consideró funciones de la forma donde a 0 , b 0 , ..., a P − 1 , b P − 1 son números racionales elegidos de modo que g ( n ) sea siempre un número entero. La función estándar de Collatz viene dada por P = 2 , a 0 = 1/2 , segundo 0 = 0 , un 1 = 3 , segundo 1 = 1 . Conway demostró que el problema
es indecidible, al representar el problema de la detención de esta manera.
Más cerca del problema de Collatz está el siguiente problema universalmente cuantificado :
Modificar la condición de esta manera puede hacer que un problema sea más difícil o más fácil de resolver (intuitivamente, es más difícil justificar una respuesta positiva, pero podría ser más fácil justificar una negativa). Kurtz y Simon [34] demostraron que el problema universalmente cuantificado es, de hecho, indecidible e incluso más alto en la jerarquía aritmética ; específicamente, es Π0
2-completo. Este resultado de dureza se mantiene incluso si se restringe la clase de funciones g fijando el módulo P en 6480. [35]
Las iteraciones de en una versión simplificada de esta forma, con todas iguales a cero, se formalizan en un lenguaje de programación esotérico llamado FRACTRAN .
Collatz y conjeturas relacionadas se utilizan a menudo al estudiar la complejidad de los cálculos. [36] [37] La conexión se realiza a través de la función Busy Beaver , donde BB(n) es el número máximo de pasos dados por cualquier máquina de Turing de n estados que se detiene. Hay una máquina de Turing de 15 estados que se detiene si y sólo si una conjetura de Paul Erdős (estrechamente relacionada con la conjetura de Collatz) es falsa. Por lo tanto, si se conociera BB(15) y esta máquina no se detuviera en ese número de pasos, se sabría que funcionaría para siempre y, por lo tanto, no existirían contraejemplos (lo que demuestra que la conjetura es cierta). Ésta es una forma completamente impráctica de resolver la conjetura; en cambio, se utiliza para sugerir que BB(15) será muy difícil de calcular, al menos tan difícil como resolver esta conjetura tipo Collatz.
En la película Incendies , un estudiante de posgrado en matemáticas puras explica la conjetura de Collatz a un grupo de estudiantes universitarios. Deja sus estudios en espera por un tiempo para abordar algunas preguntas no resueltas sobre el pasado de su familia. Al final de la película, la conjetura de Collatz resulta haber presagiado un descubrimiento inquietante y difícil que ella hace sobre su familia. [38] [39]
El problema también se conoce con varios otros nombres, entre ellos: conjetura de Ulam, problema de Hailstone, problema de Syracuse, problema de Kakutani, algoritmo de Hasse y problema de Collatz.
{{cite journal}}
: CS1 maint: bot: original URL status unknown (link)