lower-bounds पर टैग किए गए जवाब

निम्नलिखित प्राकृतिक प्रश्न पर विचार करें: एक परिमित भाषा को देखते हुए , L को उत्पन्न करने वाला सबसे छोटा संदर्भ-मुक्त व्याकरण क्या है ?LLLLLL हम भाषाओं के एक अनुक्रम को निर्दिष्ट करके प्रश्न को और अधिक रोचक बना सकते हैं , उदाहरण के लिए L n { 1 , …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

क्या परिणाम ज्ञात हैं जो "बहुत-से-से-सच-सच" डेटा संरचनाओं के अस्तित्व को खारिज करते हैं? उदाहरण के लिए: एक जोड़ सकते हैं और एक आदेश रखरखाव डेटा संरचना करने के लिए कार्यक्षमता (देखें Dietz और Sleator STOC '87 ) और अभी भी प्राप्त समय आपरेशन?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) या: क्या कोई पूर्णांक कुंजियों और …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

समस्या #SAT विहित # P- पूर्ण समस्या है। यह एक निर्णय समस्या के बजाय एक कार्य समस्या है। यह पूछता है, प्रस्तावित तर्क में बूलियन फॉर्मूला गया है, पास कितने संतोषजनक असाइनमेंट हैं । # एसएटी पर सबसे अच्छे निचले सीमा कौन से हैं?एफएफFFएफFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

यादृच्छिक प्रतिबंधों और स्विचिंग लेम्मा के आधार पर कई प्रसिद्ध सर्किट आकार कम-बाउंड परिणाम हैं ।A सी0AC0\mathsf{AC^0} क्या हम सर्किट के लिए निम्न आकार-बाउंड को सिद्ध करने के लिए एक स्विचिंग लेम्मा परिणाम विकसित कर सकते हैं ( लिए निम्न-बद्ध प्रमाण के समान )? A C 0टी सी0TC0\mathsf{TC^0}A सी0AC0\mathsf{AC^0} या …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

तत्व विशिष्टता / विशिष्टता की समस्या (बीजगणितीय गणना के पेड़ों या प्रतिकूल तर्कों के आधार पर) के लिए लॉगलाइनियर लोअर बाउंड के लिए कई सबूत हैं, लेकिन मैं एक ऐसा खोज रहा हूं जो एल्गोरिथ्म विश्लेषण और डिजाइन में पहले कोर्स में उपयोग करने के लिए पर्याप्त सरल है। छँटाई …

13 cc.complexity-theory  lower-bounds  proofs 

यह सत्यापित करना आसान है कि पूर्णांक बिंदुओं के डायमेंशनल ग्रिड को देखते हुए, नियमित आसन्न के साथ, कोई भी आकार n d - 1 का विभाजक पा सकता है (बस किसी भी मध्य हाइपरप्लेन को चुनें, और सभी को हटा दें इसके कोने)। यह सत्यापित करना भी कठिन नहीं …

13 reference-request  cg.comp-geom  lower-bounds 

हॉल्टिंग समस्या को सर्वविदित होने के लिए जाना जाता है। हालांकि, हॉल्टिंग समस्या के बारे में जानकारी को "संपीड़ित" करना संभव है, ताकि डिकम्प्रेसिंग यह कम्प्यूटेशनल हो। अधिक सटीक रूप से, ट्यूरिंग मशीनों के विवरण से गणना करना संभव है और एक एन -बिट सलाह राज्य के सभी 2 एन …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Let एक दिए गए मल्टीलाइनर बहुपद -मोनोटोन) अंकगणित के न्यूनतम आकार को निरूपित करते हैं। और एक (गैर-मोनोटोन) बूलियन के न्यूनतम आकार को निरूपित करते हैं बूलियन संस्करण की गणना करते हुए सर्किट के द्वारा परिभाषित किया गया: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

1979 में हॉपक्रॉफ्ट / उलमैन ने लिखा है कि L ⊆ P ⊆ NP ace PSpace जाना जाता है, लेकिन L the PSpace एकमात्र उचित (& तुच्छ) रोकथाम ज्ञात है, हालांकि सभी को उचित नियंत्रण होने के लिए अनुमान लगाया गया है, और "जहां चीजें अभी भी खड़ी हैं" ~ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

कैसे दिखाता है कि 2-CNF (2-SAT) में एक निश्चित संपत्ति व्यक्त नहीं की जा सकती है? क्या कोई खेल हैं, जैसे कंकड़ खेल? ऐसा लगता है कि शास्त्रीय काले कंकड़ वाले खेल और काले-सफेद कंकड़ वाले खेल इसके लिए अनुपयुक्त हैं (हर्टेल और पटासी, कम्प्यूटिंग, 2010 के एसआईएएम जे के …

12 sat  lower-bounds  combinatorial-game-theory 

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) इस समस्या की निचली सीमा है? धन्यवाद और का संबंध है, और खेद है अगर यह इस तरह के एक भोली सवाल है।

12 time-complexity  lower-bounds  nt.number-theory  primes 

वजनबाइनरी स्ट्रिंग स्ट्रिंग में लोगों की संख्या है। यदि हम कुछ लोगों के साथ इनपुट पर एक मोनोटोन फ़ंक्शन की गणना करने में रुचि रखते हैं तो क्या होगा?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 

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

12 cc.complexity-theory  lower-bounds 

यह पॉलिनोमियल टाइम कठोरता के परिणामों पर रॉबिन कोठारी की पिछली पोस्ट के अनुवर्ती प्रश्न के रूप में है । विशेष रूप से, मैं उन समस्याओं के लिए कुछ कठोरता प्रमाणों को देखने में रुचि रखता हूं जिनके बारे में माना जाता है कि मोटे तौर पर निचली सीमा है, …

12 graph-theory  cg.comp-geom  lower-bounds 

यह प्रश्न एक मौजूदा प्रश्न से प्रेरित है कि क्या स्टैक ऑपरेशन के दौरान परिचालित समय में दो कतारों का उपयोग करके एक स्टैक को सिम्युलेटेड किया जा सकता है । उत्तर अज्ञात प्रतीत होता है। यहां एक और अधिक विशिष्ट प्रश्न है, जो उस विशेष मामले से संबंधित है …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting