Varios problemas de optimización que se sabe que son NP-hard en los gráficos generales se pueden resolver trivialmente en tiempo polinómico (algunos incluso en tiempo lineal) cuando el gráfico de entrada es un árbol. Los ejemplos incluyen cobertura mínima de vértice, conjunto independiente máximo, isomorfismo de subgrafo. Mencione algunos problemas de optimización natural que siguen siendo NP-hard en los árboles.
cc.complexity-theory
np-hardness
tree
Shiva Kintali
fuente
fuente
Respuestas:
Puede encontrar ejemplos "naturales" y "bien conocidos" de problemas de gráficos que son difíciles incluso si están restringidos a los árboles de nuestra referencia estándar . Ejemplos:
(Estos se formulan como problemas de árbol, pero puede generalizarlos a gráficos arbitrarios. Luego, las formulaciones anteriores se obtienen como el caso especial cuando restringe su entrada a los árboles).
Una receta más general para generar problemas que son difíciles para los árboles: tome cualquier problema NP-hard relacionado con supersecuencias , supercadenas , subcadenas , etc. Luego, vuelva a interpretar una cadena como un gráfico de ruta etiquetado. Luego plantee la pregunta análoga para gráficos generales (subsecuencia ≈ gráfico menor, subcadena ≈ subgráfico). Y sabemos que el problema es NP-duro incluso en árboles (y en caminos).
También hay muchos problemas que son difíciles para las estrellas ponderadas, por reducción del problema de la suma de subconjuntos. Un ejemplo natural es:
Nuevamente, es fácil encontrar variaciones del tema.
fuente
Es NP-complete para determinar si un árbol se puede incrustar en la cuadrícula entera bidimensional, con los vértices del árbol ubicados en puntos de cuadrícula distintos y los bordes del árbol ubicados en los bordes de la cuadrícula.
Véase, por ejemplo, Gregori, IPL 1989 .
fuente
El problema de Group Steiner es un buen ejemplo. La entrada a este problema es un gráfico ponderado de borde no dirigido yk grupos de vértices S 1 , S 2 , ... , S k . El objetivo es encontrar un árbol de peso mínimo que contenga al menos un vértice de cada grupo. Es fácil ver que el problema de Set Cover es un caso especial incluso cuando G es una estrella. Por lo tanto, el problema es difícil de aproximar dentro de un factor O ( log n ) a menos que P = NP. Además, Halperin y Krauthgamer demostraron que es difícil aproximarse al problema dentro de unG=(V,E) S1,S2,…,Sk O(logn) factor de cualquier fijos ε > 0 algoritmos cuasi-polinomio menos NP ha aleatorios de tiempo (ver el papel para una exposición precisa). Hay unaaproximación O ( log 2 n ) en los árboles por Garg, Konjevod y Ravi.O(log2−ϵn) ϵ>0 O(log2n)
fuente
Uno de los problemas más difíciles en los árboles es el problema de ancho de banda mínimo. Es duro en árboles de grado máximo 3. También es NP-duro en oruga circular de longitud de pelo 1.NP
Referencias
Michael R. Garey, Ronald L. Graham, David S.Johnson y Donald E. Knuth. Resultados de complejidad para la minimización del ancho de banda. SIAM J. Appl. Math., 34 (3): 477-495, 1978.
Burkhard Monien. El problema de minimización del ancho de banda para las orugas con longitud de cabello 3 es NP-completo. SIAM J. Algebraic Discrete Methods, 7 (4): 505-512, 1986.
W. Unger. La complejidad de la aproximación del problema del ancho de banda. En FOCS, páginas 82–91, 1998
fuente
Este problema es NP-hard (y MAX SNP-hard) en estrellas [ 1 ].
[ 1 ] Garg, Vazirani y Yannakakis, Algoritmos de aproximación primal-dual para flujo integral y Multicut en árboles , Algorithmica, 18 (1), pp 3-20, 1997.
fuente
El problema del bombero ha recibido una buena cantidad de atención recientemente, y es (algo sorprendente) NP-duro en árboles de grado máximo 3 . En realidad es una pregunta bastante natural, que se describe a continuación:
O una variante, también NP-hard : ¿Existe una estrategia para el bombero en la que no se quemen hojas?
fuente
Un problema que uno podría pensar que NO sería difícil para los árboles, pero es el problema de la etiqueta congelada en geometría computacional : brevemente, el problema de programar reactivaciones para robots que comienzan con un solo bot despierto, donde makepan es la medida del costo.
Se sabe que es NP-hard en gráficos de estrellas ponderadas. Sin embargo, está abierto si el problema es NP-duro en el avión. Se podría argumentar que la dureza NP no proviene del 'árbol', sino de la 'métrica arbitraria', pero los gráficos de estrellas solo le dan un espacio limitado de métricas.
fuente
fuente
La coloración del imperio es NP-difícil para los árboles.
fuente
Un flujo en una red es confluente si usa como máximo un arco saliente en cada nodo. La dureza NP de determinar un flujo máximo de confluencia en un árbol (de diámetro 4, con múltiples sumideros permitidos) se demuestra en: D. Dressler y M. Strehler, Flujos confluentes capacitados: Complejidad y algoritmos, LNCS 6078 (2010) 347-358 .
fuente
El problema es NP-hard (en realidad, es difícil de aproximar) solo cuando todos los árboles de entrada tienen un grado ilimitado.
fuente
Una coloración armoniosa de un gráfico simple es una coloración de vértice adecuada de tal manera que cada par de colores aparece junto en un borde como máximo. El número cromático armonioso de un gráfico es el menor número de colores en una coloración armoniosa del gráfico. Edwards y McDiarmid demostraron que este problema de encontrar el número cromático armonioso era NP-completo en los árboles . De hecho, también muestran que el problema sigue siendo NP-completo para árboles de radio 3.
fuente
Tenga en cuenta que en el problema de TSP relacionado (y más famoso), el objetivo es minimizar la latencia máxima, en lugar de la media. Creo que el PRT generalmente se considera un problema más complicado (de hecho, el TSP está en P para las métricas del árbol).
La dureza de NP en los árboles se mostró en RA Sitters "El problema de latencia mínima es NP-Hard para árboles pesados", ISCO 2002.
fuente
El motivo gráfico es un problema NP-completo en árboles de grado máximo tres:
Fellows, Fertin, Hermelin y Vialette, límites de trazabilidad nítidos para encontrar motivos conectados en gráficos de colores vértice Lecture Notes in Computer Science, 2007, Volumen 4596/2007, 340-351
fuente
Hay un problema (muy general) que examiné como parte de un proyecto: una variante de este problema sigue siendo NP-hard incluso en gráficos con dos vértices y un solo borde, y una variante diferente es NP-hard en los árboles. Dado que la dureza NP de la primera variante obviamente no se deriva de la forma del gráfico, la segunda es probablemente más interesante.
Si no necesita que se enruten todas las descargas, sino que intente maximizar la suma de los tamaños de archivo de las descargas que se enrutan, puede reducir fácilmente la suma de subconjuntos a este problema: tiene un único servidor con grandes cantidades de espacio, un cliente único conectado al servidor con un borde con una capacidad igual al valor objetivo de la instancia de suma de subconjuntos y para cada número entero en la instancia de suma de subconjuntos, crea un archivo con el mismo tamaño; el cliente luego desea descargar todos estos archivos.
Una variante (¿mucho?) Más interesante para esta pregunta es el caso de que intente minimizar el número de bordes cuya capacidad se excede; quizás la red en la que estamos trabajando modela los cables de Internet transatlánticos y reemplazar un cable es tan costosa que la diferencia en costo de actualización a un factor dos más rápido y una actualización a un factor tres más rápido es insignificante. También decimos que las ubicaciones de los archivos en los servidores ya están indicadas y no se pueden modificar, por lo que solo analizamos los problemas de enrutamiento.
La idea es que el cliente necesita los archivos que son únicos para todos los clústeres de servidores, por lo que los bordes que conectan al cliente con los clústeres de servidores ya están en el límite de sus capacidades (sus capacidades son 1, los archivos tienen un tamaño 1). Si el cliente descarga cualquier elemento del universo desde cualquier clúster, el borde que se conecta a ese clúster se sobrecarga. Ya que solo requerimos minimizar el númerode sobrecargas (y no por cuánto excedemos las capacidades), el cliente puede descargar el resto de los elementos del universo alojado en ese clúster de servidores (por lo tanto, el resto de los elementos del subconjunto correspondiente) sin penalización. Por lo tanto, esto corresponde al subconjunto elegido. El cliente quiere descargar todos los archivos en el universo una vez, por lo que el universo estará cubierto, y para minimizar el número de bordes que están sobrecargados, necesitamos minimizar el número de subconjuntos elegidos.
Tenga en cuenta que la construcción anterior produce un gráfico de árbol, por lo que es un ejemplo de un problema NP-difícil en los árboles.
fuente
El problema del flujo no divisible. De hecho, UFP es difícil incluso en un solo borde (mochila).
fuente
Formalmente, el problema es:
ISOMORFISMO DE GRÁFICO PARTICIONADO
La columna de completitud NP cita el manuscrito inédito de Graham y Robinson, "Factorización isomorfa IX: incluso árboles".
DS Johnson, La columna de completitud de NP: una guía en curso, Journal of Algorithms 3 (1982), 288–300
fuente
De alguna manera me perdí el problema del número acromático en la última respuesta, pero este es uno de los problemas más naturales que conozco, que son NP completos en los árboles.
Una coloración completa de un gráfico es una coloración adecuada de modo que haya un borde entre cada par de clases de color. La coloración se puede establecer en contraste con la coloración armoniosa, como una coloración adecuada de modo que cada par de colores aparezca en al menos un borde. Además, puede declararse como un homomorfismo completo (o completo) a una camarilla. El problema del número acromático es un problema de maximización , donde buscamos el mayor número de clases de color en una coloración completa del gráfico.
Yannakakis y Gravil demostraron que este problema es NP-hard en complemento de los gráficos bipartitos . Cairnie y Edwards extendieron ese resultado y demostraron que el problema es NP-completo en los árboles .
Se ha trabajado mucho en este problema en el campo de los Algoritmos de Aproximación [ 3 , 4 , 5 ].
fuente
fuente
¿Es el circuito SAT en los árboles NPC? Los vértices internos del árbol están etiquetados como puertas OR / AND. Las hojas son entradas. Determine si hay un conjunto satisfactorio de entradas para que el circuito evalúe como Verdadero.
fuente