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

चूंकि शब्द अतिभारित है, पहले एक संक्षिप्त परिभाषा। एक पॉसेट एक सेट जो आंशिक ऑर्डर साथ संपन्न होता है । दो तत्वों देखते हुए , हम ( ) को में उनकी कम से कम ऊपरी सीमा के रूप में परिभाषित कर सकते हैं , और इसी तरह (मिलना) (join) को …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

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

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

मैं साइमन पेटन जोन्स के कार्यात्मक प्रोग्रामिंग भाषाओं के कार्यान्वयन को पढ़ रहा हूं और एक बयान है जिसने मुझे थोड़ा आश्चर्यचकित किया है (पृष्ठ 39 पर): की तुलना में बहुत अधिक हद तक अनिवार्य भाषाओं के लिए मामला है, कार्यात्मक भाषाएं मोटे तौर पर एक-दूसरे के रूपात्मक रूप से …

17 functional-programming  semantics  imperative-programming 

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

17 reference-request  pl.programming-languages  semantics  formal-systems 

एक ग्राफ पर एक यादृच्छिक चलने को देखते हुए कवर टाइम पहली बार है (कदमों की अपेक्षित संख्या) जो कि प्रत्येक शीर्ष पर चलना द्वारा कवर (कवर) किया गया है। जुड़े हुए अप्रत्यक्ष रेखांकन के लिए, आवरण समय को द्वारा ऊपरी सीमा के रूप में जाना जाता है O(n3)O(n3)O(n^3)। में …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

यह देखना आसान है कि कोई भी समस्या जो नियतात्मक लॉगस्पेस ( ) में निर्णायक है वह बहुपद समय ( पी ) पर चलती है । कई ज्ञात लॉगस्पेस एल्गोरिदम (उदाहरण के लिए: अप्रत्यक्ष सेंट-कनेक्टिविटी, प्लानर ग्राफ आइसोमोर्फिज्म) ओ ( एन के ) में चलते हैं जहां के इन्सान बड़े …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

मैं यह पता लगाना चाहता हूं कि एनपी-पूर्ण समस्या का दूसरा समाधान खोजने की समस्या के एनपी-पूर्णता के बारे में कोई सामान्य परिणाम या उदाहरण हैं। अधिक सटीक रूप से, मुझे निम्नलिखित फ़ॉर्म की किसी भी समस्या में दिलचस्पी है: एक समाधान को देखते हुए एक उदाहरण के लिए मैं …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

एक रेखीय विस्तार LLL एक poset की के तत्वों पर एक रेखीय क्रम है , जैसे कि में का तात्पर्य में सभी के लिए ।पी एक्स ≤ y पी एक्स ≤ y एल एक्स , वाई ∈ पीPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} एक रेखीय विस्तार ग्राफ एक पॉकेट के रैखिक …

17 graph-theory  co.combinatorics 

जहां तक ​​मैं समझता हूं, सभी जानते हैं कि सिम्प्लेक्स एल्गोरिदम के लिए नियतात्मक धुरी नियमों में विशिष्ट इनपुट होते हैं, जिस पर एल्गोरिथ्म को इष्टतम खोजने के लिए घातीय समय (या कम से कम बहुपद नहीं) की आवश्यकता होती है। हमें इन उदाहरणों को 'पैथोलॉजिकल' कहते हैं क्योंकि आमतौर …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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

17 computability 

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

17 sat  lo.logic  csp 

यह सवाल जॉर्जिया टेक एल्गोरिदम और रैंडमनेस सेंटर की टी-शर्ट से प्रेरित है , जो पूछता है कि "रैंडमाइज करें या नहीं?" ऐसे कई उदाहरण हैं जहां यादृच्छिकता मदद करती है, खासकर जब प्रतिकूल वातावरण में काम करते हैं। वहाँ भी कुछ सेटिंग्स हैं जहाँ randomizing मदद या चोट नहीं …

17 randomness  big-picture  randomized-algorithms 

एक वितरण को -fool a function कहा जाता है। यदि । और यह कहा जाता है कि यदि यह उस कक्षा में प्रत्येक फ़ंक्शन को मूर्ख बनाता है, तो यह फ़ंक्शन के एक वर्ग को बेवकूफ बनाने के लिए है। यह ज्ञात है कि -biased रिक्त स्थान उप-वर्ग में समता …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

मुझे इस विषय पर पेयरवाइज़ इंडिपेंडेंस एंड डर्गेनाईज़ेशन पुस्तक मिली , लेकिन यह ट्यूटोरियल ओरिएंटेड की तुलना में अधिक शोध-उन्मुख है। मैं "डर्गेनाईज़ेशन" के विषय में नया हूँ, और इस तरह, मैं जानना चाहता था कि किस संदर्भ से शुरुआत करनी है? मैं साहित्य और इतिहास, साथ ही तकनीकी विवरणों …

17 cc.complexity-theory  derandomization  randomized-algorithms