Preguntas etiquetadas con reductions

En computabilidad y complejidad, encontrar mapeos entre problemas que permiten resolver un problema utilizando una solución de otro. Para la reducción en la teoría del lenguaje de programación (por ejemplo, reducción beta), consulte [cálculo lambda] o [reescritura de términos].

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' …
2
¿Está completo el NP de Hidoku?
Un Hidoku es una cuadrícula con algunos enteros precompletados de 1 a n 2 . El objetivo es encontrar un camino de enteros sucesivos (de 1 an×nn×nn \times nn2n2n^2 ) en la cuadrícula. Más concretamente, cada celda de la cuadrícula debe contener un número entero diferente de 1 a n …
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
¿Existe un problema completo para la clase de problemas decidibles de Turing?
Idiomas como HALTTMHALTTM\text{HALT}_{TM} son RE-completeRE-complete\textsf{RE-complete} bajo muchas reducciones. Es trivial ver que co-REco-RE\text{co-RE} tiene problemas completos. S. Schmitz [1] considera algunas clases entre ELEMELEM\text{ELEM} y RECREC\text{REC} . Presentan problemas completos para estas clases bajo reducciones específicamente diseñadas. ¿Existen problemas completos para R=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE} (también conocido como RECREC\textsf{REC} …
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 …
1
Reducción directa de
Sabemos que st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity está en NLNL\mathsf{NL} según el teorema del teorema de Immerman – Szelepcsényi y dado que st-connectivityst-connectivityst\text{-}connectivity es NL-hardNL-hard\mathsf{NL\text{-}hard} por lo tanto es un espacio logarítmico de muchos reductibles a s t - c o n n e c t i v i t y . ¿Pero hay …
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.