Betrachten Sie die vollständigen Informationen zu kombinatorischen Spielen für zwei Spieler, die nach einer Polynomanzahl von Zügen enden. Abwechselnd wählen die Spieler aus einer endlichen Anzahl zulässiger Züge. Die übliche Frage ist, wie schwierig es ist, aus einer bestimmten Position den Gewinner zu ermitteln. Eine andere wäre, wie schwierig es ist, einen Gewinnzug von einer Gewinnposition zu wählen. (Hier nenne ich einen Zug gewinnen, wenn die Position nach dem Spielen noch gewinnt.) Zur Unterscheidung werde ich die erstere POSITION-KOMPLEXITÄT und die letztere MOVE-KOMPLEXITÄT nennen.
Es ist leicht zu erkennen, dass wenn die BEWEGUNGSKOMPLEXITÄT in oder P S P A C E ist, auch die POSITIONSKOMPLEXITÄT - wir können die optimalen Bewegungen berechnen und prüfen, wer am Ende gewinnt. (Ich habe nicht wirklich darüber nachgedacht, was passiert, wenn die MOVE-COMPLEXITY in N P ist , wahrscheinlich ist die POSITION-COMPLEXITY in so etwas wie P N P. ) Es gibt jedoch Dummy-Beispiele, wenn die MOVE-COMPLEXITY trivial und die POSITION- ist KOMPLEXITÄT ist willkürlich schwer - wie das (nicht sehr interessante) Spiel, bei dem überprüft wird, was die Ausgabe eines Algorithmus ist, wobei die Spieler die nächsten Schritte ausführen und nur einen Zug zulassen. Ich habe ein bisschen abgeschweift, meine Hauptfrage ist die folgende.
Gibt es ein natürliches Spiel, bei dem die BEWEGUNGSKOMPLEXITÄT der beiden Spieler unterschiedlich ist?
Zum Beispiel ist das Spiel, in dem der erste Spieler die Werte der Variablen eines CNF auswählt (der möglicherweise keine Lösung hat), während der zweite Spieler versucht, ein SOKO-BAN-Puzzle zu lösen (das möglicherweise keine Lösung hat) ein solches Beispiel.