AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-19
Kompleksitas keaktifan (liveness) pada jaringan Petri cincin dan penghentian (halting) pada chip-firing di digraf sederhana
Judul asli: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
Makalah ini menunjukkan bahwa menentukan liveness pada ring Petri net bersifat coNP-complete, bahkan untuk ring yang mempertahankan jumlah token, dan bahwa masalah penghentian untuk chip-firing pada graf berarah sederhana bersifat NP-complete, sehingga menjawab pertanyaan dari Farrell dan Levine. Reduksi tersebut ditemukan oleh Claude Opus 5.5, yang juga menulis versi pertama makalah ini. Para penulis manusia memeriksanya dan merevisinya secara iteratif bersama model tersebut.