AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-19

রিং পেট্রি নেটে লাইভনেসের জটিলতা এবং সরল ডাইগ্রাফে চিপ-ফায়ারিংয়ে থেমে যাওয়ার জটিলতা

মূল শিরোনাম: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs

এই গবেষণাপত্রে দেখানো হয়েছে যে রিং পেট্রি নেটের লাইভনেস নির্ধারণ coNP-সম্পূর্ণ, এমনকি টোকেন-সংরক্ষণকারী রিংয়ের ক্ষেত্রেও, এবং সরল নির্দেশিত গ্রাফে চিপ-ফায়ারিংয়ের হল্টিং সমস্যা NP-সম্পূর্ণ; এর মাধ্যমে Farrell ও Levine-এর একটি প্রশ্নের উত্তর দেওয়া হয়েছে। রিডাকশনটি খুঁজে পেয়েছে Claude Opus 5.5, যা গবেষণাপত্রের প্রথম খসড়াও লিখেছে। মানব লেখকরা তা যাচাই করেছেন এবং মডেলটির সঙ্গে ধাপে ধাপে সংশোধন করেছেন।

মূল লেখা পড়ুন ↗

সব আইটেম →