एनपी-मध्यवर्ती

कम्प्यूटेशनल जटिलता सिद्धांत में, समस्याएं जो जटिलता वर्ग एनपी (जटिलता) में हैं, लेकिन न तो कक्षा पी (जटिलता) में हैं और न ही एनपी-पूर्ण को एनपी-इंटरमीडिएट कहा जाता है, और ऐसी समस्याओं के वर्ग को एनपीआई कहा जाता है। 1975 में रिचर्ड ई. लैडनर द्वारा दिखाया गया लेडनर का प्रमेय, एक परिणाम है कि, अगर पी बनाम एनपी समस्या | पी ≠ एनपी, तो एनपीआई खाली नहीं है; यानी, एनपी में ऐसी समस्याएं हैं जो न तो पी में हैं और न ही एनपी-पूर्ण। चूंकि यह भी सच है कि यदि एनपीआई समस्याएं मौजूद हैं, तो पी ≠ एनपी, यह इस प्रकार है कि पी = एनपी अगर और केवल एनपीआई खाली है।

इस धारणा के तहत कि पी ≠ एनपी, लाडनर स्पष्ट रूप से एनपीआई में एक समस्या का निर्माण करता है, हालांकि यह समस्या कृत्रिम और अन्यथा अरुचिकर है। यह एक खुला प्रश्न है कि क्या किसी भी प्राकृतिक समस्या में समान संपत्ति है: शेफर का द्विभाजन प्रमेय ऐसी स्थिति प्रदान करता है जिसके तहत एनपीआई में विवश बूलियन संतुष्टि की समस्याएं नहीं हो सकती हैं। कुछ समस्याएं जो एनपी-मध्यवर्ती होने के लिए अच्छे उम्मीदवार मानी जाती हैं, वे हैं ग्राफ समरूपता समस्या, और पूर्णांक गुणनखंडन और असतत लघुगणक की निर्णय समस्या।

उन समस्याओं की सूची जो एनपी-इंटरमीडिएट
हो सकती हैं

बीजगणित और संख्या सिद्धांत

 * फैक्टरिंग पूर्णांकों का एक निर्णय संस्करण: इनपुट के लिए $$n$$ और $$k$$, करता है $$n$$ अंतराल में एक कारक है $$[2,k]$$?
 * असतत लॉग समस्या का निर्णय संस्करण और क्रिप्टोग्राफ़िक मान्यताओं से संबंधित अन्य
 * रैखिक विभाज्यता: दिए गए पूर्णांक $$x$$ और $$y$$, करता है $$y$$ एक विभाजक 1 मॉड्यूलो के अनुरूप है $$x$$?

बूलियन तर्क

 * IMSAT, मोनोटोन CNF को इंटरसेक्ट करने के लिए बूलियन संतुष्टि की समस्या: संयोजक सामान्य रूप, प्रत्येक खंड में केवल सकारात्मक या केवल नकारात्मक शब्द होते हैं, और प्रत्येक सकारात्मक खंड में प्रत्येक नकारात्मक खंड के साथ एक चर होता है।
 * बूलियन कार्यों के लिए सर्किट न्यूनीकरण: एक बूलियन फ़ंक्शन और धनात्मक पूर्णांक की सत्य तालिका दी गई है $$s$$, क्या अधिकतम आकार का एक सर्किट मौजूद है $$s$$ इस समारोह के लिए?
 * मोनोटोन स्व-द्वंद्व: बूलियन फ़ंक्शन के लिए एक सीएनएफ फॉर्मूला दिया गया है, क्या फ़ंक्शन इनवेरिएंट एक परिवर्तन के तहत है जो इसके सभी चरों को अस्वीकार करता है और फिर आउटपुट मान को अस्वीकार करता है?

कम्प्यूटेशनल ज्यामिति और कम्प्यूटेशनल टोपोलॉजी

 * यह निर्धारित करना कि क्या रोटेशन की दूरी है दो बाइनरी पेड़ों के बीच या एक ही उत्तल बहुभुज के दो त्रिकोणों के बीच की फ्लिप दूरी दी गई सीमा से नीचे है
 * उनकी दूरी मल्टीसेट से लाइन पर पुनर्निर्माण बिंदुओं की टर्नपाइक समस्या
 * वस्तु की लंबाई की निरंतर संख्या के साथ कटिंग स्टॉक समस्या
 * गाँठ तुच्छता
 * उत्तल पॉलीहेड्रॉन पर तीन भूगर्भ विज्ञान के प्रमेय का पता लगाना

खेल सिद्धांत

 * समता खेल में विजेता का निर्धारण करना, जिसमें ग्राफ़ वर्टिकल को लेबल किया जाता है कि कौन सा खिलाड़ी अगला चरण चुनता है, और विजेता उच्चतम-प्राथमिकता वाले शीर्ष की समानता से निर्धारित होता है
 * स्टोचैस्टिक ग्राफ़ गेम के लिए विजेता का निर्धारण करना, जिसमें ग्राफ़ वर्टिकल को लेबल किया जाता है, जिसके द्वारा खिलाड़ी अगला चरण चुनता है, या क्या इसे यादृच्छिक रूप से चुना जाता है, और विजेता निर्धारित सिंक वर्टेक्स तक पहुंचकर निर्धारित किया जाता है।

ग्राफ एल्गोरिदम

 * ग्राफ समरूपता समस्या
 * प्लानर ग्राफ विभाजन
 * यह तय करना कि क्या कोई ग्राफ़ सुंदर लेबलिंग स्वीकार करता है
 * पत्ती शक्तियों को पहचानना और $k$-पत्ती शक्तियाँ
 * बंधे हुए गुट-चौड़ाई के रेखांकन को पहचानना
 * निश्चित किनारों के साथ एक साथ एम्बेडिंग के अस्तित्व का परीक्षण करना

विविध

 * परीक्षण करना कि सेट के किसी दिए गए परिवार का वैपनिक-चेर्वोनेंकिस आयाम किसी दिए गए सीमा से नीचे है या नहीं

बाहरी संबंध

 * Basic structure, Turing reducibility and NP-hardness
 * Basic structure, Turing reducibility and NP-hardness