Preguntas etiquetadas con cc.complexity-theory

El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados ​​en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Como es bien sabido, los problemas de optimización de NP-hard pueden tener muchas relaciones de aproximación diferentes, que van desde tener un PTAS hasta no ser aproximable dentro de ningún factor. En el medio, tenemos varias constantes, , p o l y ( n ) , etc.O ( logn )O(log⁡n)O(\log …

12 cc.complexity-theory  approximation-hardness 

La complejidad de la zoología de Greg Kuperberg afirma que hay un lenguaje tal que - en otras palabras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} , pero no proporciona una referencia para este resultado. ¿Por qué se sostiene esto? ¿O …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

¿Cuáles son los problemas estándar que podemos reducir para probar los límites inferiores de ?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Por supuesto, otros problemas de estado además de la clasificación y la distinción de elementos.

12 cc.complexity-theory  lower-bounds 

El SAT único es el problema bien conocido: dada una fórmula CNF , ¿es cierto que F tiene exactamente un modelo?FFFFFF Estoy interesado en el problema «Exactamente -SAT»: dada una fórmula F de CNF y un entero m > 1 , ¿es cierto que F tiene exactamente m modelos?mmmFFFm>1m>1m>1FFFmmm Ambos …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

A C0 0AC0AC^0 es la clase de circuitos de tamaño polinomial de profundidad constante con compuertas NO y compuertas AND y OR de ventilador sin límites, donde las entradas y las puertas también tienen un fanout sin límites. Ahora considere una nueva clase, que es como pero para la cual …

12 cc.complexity-theory  circuit-complexity 

Dada una secuencia de números, ¿se puede ordenar con O ( n ln n ) comparaciones y O ( n ) intercambios / movimientos? Cualquier puntero a publicaciones sobre ese tema o contraargumentos que muestren un límite inferior Ω ( n ln n ) ayudaría.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Estoy buscando lógicas modales, que están axiomatizadas por un conjunto finito de axiomas de profundidad de anidamiento modal uno, y cuyo problema de satisfacción / derivabilidad es poco probable que esté en PSPACE. Sin la restricción en la profundidad de anidamiento modal, esto no es un problema, ver por ejemplo …

12 cc.complexity-theory  lo.logic  modal-logic 

Considere el siguiente problema, Dado un conjunto de números positivos { a 1 , ... , a n } en el que k ≥ 3 es una constante, queremos dividir el conjunto en m subconjuntos de tamaño k para que el producto de la suma de cada subconjunto Está maximizado.n …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Esta pregunta es similar a los problemas NP-hard en los árboles : Hay una gran cantidad de problemas NP-completos que son manejables en los coógrafos . ¿Hay algún problema conocido que permanezca NP-completo cuando se restrinja a los coógrafos? Para ser más precisos, estoy interesado en ejemplos en los que …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Es ampliamente conocido que las fórmulas CNF se pueden dividir aproximadamente en 2 clases amplias: aleatoria versus estructurada. Las fórmulas estructuradas de CNF, en oposición a las fórmulas aleatorias de CNF, exhiben algún tipo de orden, mostrando patrones que es poco probable que ocurran por casualidad. Sin embargo, uno puede …

12 cc.complexity-theory  sat  randomness  symmetry 

Hay 4 restricciones diferentes que podemos tener al definir Random K-SAT. 1) El número total de literales en una cláusula dada es exactamente K o como máximo K 2) Un literal dado se puede usar con o sin reemplazo en la misma cláusula (A o A o A) 3) Una …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov demostró que cada circuito monótono que calcula la función de coincidencia perfecta para gráficos bipartitos debe tener al menos compuertas (lo llamó "lógico permanente"). ¿Se ha demostrado un límite inferior mejor para el mismo problema desde entonces? (diga 2 n ϵ ?) Hasta donde recuerdo, este problema estaba abierto …

12 cc.complexity-theory  circuit-complexity  matching 

La programación lineal es, por supuesto, hoy en día muy bien entendida. Tenemos mucho trabajo que caracteriza la estructura de soluciones factibles y la estructura de soluciones óptimas. Tenemos la fuerte dualidad, algoritmos de poli-tiempo, etc. Pero, ¿qué se sabe sobre las soluciones mínimas máximas de LP? O, de manera …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

He leído en SP Jordan, D. Gosset, "Amor del PJ problemas -Complete para hamiltonianas stoquastic y matrices de MarkovQ MUNQMAQMA " que es poco probable que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Me sorprendió esta afirmación. Entonces, ¿cuál es la relación adecuada entre y A M ?Q MUNQMAQMAA MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma