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

Cstheory पर सवाल " क्या एनपी रैखिक आकार के गवाहों के लिए प्रतिबंधित है? " वर्ग एनपी रैखिक आकार O(n)O(n)O(n) गवाहों के लिए प्रतिबंधित के बारे में पूछता है , लेकिन देखते हैं प्राकृतिक एन पी-सम्पूर्ण समस्याओं जिसमें (हाँ) आकार के उदाहरण nnn से आकार अधिक से अधिक के गवाह …

28 cc.complexity-theory  np  proof-complexity 

मैं सोच रहा था कि क्या कोई `` बेहतर ’है (मैं किस अर्थ में समझाऊंगा) एल्गोरिथ्म डीएफए से शुरू होता है और एक नियमित अभिव्यक्ति आर का निर्माण करता है जैसे कि एल ( ए ) = एल ( आर ) , एक की तुलना में। होपक्रॉफ्ट और उलमैन (1979) …

28 fl.formal-languages  automata-theory  regular-expressions 

कोलमोगोरोव उपसर्ग जटिलता (यानी न्यूनतम आत्म-परिसीमन कार्यक्रम का आकार है जो x को आउटपुट करता है ) में कई अच्छी विशेषताएं हैं:कश्मीर( x )K(x)K(x)एक्सxx यह पेटेंट के साथ तार देने के अंतर्ज्ञान से मेल खाती है या बिना स्ट्रिंग्स की तुलना में कम जटिलता की संरचना करता है। यह हमारे …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

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

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

अपने जीवन के अधिकांश भाग के लिए एक सॉफ्टवेयर इंजीनियर होने के नाते मुझे इस बात का कोई पता नहीं है कि "अकादमिक" तरह के पेपर को प्रकाशित करने की शुरुआत कैसे की जाए। अपने नवीनतम शोध के दौरान मैंने जो कार्य हल किया है उसके लिए एक दिलचस्प एल्गोरिदम …

28 soft-question  research-practice  paper-review 

स्कॉट आरोनसन के ब्लॉग पोस्ट ने आज जटिलता में दिलचस्प खुली समस्याओं / कार्यों की एक सूची दी। विशेष रूप से मेरा ध्यान आकर्षित किया: 3SAT उदाहरणों की एक सार्वजनिक लाइब्रेरी बनाएं, जिसमें कुछ चर और खंड यथासंभव संभव हैं, जिनके हल किए जाने के उल्लेखनीय परिणाम होंगे। (उदाहरण के …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

एक पूर्णांक nnn और वर्णमाला । परिभाषित करें पर सभी परिमित राज्य ऑटोमेटा का संग्रह होने की राज्य 1. हम विचार कर रहे हैं शुरू करने के साथ राज्यों सभी DFAs (बस जुड़ा हुआ नहीं, कम से कम, या गैर पतित वाले); इस प्रकार, ।Σ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| डी एफ ए ( एन …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

चलो एक डिग्री हो में बहुपद से अधिक चर , जहां निरंतर (कहते हैं कि 2 या 3) है। मैं के लिए छोटी से छोटी सूत्र खोजने के लिए चाहते हैं , जहां "सूत्र" और "सूत्र आकार" स्पष्ट तरीके से परिभाषित कर रहे हैं (उदाहरण के लिए। बहुपद के लिए …

28 cc.complexity-theory  formulas 

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

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

मैं बड़े काउंटेबल ऑर्डिनल्स के लिए "नेचुरल तरीके" से नोटिफिकेशन बनाना चाहता हूँ। "प्राकृतिक तरीके से" मेरा मतलब है कि एक आगमनात्मक डेटा प्रकार एक्स दिया गया है, कि समानता सामान्य पुनरावर्ती समानता होनी चाहिए (जो कि deriving Eqहास्केल में उत्पन्न होगी) और आदेश सामान्य पुनरावर्ती लेक्सिकोग्राफिक क्रम होना चाहिए …

28 lo.logic  type-theory  proof-theory 

एसीएम, आईईईई कंप्यूटर सोसाइटी, गूगल स्कॉलर के अलावा अन्य जो कंप्यूटर विज्ञान से संबंधित लेखों के लिए बाइबेट एंट्री पाने के लिए सबसे अच्छी साइट है?

28 soft-question  research-practice  paper-review  bibliography 

क्या यह विभिन्न उदाहरणों के बीच पाली-समय में कटौती के रूप में सभी एनपी-पूर्ण समस्याओं की एक श्रेणी पर विचार करने के लिए समझ में आता है? क्या किसी ने कभी इस बारे में एक पेपर प्रकाशित किया है, और यदि हां, तो मुझे यह कहां मिल सकता है?

28 cc.complexity-theory  np-hardness  ct.category-theory 

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

28 soft-question  advice-request 

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

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

नोट: यह मानक 9x9 सुडोकू पहेली के बारे में है। समाधान को केवल हल की गई, कानूनी पहेलियों का समर्थन करना है । तो एक समाधान के लिए खाली कोशिकाओं का समर्थन करने की जरूरत नहीं है और एक हल सुडोकू पहेली के गुणों पर भरोसा कर सकते हैं। मैं …

28 co.combinatorics  puzzles