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].
En la teoría de la computabilidad y la complejidad (y quizás en otros campos), las reducciones son ubicuas. Hay muchos tipos, pero el principio sigue siendo el mismo: demuestre que un problema es al menos tan difícil como otro problema al mapear instancias de a soluciones equivalentes en ....
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...
Estoy tomando un curso de complejidad y tengo problemas para encontrar reducciones entre los problemas de la APN. ¿Cómo puedo encontrar reducciones entre problemas? ¿Hay algún truco general que pueda usar? ¿Cómo debo abordar un problema que me pide que demuestre que un problema es...
Me interesa la cuestión de cómo enseñar mejor la completitud de NP a los estudiantes de informática. En particular, ¿deberíamos enseñarlo usando reducciones de Karp o reducciones de Turing? Siento que los conceptos de NP-completitud y reducciones son algo que todo experto en informática debería...
Un sorprendente número de problemas tiene reducciones bastante naturales a la programación lineal (LP). Consulte el Capítulo 7 de [1] para ver ejemplos como flujos de red, emparejamiento bipartito, juegos de suma cero, rutas más cortas, una forma de regresión lineal e incluso evaluación de...
Digamos que hay un programa tal que si le das un Sudoku parcialmente lleno de cualquier tamaño, te da el Sudoku completo correspondiente. ¿Puedes tratar este programa como una caja negra y usar esto para resolver TSP? Quiero decir, ¿hay alguna manera de representar el problema de TSP como Sudoku...
Lo que quiero hacer es convertir un problema matemático que tengo en un problema de satisfacción booleana (SAT) y luego resolverlo usando un solucionador SAT. Me pregunto si alguien conoce un manual, una guía o cualquier cosa que me ayude a convertir mi problema en una instancia SAT. Además,...
El problema de la suma de subconjuntos es un problema clásico de NP completo: Dada una lista de números y un objetivo k , ¿hay un subconjunto de números de LLLLkkkLLL que sume a ?kkk Un estudiante me preguntó si esta variante del problema llamado problema del "subconjunto de productos" es...
Aquí está el problema. Dado , donde cada T i ⊆ { 1 , ... , n } . ¿Hay un subconjunto S ⊆ { 1 , ... , n } con un tamaño máximo de k tal que S ∩ T i ≠ ∅ para todo i ? Estoy tratando de reducir este problema a SAT. Mi idea de una solución sería tener una variable x ik , n , T1, ... ,...
Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber...
Tal vez esto sea bastante simple, pero tengo algunos problemas para obtener esta reducción. ¡Quiero reducir Subset Sum a Partition pero en este momento no veo la relación! ¿Es posible reducir este problema usando una reducción de Levin? ¡Si no entiendes, escribe para
Permítanme comenzar señalando que este es un problema de tarea, por favor brinden solo consejos y observaciones relacionadas, NO RESPUESTAS DIRECTAS por favor . Dicho esto, aquí está el problema que estoy viendo: Deje HALF-CLIQUE = { | es un gráfico no dirigido que tiene una subgrafía completa...
En el artículo La complejidad del problema de Frobenius de Ramírez-Alfonsín, se demostró que un problema era NP completo usando reducciones de Turing. ¿Es eso posible? ¿Cómo exactamente? Pensé que esto solo era posible por un tiempo polinómico, muchas reducciones. ¿Hay alguna referencia sobre...
Los libros de texto en todas partes suponen que el problema de la correspondencia posterior a los límites está completo para NP (no se permiten más de índices con repeticiones). Sin embargo, en ninguna parte se muestra una reducción de tiempo polinomial simple (como en algo que un estudiante...
Gracias al teorema de corte mínimo de flujo máximo, sabemos que podemos usar cualquier algoritmo para calcular un flujo máximo en un gráfico de red para calcular un corte -min. Por lo tanto, la complejidad de calcular un corte mínimo ( s , t ) no es más que la complejidad de calcular un flujo...
Me cuesta entender la relación entre NP-Intermedio y NP-Completo. Sé que si P! = NP basado en el teorema de Ladner, existe una clase de lenguajes en NP pero no en P o en NP-Complete. Cada problema en NP puede reducirse a un problema NP-Completo, sin embargo, no he visto ningún ejemplo para reducir...
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 2 y cada celda con...
Sea A reducible a B, es decir, . Por lo tanto, la máquina de Turing aceptar tiene acceso a un oráculo de . Deje que la máquina de Turing que acepta sea y el oráculo para sea . Los tipos de reducciones:A B A M A B O BA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Reducción de Turing: puede realizar...
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...
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,...