Angenommen, wir haben eine nx n-Matrix. Ist es möglich, die Zeilen und Spalten so neu anzuordnen, dass sich eine Matrix mit einem oberen Dreieck ergibt?
Diese Frage ist durch das Problem motiviert: Positive topologische Ordnung
Das ursprüngliche Entscheidungsproblem ist mindestens so schwer wie dieses, daher würde ein Ergebnis der NP-Vollständigkeit auch dieses Problem lösen.
Edit: Laszlo Vegh und Andras Frank haben mich auf ein gleichwertiges Problem aufmerksam gemacht, das Gunter Rote gestellt hat: http://lemon.cs.elte.hu/egres/open/Graphs_extendable_to_a_uniquely_matchable_bipartite_graph
Bearbeiten: Die Reduzierung auf das ursprüngliche Problem ist wie folgt. Angenommen, die DAG hat nur zwei Ebenen. Diese entsprechen den Zeilen und Spalten der Matrix. Außerdem haben wir einen einzelnen Knoten mit einer Gewichtung von +1. Alle anderen in der unteren Ebene haben das Gewicht -1 und in der oberen Ebene +1.