L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-19
Complexité de la vivacité dans les réseaux de Petri en anneau et de l'arrêt dans le jeu de jetons (chip-firing) sur les digraphes simples
Titre original: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
L'article montre que décider de la vivacité des réseaux de Petri en anneau est coNP-complet, même pour les anneaux conservant les jetons, et que le problème de l'arrêt pour le chip-firing sur les graphes orientés simples est NP-complet, répondant ainsi à une question de Farrell et Levine. La réduction a été trouvée par Claude Opus 5.5, qui a également rédigé une première version de l'article. Les auteurs humains l'ont vérifiée et révisée de manière itérative avec le modèle.