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

लालची एक गैर-औपचारिक शब्द है, लेकिन यह सुनिश्चित हो सकता है (इसलिए, मैं यही पूछ रहा हूं) कि कुछ समस्याओं के लिए, लालच गणितीय रूप से तैयार किया जा सकता है और इस प्रकार यह साबित किया जा सकता है कि कोई इष्टतम लालची एल्गोरिथ्म मौजूद नहीं है। क्या यह …

10 ds.algorithms  greedy-algorithms 

अद्यतन: ऐसा लगता है कि इस समस्या का अध्ययन और हाल ही में हल किया गया है, इस विकी लेख को देखें: http://en.wikipedia.org/wiki/Tree_walking_automaton और यह सर्वेक्षण भी: http://www.mimuw.edu.pl/~~V /papers/twasurvey.pdf मान लीजिए कि शब्दों के सामान्य सेट के बजाय, {0,1} *, हमारे शब्द रैखिक नहीं हैं, बल्कि कुछ पेड़ की संरचना …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

मैं एक स्व-सिखाया पेशेवर प्रोग्रामर हूं। मैं इस पर बहुत अच्छा हूं (रूबी, यूनिक्स, क्लोजर, जावा, ऑब्जेक्टिव-सी), लेकिन अब मैं सीएस में मास्टर्स या पीएचडी प्रोग्राम के लिए आवेदन करके इसे अगले स्तर पर ले जाने की सोच रहा हूं। इस लक्ष्य की तैयारी के लिए मुझे गणित में कौन …

10 soft-question  advice-request  career 

समस्या का विवरण : चलो एक (संभावित गैर नियतात्मक) पुशडाउन automaton हो सकता है और जाने होना अपने इनपुट वर्णमाला। क्या कोई शब्द st कि द्वारा स्वीकार किया जाता है ?MMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM क्या यह समस्या एनपी-पूर्ण है? क्या इसका अध्ययन किया गया है? क्या कोई …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

ग्राफ़ मॉड्यूलर अपघटन का परिचय देते समय , अधिकांश लेखक 11-वर्टेक्स ग्राफ का उपयोग करते हैं, जिसे मैं विकिपीडिया से कॉपी करता हूं। सवाल यह है कि इसका मूल डिजाइनर कौन है (हैं)। (मैं यह नहीं पूछ रहा कि विकिपीडिया के लिए इस ग्राफ को किसने आकर्षित किया, लेकिन इसका …

9 reference-request  graph-theory 

मान लें कि किनारों पर एक यादृच्छिक ग्राफ है । बहुत अधिक संभावना के साथ, में कई चक्र हैं। हमारा लक्ष्य इन चक्रों में से किसी एक को जल्द से जल्द आउटपुट करना है।G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 मान लें कि हमारे पास आसन्न सूची प्रपत्र में पहुंच है , …

9 graph-theory  graph-algorithms  property-testing  random-graphs 

[1] में, गैरे एट अल। पहचानें कि बाद में यूक्लिडियन टीएसपी की एनपी-पूर्णता को काम करने के दौरान स्क्वायर रूट्स समस्या के योग के रूप में क्या जाना जाएगा। पूर्णांक और को देखते हुए , अगर निर्धारित करेंए1,ए2, … ,एnए1,ए2,...,एna_1, a_2, \ldots, a_nएलएलLए1--√+ए2--√+ ⋯ +एn--√< लए1+ए2+⋯+एn<एल\sqrt{a_1} + \sqrt{a_2} + \cdots …

9 reference-request  cg.comp-geom  na.numerical-analysis 

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

9 cc.complexity-theory  ds.algorithms  time-complexity 

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

9 pl.programming-languages  type-theory  algebra 

दो स्टैक को एक निश्चित आकार के सरणी का उपयोग करके कुशलतापूर्वक लागू किया जा सकता है: स्टैक # 1 बाएं छोर से शुरू होता है और दाएं बढ़ता है, और स्टैक # 2 दाएं छोर से शुरू होता है और बाईं ओर बढ़ता है। क्या तीन स्टैक के लिए …

9 ds.data-structures  lower-bounds 

TCS में एक प्रकार के परिणाम होते हैं जिन्हें आमतौर पर बूटस्ट्रैपिंग परिणाम कहा जाता है । सामान्य तौर पर, यह प्रपत्र का है यदि प्रस्ताव धारण करता है, तो प्रस्ताव धारण करता है।एAAए'A′A' जहाँ और ऐसे प्रस्ताव हैं जो समान दिखते हैं, और प्रतीत होता है "कमजोर" तब , …

9 cc.complexity-theory 

Gödel की पहली अपूर्णता प्रमेय का कमजोर रूप, प्रत्यक्ष प्रमाण जिसमें Gödel के तरीके लम्बे, शामिल हैं और किसी जगह पर प्रति-सहज, हॉल्टिंग समस्या की अनिर्वायता के आधार पर एक सरल और सहज प्रमाण है - उदाहरण के लिए देखें https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof किसने पहली बार इस प्रमाण को प्रस्तावित …

9 cc.complexity-theory  lo.logic  halting-problem 

भाषाओं के बीच परिवर्तनों को परिभाषित करने के लिए कई अलग-अलग मॉडल हैं। बेहतर स्टेट ट्रांसड्यूसर और स्ट्रिंग रेखांकन पर एमएसओ-निश्चित ग्राफ परिवर्तन वे दो हैं जिनसे मैं सबसे अच्छी तरह परिचित हूं। हम जानते हैं कि 2-वे परिमित राज्य ट्रांसड्यूसर (जो उनके 1-वे समकक्षों की तुलना में अधिक अभिव्यंजक …

9 fl.formal-languages 

क्या गणितीय विश्लेषण, निरंतर गणित का उपयोग करके औपचारिक भाषाओं की समस्याओं को हल करने पर कुछ परिणाम हैं। उदाहरण के लिए, एक संदर्भ-मुक्त भाषा और एक नियमित भाषा के लिए अंतर-शून्यता समस्या को हल करना।

9 fl.formal-languages  automata-theory  context-free 

रॉबर्टसन-सेमुर प्रमेय का कहना है कि किसी भी लघु-बंद परिवारजीG\mathcal G रेखांकन कई निषिद्ध नाबालिगों द्वारा विशेषता हो सकती है। क्या एक एल्गोरिथ्म है जो एक इनपुट के लिए है जीG\mathcal G निषिद्ध नाबालिगों के लिए आउटपुट या क्या यह अनिर्दिष्ट है? जाहिर है, उत्तर इस बात पर निर्भर हो …

9 graph-theory  decidability  graph-minor