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

यह मेरे पिछले प्रश्न का अनुसरण है: एनपी में प्राकृतिक समस्या के लिए सबसे अच्छा ज्ञात नियतात्मक समय जटिलता कम है मुझे यह देखकर आश्चर्य होता है कि हम किसी भी दिलचस्प एनपी समस्या के लिए किसी भी द्विघात नियतात्मक समय को कमतर साबित नहीं कर पाए हैं, जिसकी लोग …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

मैं सोच रहा था कि निम्न समस्या के लिए ज्ञात कोई निम्न बाध्य (नमूना जटिलता के संदर्भ में) है: दो अज्ञात वितरण D1D1D_1 , D2D2D_2 पर {1,…,n}{1,…,n}\{1,\dots,n\} , परीक्षण (whp) पर नमूना ओरेकल पहुंच को देखते हुए: D1=D2D1=D2D_1=D_2 या d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon बाटू एट अल। [BFR + …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

दाना एंग्लुइन ( 1987 ; pdf ) सदस्यता प्रश्नों और सिद्धांत प्रश्नों (प्रस्तावित कार्य के प्रतिरूप) के साथ एक शिक्षण मॉडल को परिभाषित करता है। वह दिखाती है कि एक नियमित भाषा जिसे राज्यों की एक न्यूनतम DFA द्वारा दर्शाया गया है, बहुपद समय (जहाँ प्रस्तावित कार्य DFAs है) सदस्यता-प्रश्नों …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

यह आंशिक बूलियन कार्यों के लिए संचार कम सीमा पर मेरे पिछले प्रश्न का एक निरंतरता है । क्या कोई व्यक्ति nondeterministic multiparty संचार के लिए निचली सीमा पर कोई संदर्भ सुझा सकता है? मैं क्षेत्र में कागजात का सर्वेक्षण कर रहा हूं, लेकिन हर कोई निम्न प्रकार के पृथक्करणों …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

क्या राज्यों के साथ 2DFA है (जहाँ n n n n nrivrivial है, कम से कम 4 कहें) जिसे किसी DFA का उपयोग करके अनुकरण करने के लिए कम से कम 2 n राज्यों की आवश्यकता है ?nnnnnn2n2n2^n एक दो-तरफा DFA (2DFA) एक नियत परिमित-राज्य ऑटोमेटोन है जिसे परिमित-राज्य ऑटोमेटा …

11 automata-theory  lower-bounds 

निम्नलिखित प्रश्न बेलमैन-फोर्ड - सबसे छोटी पथ गतिशील प्रोग्रामिंग एल्गोरिदम की समानता से संबंधित है ( एक कनेक्शन के लिए इस पोस्ट को देखें )। इसके अलावा, एक सकारात्मक उत्तर का अर्थ यह होगा कि STCONN समस्या के लिए एक मोनोटोन नॉनडेटर्मिनिस्टिक ब्रांचिंग कार्यक्रम का न्यूनतम आकार । s tssttΘ …

10 graph-theory  circuit-complexity  lower-bounds 

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))यह बहुत सारे (पुराने और वर्तमान) परिणाम हैं जो निम्न सीमा सिद्ध करने के लिए समय पदानुक्रम प्रमेयों का उपयोग करते हैं। यहाँ मेरे सवाल हैं:NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). क्या होता है अगर हम निर्धारक या नॉनडेर्मिनिस्टिक मामले के लिए बेहतर परिणाम साबित …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

मैं यादृच्छिक के-सैट के लिए चरण संक्रमण की वर्तमान स्थिति जानना चाहूंगा, एन वेरिएबल्स और एम क्लॉज़ दिए गए हैं, जो ऊपरी और निचले सीमा के लिए सबसे अच्छा ज्ञात सी = एम / एन है।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

में सोडा 1995 , जेफ एरिक्सन कम सीमा रैखिक satisfiability के लिए (पता चल सके कि एक कुछ पता चला के -subset वास्तविक संख्या को संतुष्ट करता है पर एक रेखीय समीकरण चर)। प्रूफ विधि में infinitesimals और Tarski के हस्तांतरण सिद्धांत का उपयोग किया जाता है ।आरआरrnnnआरआरr क्या कोई …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

चलो एचअ लटीnएचएएलटीnHALT_n लंबाई की स्ट्रिंग को निरूपित करें 2n2n2^n लंबाई के इनपुट के लिए पड़ाव समस्या की सत्य तालिका के अनुरूप nnn। यदि कोलमोगोरोव जटिलताओं का क्रम क( एचअ लटीn)क(एचएएलटीn)K(HALT_n) थे ओ ( 1 )हे(1)O(1), तो सलाह तार में से एक का उपयोग अक्सर असीम रूप से किया जाएगा, …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

दो स्टैक को एक निश्चित आकार के सरणी का उपयोग करके कुशलतापूर्वक लागू किया जा सकता है: स्टैक # 1 बाएं छोर से शुरू होता है और दाएं बढ़ता है, और स्टैक # 2 दाएं छोर से शुरू होता है और बाईं ओर बढ़ता है। क्या तीन स्टैक के लिए …

9 ds.data-structures  lower-bounds 

मेरा मानना ​​है कि इस प्रश्न के उत्तर सभी बहुपत्नी के लिए ऐसी कक्षाएं देते हैंपीpp, कक्षा में एक समस्या है जिसमें आकार के सर्किट नहीं होते हैंपी ( एन )p(n)p(n)। हालाँकि, मैं सर्किट साइज़ के बारे में पूछ रहा हूँω( एन )ω(n)\omega \hspace{.02 in}(n)। (⟨00,11,22,31,44,51,66,71,88,91, । । ।⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle …

9 circuit-complexity  lower-bounds 

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

9 computability  lower-bounds 

मैं उलझन में हूं। मैं यह साबित करना चाहता हूं कि छंटनी की समस्याnnn द्वारा nnn मैट्रिक्स अर्थात पंक्तियाँ और स्तंभ आरोही क्रम में हैं Ω (n2लॉगn )Ω(n2लॉग⁡n)\Omega(n^2\log n)। मैं यह मानकर आगे बढ़ता हूं कि यह तेजी से किया जा सकता हैn2लॉगnn2लॉग⁡nn^2\log n और उल्लंघन करने का प्रयास करें …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics