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

"कंप्यूटिंग द्वारा क्या समस्याएं हल की जा सकती हैं" का जवाब देने के लिए, हमने कम्प्यूटेबिलिटी के सिद्धांत को विकसित किया। समस्याओं के लिए जो कम्प्यूटेशनल हैं, क्या सवाल का जवाब देने के लिए एक सिद्धांत है "क्या मैं सबसे सरल प्रोग्राम प्राप्त करता हूं"? मुझे नहीं लगता कि कम्प्यूटेशनल …

10 big-picture  kolmogorov-complexity 

मैं वितरित प्रणालियों पर केंद्रित एक मास्टर छात्र हूं, लेकिन सैद्धांतिक कंप्यूटर विज्ञान में भी रुचि रखता हूं। मैं सोच रहा था कि क्या ट्यूरिंग मशीन के शीर्ष पर एक वितरित प्रणाली का औपचारिक प्रतिनिधित्व है? यही है, क्या वितरित कंप्यूटिंग का लाभ लेने के लिए एक ट्यूरिंग मशीन की …

10 turing-machines  dc.distributed-comp 

आज्ञा देना GGG एक जुड़ा ग्राफ G=(V,E)G=(V,E)G = (V,E) नोड्स V=1…nV=1…nV = 1 \dots n और किनारों EEE । चलो wiwiw_i ग्राफ के (पूर्णांक) वजन निरूपित GGG के साथ, ∑iwi=m∑iwi=m\sum_i w_i = m ग्राफ में कुल वजन। औसत वजन प्रति नोड तो है w¯=m/nw¯=m/n\bar w = m/n । चलो ei=wi−w¯ei=wi−w¯e_i …

10 graph-theory  co.combinatorics  spectral-graph-theory 

सामान्य रेखांकन में डोमिनेटिंग सेट समस्या पर विचार करें, और एक ग्राफ में संख्याओं की संख्या दें । एक लालची सन्निकटन एल्गोरिथ्म कारक की सन्निकटन गारंटी देता है , अर्थात यह बहुपद-समय में एक समाधान को खोजने के लिए संभव है , जहां न्यूनतम वर्चस्व वाले सेट का आकार है। …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

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

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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 

पोस्ट इस से संबंधित है: /mathpro/59631/lovasz-theta-function-and-ind dependence-number-of-product-of-simple-odd-cycles नियमित ग्राफ़ की शून्य-त्रुटि क्षमता से बाध्य लॉवेज़ कितना दूर है? क्या कोई उदाहरण है जहां लोवेज़ बाउंड को एक नियमित ग्राफ की शून्य-त्रुटि क्षमता के बराबर नहीं जाना जाता है? (इसका उत्तर ऑलेक्ज़ेंडर बोंडारेंको ने नीचे दिया था।) विशेष रूप से किसी …

10 graph-theory  it.information-theory 

हम वितरित कंप्यूटरों में काम कर रहे हैं, और हम एक जटिलता समस्या के साथ आए हैं जो एक न्यूनतम पथ को कवर करने वाली समस्या को कम करता है। वर्तमान में हम यह नहीं जानते कि इसे कैसे हल किया जाए। समस्या निम्नलिखित है: चलो कुछ पूर्णांक होना, और …

10 graph-theory  co.combinatorics  application-of-theory 

मुझे जटिलता सिद्धांत में निर्माणों के उदाहरणों में दिलचस्पी है जो एक यादृच्छिक निर्माण से बेहतर हैं। इस तरह के निर्माण का एकमात्र उदाहरण जो मुझे पता है कि त्रुटि-सुधार कोड के क्षेत्र में है। रैंडम कोड की तुलना में बीजगणितीय-ज्यामिति कोड कुछ सीमा में बेहतर होते हैं। ऐसे कृत्रिम …

10 reference-request  big-list  derandomization  pr.probability 

मुझे उन रेखांकन के स्पष्ट उदाहरणों में रुचि है जिनके लिए Goemans और विलियमसन एल्गोरिथ्म के आवेदन में अधिकतम कटौती परिणाम अनुमानित करने के लिए 0.878… -प्रतिरोध कारक है। इस तरह के उदाहरण बनाने के लिए एल्गोरिथ्म एकदम सही होगा, स्पष्ट उदाहरण और संदर्भ संतोषजनक होंगे।

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

चलो एक विषय से मुक्त भाषा हो। परिभाषित करें पी पी सी ( एल ) के पूर्व और पोस्टफ़िक्स बंद होने के लिए एल दूसरे शब्दों में,, पी पी सी ( एल ) के सभी शामिल हैं एल के उपसर्गों और postfixes, और इसलिए एल ही। मेरा प्रश्न: यदि L …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

कॉम्बीनेटरिक्स और कंप्यूटर विज्ञान में कई उदाहरण हैं जहां हम एक ग्राफ-सिद्धांत समस्या का विश्लेषण कर सकते हैं लेकिन समस्या के हाइपरग्राफ एनालॉग के लिए, हमारे उपकरणों की कमी है। आपको क्यों लगता है कि समस्याएँ 2-समान ग्राफ़ की तुलना में 3-समान हाइपरग्राफ की तुलना में अक्सर अधिक कठिन हो …

10 graph-theory  co.combinatorics  hypergraphs 

मैं बहुत ही रोचक और अभी भी खुले प्रश्न " सिंगल-टेप ट्यूरिंग मशीन की वर्णमाला " (इमानुएल वायोला द्वारा) के साथ खेल रहा था और निम्नलिखित भाषा के साथ आया: L = { x ∈ { 0 , 1 }n सेंट | x | = एन = २म और सी …

10 cc.complexity-theory  turing-machines  time-complexity 

वैक्टर के दो सेट से मिंकोवस्की राशि द्वारा दिया जाता हैएक , बी ∈ आरघA,B∈RdA, B \in R^d एक ⊕ बी = { एक + ख | एक ∈ ए , बी ∈ बी }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B …

10 cg.comp-geom 

क्या कोई ऐसा तरीका है जो एक कहावत को सत्यापित कर सकता है कि कुछ HORN-SAT अभिव्यक्ति संतोषजनक है? बेशक यह मूर्खतापूर्ण लग सकता है, क्योंकि HORN-SAT के लिए रैखिक समय एल्गोरिदम हैं। दूसरी ओर, HORN-SAT P- पूर्ण है, जिसका अर्थ है कि इसमें लॉग-स्पेस एल्गोरिदम नहीं है जब तक …

10 cc.complexity-theory  interactive-proofs  zero-knowledge