Claude Opus 5.5 找到环 Petri 网活性问题的 coNP 完全性证明

论文证明环 Petri 网的活性判定问题是 coNP 完全的，且在 token 守恒的环上 coNP 困难性已成立。证明方法是从残差类覆盖问题（Simultaneous Incongruences 的补问题）做归约。由此推出加权 T-系统的活性判定为 coNP 完全，并进一步证明简单有向图上 chip-firing 的停机问题是 NP 完全的，回答了 Farrell 与 Levine 的公开问题。据论文说明，归约方法和 chip-firing 的应用由 Claude Opus 5.5（Anthropic）于 2026 年 10 月 7 日提出并写出初稿，人类作者验证并迭代修改成稿。