View source for यूपी (जटिलता)

{{refimprove|date=August 2018}}
[[कम्प्यूटेशनल जटिलता सिद्धांत]] में UP (स्पष्ट गैर-निर्धारक बहुपद-समय) प्रत्येक इनपुट के लिए अधिकतम स्वीकार्य पथ के साथ स्पष्ट ट्यूरिंग मशीन पर बहुपद समय में हल करने योग्य [[निर्णय समस्या|निर्णय समस्याओं]] का [[जटिलता वर्ग]] है। UP में [[पी (जटिलता)|P (जटिलता)]] है और यह [[एनपी (जटिलता)|NP (जटिलता)]] में निहित है।

NP के सामान्य सुधार में कहा गया है कि NP में एक भाषा है यदि और केवल यदि दिए गए उत्तर को बहुपद समय में नियतात्मक मशीन द्वारा सत्यापित किया जा सकता है। इसी प्रकार '''UP''' में एक भाषा है, यदि किसी दिए गए उत्तर को बहुपद समय में सत्यापित किया जा सकता है और सत्यापनकर्ता मशीन प्रत्येक समस्या उदाहरण के लिए अधिकतम 'एक' उत्तर स्वीकार करती है। अधिक औपचारिक रूप से ''L'' भाषा UP से संबंधित है यदि दो-इनपुट बहुपद-समय एल्गोरिदम ''A'' और स्थिरांक ''c'' उपस्थित है जैसे कि
: यदि ''L'' में x है तो एकमात्र प्रमाण ''y'' उपस्थित है तब <math>|y| = O(|x|^c)</math> ऐसा है {{tmath|1=A(x,y) = 1}}
: यदि L में x  नहीं है तो कोई प्रमाण y उपस्थित नहीं है तब <math>|y| = O(|x|^c)</math> ऐसा है  {{tmath|1=A(x,y) = 1}}
: एल्गोरिदम A बहुपद समय में L की पुष्टि करता है।

'''UP''' (और इसके [[पूरक (जटिलता)]] 'को-UP') में [[पूर्णांक गुणनखंडन]] समस्या और [[समता खेल|पैरिटी गेम]] समस्या दोनों सम्मिलित हैं क्योंकि इन समस्याओं में से किसी भी समस्या का बहुपद-समय समाधान खोजने के लिए दृढ़ प्रयास अभी तक नहीं हुआ है, '''P = UP''' दिखाने में कठिनाई होने का संदेह है या यहां तक कि '''P = (UP ∩ co-UP)''').

वैलेंट-वजीरानी प्रमेय कहता है कि '''NP,''' '''RP<sup>प्रॉमिस-UP</sup>''' में समाहित है जिसका अर्थ है कि NP में किसी भी समस्या से [[ वादा समस्या |प्रॉमिस-UP समस्या]] में यादृच्छिक कमी है।

'''UP''' में कोई [[पूर्ण (जटिलता)]] समस्या नहीं है।<ref>{{Cite web |title=में|url=https://complexityzoo.net/Complexity_Zoo:U#up |access-date= |website=[[Complexity Zoo]] |at=UP: Unambiguous Polynomial-Time}}</ref>

==संदर्भ==



===उद्धरण===
{{Reflist}}


=== स्रोत ===
*{{Cite journal |last=Hemaspaandra |first=Lane A. |last2=Rothe |first2=Jörg |date=June 1997 |title=असंदिग्ध संगणना: बूलियन पदानुक्रम और विरल ट्यूरिंग-पूर्ण सेट|url=http://epubs.siam.org/doi/10.1137/S0097539794261970 |journal=[[SIAM Journal on Computing]] |language=en |volume=26 |issue=3 |pages=634–653 |doi=10.1137/S0097539794261970 |issn=0097-5397}}

{{ComplexityClasses}}

श्रेणी:जटिलता वर्ग

[[Category:All articles needing additional references]]
[[Category:Articles needing additional references from August 2018]]
[[Category:CS1 English-language sources (en)]]
[[Category:Collapse templates]]
[[Category:Created On 08/06/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]