सैद्धांतिक कंप्यूटर विज्ञान

हम जानते हैं कि करगर के मिनक एल्गोरिथ्म का उपयोग (गैर-रचनात्मक तरीके से) यह साबित करने के लिए किया जा सकता है कि एक ग्राफ़ में अधिकतम संभव शॉर्टकट की अधिकतम संख्या ( एन2)(n2)n \choose 2 । मैं सोच रहा था कि क्या हम किसी तरह से कार्डिनिटी के दूसरे …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

हाल के प्रश्न को पढ़ने के बाद "के पूरक है {www∣...}{www∣...}\{ www \mid ...\} विषय से मुक्त?" ; मुझे याद है कि मैं एक ऐसी ही समस्या को याद नहीं कर पा रहा था: है L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} संदर्भ मुक्त? …

13 fl.formal-languages  context-free 

में Angluin के ऑटोमेटा सीखने ढांचा , एक छात्र उद्देश्य एक नियमित रूप से भाषा सीखने की अपने शिक्षक से सवाल के दो प्रकार पूछकर:L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* शब्द प्रश्न: में दिया गया , क्या ?w∈Σ∗w∈Σ∗w\in \Sigma^*w∈Lw∈Lw\in L समतुल्यता प्रश्न: एक भाषा , ? यदि नहीं, तो शिक्षक एक देता है, यानी …

13 automata-theory  regular-language 

एक एल्गोरिथ्म को लिखने के लिए एक पुरानी चाल है, अगर पी = एनपी, बहुपद समय में सैट को हल करता है। अनिवार्य रूप से, एक सभी बहुपद समय मशीनों और उन पर बहु-कार्यों को सूचीबद्ध करता है। क्या एक-तरफ़ा फ़ंक्शंस (या यहां तक ​​कि एक तरफ़ा ट्रैफ़िक फ़ंक्शंस) के …

13 universal-computation  one-way-function 

ओमेर राइंगोल्ड के सबूत है कि USTCON के लिए एक एल्गोरिथ्म देता है (एक में यू विशेष कोने के साथ ग्राफ ndirected और , वे कर रहे हैं कोन nected?) केवल logspace का उपयोग कर। मूल विचार मूल ग्राफ से एक विस्तारक ग्राफ बनाना है, और फिर विस्तारक ग्राफ में …

13 graph-algorithms  nondeterminism  expanders  logspace 

मेरे पास एक उम्मीद है (उम्मीद है कि सरल, शायद गूंगा) बाबई के लैंडमार्क पेपर पर प्रश्न दिखा रहा है कि क्वासिपोलिनोमियल है।GIGI\mathsf{GI} बाबई दिखाया है कि कैसे एक प्रमाण पत्र दो रेखांकन है कि निर्माण करने के लिए के लिए मैं ∈ { 1 , 2 } में समय …

13 graph-isomorphism  search-problem 

को देखते हुए एक परिमित एक automaton और एक सीमा (नियतात्मक या गैर नियतात्मक, मैं इस बहुत महत्व है नहीं लगता है) n , एक एक शब्द ज्यादा से ज्यादा युक्त स्वीकार करता है n अलग पत्र? (तक कश्मीर विभिन्न पत्र मेरा मतलब है कि aabaa दो अलग-अलग पत्र, है …

13 cc.complexity-theory  np-hardness  automata-theory 

मान लीजिए कि हमारे पास एक ग्राफ़ प्रॉपर्टी है जिसे नॉन्डेटेरिमिनिस्टिक पोलीनोमियल समय में चेक किया जा सकता है, और एक कमजोर औपचारिक प्रणाली में एक प्रमाण (आरसीए 0 कहें ) कि संपत्ति मामूली बंद है। क्या हम एक औपचारिक प्रणाली की ताकत के बारे में कुछ भी कह सकते …

13 cc.complexity-theory  lo.logic 

हम किसी दिए गए सामान्य बूलियन फॉर्मूला (CNF-SAT), एक दिए गए DNF फॉर्मूला, या यहां तक ​​कि दिए गए 2SAT फॉर्मूला में एक # पी-पूर्ण समस्या है , संतोषजनक संख्या की गणना की समस्या को जानते हैं । अब, CNF-SAT पर कोई नकारात्मक शाब्दिक (no negative , हमेशा ) के …

13 sat  counting-complexity  polynomial-time  monotone 

ट्रेविथ एक महत्वपूर्ण ग्राफ पैरामीटर है जो इंगित करता है कि एक ग्राफ एक पेड़ होने से कितना करीब है (हालांकि सख्त टोपोलॉजिकल अर्थ में नहीं)। यह सर्वविदित है कि ट्रेविद की गणना एनपी-हार्ड है। क्या रेखांकन की कोई प्राकृतिक कक्षाएं हैं जहां ट्रेविद की गणना मुश्किल है? इसी तरह: …

13 graph-theory  np-hardness  polynomial-time  treewidth 

HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) हम में दूसरी सबसे बड़ी संख्या के बारे में क्या कह सकते हैं ? इस कॉल करें ।HT(n)HT(n)HT(n)BB2(n)BB2(n)BB_2(n) BB2(n)BB2(n)BB_2(n) तुच्छ रूप से असुविधाजनक है, क्योंकि यह एक कंप्यूट : बस एक और मशीन के रुकने की प्रतीक्षा करें। Naively, मैं उम्मीद करता हूँ कि "व्यस्त बीवर- …

13 computability 

में कंकड़ खेल एक लाइन पर वहाँ एन 1 नोड्स एन के माध्यम से 0 लेबल खेल नोड 0. पर एक कंकड़ के साथ शुरू होता है अगर कोई नोड पर एक कंकड़ मैं, आप जोड़ सकते हैं या नोड i + 1 से एक कंकड़ को दूर कर सकते …

13 complexity  reversible-computing 

Adleman 1978 में पता चला है कि : एक बूलियन समारोह अगर की चर आकार के एक संभाव्य बूलियन सर्किट से गणना की जा सकती , तो भी एक नियतात्मक द्वारा गणना की जा सकती और में आकार बहुपद का बूलियन सर्किट ; वास्तव में, आकार । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) सामान्य …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

सबसे तेज़ ज्ञात नियतात्मक एल्गोरिथ्म क्या है जो वर्टेक्स डिसऑइंट साइकल की एक जोड़ी के साथ निर्देशित ग्राफ़ को पहचान सकता है? मुझे पता है कि मिनी आउटग्री तीन के साथ ग्राफ में हमेशा एक ऐसी जोड़ी ( थॉमासेन'83 ) होती है, लेकिन फिर भी मुझे सामान्य मामले में एक …

13 reference-request 

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

13 graph-theory