Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido , una función de etiquetado de a algún conjunto con un orden total (por ejemplo, los enteros), y donde se nos pide calcule el tipo topológico lexicográficamente más pequeño de en términos de . Más precisamente, un tipo topológico de es una enumeración de como , de modo que para todo , siempre que haya una ruta de a en , entonces debemos tener . La etiqueta de este tipo topológico es la secuencia de elementos de obtenidos como . El orden lexicográfico en tales secuencias (que tienen longitud ) se define como si hay alguna posición tal que y para todos| V | l < LEX l ′ i l i < L l ′ i l j = l ′ j j < i . Preste atención al hecho de que cada etiqueta en puede asignarse a múltiples vértices en V (de lo contrario, el problema es trivial).V
Este problema puede plantearse en una variante de cálculo ("calcular el tipo topológico lexicográficamente mínimo") o en una variante de decisión ("¿es esta palabra de entrada el tipo topológico mínimo?"). Mi pregunta es, ¿cuál es la complejidad de este problema ? ¿Está en PTIME (o en FP, para la variante de cálculo) o es NP-hard? Si el problema general es NP-hard, también me interesa la versión en la que el conjunto de posibles etiquetas se fija de antemano (es decir, solo hay un número constante de posibles etiquetas).
Observaciones:
Aquí hay un pequeño ejemplo del mundo real para motivar el problema. Podemos ver que el DAG representa las tareas de un proyecto (con una relación de dependencia entre ellas) y las etiquetas son enteros que representan el número de días que lleva cada tarea. Para finalizar el proyecto, me llevará la misma cantidad de tiempo total, sin importar el orden que elija para las tareas. Sin embargo, me gustaría impresionar a mi jefe, y para hacer esto quiero terminar tantas tareas como sea posible lo más rápido posible (de una manera codiciosa, incluso si eso significa ser muy lento al final porque quedan las tareas más difíciles). Elegir el orden lexicográficamente mínimo optimiza el siguiente criterio: Quiero elegir un orden tal que no haya otro orden y una cantidad de días donde despuéso ′ n n o ′ o n o ′ m < n o ′ odías habría terminado más tareas con el orden que con el orden (es decir, si mi jefe mira el tiempo , daré una mejor impresión con ), pero para todos los no he terminado menos tareas con el orden que con el orden .
Para dar una idea del problema: ya sé por respuestas anteriores que el siguiente problema relacionado es difícil: "¿hay algún tipo topológico que logre la siguiente secuencia"? Sin embargo, el hecho de que quiero una secuencia mínima para este orden lexicográfico parece limitar mucho los posibles órdenes topológicos que pueden lograrlo (en particular, las reducciones en esas otras respuestas ya no parecen funcionar). Intuitivamente, hay muchas menos situaciones en las que tenemos que tomar una decisión.
Tenga en cuenta que parece haber reformulaciones interesantes de los problemas en términos de cobertura de conjunto (al restringir el problema a DAG que son bipartitos, es decir, tienen altura dos): dado un conjunto de conjuntos, enumere en un orden que minimiza lexicográficamente la secuencia,,, ,. El problema también puede reformularse en gráficos no dirigidos (expanda progresivamente un área conectada del gráfico siguiendo el orden que minimiza la secuencia lexicográfica de las etiquetas descubiertas). Sin embargo, debido al hecho de que la secuencia tiene para ser codicioso en todo momento por definición del orden lexicográfico, no puedo lograr que funcionen las reducciones (por ejemplo, del árbol Steiner).
¡Gracias de antemano por tus ideas!