Preguntas etiquetadas con big-picture

Esta es una publicación separada de Consecuencias de UP es igual a NP , y también una pregunta de seguimiento a las clases de complejidad semántica vs. sintáctica . En la publicación anterior aprendimos sobre las clases semánticas y sintácticas . En pocas palabras, cuando una clase puede caracterizarse como …

9 cc.complexity-theory  complexity-classes  big-picture 

La teoría de la complejidad computacional clasifica los problemas de acuerdo con su dificultad inherente. La teoría de sistemas complejos aborda sistemas que exhiben comportamientos que obviamente no surgen de las propiedades de las partes individuales del sistema. Los ejemplos incluyen sistemas caóticos, sistemas adaptativos complejos o sistemas no lineales. …

9 cc.complexity-theory  soft-question  big-picture 

Recientemente he pensado en "importar" alguna pregunta relacionada con la física en CS cuántico: La noción del fenómeno de ley de área en los sistemas hamiltonianos generalmente representa a un hamiltoniano local en alguna red, cuyo estado base exhibe una propiedad en la que el enredo de cualquier región cerrada …

9 quantum-computing  big-picture 

Es bien sabido que el problema NP-Complete llamado Subset Sum tiene un FPTAS. Me preguntaba si existía un problema PSPACE Complete que también tiene un FPTAS. Gracias por adelantado.

9 ds.algorithms  space-bounded  big-picture 

Contexto : Hay varios documentos que estudian las implicaciones de las curvas cerradas de tiempo (CTC) para la complejidad cuántica. En 2008, Aaronson y Watrous publicaron su famoso artículo sobre este tema que muestra que ciertas formas de viaje en el tiempo pueden hacer que la computación clásica y cuántica …

9 cc.complexity-theory  quantum-computing  big-picture 

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 

Recientemente ha habido algunos resultados nuevos en el estudio experimental basado en computadora del Problema de Discrepancia de Erdos (EDP) (a través de solucionadores SAT, citados a continuación). Este problema ha sido citado y estudiado por varios investigadores de (T) CS. Sin embargo, los enlaces (¿posiblemente profundos?) A (T) CS …

8 reference-request  co.combinatorics  soft-question  big-picture 

Esta pregunta surge de una respuesta que Joe Fitzsimons dio a una pregunta diferente . La mayoría de las clases de complejidad natural tienen una "descripción intuitiva" de una línea que ayuda a caracterizar los problemas centrales de esa clase. NP es "verificación eficiente", #P se trata de "enumerar soluciones", …

8 cc.complexity-theory  quantum-computing  big-picture  qma