Preguntas etiquetadas con np-hardness

En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas anteriormente? Creo que la posible respuesta a esta pregunta …

19 ds.algorithms  np-hardness  np 

Este problema surgió de mi reciente publicación de blog , supongamos que se le da un recorrido TSP, ¿es completo para determinar si es mínimo? Más precisamente es el siguiente problema NP-complete: Instancia: dado un gráfico completo G con aristas ponderadas con enteros positivos y un ciclo simple C que …

18 np-hardness 

La noción de reducciones de tiempo polinomiales (reducciones de Cook) es una abstracción de un concepto muy intuitivo: resolver eficientemente un problema utilizando un algoritmo para un problema diferente. Sin embargo, en la teoría de la completitud de , la noción de dureza de N P se captura mediante reducciones …

18 cc.complexity-theory  np-hardness  soft-question 

¿Estoy en lo cierto al entender que probar un problema NP completo es un éxito de investigación? Si es así, ¿por qué?

18 cc.complexity-theory  np-hardness  big-picture 

Estoy interesado en el siguiente problema: dado un conjunto X y los subconjuntos X_1, ..., X_n de X, encuentre una coloración de los elementos de X con k colores de manera que los elementos en cada X_i sean todos de colores diferentes. Más específicamente, estoy mirando el caso donde todos …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Considere el siguiente problema QQQ : Se nos da un número entero , y k intervalos [ l i , r i ] con 1 ≤ l i ≤ r i ≤ 2 n . También se nos dan 2 n enteros d 1 , ... , d 2 n …

17 cc.complexity-theory  np-hardness 

Recientemente, me he encontrado con la siguiente variante de coloración de bordes. Dado un gráfico conectado no dirigido, encuentre una coloración de los bordes que use la cantidad máxima de colores al tiempo que satisface la restricción de que, para cada vértice , los bordes incidentes a usan como máximo …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

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 en la reducción y las instancias …

17 cc.complexity-theory  np-hardness  reductions 

Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema NP-completo, ¿hay una solución …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Suponga que se le da un gráfico H, simple, conectado y no dirigido. El problema del corte sin H se define de la siguiente manera: Dado un gráfico simple, no dirigido G, ¿hay un corte (partición de vértices en dos conjuntos no vacíos, L, R) de tal manera que los …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Los algoritmos de hashing de contraseñas de uso común funcionan de esta manera hoy en día: agregue la contraseña y alimente a un KDF. Por ejemplo, usando PBKDF2-HMAC-SHA1, el proceso de hash de contraseña es DK = PBKDF2(HMAC, Password, Salt, ...). Debido a que HMAC es un hashing de 2 …

16 np-hardness  cr.crypto-security  np-complete  security 

Dado un gráfico no dirigido simple GGG, encuentre un subconjunto A≠∅A≠∅A\neq \emptyset de vértices, de modo que para cualquier vértice al menos la mitad de los vecinos de x también están en A , yx∈Ax∈Ax\in AxxxAAA El tamaño de es mínimo.AAA Es decir, estamos buscando un grupo, en el que …

16 graph-theory  graph-algorithms  np-hardness 

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 mediante …

16 reference-request  np-hardness  reductions 

Estoy buscando problemas que se sabe que son NPC para gráficos dirigidos pero tienen un algoritmo polinomial para gráficos no dirigidos. He visto la pregunta sobre los problemas "dirigidos" al revés que son más fáciles que su variante "no dirigida" , pero estoy buscando dureza en el lado dirigido. Por …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que conozco está …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity