الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · 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 إلى هذا الاختزال، وكتب أيضًا نسخة أولى من الورقة. وراجعها المؤلفون البشر وعدّلوها تكراريًا مع النموذج.

اقرأ المصدر الأصلي ↗

جميع العناصر →