Co-NP-complete
پیچیدگی کے نظریہ میں، کمپیوٹیشنل مسائل جو شریک-این پی مکمل ہیں وہ ہیں جو شریک-این پی میں سب سے مشکل مسائل ہیں، اس لحاظ سے کہ شریک-این پی میں کسی بھی مسئلے کو کسی بھی شریک-این پی مکمل مسئلے کے خصوصی معاملے کے طور پر صرف کثیر الجہتی اوور ہیڈ کے ساتھ تشکیل دیا جا سکتا ہے۔ اگر پی کو-این پی سے مختلف ہے، تو تمام کو-این پی مکمل مسائل کثیر الجہتی وقت میں حل نہیں ہوتے ہیں۔ اگر کو-این پی مکمل مسئلے کو تیزی سے حل کرنے کا کوئی طریقہ موجود ہے، تو اس الگورتھم کو تمام کو-این پی مسائل کو تیزی سے حل کرنے کے لیے استعمال کیا جا سکتا ہے۔ ہر شریک این پی مکمل مسئلہ این پی مکمل مسئلہ کی تکمیل ہے۔ این پی اور کو-این پی دونوں میں کچھ مسائل ہیں، مثال کے طور پر پی یا انٹیجر فیکٹرائزیشن میں تمام مسائل۔ تاہم، یہ معلوم نہیں ہے کہ آیا سیٹ برابر ہیں، حالانکہ عدم مساوات کا امکان زیادہ سمجھا جاتا ہے۔ مزید تفصیلات کے لیے شریک این پی اور این پی مکمل دیکھیں۔ فارچیون نے 1979 میں دکھایا کہ اگر کوئی غیر معمولی زبان شریک این پی مکمل (یا یہاں تک کہ صرف شریک این پی سخت) ہے، تو، مہانے کے نظریہ کے لیے ایک اہم بنیاد ہے۔ رسمی تعریف ایک فیصلہ مسئلہ C شریک-NP مکمل ہے اگر یہ شریک-NP میں ہے اور اگر شریک-NP میں ہر مسئلہ کثیر الجہتی ہے تو اس کے لیے کئی-ایک قابل تخفیف ہے۔ اس کا مطلب یہ ہے کہ ہر شریک این پی مسئلہ ایل کے لیے، ایک کثیر الجہتی ٹائم الگورتھم موجود ہے جو ایل کی کسی بھی مثال کو ایک ہی سچائی قدر کے ساتھ سی کی مثال میں تبدیل کر سکتا ہے۔ نتیجے کے طور پر، اگر ہمارے پاس C کے لیے کثیر الجہتی وقت کا الگورتھم ہوتا، تو ہم تمام شریک-NP مسائل کو کثیر الجہتی وقت میں حل کر سکتے تھے۔ مثال کو-این پی مکمل مسئلے کی ایک مثال ٹاٹولوجی ہے، اس بات کا تعین کرنے کا مسئلہ کہ آیا دیا گیا بولین فارمولا ایک ٹاٹولوجی ہے ؛ یعنی، کیا متغیرات کو صحیح/غلط اقدار کی ہر ممکنہ تفویض ایک درست بیان دیتی ہے۔ اس کا بولین اطمینان بخش مسئلے سے گہرا تعلق ہے، جو پوچھتا ہے کہ کیا کم از کم ایسی کوئی تفویض موجود ہے، اور کیا یہ این پی مکمل ہے۔ حوالہ جات بیرونی روابط پیچیدگی کلاسیں