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 نے دریافت کی، جس نے مقالے کا پہلا مسودہ بھی لکھا۔ انسانی مصنفین نے اس کی جانچ کی اور ماڈل کے ساتھ مل کر بار بار اس پر نظرثانی کی۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →