Kriterium für vollständige Unimodularität

In der Kombinatorischen Optimierung, einem der Teilgebiete der Kombinatorik, findet man einige Kriterien für die vollständige Unimodularität ganzzahliger Matrizen. Ein besonders nützliches dieser Kriterien geht auf eine Arbeit des französischen Mathematikers Alain Ghouila-Houri aus dem Jahre 1962 zurück.

Kriterium

Das Kriterium lässt sich angeben wie folgt:

Eine Matrix $A=(a_{ij})\in {\mathbb{Z}}^{m\times n}(m,n\in \mathbb{N})$ ist genau dann vollständig unimodular, wenn es für jede Teilmenge $R\subseteq \{1,...,m\}$ eine Zerlegung

$R_1\dot{\cup }{R}_2=R$

gibt derart, dass für jeden Index $j=1,...,n$ die Beziehung

$\sum _{i\in R_1}{a}_{ij}-\sum _{i\in R_2}{a}_{ij}\in \{-1,0,1\}$

erfüllt ist.

Korollar

Das Kriterium von Ghouila-Houri lässt sich umsetzen in ein Kriterium für bipartite Graphen:

Die Inzidenzmatrix $I_G$ eines endlichen ungerichteten Graphen $G$ ist vollständig unimodular genau dann, wenn $G$ bipartit ist.

Weiteres Kriterium

Ein anderes wichtiges Kriterium für die vollständige Unimodularität ganzzahliger Matrizen – welches auch zum Beweis des Kriteriums von Ghouila-Houri herangezogen werden kann – hatten schon A.J. Hoffman und J.B. Kruskal im Jahre 1956 geliefert. Darin wird die vollständige Unimodularität ganzzahliger Matrizen in Verbindung gebracht mit Ganzzahligkeitseigenschaften der zugehörigen Polyeder. Im Einzelnen gilt nämlich der folgende Satz:

Eine Matrix $A\in {\mathbb{Z}}^{m\times n}(m,n\in \mathbb{N})$ ist genau dann vollständig unimodular, wenn für jeden Vektor $b\in {\mathbb{Z}}^m$ sämtliche Eckpunkte des zu $b$ gehörigen Polytops $\{x\in {ℝ}^n\mid x\ge 0,A\cdot x\le b\}$ ganzzahlige Koordinaten haben.

Anmerkungen

• Eine Matrix $A\in {\mathbb{Z}}^{m\times n}(m,n\in \mathbb{N})$ heißt vollständig unimodular oder auch total unimodular, Vorlage:EnS, falls jede Unterdeterminante (und damit auch jedes Element) von $A$ gleich 0 oder gleich 1 oder gleich −1 ist.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur