Preguntas etiquetadas con cc.complexity-theory

¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Las versiones no uniformes de P, NP y coNP son P / poly, NP / poly y coNP / poly. Del mismo modo, podemos definir una versión no uniforme para cada nivel en el PH. Por ejemplo: / poly consiste en problemas de la forma , donde C es un …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

En pocas palabras, mi pregunta es: ¿es la prueba original de Karp reducir SAT a 3SAT innecesariamente elaborada? Los detalles son los siguientes. En su artículo de 1972 Reducibilidad entre problemas combinatorios , Karp demostró que SAT se reduce a 3SAT al afirmar: Reemplace una cláusula , donde son literales …

8 cc.complexity-theory  sat  reductions 

Considere el siguiente problema de decisión. Deje y deje que sea ​​adecuado enumeración de aquellos subconjuntos de que tienen como máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Entrada de membresía del subconjunto trimestral : tupla de enteros no negativos representados en binario Pregunta: ¿ es ? (i,j,n)(i,j,n)(i,j,n) i∈Cnji∈Cjni \in C_j^n Al …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

Como se muestra en el documento "Circuitos monótonos para la función mayoritaria", es posible construir un circuito booleano monótono para la función mayoritaria en n variables con tamaño O (n ^ 3) y profundidad 5.3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Mi pregunta es, ¿cuál es la complejidad temporal de …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

Leo el periodico Ahmed Younes, " Un algoritmo de tiempo polinómico cuántico de error acotado para dos problemas de bisección gráfica ", 2015. doi: 10.1007 / s11128-015-1069-a que se publica en la revista Springer Quantum Information Processing. El artículo parece afirmar que proporciona un algoritmo BQP para los problemas NP-duros …

8 cc.complexity-theory  np-hardness  quantum-computing 

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 

Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.PPP Límites inferiores exponenciales: Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

La conjetura del isomorfismo de Berman y Hartmanis establece que todos los conjuntos completos de son polinomiales en el tiempo isomorfos entre sí. Esto significa que los completos de pueden reducirse eficazmente entre sí mediante bijecciones de tiempo polinómico computables e invertibles. La conjetura implica .N P P ≠ N …

8 cc.complexity-theory  structural-complexity 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Es común definir la completitud de con respecto a las reducciones de espacio de registro de muchos.PAGSPP Estoy buscando una clase de complejidad tal manera que haya problemas P- completos wrt muchas- C- reducciones.C⊆ LC⊆LC \subseteq \mathsf{L}PAGSP\mathsf{P}CCC ¿Cuál es la clase reducción múltiple más pequeña conocida de tal forma que …

8 cc.complexity-theory  complexity-classes 

En el documento 'Sobre la desaparición de los coeficientes de Kronecker' aquí en http://arxiv.org/pdf/1507.02955v1.pdf , se muestra que decidir positividad de los coeficientes de Konecker es en general NP difícil. Sin embargo, hay una advertencia que establece que solo se necesita positividad de 'coeficientes rectangulares de Kronecker' en GCT . …

8 cc.complexity-theory 

El modelo estándar de física (el modelo matemático que predice el bosón de Higg) es, hasta donde yo entiendo, nuestro modelo más completo del universo. Es decir, es la mejor descripción del juego matemático que se juega para hacer predicciones sobre el resultado de los experimentos realizados en nuestro Universo. …

8 cc.complexity-theory  quantum-computing  physics 

\newcommand{\cc}[1]{\mathsf{#1}} ¿Se un teorema en las siguientes líneas: Si es un poco más grande que , entonces ?f ( n ) N T I M E ( g ) ∩ c o N T I M E ( g ) ≠ N T I M E ( f ) ∩ …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems