Preguntas etiquetadas con big-list

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 familiarizado …

8 big-list  physics  bibliography 

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 serios obstáculos. ¿Cuáles son algunos de los …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

¿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 …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

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 …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems