Creo que existen generadores de números aleatorios de alta calidad muy eficientes en cuanto al espacio. A pesar de esta creencia, normalmente uso Mersenne Twister en mi código, que es de alta calidad, pero no es muy eficiente en cuanto al espacio. Falta un vínculo entre la eficiencia del espacio y NP∩coNP, es solo una sensación de que hay un vínculo.
Permítanme tratar de dar una razón por la que creo que la "aleatoriedad verdadera" puede simularse / aproximarse de manera muy eficiente. Sabemos que es posible producir números pseudoaleatorios que sean suficientemente aleatorios para todos los fines prácticos (incluida la criptografía). También sabemos que usar (una pequeña cantidad de números fijos) números primos grandes en la construcción de generadores de números pseudoaleatorios rara vez es una mala idea. Sabemos por conjeturas como la de Riemann que casi todos los números primos contienen un alto grado de aleatoriedad, pero también sabemos que aún no podemos probar esto rigurosamente.
¿Existe una explicación intuitiva de por qué los números primos se comportan como números aleatorios? Los números primos son el complemento de los números compuestos. El complemento de un conjunto con buen comportamiento suele ser más complicado que el conjunto original. Los números compuestos están compuestos de números primos, lo que a su vez ya le da a este conjunto una cierta complejidad.
Antecedentes Una vez intenté entender por qué P ≠ NP es difícil. Me preguntaba si aproximar los grupos de simetría interna de una instancia problemática por grupos nilpotentes podría no conducir a un "algoritmo de abstracción" capaz de ver la estructura interna de la instancia problemática. Pero luego me di cuenta de que incluso calcular la estructura de un grupo nilpotente contiene factorización como un caso especial. La cuestión de los subgrupos simples de un grupo cíclico de orden n es equivalente a determinar los factores primos de n. Y la clasificación de grupos finitos nilpotentescontiene subproblemas aún peores relacionados con el isomorfismo gráfico. Eso fue suficiente para convencerme de que este enfoque no ayudará. Pero mi siguiente paso fue tratar de entender por qué es difícil factorizar, y la respuesta anterior es lo que se me ocurrió. Fue suficiente para convencerme, así que tal vez también sea convincente para otras personas. (En aquel entonces, no conocía los grupoides o los semigrupos inversos, que probablemente sean más adecuados que los grupos nilpotentes para manejar simetrías internas. Aún así, el argumento de por qué este enfoque no será eficiente sigue siendo el mismo).