¿Hay problemas cuya complejidad de caso promedio es la misma que su peor complejidad de caso? ¿Cuáles son las propiedades subyacentes de estos problemas que hacen posible reducir el peor de los casos al caso promedio
Dado que 2 problemas completos de NP son, por definición, reducibles entre sí, por lo que se puede obtener una solución a uno de ellos mediante el uso de una caja negra que resuelve el otro, ¿por qué no tienen relaciones de aproximación similares (refiriéndose a sus contrapartes de optimización )?...
En la complejidad parametrizada, las personas utilizan la reducción de parámetros fijos manejables (FPT) para demostrar la dureza W [t]. Teóricamente, una reducción de FPT no es una reducción de tiempo polinomial, ya que puede ejecutarse exponencialmente en el parámetro k. Pero en la práctica,...
Estoy interesado en reducir -Clique a SAT sin hacer que la instancia sea mucho más grande.kkk Clique está en NP, por lo que puede reducirse a SAT utilizando espacio logarítmico. La reducción directa del libro de texto de Garey / Johnson explota la instancia a un tamaño cúbico . Sin embargo,...
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...
Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")nortePAGNPNPPAG= NPAGP=NPP = NP ¿Existen consecuencias conocidas...
Estoy buscando una prueba de que la complejidad de Kolmogorov es indiscutible utilizando una reducción de otro problema incontestable. La prueba común es una formalización de la paradoja de Berry en lugar de una reducción, pero debe haber una prueba reduciendo algo como el Problema de detención o...
Me pregunto si hay algún enfoque que formule un problema de enrutamiento de vehículos con ventanas de tiempo ( VRPTW ) (como un problema de decisión) como una instancia SAT / SMT. (alternativa: TSP) Por ejemplo: "¿Existe una solución válida para visitar a todos los clientes dentro de sus ventanas...
Para mostrar la dureza NP de un problema, uno necesita elegir un problema NP-duro conocido y encontrar una reducción polinómica del problema conocido a su problema en cuestión. Teóricamente, cualquier problema NP-duro puede usarse para la reducción, pero en la práctica, algunos de los problemas se...
El problema del subgrafo conectado de peso máximo es el siguiente: Entrada: un gráfico y un peso (posiblemente negativo) para cada vértice .G=(V,E)G=(V,E)G=(V,E)wiwiw_ii∈Vi∈Vi \in V Salida: un subconjunto de pesos máximos de vértices tal que está conectado.SSSG[S]G[S]G[S] Este problema es...
¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT...
En pocas palabras, mi pregunta es: ¿es la prueba original de Karp reducir SAT a 3SAT innecesariamente elaborada? Los detalles son los siguientes. En su artículo de 1972 Reducibilidad entre problemas combinatorios , Karp demostró que SAT se reduce a 3SAT al afirmar: Reemplace una cláusula ,...