reductions पर टैग किए गए जवाब

क्षमा करें, यदि इस प्रश्न का कुछ तुच्छ उत्तर है जो मुझे याद आ रहा है। जब भी मैं कुछ ऐसी समस्या का अध्ययन करता हूं जो कि अनिर्दिष्ट साबित हुई है, तो मैं देखता हूं कि प्रमाण एक अन्य समस्या को कम करने पर निर्भर करता है जो कि …

11 computability  reductions  undecidability 

कॉम्प्लेक्सिटी ज़ू, को रैखिक समय में एक नियतात्मक ट्यूरिंग मशीन द्वारा हल करने योग्य निर्णय समस्याओं का वर्ग परिभाषित करता है ।LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P चूंकि HORN-SAT, में हल करने योग्य है (जैसा कि प्रपोजल हॉर्न फॉर्मूले (1984) की संतुष्टि की जांच के लिए रैखिक-समय के एल्गोरिदम में संकेत दिया …

11 complexity-theory  time-complexity  reductions 

मैं गणना के सिद्धांत में अपने फाइनल के लिए अध्ययन कर रहा हूं, और मैं यह उत्तर देने के उचित तरीके से संघर्ष कर रहा हूं कि क्या यह कथन गलत है। We m की परिभाषा से हम निम्नलिखित कथन का निर्माण कर सकते हैं,≤म≤m\leq_m डब्ल्यू ∈ ए⟺च( डब्ल्यू ) …

11 complexity-theory  computability  reductions 

एनपी-पूर्णता जैसी चीजों के बारे में तर्क के लिए, हम आम तौर पर कई-एक कटौती (यानी, कार्प में कटौती) का उपयोग करते हैं। इससे चित्र इस तरह बनते हैं: (मानक अनुमान के तहत)। मुझे यकीन है कि हम सभी इस प्रकार से परिचित हैं। अगर हमें ट्यूरिंग रिडक्शन (यानी, कुक …

10 complexity-theory  reductions  complexity-classes 

हम पड़ा है कुक और कार्प कटौती के संबंध के बारे में कई सवाल । यह स्पष्ट है कि कुक रिडक्शन (बहुपद-काल ट्यूरिंग रिडक्शन) एनपी-पूर्णता की एक ही धारणा को परिभाषित नहीं करते हैं जैसे कि कार्प कम करना (बहुपद-समय-कई-एक कटौती), जो आमतौर पर उपयोग किए जाते हैं। विशेष रूप …

10 complexity-theory  reference-request  np-complete  reductions 

निम्नलिखित समस्या पर विचार करें जिसका इनपुट उदाहरण एक सरल ग्राफ GजीG और एक प्राकृतिक पूर्णांक kकk । क्या कोई सेट जैसे कि और ?S⊆V(G)एस⊆वी(जी)S \subseteq V(G)G−Sजी-एसG - S|S|≤k|एस|≤क|S| \leq k मैं यह बताना चाहूंगा कि यह समस्या -3-SAT, -CLIQUE, -DOMINATING SET या -VERTEX COVER को कम करके।NPएनपी\rm{NP}kकkkकkkकk मेरा मानना …

10 complexity-theory  np-complete  reductions 

मैं निम्नलिखित के लिए एक प्रमाण के साथ आने की कोशिश कर रहा हूं: किसी भी भाषा के लिए , वहां मौजूद एक भाषा ऐसी है कि लेकिन बी ।AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A मैं को होने देने के बारे में सोच रहा था , लेकिन मुझे एहसास है कि सभी …

9 computability  reductions  undecidability 

अधिकतम-प्रवाह समस्या से अधिकतम द्विदलीय मिलान समस्या से एक प्रसिद्ध और सुरुचिपूर्ण कमी है: हम एक स्रोत नोड , एक टर्मिनल नोड और प्रत्येक आइटम के लिए एक नोड से मेल खाते हैं, फिर उपयुक्त किनारों को जोड़ते हैं।sरोंstटीt वहाँ निश्चित रूप से बहुपद समय में अधिकतम द्विपदशोथ से अधिकतम …

9 reductions  network-flow  bipartite-matching 

हम कहते हैं कि हम जानते हैं कि समस्या ए कठिन है, तो हम ए को अज्ञात समस्या को कम करते हैं बी को साबित करने के लिए बी भी कठिन है। एक उदाहरण के रूप में: हम जानते हैं कि 3-रंग कठिन है। फिर हम 3-रंग को कम करके …

9 complexity-theory  np-complete  reductions 

क्या एक ट्यूरिंग मशीन है जिसे एक नियमित टीएम की तुलना में अधिक अनंत वर्णमाला के प्रतीकों को पढ़ने और लिखने की अनुमति है (यह एकमात्र अंतर है, मशीन में अभी भी राज्यों की एक सीमित संख्या है)? अंतर्ज्ञान मुझे बताता है, क्योंकि आपको प्रत्येक प्रतीक को अलग करने के …

9 computability  turing-machines  reductions  simulation