Konsep Inti
Stackelberg-Planung ist PSPACE-vollständig, aber unter einer polynomialen Planlängenbeschränkung ΣP2-vollständig. Die Komplexität von Meta-Operator-Verifizierung ist ähnlich, mit PSPACE-Vollständigkeit im Allgemeinen und ΠP2-Vollständigkeit unter polynomialer Planlängenbeschränkung.
Abstrak
Der Artikel untersucht die theoretische Komplexität von Stackelberg-Planung und Meta-Operator-Verifizierung.
Stackelberg-Planung ist ein adversarisches Planungsproblem, bei dem zwei Spieler nacheinander in einer gemeinsamen klassischen Planungsaufgabe agieren. Das Ziel des ersten Spielers (des Anführers) ist es, einen Plan auszuwählen und auszuführen, der die Kosten des zweiten Spielers (des Verfolgers) beim Erreichen seines Ziels maximiert.
Die Hauptergebnisse sind:
Stackelberg-Planung ist im Allgemeinen PSPACE-vollständig, d.h. nicht schwerer als klassische Planung.
Unter einer polynomialen Planlängenbeschränkung ist Stackelberg-Planung jedoch ΣP2-vollständig, was darauf hindeutet, dass Kompilationen in klassische Planung im schlimmsten Fall zu einer exponentiellen Planlängenzunahme führen.
Bei der Analyse von Fragmenten mit syntaktischen Einschränkungen zeigt sich, dass Stackelberg-Planung selbst dann, wenn klassische Planung effizient ist, intraktabel bleibt.
Schließlich wird die Komplexität der Meta-Operator-Verifizierung untersucht, die ebenfalls PSPACE-vollständig ist und unter polynomialer Planlängenbeschränkung ΠP2-vollständig.
Diese Ergebnisse liefern wichtige theoretische Erkenntnisse über die Komplexität von Stackelberg-Planung und Meta-Operator-Verifizierung und bilden eine Grundlage für die Entwicklung effizienter Algorithmen und Heuristiken in diesen Bereichen.
Statistik
Es gibt keine spezifischen Statistiken oder Zahlen im Artikel, die extrahiert werden müssen.
Kutipan
Es gibt keine hervorstechenden Zitate im Artikel, die extrahiert werden müssen.