¿Por qué la mayoría de las personas prefiere usar reducciones de muchos para definir la integridad de NP en lugar de, por ejemplo, reducciones de
Una reducción es la transformación de un problema en otro problema. Un ejemplo de uso de una reducción sería mostrar si un problema P es indecidible. Esto se lograría transformando o realizando una reducción de un problema de decisión en un problema indecidible. Si esto se puede lograr, entonces hemos demostrado que este problema P es indecidible. PAGS PAGS
¿Por qué la mayoría de las personas prefiere usar reducciones de muchos para definir la integridad de NP en lugar de, por ejemplo, reducciones de
El problema de la suma de las raíces cuadradas pregunta, dadas dos secuencias y b 1 , b 2 , ... , b n de enteros positivos, si la suma ∑ i √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n menor que, igual o mayor que la suma∑i√∑iai−−√∑iai\sum_i \sqrt{a_i} . El...
Se conjetura que la aleatoriedad no extiende el poder de los algoritmos de tiempo polinomiales, es decir, se conjetura que P=BPPP=BPP{\bf P}={\bf BPP} se mantiene. Por otro lado, la aleatoriedad parece tener un efecto bastante diferente en las reducciones de tiempo polinomiales . Por el conocido...
El teorema de Valiant-Vazirani dice que si hay un algoritmo de tiempo polinómico (determinista o aleatorio) para distinguir entre una fórmula SAT que tiene exactamente una asignación satisfactoria y una fórmula insatisfactoria, entonces NP = RP . Este teorema se demuestra mostrando que UNIQUE-SAT...
La publicación de blog de Scott Aaronson hoy dio una lista de interesantes problemas / tareas abiertas en complejidad. Uno en particular me llamó la atención: Cree una biblioteca pública de instancias 3SAT, con la menor cantidad de variables y cláusulas posibles, que tendrían consecuencias...
¿Hay un ejemplo de un idioma que está en , pero donde no podemos probar este hecho directamente al mostrar que existe un testigo polinómico para la membresía en este idioma?NPNPNP En cambio, el hecho de que el idioma está en se probaría reduciéndolo a otro idioma en , donde el vínculo entre los...
Algunos problemas NP-hard que son exponenciales en gráficos generales son subexponenciales en gráficos planos porque el ancho del árbol es como máximo y son exponenciales en el ancho del árbol.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Básicamente, estoy interesado si hay algoritmos...
Contar el número de coincidencias perfectas en un gráfico bipartito se puede reducir de inmediato a calcular el permanente. Dado que encontrar una coincidencia perfecta en un gráfico no bipartito está en NP, existe una reducción de los gráficos no bipartitos al permanente, pero puede implicar una...
Claramente, hay una reducción de CLIQUE a k-Color porque ambos son NP-Complete. De hecho, puedo construir uno componiendo una reducción de CLIQUE a 3-SAT con una reducción de 3-SAT a k-Color. Lo que me pregunto es si existe una reducción directa razonable entre estos problemas. Digamos, una...
Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o un...
Esto está en la línea de " Algoritmos del libro ". Aunque las reducciones también son algoritmos, pensé que era dudoso pensar en una reducción en respuesta a la pregunta sobre los algoritmos del libro. Por lo tanto, una consulta por separado! Las reducciones de todo tipo son bienvenidas....
Esta pregunta es sobre la relación entre la multiplicación normal de números binarios y la multiplicación polinómica mod 2. Para concretar la pregunta, idealmente quisiera saber si hay una mejor solución para la pregunta de Knuth vol. 2, 3ª edición, página 420 que la que figura en el libro. "¿Se...
En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses,...
En esta pregunta , parece que hemos identificado un problema natural que es NP completo bajo reducciones aleatorias, pero posiblemente no bajo reducciones deterministas (aunque esto depende de qué suposiciones no comprobadas en la teoría de números sean verdaderas). ¿Hay algún otro problema...
USTCONN es el problema que requiere decidir si hay una ruta desde el vértice de origen hasta el vértice de destino en un gráfico , donde todos estos se dan como parte de la entrada.ssstttGGG Omer Reingold demostró que USTCONN está en L (doi: 10.1145 / 1391289.1391291 ). La prueba construye un...
Aquí el objetivo es reducir un problema SAT arbitrario a 3-SAT en tiempo polinómico usando el menor número de cláusulas y variables. Mi pregunta está motivada por la curiosidad. Menos formalmente, me gustaría saber: "¿Cuál es la reducción 'más natural' de SAT a 3-SAT?" Ahora la reducción que...
Recientemente leí una prueba que tenía la intención de mostrar que un problema era fuertemente NP-duro, simplemente reduciéndolo (en tiempo polinómico) a partir de un problema fuertemente NP-duro. Esto no tenía ningún sentido para mí. Pensé que tendrías que demostrar que cualquier número utilizado...
Se sabe que la intersección de tres matroides generales es NP-hard ( fuente ), que se realiza a través de la reducción del ciclo hamiltoniano. La reducción utiliza un matroide gráfico y dos matroides de conectividad. Un caso especial de un problema en el que estoy trabajando puede resolverse...
Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de...
Esperaba que alguien pudiera explicarme por qué exactamente el problema del producto del subconjunto es fuertemente NP-duro, mientras que el problema de la suma del subconjunto es débilmente NP-duro. Subconjunto Suma: Dada y , ¿existe un subconjunto tal que .X= { x1, . . . ,