Tengo el siguiente problema:
Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros).
Consulta: ¿hay una biyección monótona f : S → T ?
La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )
[No estoy requiriendo la condición inversa aquí. Actualización: si se requiriera la condición inversa, es decir, , entonces esto estaría en PTIME porque equivale a la prueba de isomorfismo de los posets de inclusión correspondientes (que tienen dimensión de orden 2 por construcción), que está en PTIME por Möhring, Clases de conjuntos ordenados computacionalmente manejables , Teorema 5.10, p. 61. ]
El problema está en : podemos comprobar eficientemente si una f dada es una biyección monótona.
¿Existe un algoritmo de tiempo polinómico para este problema? ¿O es duro?
La pregunta puede plantearse de manera más general como la existencia de una biyección monótona entre dos posets dados de dimensión de orden 2.
Utilizando una reducción inspirada en las respuestas a esta pregunta , sé que el problema es duro cuando las dimensiones no están restringidas. Sin embargo, no está claro si la reducción también funcionaría cuando las dimensiones están restringidas.
También estoy interesado en saber acerca de la trazabilidad cuando la dimensión solo está limitada por alguna constante arbitraria (no solo 2).