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

मैंने यह सवाल 10 दिन पहले यहां cs.stackexchange पर पूछा था, लेकिन मेरे पास इसका कोई जवाब नहीं था। एक बहुत प्रसिद्ध पत्र (नेटवर्किंग समुदाय में), वैंग एंड क्राउक्रॉफ्ट ने कई additive / गुणात्मक बाधाओं के तहत पथ संगणना के कुछ -completeness परिणाम प्रस्तुत किए। पहली समस्या निम्नलिखित है:NPNP\mathsf{NP} एक …

15 np-hardness  reductions 

मैं एक ऐसी समस्या का अध्ययन कर रहा हूं जो क्वांटिफ़ायर के विकल्प के लघुगणक संख्या के साथ मात्राबद्ध बूलियन फ़ार्मुलों के वर्ग के लिए कठिन है। इस वर्ग में एक समस्या दिखेगी: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F …

15 cc.complexity-theory  boolean-formulas 

विशुद्ध रूप से अमूर्त गणित / कम्प्यूटेशनल तर्क के दृष्टिकोण से, (कैसे) 3-सैट, सबसेट सम, ट्रैवलिंग सेल्समैन आदि जैसी समस्याओं के बारे में भी पता लगा सकता है। क्या हम किसी भी सार्थक तरीके से उनके बारे में तर्क करने में सक्षम होंगे, केवल कार्यात्मक दृष्टिकोण के साथ? क्या यह …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

2012 में, लिप्टन ने प्रसाद राघवेंद्र द्वारा परिमित क्षेत्रों पर रैखिक प्रणालियों को हल करने के लिए एक नए एल्गोरिदम के बारे में एक ब्लॉग प्रविष्टि लिखी । विषय पर राघवेंद्र के ड्राफ्ट पेपर की लिंक अब मृत हो गई है , और मुझे राघवेंद्र की वेबसाइट पर इस विषय …

15 linear-algebra  finite-fields 

मैं गणित में एक स्नातक छात्र हूं, और सैद्धांतिक कंप्यूटर विज्ञान एक ऐसा डोमेन है जिसे मैंने कभी नहीं समझा कि यह क्या है क्योंकि मैं इस विषय के बारे में एक अच्छा पढ़ा नहीं पाया। मैं जानना चाहता हूं कि यह डोमेन वास्तव में क्या है, यह किस तरह …

15 reference-request  soft-question  books 

प्रश्न: मान लीजिए कि मेरे पास एक्सिओम्स और एक लक्ष्य से संबंधित एक समस्या का एक विनिर्देश है (यानी संबंधित प्रमाण समस्या यह है कि क्या लक्ष्य सभी एक्सियल को दिया गया संतोषजनक है)। आइए हम यह भी मान लें कि समस्या में स्वयंसिद्धताओं के बीच कोई असंगतता / विरोधाभास …

15 automated-theorem-proving  program-verification 

यह जरूरी नहीं कि एक शोध प्रश्न हो। जिज्ञासा से बाहर एक सवाल: मैं यह समझने की कोशिश कर रहा हूं कि क्या कोई "इर्रिडियूसबल" भाषाओं को परिभाषित कर सकता है। पहली बार एक अनुमान के रूप में मैं एक भाषा एल "कम करने योग्य" कॉल अगर यह के रूप …

15 fl.formal-languages 

पृष्ठभूमि: दो नियत परिमित ऑटोमेटा A और B को देखते हुए, हम C में राज्यों को C में राज्यों का कार्टेशियन उत्पाद होने का संकेत देकर उत्पाद C का निर्माण करते हैं और B. राज्यों में राज्यों का चयन करते हैं। फिर, हम संक्रमणों, प्रारंभिक अवस्था और अंतिम अवस्थाओं का …

15 fl.formal-languages  automata-theory  dfa 

लक्ष्य (कठोरता रैंडमनेस कनेक्शन नहीं) के प्रति ठोस प्रमाण दिखाने में सफल व्युत्पन्न या कम से कम प्रगति के कुछ प्रमुख उदाहरण क्या हैं ?P=BPPP=BPPP=BPP एकमात्र उदाहरण जो मेरे दिमाग में आता है, वह है एकेएस निर्धारक बहुपद समय प्राणिकता परीक्षण (यहां तक ​​कि इसके लिए जीआरएच की एक पद्धति …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

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

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

सरल रूप में: क्या दो-तरफ़ा परिमित ऑटोमोटन vvv -vertex ग्राफ़ को पहचान सकता है जिसमें o(v3)o(v3)o(v^3) राज्यों के साथ एक त्रिकोण होता है? विवरण यहाँ ब्याज की vvv -vertex रेखांकन किनारों के अनुक्रम का उपयोग कर एन्कोडेड हैं, प्रत्येक किनारे से अलग कोने की एक जोड़ी है {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\}। मान लीजिए …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

चक्र समस्या इस प्रकार है:kkk उदाहरण: अप्रत्यक्ष ग्राफ़ , कोने के साथ और n \ n 2 किनारों तक।GGGnnn(n2)(n2)n \choose 2 प्रश्न: क्या जी में एक (उचित) kkk चक्र मौजूद है ?GGG पृष्ठभूमि: किसी भी निश्चित kkk , हम 2k2k2k -cycle को O(n2)O(n2)O(n^2) समय में हल कर सकते हैं । …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

चलो सेट को और C (n, k) को दोहराए बिना से तत्वों के सभी -combinations के सेट को निरूपित करें । चलो एक होना में -tuple । हम कहते हैं कि एक क्रमपरिवर्तन सेट का से बचता है यदि पूर्णांक k का कोई tuple नहीं है ऐसा [n][n][n]के [ एन …

15 reference-request  co.combinatorics  permutations 

यह प्रश्न पहले यहां कंप्यूटर साइंस स्टैक एक्सचेंज में पोस्ट किया गया था । कल्पना कीजिए कि आप पूरे देश में क्लाइंट्स के साथ बहुत सफल ट्रैवलिंग सेल्समैन हैं। शिपिंग को गति देने के लिए, आपने डिस्पोजेबल डिलीवरी ड्रोन का एक बेड़ा विकसित किया है, प्रत्येक में 50 किलोमीटर की …

15 ds.algorithms  approximation-algorithms  tsp 

मान लीजिए कि एक यादृच्छिक एल्गोरिदम rrr यादृच्छिक बिट्स का उपयोग करता है । सबसे कम त्रुटि संभाव्यता की उम्मीद कर सकते हैं (0 त्रुटि के साथ एक नियतात्मक एल्गोरिथ्म की कमी) । कौन से यादृच्छिक एल्गोरिदम इस तरह की न्यूनतम त्रुटि संभावना को प्राप्त करते हैं?2−Ω(r)2−Ω(r)2^{-\Omega(r)} कुछ उदाहरण जो …

15 randomized-algorithms