Positive topologische Reihenfolge, nehmen Sie 3


20

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.


Wie reduziert man das auf das ursprüngliche Problem? Übrigens sieht dieses Problem an sich schon interessant aus.
Tsuyoshi Ito

Suchen Sie nach einer Permutation, die sowohl auf die Zeilen als auch auf die Spalten angewendet werden kann, oder nach zwei separaten Permutationen? Ich vermute zwei, da bei nur einem das Problem der topologischen Sortierung entspricht.
Warren Schudy

Betrachtet man es als einen zweigliedrigen Graphen (wie im elten Link), geben sie die notwendige Bedingung an, dass es keinen Subgraphen gibt, der aus Kopien von K2, C4, C6, C8 usw. besteht. Eine andere notwendige Bedingung ist, dass die Gradfolge von beiden ist Teile werden dominiert von (1, 2, 3, ..., n) --- Ich denke, dies ist stärker als die andere auf Cliquen basierende Bedingung im Link.
Daveagp

Antworten:


12

Das Problem stellte sich als NP-vollständig heraus. Mehr dazu lesen Sie hier und hier . Kurze Zusammenfassung:

Die Reduktion beruht auf einem Problem, von dem Dasgupta, Jiang, Kannan, Li und Sweedyk gezeigt haben, dass es NP-vollständig ist: Wenn ein zweigliedriger Graph G und eine ganze Zahl k gegeben sind, entscheiden Sie, ob G einen induzierten Teilgraphen auf 2k Knoten hat, auf den erweitert werden kann einzigartig passend sein. Stéphane Vialette stellte fest, dass sich dieses Problem auf die zweiteilige, eindeutige Version dieses Problems reduziert, wenn wir beiden Klassen nk isolierte Knoten hinzufügen.


Danke für den Link zu EGRES. Ich mag die offenen Probleme sehr, besonders die, die mit (perfektem) Matching zu tun haben.
Mohammad Al-Turkistany

Was sind die anderen Qualitätsstandorte für offene Probleme (im Zusammenhang mit der Komplexität der Berechnungen)?
Mohammad Al-Turkistany

@turkistany, ich kenne keine anderen, ich denke, hier geht es auch mehr um Operations Research / Graphentheorie.
Domotorp

3

Achtung: Dies ist eine Teilantwort basierend auf Vermutungen und Hörensagen! Während David Eppsteins allgemeineres Problem NP-vollständig ist, ist dieses vielleicht in P.

(EINB,E)|EIN|=|B|=n ist "UPMX", wenn es auf einen Graphen mit einer einzigartigen perfekten Übereinstimmung erweiterbar ist. Hier sind einige notwendige Bedingungen für UPMX:

  • es darf nicht 2 perfekte Übereinstimmungen enthalten,
  • (1,2,...,n) , und ebenso für B. werde ich dies nenne der „Grad Zustand.“

Bisher konnte ich kein Beispiel finden, in dem ein Diagramm diese Bedingungen erfüllt, aber es ist kein UPMX. In diesem Fall sind sie vielleicht ausreichend. Dies könnte man mit folgendem Algorithmus beweisen:

  1. Wenn der Graph> 1 perfekte Übereinstimmungen aufweist, wird "nicht UPMX" zurückgegeben.
  2. Wenn das Diagramm die Gradbedingung nicht erfüllt, geben Sie "nicht UPMX" zurück.
  3. wenn der Graph = 1 perfekte Übereinstimmung hat, gebe "UPMX" zurück
  4. Ansonsten können wir vielleicht zeigen, dass es sich um UPMX handelt. Vielleicht könnte der folgende Algorithmus es beweisen:
    • (n+12)-2
    • finde eine neue Kante e, deren Addition keine perfekte Übereinstimmung erzeugt und die Gradbedingung nicht verletzt; füge e zum Graphen hinzu
  5. (n+12)-1

Mit dem Satz von Hall können Sie charakterisieren, welche neuen Kanten eine perfekte Übereinstimmung ergeben würden, und es ist nicht schwer zu charakterisieren, welche neuen Kanten den Grad der Schranke verletzen würden. Leider konnte ich das nicht beweisen, auch wenn es stimmt, dass es immer eine Kante des richtigen Typs gibt.


Kein schlechter Ansatz, ich frage mich, ob es wahr ist.
Domotorp

3

Diese Arbeit zeigt, dass das Problem für binäre quadratische Matrizen NP-vollständig ist, indem eine dreieckige Matrix durch unabhängige Reihen-Spalten-Permutationen Fertin, Rusu und Vialette erhalten wird.


Das ist sehr bedauerlich, dass sie das gleiche Ergebnis auch unabhängig von uns bewiesen haben, ich denke, wir hätten besser kommunizieren sollen. Wie auch immer, ich schicke ihnen eine E-Mail.
Domotorp

@domotorp Dasselbe Problem wurde bei MathOverflow gestellt und die beste Antwort war, dass es sich um "NP-Limbo" handelt. mathoverflow.net/questions/191963/…
Mohammad Al-Turkistany

-1

Das Problem ist NP-vollständig, aber wo ist der Algorithmus, um es zu lösen? Ich habe einen Algorithmus, der an vielen Beispielen funktioniert, aber ich kann nicht zeigen, dass er die ganze Zeit funktioniert.


1
Können Sie eine interessante Klasse von Graphen charakterisieren, für die Ihr Algorithmus korrekt ist?
RB
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.