मैं समझने की कोशिश कर रहा हूं कि निम्न समस्या किस जटिलता वर्ग की है:
बहुपद मूल समस्या (EPRP)
बता दें कि एक बहुपद के साथ जिसमें एक परिमित क्षेत्र से गुणांक के साथ एक प्रमुख संख्या है, और उस क्षेत्र के लिए एक आदिम मूल है। के समाधान को निर्धारित करें: (या समतुल्य रूप से, का शून्य ) जहाँ अर्थ है प्रतिपादक ।डिग्री ( पी ) ≥ 0 जी एफ ( क्ष ) क्ष आर पी ( एक्स ) = आर एक्स पी ( एक्स ) - आर एक्स आर एक्स आर
ध्यान दें कि, जब (बहुपद एक स्थिरांक होता है), यह समस्या असतत लघुगणक समस्या के रूप में प्रकट होती है, जिसे NP-Intermediate माना जाता है, अर्थात यह NP में है, लेकिन P या NP- पूर्ण में नहीं है ।
मेरे ज्ञान का सबसे अच्छा करने के लिए, इस समस्या को हल करने के लिए कुशल (बहुपद) एल्गोरिदम मौजूद नहीं हैं (बर्लेकैंप और कैंटर-ज़सेनहॉस एल्गोरिदम को घातीय समय की आवश्यकता है)। ऐसे समीकरण की जड़ें खोजना दो तरीकों से किया जा सकता है:
क्षेत्र में सभी संभव आइटम का प्रयास करें , और जांचें कि क्या वे समीकरण को संतुष्ट करते हैं या नहीं। स्पष्ट रूप से, इसके लिए क्षेत्र मापांक के बिट्स में घातीय समय की आवश्यकता होती है;
घातांक को बहुपद रूप में फिर से लिखा जा सकता है, बिंदुओं को प्रक्षेपित करने के लिए Lagrange प्रक्षेप का उपयोग करके , एक बहुपद निर्धारण । यह बहुपद समान है क्योंकि हम एक परिमित क्षेत्र में काम कर रहे हैं। फिर, अंतर , दिए गए समीकरण की जड़ों (बेरलेकैंप या कैंटर-जस्सेनहॉस एल्गोरिदम का उपयोग करके) और जड़ों को पढ़ने के लिए फैक्टर किया जा सकता है। हालांकि, इस पद्धति संपूर्ण खोज से भी बदतर है: के बाद से औसतन, द्वारा एक बहुपद गुजर दिए गए अंक होगा { ( 0 , आर 0 ) , ( 1 , आर 1 ) , ... , ( क्ष - 1 , आर क्ष - 1 ) } च ( एक्स ) p ( x ) - f ( x ) n n गैर-शून्य गुणांक, यहां तक कि लैग्रेग प्रक्षेप के लिए केवल इनपुट को क्षेत्र बिट आकार में घातीय स्थान की आवश्यकता होगी।
क्या किसी को पता है कि क्या इस समस्या को एनपी-इंटरमीडिएट माना जाता है या किसी अन्य जटिलता वर्ग से संबंधित है? एक संदर्भ बहुत सराहना की जाएगी। धन्यवाद।