Wie @Marzio erwähnte, ist das folgende Spiel als Generalized Geography bekannt .
Bei einem Graphen und einem Startscheitelpunkt v ∈ V ist das Spiel wie folgt definiert:
In jeder Runde (zwei Spieler wechseln sich ab) wählt ein Spieler , und dann passiert Folgendes:
- sowie alle seine Kanten werden aus G entfernt .
- (dh v wird aktualisiert, um der Scheitelpunkt u zu sein ).
Der Spieler, der gezwungen ist, eine "Sackgasse" (dh einen Scheitelpunkt ohne ausgehende Kanten) auszuwählen, verliert.
In welchen Graphenfamilien ist die optimale Strategie in der Polynomzeit berechenbar?
Zum Beispiel ist es leicht zu erkennen, dass wir , wenn eine DAG ist, leicht die optimale Strategie für die Spieler berechnen können.
Antworten:
Generalized Geography (GG) ist PSPACE-vollständig, selbst auf planar gerichteten zweigeteilten Graphen, aber wie in:
Hans L. Bodlaender, Komplexität pfadbildender Spiele , Theoretische Informatik, Band 110, Ausgabe 1, 15. März 1993, Seiten 215-245
GG (und einige andere PSPACE-vollständige Varianten) sind in Graphen mit begrenzter Baumbreite linear zeitlösbar.
SEITLICHER HINWEIS: Eine der Varianten von Generalized Geography, die sich kürzlich als PSPACE-vollständig erwiesen hat, ist Tron ( Light Cycles- Spiel): Bei einem ungerichteten Diagramm wählen zwei Spieler zwei verschiedene Startscheitelpunkte aus und wechseln sich dann ab, indem sie sich zu einem benachbarten bewegen Scheitelpunkt von ihrem jeweiligen vorherigen in jedem Schritt. Das Spiel endet, wenn sich beide Spieler nicht mehr bewegen können. Der Spieler, der mehr Eckpunkte durchquert hat, gewinnt (Bodlaender und Kloks vermuteten 1990, dass PSPACE vollständig ist).
Tillmann Miltzow, Tron, ein kombinatorisches Spiel über abstrakte Graphen (2011)
Seltsamerweise wird dieselbe Matrix erhalten, wenn Spieler A einen beliebigen Startknoten auswählen kann.
Wie in den Kommentaren erwähnt, ist die Komplexität der Entscheidung, ob es eine Gewinnstrategie gibt, wenn GG auf soliden Gittergraphen (mit beliebigen Formen, aber ohne Löcher) gespielt wird , meiner Meinung nach nicht bekannt und es ist wahrscheinlich nicht so einfach, etwas zu beweisen es (in der Tat ist das - etwas verwandte - Problem der Entscheidung, ob ein Vollgittergraph einen Hamilton- Pfad hat, noch offen, obwohl die Entscheidung, ob ein Vollgittergraph einen Hamilton- Zyklus hat, polynomial lösbar ist).
Eine letzte triviale Anmerkung: GG ist polynomiell zeitlösbar, auch in vollständigen Graphen.
quelle
quelle