Me preguntaba cuál es la lista de problemas computacionales naturales actuales para los que no existe una ventaja de complejidad conocida en el uso de una computadora cuántica. Para empezar, creo que el cálculo de la distancia de edición es uno para el cual el algoritmo cuántico más rápido...
Estoy interesado en ejemplos de construcciones en la teoría de la complejidad que son mejores que las construcciones aleatorias. El único ejemplo de tal construcción que conozco es en el campo de los códigos de corrección de errores. Los códigos de geometría algebraica son mejores en algún rango...
Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos...
Sea un alfabeto, es decir, un conjunto finito no vacío. Una cadena es cualquier secuencia finita de elementos (caracteres) de . Como ejemplo, es el alfabeto binario y es una cadena para este alfabeto.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Por lo general, siempre que...
Soy un teórico de la homotopía, interesado en la informática. Me gustaría preguntar ¿cuáles son algunas aplicaciones interesantes de álgebra homotópica (categorías de modelos, categorías de infinito, categorías simples, etc.) en la informática
Soy nuevo en el estudio de sistemas de reescritura como estudiante de doctorado de primer año. Me gustaría proponer un curso de temas especiales sobre la teoría de la reescritura, y quiero asegurarme de no dejar de lado ninguna de las fuentes originales. Tengo una copia de Barendregt y Terese como...
¿Cuáles son las aplicaciones de la complejidad de Kolmogorov en la teoría de números y en los campos relacionados con las pruebas? (La monografía de Li & Vitanyi no tiene muchas aplicaciones relacionadas con la teoría de números). Una de las buenas pruebas que he encontrado es la prueba de la...
En https://en.wikipedia.org/wiki/Geometric_complexity_theory se menciona que ".. Ketan Mulmuley cree que el programa, si es viable, es probable que tome alrededor de 100 años antes de que pueda resolver el problema P vs. NP". Parece indicar que el único programa actualmente viable podría enfrentar...
A la luz de la muerte de Stephen Hawking hoy, me preguntaba si alguno de sus resultados tiene un impacto directo en cs. El candidato obvio sería la computación cuántica, o más bien la construcción de una computadora cuántica física, pero quizás haya resultados que tengan otro impacto. Estoy...