cc.complexity-theory पर टैग किए गए जवाब

चलो एक हो सममित बहुपद , यानी, एक बहुपद ऐसा है कि च ( एक्स ) = च ( σ ( x ) ) सभी के लिए एक्स ∈ कश्मीर n और सभी क्रमपरिवर्तन σ ∈ एस एन । सुविधा के लिए, हम मान सकते हैं कि K एक परिमित …

10 cc.complexity-theory  permutations  polynomials 

मैं को कम करने में दिलचस्पी रहा हूँ सैट को उदाहरण को ज्यादा बड़ा किए बिना।kkk क्लिक एनपी में है, इसलिए इसे लॉगरिदमिक स्पेस का उपयोग करके एसएटी में कम किया जा सकता है। सीधी गैरे / जॉनसन पाठ्यपुस्तक की कमी उदाहरण के लिए घन आकार तक बढ़ जाती है …

10 cc.complexity-theory  sat  reductions  clique 

क्या अनुकूलन समस्याओं का कोई ज्ञात प्राकृतिक उदाहरण है जिसके लिए किसी दिए गए उम्मीदवार समाधान की गुणवत्ता का मूल्यांकन करने की तुलना में एक इष्टतम समाधान का उत्पादन करना बहुत आसान है? संक्षिप्तता की खातिर, हम बहुपद-समय की हल करने योग्य अनुकूलन समस्याओं पर विचार कर सकते हैं: "दिए …

10 cc.complexity-theory  optimization  examples 

निम्नलिखित शब्द (ब्रून्ज़-इंडेक्स का उपयोग करके): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) जब एक चर्च नंबर पर लागू किया जाता है तो Nकई मौजूदा मूल्यांकनकर्ताओं में जल्दी से सामान्य रूप का …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

यह सर्वविदित है कि NP -problems के कुछ वर्गों में डाइकोटॉमी प्रमेय हैं, जो इस बात की गारंटी देते हैं कि कक्षा में प्रत्येक कार्य या तो NP -complete है या P में है । इस तरह के सबसे प्रसिद्ध परिणाम शहाफर के द्विभाजन प्रमेय के साथ-साथ कई सामान्यीकरण भी …

10 cc.complexity-theory  np  descriptive-complexity 

निम्नलिखित समस्या पर विचार करें: मैट्रिक्स को देखते हुए हम गणना के लिए गुणा एल्गोरिथ्म में परिवर्धन की संख्या को अनुकूलित करना चाहते हैं ।वी ↦ एम वीमMMv ↦ एमvv↦Mvv \mapsto Mv मैट्रिक्स गुणन की जटिलता के साथ इसके संबंधों के कारण मुझे यह समस्या दिलचस्प लगती है (यह समस्या …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

मैं सोच रहा हूं कि क्या बाइनरी निर्णय पेड़ों (बीडीटी) के लिए एक "सामान्य रूप" देने का कोई तरीका हो सकता है। अधिक सटीक: एक बीडीटी एक पेड़ है जिसका आंतरिक नोड बूलियन चर द्वारा लेबल किया जाता है और या द्वारा लेबल किया जाता है । एक BDT स्पष्ट …

10 cc.complexity-theory  decision-trees 

यह एक पुराने खुला समस्या एक सीधा-राशि प्रमेय नियतात्मक संचार जटिलता यह है कि के लिए रखती है कि क्या है, चाहे सुलझाने है है एक समस्या के स्वतंत्र उदाहरणों टी बार एक उदाहरण को हल करने की तुलना में कठिन। [FKNN95] ने निम्नलिखित परिणाम दिखाए:tttttt एक नकारात्मक परिणाम: वहाँ …

10 cc.complexity-theory  communication-complexity 

दो तत्वों और h पर n तत्वों को देखते हुए (अर्थात, S n के सदस्य ), g , h द्वारा उत्पन्न उपसमूह के क्रम की गणना करने की जटिलता क्या है ? या सिर्फ यह तय करने के लिए कि उपसमूह क्रम n का है या नहीं ! (यानी, एस …

10 cc.complexity-theory  algebra  gr.group-theory 

आज्ञा देना एक स्थिर स्थिरांक है। पूर्णांक को देखते हुए , हम एक क्रमपरिवर्तन का निर्माण करना चाहते हैं :एन σ ∈ एस एनk>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n निर्माण निरंतर समय और स्थान का उपयोग करता है (यानी प्रीप्रोसेसिंग में निरंतर समय और स्थान लगता है)। हम यादृच्छिककरण का उपयोग कर सकते …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

समस्याएं, एक समग्र रूप से वर्गीकृत की गई हैं, कम्प्यूटेशनल जटिलता के लिए धन्यवाद। लेकिन, अंतर समीकरणों में, क्या उनके कम्प्यूटेशनल संरचना के आधार पर अंतर समीकरणों को वर्गीकृत करना संभव है? उदाहरण के लिए, यदि पहले क्रम के गैर-सजातीय समीकरण को 100 वें क्रम के सजातीय समीकरण के मुकाबले …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

एनपी-पूर्णता ( वजन प्रश्न और निर्देशित प्रश्न देखें ) के संबंध में समकक्ष प्रश्नों के बाद , मैं सोच रहा था कि इन विशेषताओं के साथ पैरामीटरकृत समस्याएं कैसे प्रभावित होती हैं। कौन सा -हार्ड ग्राफ समस्याएं हैं डब्ल्यू [ 1 ] निर्देशित रेखांकन पर हार्ड, लेकिन अनिर्दिष्ट रेखांकन पर …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

ग्राफ आइसोमॉर्फिज्म समस्या सबसे लंबे समय तक चलने वाली समस्याओं में से एक है जिसने या एन पी- अपूर्ण समस्याओं में वर्गीकरण का विरोध किया । हमारे पास सबूत हैं कि यह N P -complete नहीं हो सकता है । जब तक बहुपद पदानुक्रम [1] दूसरे स्तर तक ढह नहीं …

10 cc.complexity-theory  graph-isomorphism 

सबूत जटिलता कम्प्यूटेशनल जटिलता सिद्धांत का एक सबसे बुनियादी क्षेत्र है। इस क्षेत्र का एक अंतिम उद्देश्य को साबित करने के है , यह है कि, किसी भी prover नहीं दिए गए इनपुट सूत्र के unsatisfiability का एक सबूत दे सकते हैं। NP≠coNPNP≠coNPNP\neq coNP एक ग्राफ सबूत के औपचारिक मॉडल …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

हार्टमैनिस और स्टर्न्स द्वारा 1965 के लेख " एल्गोरिदम की कम्प्यूटेशनल जटिलता पर " में, लेखक अनुमान लगाते हैं कि यदि वास्तविक समय ट्यूरिंग मशीन वास्तविक संख्या गणना करती है, उदाहरण के लिए, आधार 10, तो r या तो एक परिमेय संख्या है या a पारलौकिक संख्या।आरrrआरrr क्या एक कम्प्यूटेशनल …

10 cc.complexity-theory  reference-request  examples