¿En qué clases de gráficos es NP-hard la ruta más corta limitada por recursos (RCSP)?

8

Estoy buscando vincular un problema en el que estoy trabajando con un problema NP-hard conocido. Creo que puedo modelar mi problema como un problema de ruta más corta con recursos limitados. Sin embargo, la estructura de mi gráfico no es completamente arbitraria. Por lo tanto, será útil saber cuándo RCSP se vuelve difícil. ¿Es difícil para un DAG, para un DAG plano, para un DAG con grado acotado? Cualquier ayuda sería muy apreciada!

nómada
fuente
¿Importa cuál es la restricción de recursos? por ejemplo, ¿tiene la forma de una restricción de "número de enlaces"?
Suresh Venkat
2
No sé si el recurso real es relevante para el resultado de la dureza. Sin embargo, la restricción de recursos es de la siguiente forma. Hay algún número (M) de conjuntos prohibidos, a los que puede pertenecer cada vértice. Las restricciones deben codificar que la ruta más corta satisfactoria no atraviesa todos los vértices en ninguno de estos conjuntos M (es decir, si el conjunto S prohibido contiene k vértices, la ruta más corta puede ser adyacente a hasta k-1 de ellos). Por lo tanto, cada enlace adyacente a un nodo restringido contiene la contribución de ese nodo a todos sus conjuntos prohibidos y buscamos un SP que respete estas restricciones.
nómada
1
Hojeando la literatura sobre el problema, he notado algunas cosas: 1) posibles nombres alternativos: ruta más corta restringida (CSP), enrutamiento de calidad de servicio (QoS) 2) el problema "estándar" utiliza un costo en cada borde, y un límite constante en la suma de los costos en el camino más corto 3) el problema es NP-completo en gráficos acíclicos
Daniel Apon
Este no es el camino más corto restringido. CSP tiene una solución de tiempo pseudo-polinomial.
Saeed

Respuestas:

6

No sé si todavía está interesado en esta (antigua) pregunta, y si entendí bien las limitaciones de recursos que dio en el comentario; sin embargo, parece que su problema (que es ligeramente diferente de los problemas habituales de RCSP) es NP-completo para gráficos planos (acíclicos dirigidos o no dirigidos) de grado máximo 3 .

φnx1,...xnmC1,...Cm

  • Mk+xkφMkx¯kφ
  • sxiMkx¯kMk+xk
  • CjCjMk+Mk
  • t

st|V|

xiMkx¯iMk+xiMk

Mk

ingrese la descripción de la imagen aquí

C1=x1x¯2x3
C2=x2x¯3x4
C3=x¯1x3x¯2

También puede hacer fácilmente el gráfico dirigido, acíclico y bipartito. Avíseme si necesita más detalles (o si entendí mal el problema :-).

k

Marzio De Biasi
fuente
k
1
@Saeed: correcto, editaré la pregunta. Uso yEd (aplicación de Java) ... no obtienes dibujos profesionales si los comparas con los producidos por tikz (usando TikZiT), pero puedes dibujar bocetos muy rápido (me tomó ~ 5 minutos para lo anterior).
Marzio De Biasi
Gracias;) Muchas veces necesito una herramienta para dibujar rápidamente, creo que esto está bastante bien.
Saeed