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

रेयान विलियम्स ने एसीसी पर अपनी निचली बाउंड को पोस्ट किया , उन समस्याओं का वर्ग जो निरंतर फैन-इन और गेट्स के साथ निरंतर गहराई वाले सर्किट हैं और सभी संभावित मी के लिए OR, NOT और MOD_m हैं। MOD_m फाटकों के बारे में क्या खास है? वे किसी भी …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

यह math.stackexchange से एक क्रॉस-पोस्ट है । FACT पूर्णांक फैक्टरिंग समस्या को बताए: दिए गए primes और पूर्णांक जैसे किn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. बता दें कि RSA फैक्टरिंग समस्या के विशेष मामले को निरूपित करता है जहां और प्राइम हैं। यदि ऐसा कोई कारक …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

एक ग्राफ है -choosable (भी रूप में जाना जाता -List-संभाव्य है, हर कार्य के लिए) कि के सेट करने के लिए कोने नक्शे रंग, वहाँ एक रंग असाइनमेंट है ऐसी है कि, के लिए सभी कोने , , और ऐसा है कि सभी किनारों के लिए , ।कश्मीर च कश्मीर …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

ज्यादातर लोग उदाहरण के लिए, ट्यूरिंग कटौती के बजाय एनपी-पूर्णता को परिभाषित करने के लिए कई-एक कटौती का उपयोग क्यों करना पसंद करते हैं?

39 cc.complexity-theory  np-hardness  reductions 

मैं "सही मायने में यादृच्छिक" संख्याओं की पीढ़ी को सुनिश्चित करने के लिए एक निश्चित उत्तर चाह रहा हूं कि ट्यूरिंग कम्प्यूटेबल है। मैं नहीं जानता कि यह कैसे मुहावरा है। StackExchange प्रश्न "रैंडम नंबर जनरेशन के लिए कुशल एल्गोरिदम" मेरे प्रश्न का उत्तर देने के करीब आता है। चार्ल्स …

39 reference-request  computability  turing-machines  randomness 

सिद्धांत में त्रुटि सुधार के अलावा त्रुटि सुधार के आवेदन क्या हैं? मुझे तीन अनुप्रयोगों के बारे में पता है: हार्ड कोर बिट के बारे में गोल्डीच-लेविन प्रमेय , ट्रैविसन के एक्सट्रैक्टर का निर्माण और बूलियन फ़ंक्शन की कठोरता का प्रवर्धन (सूडान-ट्रेविसन-वडन द्वारा)। त्रुटि-सुधार कोड के अन्य 'गंभीर' या 'मनोरंजक' …

39 co.combinatorics  big-list  coding-theory 

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

39 soft-question  advice-request 

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

38 reference-request  big-list  survey  gct 

कभी-कभी यह दावा किया जाता है कि पी बनाम एनपी प्रश्न जैसे जटिलता सिद्धांत के खुले प्रश्नों को निपटाने के लिए केतन मुल्मुले की ज्यामितीय जटिलता सिद्धांत एकमात्र प्रशंसनीय कार्यक्रम है। कार्यक्रम के बारे में प्रसिद्ध जटिलता सिद्धांतकारों से कई सकारात्मक टिप्पणियां आई हैं। मुल्मुले के अनुसार वांछित परिणाम प्राप्त …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

क्या Yijie Han की , रैखिक स्थान, पूर्णांक छँटाई एल्गोरिथ्म से कोई परिचित है? यह परिणाम काफी छोटे कागज में दिखाई देता है ( समय और रैखिक स्थान में निर्धारणात्मक छँटाई । जे। अल्ग। 50: 96–105, 2004) जो मूल रूप से पहले के बहुत सारे परिणामों को एक साथ जोड़कर …

38 ds.algorithms  sorting 

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

38 computability  turing-machines  machine-models  church-turing-thesis 

मुझे अक्सर अपने विभाग द्वारा कंप्यूटर विज्ञान के अधिक गणितीय तत्वों के बारे में अंतिम वर्ष के उच्च विद्यालय के विद्यार्थियों से बातचीत करने के लिए कहा जाता है। मैं TCS से विषयों को लेने की पूरी कोशिश करता हूं जो उनकी रुचि को प्रेरित कर सकते हैं (जिसमें ज्यादातर …

38 soft-question  teaching 

लालच, बेहतर शब्द की कमी के लिए, अच्छा है। परिचयात्मक एल्गोरिदम पाठ्यक्रम में सिखाया गया पहला एल्गोरिथम प्रतिमान लालची दृष्टिकोण है । लालची दृष्टिकोण पी में कई समस्याओं के लिए सरल और सहज ज्ञान युक्त एल्गोरिदम में परिणाम करता है। अधिक दिलचस्प रूप से, कुछ एनपी-कठिन समस्याओं के लिए स्पष्ट …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

फोर कलर थ्योरम (4CT) में कहा गया है कि हर प्लानर का ग्राफ चार रंग का है । [Appel, Haken 1976] और [Robertson, Sanders, Seymour, Thomas 1997] द्वारा दिए गए दो प्रमाण हैं। ये दोनों प्रमाण कंप्यूटर की सहायता से और काफी डराने वाले हैं। ग्राफ सिद्धांत में कई अनुमान …

38 graph-theory  co.combinatorics  big-list  graph-colouring 

Immerman-वर्दी प्रमेय कहा गया है कि PTIME (या पी) ठीक भाषाओं के वर्ग प्रथम क्रम तर्क की सजा द्वारा वर्णित है कि किया जा सकता है एक साथ एक निश्चित बिंदु ऑपरेटर के साथ, आदेश दिया संरचनाओं के वर्ग खत्म हो गया है। फिक्स्ड-पॉइंट ऑपरेटर या तो कम से कम …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory