Preguntas etiquetadas con complexity-theory

Preguntas relacionadas con la complejidad (computacional) de resolver problemas

1
¿Versión restringida del problema Clique?
Considere la siguiente versión del problema Clique donde la entrada es de tamaño se nos pide que encontremos una camarilla de tamaño . La restricción es que el procedimiento de decisión no puede cambiar el gráfico de entrada en ninguna otra representación y no puede usar ninguna otra representación para …
2
Prueba de DOBLE SAT es NP-completo
El conocido problema SAT se define aquí como referencia. El problema DOUBLE-SAT se define como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} ¿Cómo demostramos que es NP-completo? Se apreciará más de una …
2
MIN-2-XOR-SAT y MAX-2-XOR-SAT: ¿son NP-hard?
¿Cuál es la complejidad de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} y MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? ¿Están en P? ¿Son NP-hard? Para formalizar esto más precisamente, dejemos Φ ( x ) = ∧norteyoCyo,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, donde x =( x1, ... , xmetro)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) y cada cláusula CyoCiC_i tiene la forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) o (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg …
2
Problemas que se sienten exponenciales pero son P
Estoy tratando de construir una lista de algoritmos / problemas que son "excepcionalmente útiles", como resolver problemas que 'parecen' muy exponenciales en la naturaleza, pero que tienen un algoritmo particularmente inteligente que finalmente los resuelve. Ejemplos de lo que quiero decir: Programación lineal (El algoritmo simplex es tiempo exponencial; ¡llevó …
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.