ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-19
Сложность живости в кольцевых сетях Петри и остановки в игре с фишками (chip-firing) на простых орграфах
Оригинальное название: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
В статье показано, что проверка живости кольцевых сетей Петри является coNP-полной задачей даже для колец с сохранением числа фишек, а проблема остановки для chip-firing на простых ориентированных графах NP-полна, что отвечает на вопрос Фаррелла и Левина. Редукцию нашла Claude Opus 5.5, которая также написала первую версию статьи. Авторы-люди проверили её и итеративно доработали вместе с моделью.