AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-19
環状ペトリネットの活性性とチップファイアリングの停止問題の計算量
原題: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
環状ペトリネットの活性性判定はcoNP完全であり、トークンを保存する環状の場合でも強い意味でcoNP困難であることを示した。また、単純有向グラフ上のチップファイアリングの停止問題はNP完全であり、Farrell と Levine の問いに答えるものだとしている。この証明はAIモデルのClaude Opus 5.5が見つけ、初稿も書いた。人間の著者がそれを確認し、モデルとともに反復的に改訂した。