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

मैं एक किनारे के अलावा O (N ^ 2) से कम समय जटिलता के साथ एक निर्देशित चक्रीय ग्राफ के सकर्मक बंद को बनाए रखने के लिए एक ऑनलाइन एल्गोरिथ्म की तलाश कर रहा हूं। मेरा वर्तमान एल्गोरिथ्म इस तरह है: For every new edge u->v connect all nodes in …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

ट्यूरिंग मशीन द्वारा परिभाषित एक भाषा L को देखते हुए, जो इसे तय करती है, क्या यह एल्गोरिदमिक रूप से निर्धारित करना संभव है कि L, NP में निहित है या नहीं?

15 cc.complexity-theory  computability  turing-machines 

यह प्रश्न फिशर-येट्स एल्गोरिदम के संबंध में एक दिए गए सरणी के यादृच्छिक फेरबदल को लौटाने के लिए है। विकिपीडिया पृष्ठ का कहना है कि इसकी जटिलता हे (एन) है, लेकिन मुझे लगता है कि हे है कि (एन एन लॉग इन करें)। प्रत्येक पुनरावृत्ति i में, 1 और i …

15 ds.algorithms  permutations 

समस्या: को देखते हुए , बूलियन सर्किट द्वारा दर्शाया गया, समान रूप से यादृच्छिक उत्पन्न करें जैसे कि (या आउटपुट यदि ऐसा कोई मौजूद नहीं है)। एक्स ∈ { 0 , 1 } n φ ( एक्स ) = 1 ⊥ एक्सϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}एक्स ∈ { 0 , …

15 np-hardness  counting-complexity  reductions 

हमारे हाल के काम में, हम एक कम्प्यूटेशनल समस्या जो मिश्रित संदर्भ में पैदा हुई हल, इस धारणा के तहत है कि , जहां ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} , E X P है -v का विचलन⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} । Only पर एकमात्र कागज⊕P⊕P\mathsf{\oplus{}P} जो हमें मिला वह Beigel-Buhrman-Fortnow1998 का ​​पेपर थाजिसेकॉम्प्लेक्सिटी ज़ूपर उद्धृत …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

मैं LYAH में एक अध्याय पढ़ रहा था जो वास्तव में मेरे लिए मायने नहीं रखता था। मैं समझता हूं कि ज़िपर मनमाने ढंग से पेड़ जैसी संरचना बना सकते हैं, लेकिन मुझे इस पर कुछ स्पष्टीकरण चाहिए। इसके अलावा, क्या zippers को किसी भी डेटा संरचना में सामान्यीकृत किया …

15 ds.data-structures  functional-programming  tree 

यदि हमारे पास एक बड़ा (निर्देशित) ग्राफ और एक छोटा जड़ वाला वृक्ष एच है , तो जी आइसोमॉर्फिक से एच के उपसमूह खोजने के लिए सबसे अच्छी ज्ञात जटिलता क्या है ? मैं सबट्री आइसोमोर्फिज्म के परिणामों के बारे में जानता हूँ जहाँ G और H दोनों पेड़ हैं …

15 ds.algorithms  reference-request  graph-theory 

समस्या चलो एक बुची automaton हो, एक भाषा को पहचानने एल ⊆ Σ ω । हम मानते हैं कि एक निम्नलिखित अर्थ में एक स्वीकृति रणनीति है: वहाँ एक समारोह है σ : Σ * → क्यू जिनमें से पायलट रन करने के लिए इस्तेमाल किया जा सकता एक । …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

जटिलता वर्ग बीक्यूपी बहुपद समय क्वांटम सबरूटीन्स से संबंधित है जो शास्त्रीय इनपुटों में लेते हैं और एक संभाव्य शास्त्रीय आउटपुट को थूकते हैं। क्वांटम सलाह संशोधित करती है कि कुछ पूर्व निर्धारित क्वांटम सलाह राज्यों की प्रतियों को शामिल करना है लेकिन हमेशा की तरह शास्त्रीय इनपुट के साथ। …

15 cc.complexity-theory  complexity-classes  quantum-computing 

एक को देखते हुए मैट्रिक्स (यह मानते हुए मीटर ≥ n ), सबसे तेज एल्गोरिथ्म अपने पद और स्तंभों के आधार गणना करने के लिए क्या है?m×nm×nm \times nm≥nm≥nm \ge n मुझे पता है कि इसे रैखिक मैट्रोइड चौराहे के माध्यम से हल किया जा सकता है, जिसका तात्पर्य समय …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

हम अक्सर जटिलता वर्गों पर विचार करते हैं, जहां हम अपने ट्यूरिंग मशीन के उपयोग की जगह की मात्रा में हैं, उदाहरण के लिए: या । ऐसा लगता है कि जटिलता सिद्धांत के आरंभ में इन वर्गों जैसे अंतरिक्ष-पदानुक्रम प्रमेय और और जैसी महत्वपूर्ण कक्षाओं को बनाने में बहुत सफलता …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

सेट कवर पर निम्नलिखित भिन्नता को किस नाम से जाना जाता है? एक सेट S को देखते हुए, S के सबसेट का एक संग्रह C और एक धनात्मक पूर्णांक K है, क्या C में K सेट मौजूद है जैसे कि S के तत्वों की प्रत्येक जोड़ी चयनित उपसमूह में निहित …

15 np-hardness  set-cover  cc.complexity-theory 

मैं एक polytope है PPP द्वारा परिभाषित {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} । प्रश्न: एक शीर्ष देखते हुए vvv के PPP , वहाँ के पड़ोसियों से समान रूप से नमूने के एक बहुपद समय एल्गोरिथ्म है vvv के ग्राफ में PPP ? (आयाम में बहुपद, समीकरणों …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

क्या पैरामीट्रिक बहुरूपता के लिए संबंधपरक शब्दार्थ का सार समझने का कोई प्राकृतिक तरीका है? मैंने सिर्फ रिलेशनल पैरामीट्रिकिटी की धारणा के बारे में पढ़ना शुरू किया है, एक ला जॉन रेनॉल्ड्स का "टाइप्स, एब्सट्रैक्शन एंड पैरामीट्रिक पॉलीमॉर्फिज्म", और मुझे यह समझने में परेशानी हो रही है कि कैसे रिलेशनल …

15 type-theory  parametricity 

एसएटी सॉल्वर एक क्वांटिफायर के साथ बूलियन फॉर्मूला की वैधता की जांच करने का एक शक्तिशाली तरीका देते हैं। उदाहरण के लिए, की वैधता की जांच करने के लिए , हम निर्धारित करने के लिए एक सैट solver उपयोग कर सकते हैं φ ( एक्स ) तृप्तियोग्य है। की वैधता …

15 ds.algorithms  lo.logic  sat  boolean-functions