Preguntas etiquetadas con cc.complexity-theory

Deje ser un gráfico no dirigido. Una descomposición de V en subconjuntos disjuntos V i se llama descomposición de Hamilton de G si el subgrafo inducido por cada conjunto V i es un gráfico de Hamilton o consiste en un solo borde con | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

¿ implica E = N E ?E XP = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

La matriz de Moore es similar a la matriz de Vandermonde pero tiene una definición ligeramente modificada. http://en.wikipedia.org/wiki/Moore_matrix ¿Cuál es la complejidad de calcular el determinante de un rango completo de la matriz de Moore módulo algún entero?n×nn×nn \times n ¿Se puede reducir el determinante de Moore de usando técnicas …

10 cc.complexity-theory  algebraic-complexity 

¿Es difícil apx aproximar el número cromático fraccionario en gráficos de grados acotados?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Estoy buscando ejemplos de problemas difíciles (en NP o más difíciles) de la informática que pueden reducirse a modelos de procesos físicos. Por ejemplo, max-2-sat se puede reducir a minimización de energía en un modelo Ising. Me gustaría encontrar más ejemplos de este tipo de reducción.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Contexto: consideramos solo los dígrafos. Deje que CYCLE sea el lenguaje de gráficos con un ciclo; Es un problema de NL completo. Deje que HASEDGE sea el lenguaje de gráficos con al menos un borde. Entonces, trivialmente, CICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} ya no es NL-hard, mientras que CICLO ∪ …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Supongamos que es un lenguaje booleano, de cadenas finitas sobre { 0 , 1 } . Sea L n el número de cadenas en L con longitud n . Para una función d ( n ) desde los enteros positivos hasta los números reales positivos, L tiene una densidad superior …

10 cc.complexity-theory  reference-request  p-hardness 

Un idioma está en la clase D P si hay dos idiomas L 1 ∈ N P y L 2 ∈ c o N P de modo que L = L 1 ∩ L 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Un problema canónico completo de es SAT-UNSAT: …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Dado un gráfico mixto G=(V,E,A)G=(V,E,A)G=(V,E,A) con bordes EEE y arcos AAA , encuentre una coincidencia en EEE que minimice el número de arcos en G/MG/MG/M , donde G/MG/MG/M se obtiene de GGG al contraer vértices coincidentes y eliminar arcos paralelos ¿Es (la versión de decisión de) este problema NP-completo? ¿Ha …

10 cc.complexity-theory  reference-request  graph-theory 

Estoy leyendo la excelente encuesta de Watrous sobre la teoría de la complejidad cuántica. En él, afirma que sería sorprendente si se descubriera que un problema completo de QMA tiene una promesa vacía (es decir, ser un lenguaje). ¿Por qué esto es tan? ¿Tiene que ver con el hecho de …

10 cc.complexity-theory  quantum-computing 

Una fórmula monótona de CNF con m términos en n variables ( ) es una fórmula de la forma f ( x 1 , ... , x n ) = ⋀ C i , donde cada C i es un OR de algún subconjunto de las variables x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas 

Dado un grafo dirigido y dos vértices . Un par de rutas simples de a es un borde disjunto si no comparten un borde.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vpag1, p2p1,p2p_1,p_2sssttt Utilizando el …

10 cc.complexity-theory  graph-algorithms 

Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta cuántica.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n La medida de …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Considere el problema del conjunto dominante en gráficos generales, y sea el número de vértices en un gráfico. Un algoritmo de aproximación codicioso ofrece una garantía de aproximación del factor 1 + log n , es decir, es posible encontrar en el tiempo polinómico una solución S tal que | …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness