AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-19

रिंग Petri नेट में लाइवनेस की जटिलता और सरल डाइग्राफ पर चिप-फायरिंग में हॉल्टिंग की जटिलता

मूल शीर्षक: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs

यह पेपर दर्शाता है कि रिंग पेट्री नेट की लाइवनेस तय करना coNP-पूर्ण है, यहाँ तक कि टोकन-संरक्षित रिंग के लिए भी, और सरल निर्देशित ग्राफ़ पर चिप-फायरिंग की हॉल्टिंग समस्या NP-पूर्ण है, जो Farrell और Levine के एक प्रश्न का उत्तर देता है। यह रिडक्शन Claude Opus 5.5 ने खोजा, जिसने पेपर का पहला संस्करण भी लिखा। मानव लेखकों ने इसकी जाँच की और मॉडल के साथ बार-बार दोहराकर इसे संशोधित किया।

मूल लेख पढ़ें ↗

सभी आइटम →