Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut untersucht wurden (stellen Sie sich zum Beispiel eine Kette von miteinander verbundenen Wagen oder Robotern vor). Die Spiele sind bekannt, dies ist jedoch eine kurze Beschreibung des zugehörigen Rekonfigurationsmodells:
SCHLANGENPROBLEM
Eingabe : Bei einem ebenen Graphen werden Kiesel auf Knoten , die einen einfachen Pfad bilden. Die Kieselsteine stellen die Schlange dar , und der erste ist sein Kopf. Der Kopf kann von seiner aktuellen Position zu einem benachbarten freien Knoten bewegt werden, und der Körper folgt ihm. Einige Knoten sind mit einem Punkt markiert. wenn der Kopf einen Knoten mit einem Punkt erreicht, wird der Körper durch Erhöhung Kieseln in den folgenden Bewegungen des Kopfes. Der Punkt auf dem Knoten wird nach dem Durchlaufen der Schlange gelöscht.
Problem : Wir fragen, ob die Schlange entlang des Graphen bewegt werden kann und eine Zielkonfiguration wobei die Zielkonfiguration die vollständige Beschreibung der Schlangenposition, dh der Position der Kieselsteine, ist.
Es ist leicht zu beweisen, dass das SNAKE-Problem auf planaren Graphen mit maximalem Grad 3 NP-hart ist, selbst wenn keine Punkte verwendet werden, und auf SOLID-Gittergraphen, wenn wir eine beliebige Anzahl von Punkten verwenden können. Bei soliden Gitternetzdiagrammen ohne Punkte wird es kompliziert (dies hängt mit einem anderen offenen Problem zusammen).
Ich würde gerne wissen, ob das Problem unter einem anderen Namen untersucht wurde.
und insbesondere, wenn es einen Beweis dafür gibt, dass es sich um NP handelt ...
Bearbeiten: Das Problem erwies sich auch in ebenen Diagrammen als PSPACE-vollständig, und das Ergebnis scheint sehr interessant zu sein. Es bleibt daher zu prüfen, ob es sich um ein neues Problem handelt und ob bekannte Ergebnisse vorliegen.
Ein einfaches Beispiel (Kieselsteine sind grün dargestellt, der Kopf der Schlange ist P1).