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

FOCS2013 का यह हालिया पेपर, गैसपर्स और सेज़िडर द्वारा बाउंडेड ट्रेविद सैट का स्ट्रांग बैकसाइड , सैट क्लॉज ग्राफ और उदाहरण कठोरता के बीच के लिंक के बारे में बात करता है । रैंडम 3-सैट, यानी 3-सैट के उदाहरणों को रैंडम के लिए चुना जाता है, क्लॉज ग्राफ और उदाहरण …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

सबसे पहले, गोडेल के अपूर्णता प्रमेय (और सामान्य रूप में औपचारिक तर्क) पर मेरी समझ बहुत ही भोली है, यह भी सैद्धांतिक कंप्यूटर विज्ञान पर मेरा ज्ञान है (जिसका अर्थ है कि मैं अभी भी एक स्नातक होने के दौरान लिया गया केवल एक स्नातक पाठ्यक्रम), इसलिए यह प्रश्न हो …

11 np-hardness  proofs  p-vs-np 

क्या इस समस्या का पहले अध्ययन किया गया है? मीट्रिक अप्रत्यक्ष ग्राफ़ G (बढ़त की लंबाई त्रिकोण असमानता को संतुष्ट करता है) को देखते हुए, S का एक सेट S का पता लगाएं, जैसे कि MST (G [S]) को अधिकतम किया जाता है, जहाँ MST (G [S]) सबग्राफ द्वारा प्रेरित …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

प्लानर सेपरेटर, ट्री सेपरेटर, बाउंड ट्री चौड़ाई ग्राफ, बाउंडेड जीनस ग्राफ, वगैरह, वगैरह से ग्राफ में सेपरेटर पर रिजल्ट के अब पहाड़ हैं। क्या इस और इनके ऐप्स के बारे में कोई अच्छा अपडेट है?

11 reference-request  graph-algorithms  survey 

मैं समस्या के लिए एक कुशल एल्गोरिथ्म चाह रहा हूँ: इनपुट : कुछ पूर्णांक लिए धनात्मक पूर्णांक (बिट्स के रूप में संग्रहीत) । एन ≥ 03n3n3^nn ≥ 0n≥0n \geq 0 आउटपुट : संख्या ।nnn प्रश्न : क्या हम समय में के बिट से गणना कर सकते हैं ?nnn3n3n3^nओ ( एन …

11 ds.algorithms  time-complexity 

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

11 type-theory 

मेरे पास कुछ मिलियन 32-बिट मान हैं। प्रत्येक मूल्य के लिए, मैं 5. के एक हैमिंग दूरी के भीतर अन्य सभी मूल्यों को खोजना चाहता हूं भोले दृष्टिकोण में, इसके लिए O(N2)O(N2)O(N^2) तुलना की आवश्यकता होती है , जिससे मैं बचना चाहता हूं। मुझे एहसास हुआ कि अगर मैंने इन …

11 ds.algorithms  co.combinatorics  approximation-algorithms 

सभी #SAT सॉल्वरों को मैं जानता हूं, जैसे RelSat, C2D, केवल संतोषजनक उदाहरणों की संख्या वापस करते हैं। लेकिन मैं उनमें से प्रत्येक उदाहरण को जानना चाहता हूं? क्या ऐसा #SAT सॉल्वर है या मुझे ऐसा करने के लिए उपलब्ध #SAT सॉल्वर को कैसे संशोधित करना चाहिए? धन्यवाद।

11 lo.logic  sat  software 

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

11 turing-machines 

याद व्यास एक ग्राफ के में एक लंबे समय तक कम से कम पथ की लंबाई है । ग्राफ को देखते हुए, कंप्यूटिंग के लिए एक स्पष्ट एल्गोरिथ्म सभी जोड़े की सबसे छोटी पथ समस्या (एपीएसपी) को हल करता है और सबसे लंबे समय तक पाए गए पथ की लंबाई …

11 graph-theory  graph-algorithms  shortest-path 

जबकि अंगूठे का नियम यह है कि TCS पत्रों में लेखकों को वर्णानुक्रम में आदेश दिया जाता है, कुछ उल्लेखनीय प्रतिधारण हैं जो दिमाग में आते हैं, जिसमें लेखकों को एक अलग तरीके से आदेश दिया जाता है, जैसे, इंटरएक्टिव प्रूफ सिस्टम के लिए बीजगणितीय तरीके डिजिटल हस्ताक्षर और सार्वजनिक-कुंजी …

11 soft-question 

इस समस्या के बारे में अधिक पता लगाने की कठिनाई का एक हिस्सा यह है कि ग्राफ मिलान की समस्या इसके अधिक प्रसिद्ध चचेरे भाई, मिलान समस्या से अलग है, लेकिन खोज इंजन का उपयोग करते समय इसे से अलग किया जाना कठिन है। यह देखते हुए दो रेखांकन G=(V,E)G=(V,E)G=(V,E) …

11 reference-request  graph-theory  graph-isomorphism 

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

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

यह ज्ञात है कि और बीच कुछ (नॉन-रिलेटिव) सिंथैटिक जटिलता वर्ग के पास निम्न संपत्ति है, । मैं सोच रहा था कि क्या कोई (गैर-संबंधित) संश्लिष्ट जटिलता वर्ग जैसे कि ? जटिलता वर्ग के अस्तित्व या गैर-अस्तित्व के निहितार्थ क्या हैं ? PP{\bf P}PSPACEPSPACE{\bf PSPACE}P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq …

11 cc.complexity-theory  complexity-classes 

मैं निर्धारक और मैट्रिक्स गुणन के एल्गोरिथम जटिलता और सर्किट जटिलता के बीच के संबंध को समझने की कोशिश कर रहा हूं। यह ज्ञात है कि एक के निर्धारक मैट्रिक्स जा सकती है अभिकलन में ~ हे ( एम ( एन ) ) समय है, जहां एम ( एन ) …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant