Total unimodulare Matrix

Aus testwiki
Zur Navigation springen Zur Suche springen

Eine total unimodulare Matrix (oder auch vollständig unimodulare Matrix) ist eine Matrix mit ganzzahligen Einträgen, bei der noch weitere Forderungen an deren Unterdeterminanten gestellt sind. Total unimodulare Matrizen spielen in der diskreten Optimierung eine Rolle, da sie unter bestimmten Bedingungen die Ganzzahligkeit der Lösung eines linearen Optimierungsproblems garantieren.

Definition

Sei An×m eine Matrix. Dann heißt A total unimodular (manchmal auch absolut unimodular oder vollständig unimodular) genau dann, wenn jede Unterdeterminante von A einen der Werte 1 oder 0 oder 1 hat. Insbesondere sind dann alle Elemente (also alle 1×1-Untermatrizen) von An×m in {1,0,1}.

Alternativ formuliert ist eine total unimodulare Matrix eine (nicht notwendigerweise quadratische) Matrix, bei der alle quadratischen, nichtsingulären Untermatrizen ganzzahlig unimodular sind.

Eigenschaften

  • Die Inzidenzmatrix eines ungerichteten bipartiten Graphen ist total unimodular.
  • Die Inzidenzmatrix eines gerichteten Graphen ist total unimodular.
  • Ist A total unimodular, so ist auch die transponierte Matrix AT total unimodular, denn Determinanten bleiben unter Transposition erhalten.
  • Ihre Bedeutung bekommen total unimodulare Matrizen aufgrund der folgenden Aussage: Ist A total unimodular und bn, so besitzt das Polyeder P={x|Axb} nur ganzzahlige Ecken. Ist ein lineares Optimierungsproblem mincTx unter der Nebenbedingung xP gegeben, so ist die Optimallösung x* ganzzahlig. Ist außerdem cn, so ist auch der Zielfunktionswert cTx* ganzzahlig.
  • Die Anzahl an Untermatrizen einer Matrix ist exponentiell in der Anzahl der Zeilen/Spalten der Matrix. Obwohl alle diese Untermatrizen zur Charakterisierung der totalen Unimodularität herangezogen werden, gibt es einen polynomiellen Algorithmus zur Entscheidung, ob eine Matrix total unimodular ist oder nicht.

Beispiel

Betrachte die Matrix

A:=(110000111010)
  1. Alle Einträge sind entweder 0 oder 1 und damit auch alle 1×1-Untermatrizen
  2. Enthält eine 2×2 Matrix nur Einträge aus {1,0,1} und dabei mindestens eine Null, so ist ihre Determinante auch aus {1,0,1}. Insbesondere sind die Determinanten aller 2×2-Untermatrizen der obigen Matrix aus {1,0,1}.
  3. Mittels der Regel von Sarrus kann man überprüfen, dass auch die Determinanten der 3×3-Untermatrizen aus {1,0,1} sind.

Daher ist die Matrix total unimodular.

Literatur