Preguntas etiquetadas con np-complete

Preguntas sobre los problemas más difíciles en NP, es decir, sobre aquellos que pueden resolverse en tiempo polinómico mediante máquinas de Turing no deterministas.



1
Rejilla cubierta por rectángulos
Tenemos una cuadrícula . Tenemos una colección de rectángulos en esta rejilla, cada rectángulo se puede representar como un -by- binario matriz . Queremos cubrir la cuadrícula con esos rectángulos.N 1 N 2 RN1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR ¿La versión de decisión de este conjunto cubre el problema NP-completo? Entrada: Colección de …

3
Tamaño mínimo de contratar un DAG en un nuevo DAG
Tenemos un DAG Tenemos una función en los nodos (en términos generales, numeramos los nodos). Nos gustaría crear un nuevo gráfico dirigido con estas reglas:F:V→NF:V→NF\colon V\to \mathbb N Solo los nodos con el mismo número pueden contraerse en el mismo nodo nuevo. . (Sin embargo, .)F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' …

3
Si P = NP, ¿por qué
Aparentemente, si P=NPP=NP{\sf P}={\sf NP} , todos los idiomas en PP{\sf P} excepto ∅∅\emptyset y Σ∗Σ∗\Sigma^* serían NPNP{\sf NP} -completos. ¿Por qué estos dos idiomas en particular? ¿No podemos reducir a ellos otro lenguaje en PP{\sf P} al enviarlos al aceptar o no aceptar?






1
Condiciones de planaridad para SAT Planar 1 en 3
Planar 3SAT es NP-completo. Una instancia plana de 3SAT es una instancia de 3SAT para la cual el gráfico creado con las siguientes reglas es plano: agregue un vértice para cada yXyoXyox_iXyo¯Xyo¯\bar{x_i} agregue un vértice para cada cláusulaCjCjC_j añadir una ventaja para todos los par( xyo, xyo¯)(Xyo,Xyo¯)(x_i,\bar{x_i}) agregue un borde …





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.