Submodulare Funktion

Mengenfunktion

Eine submodulare Funktion ist eine Mengenfunktion, die die Rangfunktion eines Matroids verallgemeinert. Submodulare Funktionen spielen in der kombinatorischen Optimierung eine wichtige Rolle.

Definition

Bearbeiten

Sei   eine Menge. Eine Mengenfunktion   heißt submodular, wenn für alle   gilt, dass

 

Beispiel

Bearbeiten

Sei  . Dann ist die Funktion  , die jeder Menge von Spaltenindizes die Dimension des von den entsprechenden Spalten von   aufgespannten Vektorraumes zuordnet, submodular.

Eigenschaften

Bearbeiten

Sei  . Dann sind die folgenden Aussagen äquivalent:

  •   ist submodular
  •   für alle   und   mit  
  •   für alle   und alle  .

Anwendung in der kombinatorischen Optimierung

Bearbeiten

Sei   und   eine Mengenfunktion. Dann heißt die Menge

 

das erweiterte Polymatroid zu  . Wenn   submodular ist und  , kann das Minimum einer linearen Funktion über   mit einem Greedy-Algorithmus in Zeit polynomial in   gefunden werden. Nimmt ferner   nur ganzzahlige Werte an, so sind sämtliche Ecken von   ganzzahlig, so dass auch eine ganzzahlige Lösung effizient berechnet werden kann.

Literatur

Bearbeiten
  • Alexander Schrijver: Combinatorial Optimization. Polyhedra and Efficiency. Springer, Berlin 2003, ISBN 3-540-44389-4.