Auslastungsspiel
Ein Auslastungsspiel oder Congestion Game ist in der Spieltheorie ein Spiel, bei dem jeder Spieler eine Menge allgemein verfügbarer Ressourcen wählt, um sein Ziel zu erreichen. Die Kosten einer Ressource hängen von der Anzahl der Spieler ab, die diese nutzen. Ein Beispiel für Auslastungsspiele sind Straßennetze. Jeder Fahrer (Spieler) wählt bestimmte Straßen (Ressourcen) um an sein Ziel zu gelangen. Die Fahrtzeit (Kosten) auf jedem Streckenabschnitt hängen davon ab, wieviele Fahrer diesen nutzen.Auslastungsspiele sind nichtkooperative_Spiele, da sich die Spieler untereinander nicht absprechen. Die Klasse der Auslastungsspiele geht zurück auf Robert W. Rosenthal, der sie 1973 in seinem Aufsatz ?A Class of Games Possessing Pure-Strategy Nash Equilibria? beschrieb.Robert W. Rosenthal: [http://www.springerlink.com/index/J5T4730452755627.pdf A Class of Games Possessing Pure-Strategy Nash Equilibria.] In: International Journal of Game Theory. Nr. 2, 1973, S. 65?67
Formale Definition
Es sei eine Menge von Ressourcen und jeweils die Kostenfunktion der Ressource . Ein Auslastungsspiel ist ein Spiel_in_Normalform mit
* Menge der Spieler
* Strategieraum mit
* Nutzenfunktionen
*::
*: ist dabei die Anzahl der Spieler ist, die in der Strategkiekombination gewählt haben.
Das Minuszeichen in der Nutzenfunktion stammt daher, dass verringerte Kosten mit einem erhöhten Nutzen einhergehen.
Nash-Gleichgewichte
Jedes Auslastungsspiel hat mindestens ein Nash-Gleichgewicht_in_reinen_Strategien, da es eine Potenzialfunktion besitzt.Dov Monderer, Lloyd S. Shapley: [http://ie.technion.ac.il/~dov/potential.pdf Potential Games.] Games and Economic Behavior 14, 1996, S. 124?143 Eines dieser Nash-Gleichgewichte ist eine Strategiekombination , die den Ausdruck
:
minimiert. Denn angenommen wäre kein Nash-Gleichgewicht, dann existiert ein Spieler und eine Strategie bei der sich dieser Spieler besser stellt:
:
Dies führt zu einem Widerspruch zur Minimalität von .
:

