Preguntas etiquetadas con cc.complexity-theory

En el documento "Un Compendio de problemas completos para P" de Greenlaw, Hoover y Ruzzo (PS) (PDF) , hay una lista de problemas en P que no se sabe que están en Carolina del Norte y que tampoco se sabe que están completos en P . (Esta lista incluye todos …

20 cc.complexity-theory  open-problem  circuit-complexity 

Los lenguajes de hoja son una forma hermosa de definir uniformemente muchas clases de complejidad. La mayoría de las clases de complejidad generalmente se especifican mediante un modelo de cálculo (por ejemplo, TM determinista / aleatorizado) y un límite de recursos (tiempo de registro, espacio polivinílico, etc.). Sin embargo, en …

20 cc.complexity-theory  complexity-classes 

[Nota: creo que esta pregunta de ninguna manera depende de la corrección o incorrección del documento de Deolalikar.] En el blog de Scott Aaronson, Shtetl Optimized , en la discusión sobre el reciente intento de Deolalikar de P vs NP, Leonid Gurvits hizo el siguiente comentario : Traté de entender …

20 cc.complexity-theory  lower-bounds  tensor-rank 

Al leer algunos subprocesos recientes sobre computación cuántica ( aquí , aquí y aquí ), me hace recordar una pregunta interesante sobre el poder de algún tipo de máquina de preservación ℓpℓp\ell_p -norm. Para las personas que trabajan en la teoría de la complejidad que van a la complejidad cuántica, …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

La autorreferencialidad del problema P / NP a veces se ha resaltado como una barrera para su resolución, ver, por ejemplo, el artículo de Scott Aaronson, ¿ es P vs. NP formalmente independiente ? Una de las muchas resoluciones concebibles para P / NP sería una demostración de que el …

20 cc.complexity-theory  lo.logic 

En general, la cinta de consulta para un oráculo cuenta para la complejidad espacial de una TM. Sin embargo, parece plausible permitir una cinta de oráculo de solo escritura (como la que se usa en las reducciones de espacio L). ¿Es útil esta construcción? ¿Produce algún resultado particularmente absurdo?

20 cc.complexity-theory  space-bounded  oracles 

Hoy en Nueva York y en todo el mundo se celebra el cumpleaños de Christos Papadimitriou. Esta es una buena oportunidad para preguntar sobre las relaciones entre la clase de complejidad PPAD de Christos (y sus otras clases relacionadas) y las computadoras cuánticas. En su célebre artículo de 1994, Papadimitriou …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Deje ser una función de valor entero tal que esté en . ¿Se sigue que2 F # P F # PFFF2 F2F2F# P#P\#PFFF está en ? ¿Hay razones para creer que es poco probable que esto se cumpla siempre? ¿Alguna referencia que deba saber?# P#P\#P Sorprendentemente, esta situación surgió (con …

19 cc.complexity-theory  complexity-classes  counting-complexity 

USTCONN es el problema que requiere decidir si hay una ruta desde el vértice de origen hasta el vértice de destino en un gráfico , donde todos estos se dan como parte de la entrada.ssstttGGG Omer Reingold demostró que USTCONN está en L (doi: 10.1145 / 1391289.1391291 ). La prueba …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Actualmente, el cálculo de los reales en los idiomas más populares todavía se realiza a través de operaciones de coma flotante. Por otro lado, teorías como la efectividad de tipo dos (TTE) y la teoría de dominios han prometido durante mucho tiempo el cálculo exacto de los reales. Claramente, el …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Wikipedia enumeró cuatro problemas que están en pero se conjetura que están fuera de P : Factorización entera; Logaritmo discreto; Simulación de sistemas cuánticos; Calcular el polinomio de Jones en ciertas raíces de la unidad.BQPBQPBQPPPP ¿Hay algún otro problema?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Según el relato histórico (no verificado), Kolmogorov pensó que cada lenguaje en PP\mathsf{P} tiene una complejidad de circuito lineal. (Vea la pregunta anterior conjetura de Kolmogorov que PPP tiene circuitos de tamaño lineal .) Tenga en cuenta que esto implica P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . La conjetura de Kolmogorov, sin embargo, es …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

¿Podemos calcular una puerta de umbral de bits por tamaño de polinomio (entrada de ventilador sin límites) de profundidad lg nnortenn ? Alternativamente, ¿podemos contar el número de 1s en los bits de entrada usando estos circuitos?lgnortelglgnortelg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Es ?T C0 0⊆ A l t T i m …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

Feedback Vertex Set es NP-complete para gráficos generales. Se sabe que es NP-completo para gráficos limitados de grado 8 debido a una reducción de la cubierta del vértice. El artículo de Wikipedia dice que es polisoluble para gráficos limitados de grado 3 y NP-completo para gráficos limitados de grado 4. …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

¿Hay un ejemplo de una clase de gráficos para los cuales el problema de coloración de vértices está en P pero el conjunto independiente si el problema es NP completo?

19 cc.complexity-theory  graph-theory  complexity-classes