Ich habe folgendes Problem:
Eingabe: zwei Sätze von Intervallen und T (alle Endpunkte sind ganze Zahlen).
Abfrage: Gibt es eine monotone Bijektion f : S → T ?
Die Bijektion ist monotone WRT der Mengeninklusion Reihenfolge auf und T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )
[Ich benötige hier nicht die umgekehrte Bedingung. Update: wenn der umgekehrte Zustand erforderlich war, dh , dann würde das in PTIME sein , weil es auf Isomorphie Abprüfung der entsprechenden Aufnahme posets (welche Beträge Ordnungsdimension 2 durch Konstruktion), die in PTIME von Möhring, Computationally Tractable Classes of Ordered Sets , Theorem 5.10, p. 61. ]
Das Problem liegt in : Wir können effizient prüfen, ob ein gegebenes f eine monotone Bijektion ist.
Gibt es einen Polynom-Zeit-Algorithmus für dieses Problem? Oder ist es -hard?
Die Frage kann allgemeiner als das Vorhandensein einer monotonen Bijektion zwischen zwei gegebenen Posets der Ordnungsdimension 2 angegeben werden.
Anhand einer Reduktion, die von den Antworten auf diese Frage inspiriert ist , weiß ich, dass das Problem -hart ist, wenn die Abmessungen nicht eingeschränkt sind. Es ist jedoch nicht klar, ob die Reduzierung auch bei eingeschränkten Abmessungen funktionieren würde.
Ich bin auch daran interessiert, etwas über die Traktierbarkeit zu erfahren, wenn die Dimension nur durch eine beliebige Konstante (nicht nur 2) begrenzt ist.