Preguntas etiquetadas con cc.complexity-theory

P versus NP y otros cálculos limitados por recursos.

1
¿La integridad de PSPACE implica dureza de aproximación?
Se menciona en un comentario en otra publicación cstheorySE que la integridad de PSPACE implica dureza APX. ¿Alguien puede explicar / compartir una referencia para ello? ¿Es esto "apretado"? (es decir, ¿hay problemas completos de PSPACE cuyo problema de optimización admite una aproximación de factor constante en el tiempo polivinílico?) …
2
¿Garantías teóricas para los tiempos de ejecución de los métodos de propagación de creencias?
Se ha demostrado que la propagación de creencias es un método muy poderoso a través de la investigación en modelos gráficos probabilísticos. Sin embargo, no sé nada sobre BP que sea comparable a los métodos MCMC donde podemos tener esquemas de aproximación aleatoria totalmente polinomiales (FPRAS) para problemas # P-completos. …
1
Transformación Beigel-Tarui de cricuits ACC
Estoy leyendo el apéndice sobre los límites inferiores de ACC para NEXP en el libro Arora and Barak's Computational Complexity . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Uno de los lemas fundamentales es una transformación de la circuitos a lo largo de los polinomios multilineales enteros con grado polilogarítmico y coeficientes quasipolynomial, o equivalentemente, la …
1
¿Cuál es la profundidad mínima requerida de reducciones para la dureza NP de SAT?
Como todos saben, SAT está completo para wrt polinomial-tiempo muchas reducciones de uno. Todavía está completo wrt reducciones muchos-uno.N PnortePAG\mathsf{NP}A C0 0UNC0 0\mathsf{AC^0} Mi pregunta es ¿cuál es la profundidad mínima requerida para las reducciones? Más formalmente, ¿Cuál es la menor tal que SAT es \ mathsf {NP} -hard wrt …
4
¿Es la equivalencia eta para funciones compatible con la operación seq de Haskell?
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …
6
variaciones de SAT
Busqué en Internet, pero no pude encontrar ninguna 'gran lista' de variantes del problema SAT. Aparte del (común) SE SENTÓ, k-SAT, MAX-kSAT, Medio SAT, XOR-SAT, NAE-SAT ¿Qué más variantes hay? (también será realmente útil si se dan clases de complejidad (cuando sea posible))
2
¿Parity-P está contenido en PP?
Jan Pax hizo esta pregunta en la lista de correo de Fundamentos de Matemáticas . Ciertamente, P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} pero sospecho por las respuestas a esta pregunta que no se sabe si ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP (de lo contrario, PPPPPP sería una posible respuesta a esa pregunta). …
2
Paisaje de sistemas de prueba interactivos
Mi primera pregunta es si la caracterización de un sistema de prueba interactivo es conocida para todas las clases de complejidad clásicas. Llamaría P, NP, PSPACE, EXP, NEXP, EXPSPACE, funciones recursivas y recursivamente enumerables clásicas (entre otras). Específicamente, ¿se conoce una caracterización de sistema de prueba interactiva para funciones recursivas …
1
¿Se puede probar
Resultado 1: el teorema de Linial-Mansour-Nisan dice que el peso de Fourier de las funciones calculadas por los circuitos AC0AC0\mathsf{AC}^0 se concentra en los subconjuntos de pequeño tamaño con alta probabilidad. Resultado 2: El PARITYPARITY\mathsf{PARITY} tiene su peso de Fourier concentrado en el coeficiente de grado nnn . Pregunta: ¿Hay …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.