AI 與世界的難題 · 理論資訊科學 · arXiv · 2026-10-19
環狀Petri網中活性的複雜度,以及簡單有向圖上籌碼發射過程中停止性的複雜度
原標題: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
本文證明，即使對於代幣守恆的環，判定環狀 Petri 網的活性（liveness）仍是 coNP 完全問題；並證明在簡單有向圖上的籌碼發射（chip-firing）停機問題是 NP 完全問題，回答了 Farrell 與 Levine 提出的問題。此歸約由 Claude Opus 5.5 找出，該模型也撰寫了論文的初稿。人類作者再進行檢查，並與該模型反覆修訂。