KI und die schwierigen Probleme der Welt · Theoretische Informatik · arXiv · 2026-10-19
Komplexität der Liveness in Ring-Petri-Netzen und des Anhaltens beim Chip-Firing auf einfachen Digraphen
Originaltitel: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
Die Arbeit zeigt, dass die Entscheidung über die Lebendigkeit (Liveness) von Ring-Petri-Netzen coNP-vollständig ist, selbst für tokenerhaltende Ringe, und dass das Halteproblem für Chip-Firing auf einfachen gerichteten Graphen NP-vollständig ist, womit eine Frage von Farrell und Levine beantwortet wird. Die Reduktion wurde von Claude Opus 5.5 gefunden, das auch eine erste Fassung der Arbeit verfasste. Die menschlichen Autoren prüften sie und überarbeiteten sie iterativ gemeinsam mit dem Modell.