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

क्या कोई गैर-विशेषज्ञों द्वारा मुल्मुले के जीसीटी दृष्टिकोण को समझने का संक्षिप्त विवरण प्रदान कर सकता है? एक स्पष्टीकरण जो इस विषय पर विकिपीडिया पृष्ठ के लिए उपयुक्त होगा (जो इस समय स्टब है)। प्रेरणा: मैं स्कॉट एरोनसन की पुस्तक "क्वांटम कम्प्यूटिंग" का सह-पाठ कर रहा हूं क्योंकि डेमोक्रिटस मेरे …

43 cc.complexity-theory  gct 

सैट सॉल्वरों की व्यावहारिक सफलता के लिए क्या सैद्धांतिक स्पष्टीकरण हैं, और क्या कोई "विकिपीडिया-शैली" का अवलोकन और स्पष्टीकरण उन सभी को एक साथ बांध सकता है? सादृश्य द्वारा, सिम्प्लेक्स एल्गोरिथ्म के लिए स्मूदड एनालिसिस ( आरएक्सआईवी संस्करण )) यह बताने के लिए एक महान काम करता है कि यह …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

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

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

इस सवाल से प्रेरित होकर और विशेष रूप से या उत्तर के अंतिम पैराग्राफ में, मेरे पास निम्नलिखित प्रश्न हैं: क्या आपको टीसीएस में सममित समूह के प्रतिनिधित्व सिद्धांत के किसी भी आवेदन के बारे में पता है? सममित समूह समूह संचालन रचना के साथ { 1 , … , …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

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

42 soft-question  quantum-computing  statistical-physics  physics 

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

42 cc.complexity-theory  reference-request  big-list  survey 

वास्तविक कंप्यूटर में सीमित मेमोरी और केवल एक सीमित संख्या में राज्य होते हैं। इसलिए वे अनिवार्य रूप से परिमित ऑटोमेटा हैं। कंप्यूटर का अध्ययन करने के लिए सैद्धांतिक कंप्यूटर वैज्ञानिक ट्यूरिंग मशीन (और अन्य समकक्ष मॉडल) का उपयोग क्यों करते हैं? असली कंप्यूटर के संबंध में इन मजबूत मॉडलों …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

मैं थ्योरी में स्नातक द्वितीय वर्ष का छात्र हूं। मैं पिछले साल (ग्राफ सिद्धांत / एल्गोरिदम में) एक समस्या पर काम कर रहा हूं। कल तक मुझे लगता था कि मैं अच्छा कर रहा हूं (मैं एक पेपर से एक प्रमेय का विस्तार कर रहा था)। आज मुझे एहसास हुआ …

41 soft-question  research-practice 

क्या किसी को सैद्धांतिक कंप्यूटर विज्ञान के लिए गॉर्नर बेस के दिलचस्प अनुप्रयोगों के बारे में पता है ? Gröbner ठिकानों का उपयोग बहु-चर बहुपद समीकरणों को हल करने के लिए किया जाता है, सामान्य रूप से एक एनपी-कठिन समस्या। मैं सोच रहा था कि क्या TCS या TCS- संबंधित …

41 cc.complexity-theory  reference-request  algebra  polynomials 

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

41 ds.algorithms  reference-request  soft-question  machine-models 

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

41 big-picture  dc.distributed-comp 

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

41 big-list  soft-question  proofs 

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

40 soft-question  career 

कई वर्षों की कक्षाओं के बावजूद, मैं अभी भी एक नुकसान में हूँ जब यह एक शोध विषय चुनने की बात आती है। मैं विभिन्न क्षेत्रों के कागजात देख रहा हूं और प्रोफेसरों के साथ बात कर रहा हूं, और मुझे लगता है कि यह गलत तरीका है। मैंने पढ़ा …

40 soft-question  research-practice  advice-request  career 

ग्राफ़ समाकृतिकता समस्या (जीआई) यकीनन एक के लिए सबसे अच्छा ज्ञात उम्मीदवार है एनपी मध्यवर्ती समस्या। सर्वश्रेष्ठ ज्ञात एल्गोरिथ्म रन-टाइम साथ उप-घातांक एल्गोरिथ्म है । यह ज्ञात है कि जीआई नहीं है-जब तक बहुपद पदानुक्रम ढह नहीं जाता।एनपी2ओ ( एन लॉगn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} ग्राफ आइसोमॉर्फिज्म समस्या के लिए अर्ध-बहुपद समय …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism