AI与世界难题 · 理论计算机科学 · arXiv · 2026-10-19
环形 Petri 网中活性的复杂度以及简单有向图上筹码发射停机问题的复杂度
原标题: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
该论文证明，即使对于令牌守恒的环，判定环形 Petri 网的活性也是 coNP 完全的；同时证明，简单有向图上筹码发射（chip-firing）的停机问题是 NP 完全的，从而回答了 Farrell 和 Levine 提出的一个问题。该归约由 Claude Opus 5.5 发现，论文初稿也由其撰写。人类作者对其进行了检查，并与该模型反复修改。