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

वजनबाइनरी स्ट्रिंग स्ट्रिंग में लोगों की संख्या है। यदि हम कुछ लोगों के साथ इनपुट पर एक मोनोटोन फ़ंक्शन की गणना करने में रुचि रखते हैं तो क्या होगा?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n हम जानते हैं कि यदि एक ग्राफ में -clique है, तो मोनोटोन सर्किट के …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

जैसा कि सर्वविदित है, एनपी-हार्ड अनुकूलन समस्याओं में कई अलग-अलग सन्निकटन अनुपात हो सकते हैं, जिसमें पीटीएएस होने से लेकर किसी भी कारक के भीतर निहित नहीं होने तक सभी तरह के होते हैं। बीच में, हमारे पास विभिन्न स्थिरांक, , p o l y ( n ) , आदि …

12 cc.complexity-theory  approximation-hardness 

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

मानक समस्याएं क्या हैं जिनसे हम निचले सीमा सिद्ध करने के लिए कम कर सकते हैं ?Log ( एन लॉगn )Ω(nlog⁡n)\Omega(n\log n) बेशक, राज्य समस्याओं को छँटाई और तत्व भिन्नता के अलावा अन्य।

12 cc.complexity-theory  lower-bounds 

यूनीक सैट एक बहुचर्चित समस्या है: एक CNF फॉर्मूला , क्या यह सच है कि F में ठीक एक मॉडल है?FFFFFF मैं «बिल्कुल एसएटी» समस्या में दिलचस्पी रखता हूं : एक सीएनएफ फॉर्मूला एफ और एक पूर्णांक एम > 1 दिया गया , क्या यह सच है कि एफ में …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

संख्याओं के अनुक्रम को देखते हुए , क्या इसे O ( n ln n ) तुलना और O ( n ) स्वैप / चाल के साथ हल किया जा सकता है? उस बात पर प्रकाशनों या एक दिखा counterarguments के लिए किसी भी सूचक Ω ( एन ln n ) …

12 cc.complexity-theory  ds.algorithms 

A सी0एसी0AC^0 न गेट्स के साथ निरंतर गहराई वाले बहुपद आकार के सर्किटों का वर्ग है और अनबाउंड फैन-इन और OR गेट्स हैं, जहां इनपुट्स और गेट्स भी अनबाउंड फैनआउट हैं। अब एक नई कक्षा पर विचार करें, इसे जो तरह है, लेकिन जिसके लिए इनपुट्स और गेट्स में अधिकांश …

12 cc.complexity-theory  circuit-complexity 

मैं मोडल लॉजिक्स की तलाश कर रहा हूं, जो कि मोडलिंग नेस्टिंग डेप्थ वन के एक्सिओम्स के एक सीमित सेट द्वारा स्वयंसिद्ध हैं, और जिनकी संतोषजनकता / व्युत्पन्नता की समस्या PSPACE में होने की संभावना नहीं है। मॉडल के घोंसले की गहराई पर प्रतिबंध के बिना यह एक समस्या नहीं …

12 cc.complexity-theory  lo.logic  modal-logic 

निम्नलिखित समस्या पर विचार करें, पॉजिटिव संख्याओं के एक सेट को देखते हुए जिसमें एक स्थिरांक है, हम सेट को आकार सबसेट में विभाजित करना चाहते हैं ताकि प्रत्येक के योग का उत्पाद सबसेट अधिकतम है।n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk समस्या अच्छी तरह से ज्ञात …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

यह प्रश्न पेड़ों पर एनपी-कठिन समस्याओं के समान है : एनपी-पूर्ण समस्याओं की एक बड़ी संख्या है जो क्रोग्स पर ट्रैक्टेबल हैं । क्या कोई ज्ञात समस्या है जो एनपी-पूर्ण बनी रहती है जब क्रॉग्स तक सीमित रहती है? अधिक सटीक होने के लिए मुझे उन उदाहरणों में दिलचस्पी है …

12 cc.complexity-theory  np-hardness  graph-algorithms 

यह व्यापक रूप से ज्ञात है कि CNF सूत्र को मोटे तौर पर 2 व्यापक वर्गों में विभाजित किया जा सकता है: यादृच्छिक बनाम संरचित। संरचित CNF फ़ार्मुलों, यादृच्छिक CNF फ़ार्मुलों के विरोध में, कुछ प्रकार के आदेश प्रदर्शित करते हैं, पैटर्न दिखाते हैं जो संयोग से होने की संभावना …

12 cc.complexity-theory  sat  randomness  symmetry 

रैंडम के-सैट को परिभाषित करते समय हमारे पास 4 अलग-अलग बाधाएं हो सकती हैं। 1) किसी दिए गए क्लॉज़ में कुल शाब्दिक संख्या K या AT सबसे अधिक K 2 है) दिए गए शाब्दिक का उपयोग उसी खंड (A या A या A) 3 में प्रतिस्थापन के साथ या बिना …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov साबित कर दिया कि हर एक लय सर्किट द्विपक्षीय ग्राफ के लिए एकदम सही मिलान समारोह की गणना करता है कि कम से कम होनी चाहिए फाटकों (वह इसे "तार्किक स्थायी" कहा जाता है)। क्या तब से एक ही समस्या के लिए बेहतर निचली सीमा साबित हुई है? ( …

12 cc.complexity-theory  circuit-complexity  matching 

रैखिक प्रोग्रामिंग, ज़ाहिर है, आजकल बहुत अच्छी तरह से समझी गई है। हमारे पास बहुत सारे काम हैं जो व्यवहार्य समाधान की संरचना, और इष्टतम समाधान की संरचना की विशेषता है। हमारे पास मजबूत द्वैत, पॉली-टाइम एल्गोरिदम, आदि हैं। लेकिन एलपी के न्यूनतम अधिकतम समाधान के बारे में क्या जाना …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

मैं सपा जॉर्डन, डी Gosset, पी.जे. प्यार के "में पढ़ा stoquastic Hamiltonians और मार्कोव मैट्रिक्स के लिए -Complete समस्याओंक्यू एमएक्यूमएQMA " है कि यह संभावना नहीं है कि ।क्यू एमएक ⊆ एक एमक्यूमए⊆एमQMA \subseteq AM मैं इस दावे के बारे में हैरान था। तो और ए एम के बीच उचित …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma