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

मैंने अभी - अभी अपने स्नातक एल्गोरिदम वर्ग में कारगर-स्टीन यादृच्छिक मिनकट एल्गोरिथम सिखाया । यह एक वास्तविक एल्गोरिथम मणि है , इसलिए मैं इसे नहीं सिखा सकता, लेकिन यह हमेशा मुझे निराश छोड़ देता है, क्योंकि मुझे मुख्य तकनीक के किसी भी अन्य अनुप्रयोगों का पता नहीं है। (इसलिए …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

तो एक अनिर्दिष्ट है घ नियमित ग्राफ और एस प्रमुखता के कोने के एक सबसेट है ≤ | वी | / 2 , फोन किनारे विस्तार के एस मात्राG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} जहाँ A में एक समापन बिंदु और B में एक समापन बिंदु के साथ …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

मैं जानना चाहता हूं कि क्या गैर-एकरूपता व्यवहार में कंप्यूटिंग कार्यों में मदद करती है। यह दिखाने के लिए वहाँ में कार्य कर रहे हैं कि आसान है , किसी भी uncomputable समारोह ले और भाषा पर विचार { }, जो स्पष्ट रूप सरल असमान सर्किट है , लेकिन समान …

27 cc.complexity-theory  uniformity 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

ब्लैक-बॉक्स मॉडल में, इनपुट x पर BPP मशीन के आउटपुट को निर्धारित करने की समस्या Additive त्रुटि 1/3 (कहना) के साथ E r M ( x , r ) निर्धारित करने की अनुमानित गणना समस्या है। ।M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) क्या बीक्यूपी के लिए भी ऐसी ही समस्या है? केन रेगन की …

27 cc.complexity-theory  quantum-computing  black-box 

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

27 lo.logic  computability  turing-machines 

पैरिटी-एल एक गैर-नियतात्मक ट्यूरिंग मशीन द्वारा मान्यता प्राप्त भाषाओं का एक सेट है जो केवल "स्वीकृति" पथों की एक समान संख्या या विषम संख्या के बीच अंतर कर सकता है (बजाय एक शून्य या गैर-शून्य स्वीकृति पथों के), और जो है आगे लघुगणक अंतरिक्ष में काम करने के लिए प्रतिबंधित …

27 cc.complexity-theory  complexity-classes  conditional-results 

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

27 reference-request  big-list  sat  proof-complexity  lo.logic 

यह आमतौर पर संभावना नहीं माना जाता है कि क्वांटम कंप्यूटर एनपी-पूर्ण समस्याओं को कुशलतापूर्वक हल करने में सक्षम होंगे। शास्त्रीय मामले में ऐसी समस्याओं से निपटने के लिए एक दृष्टिकोण सन्निकटन एल्गोरिदम का उपयोग करना है। क्या क्वांटम कंप्यूटिंग का उपयोग करते हुए सन्निकटन एल्गोरिदम पर कोई शोध किया …

27 quantum-computing  approximation-algorithms 

कुछ एनपी कठिन समस्याओं जो सामान्य रेखांकन पर घातीय हैं प्लानर रेखांकन पर subexponential रहे हैं, क्योंकि treewidth अधिक से अधिक है और वे treewidth में घातीय हैं।4.9 | वी( जी ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} मूल रूप से मुझे दिलचस्पी है अगर PLANAR SAT के लिए उपसंचाई एल्गोरिदम हैं जो NP-complete …

26 graph-theory  sat  reductions 

विकिपीडिया पर बुद्धिमान अन्य संपादकों ने राबिन-कार्प एल्गोरिथ्म पर विकिपीडिया लेख को स्थानांतरित करने के मेरे अनुरोध को अस्वीकार कर दिया है, मुझे लगता है कि इसे क्या कहा जाना चाहिए, कार्प-राबिन एल्गोरिथ्म, इस आधार पर कि राबिन-कार्प नाम का उपयोग अधिक बार किया जाता है (एड असत्य, यदि कोई …

26 ho.history-overview  string-matching 

मैं महत्वपूर्ण 3-संतुष्टि (3-सैट) घनत्व में रुचि रखता हूं । यह अनुमान लगाया है कि इस तरह है α मौजूद है: अनियमित रूप से उत्पन्न 3-सैट खंड की संख्या है अगर ( α + ε ) n या अधिक, वे लगभग निश्चित रूप से unsatisfiable हैं। (यहाँ ε किसी भी …

26 pr.probability  random-k-sat 

मैंने सैद्धांतिक कंप्यूटर विज्ञान में कुछ वरिष्ठ शोधकर्ताओं से सुना है कि एक गैर-शोध उद्योग की नौकरी में काम करना, यहां तक ​​कि कुछ वर्षों के लिए, TCS शोधकर्ता के रूप में आपके कैरियर को मार देगा। हालाँकि मुझे इस दावे पर संदेह है कि TCS शोधकर्ता बनने से लेकर …

26 soft-question  advice-request  career 

हम एक नियमित पेड़ की भाषा को पुस्तक TATA में परिभाषित करते हैं : यह एक गैर-नियतात्मक परिमित ट्री ऑटोमेटन (अध्याय 1) द्वारा स्वीकृत पेड़ों का सेट है या, समकक्ष, एक नियमित पेड़ व्याकरण द्वारा उत्पन्न पेड़ों का सेट (अध्याय 2)। दोनों औपचारिकताएं प्रसिद्ध स्ट्रिंग एनालॉग्स के समान समानताएं रखती …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

ऐसा लगता है कि जॉर्ज गॉंटियर और उनके सहयोगियों ने ऑड ऑर्डर प्रमेय को औपचारिक रूप दिया है । फोर कलर थ्योरम पर अपने पहले के काम में, गॉंटियर ने नए एल्गोरिदम (ज्यादातर BDDs और ग्राफ एल्गोरिदम के वेरिएंट) का एक गुच्छा का आविष्कार किया था जो विशेष रूप से …

26 lo.logic  proof-assistants