Webtagr - Resumen de noticias de tecnología

Afirmación de P vs NP desmentida: Revista Springer publica artículo con errores

2025-08-06

Un artículo que afirmaba probar un resultado más fuerte que P≠NP se publicó en Frontiers of Computer Science de Springer Nature, generando controversia. Uno de los autores es editor adjunto de la revista. Los científicos informáticos Ryan Williams y Eric Allender encontraron fallas graves en la prueba, incluso contradiciendo algoritmos conocidos. Enviaron un comentario solicitando la retractación, pero el editor en jefe se negó, solo aceptando publicar una versión revisada del comentario. Este incidente expone graves problemas en el proceso de revisión por pares de la revista, generando preocupaciones sobre la reputación de la revista. Esta es una noticia de Tecnología.

(blog.computationalcomplexity.org)

Tecnología

Premio Gödel para Extractores Explícitos de Dos Fuentes

2025-06-09

El Premio Gödel 2025 fue otorgado a Eshan Chattopadhyay y David Zuckerman por su innovador trabajo, "Extractores explícitos de dos fuentes y funciones resilientes", publicado en STOC 2016 y Annals of Math 2019. Este trabajo mejora significativamente la construcción de grafos de Ramsey, logrando un límite exponencial que supera los métodos anteriores. El resultado es elogiado por sus implicaciones en la desaleatorización y su sorprendente aplicación a la teoría de Ramsey, generando debates sobre su doble significado en pseudorandomness y combinatoria.

(blog.computationalcomplexity.org)

Desarrollo Teoría de Ramsey Desaleatorización

Cambio Sísmico en la Simulación de Algoritmos: Avance en la Memoria

2025-06-07

Un resultado innovador ha sacudido los cimientos de la simulación de algoritmos. La nueva investigación de Ryan Williams demuestra que todos los algoritmos pueden simularse utilizando significativamente menos memoria que su tiempo de ejecución original, una gran mejora con respecto a los mejores resultados conocidos anteriormente. Este descubrimiento utiliza un algoritmo de evaluación de árbol eficiente en espacio de Cook y Mertz, segmentando inteligentemente los cálculos de la máquina de Turing y utilizando codificación de campo finito para lograr una mejora casi cuadrática en la complejidad espacial. Aunque no preserva el límite de tiempo, este resultado fundamental tiene implicaciones profundas para la teoría de la complejidad y abre caminos para futuras investigaciones, como reducir aún más los límites de complejidad espacial, potencialmente llevando a la separación de las clases de complejidad P y PSPACE.

(blog.computationalcomplexity.org)

Desarrollo complejidad de algoritmos