AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-19
Utata wa uhai katika nyavu za Petri za pete na wa kusimama katika chip-firing kwenye digrafu rahisi
Kichwa asilia: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
Karatasi hii inaonyesha kuwa kuamua uhai (liveness) wa mitandao ya Petri ya pete ni coNP-complete, hata kwa pete zinazohifadhi tokeni, na kwamba tatizo la kusimama (halting problem) kwa chip-firing kwenye grafu rahisi zilizoelekezwa ni NP-complete, na hivyo kujibu swali la Farrell na Levine. Upunguzaji huo uligunduliwa na Claude Opus 5.5, ambayo pia iliandika toleo la kwanza la karatasi. Waandishi wa kibinadamu waliukagua na kuurekebisha mara kwa mara pamoja na modeli hiyo.