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

अरोड़ा और बराक की पुस्तक निम्नलिखित समस्या के रूप में तथ्य प्रस्तुत करती है: फैक्टरिंग = { ⟨ एल , यू, एन⟩|(, A prime p ∈ { L , … , U} ) [ पी | एन] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ …

45 cc.complexity-theory  np-hardness  factoring 

लेडनर के प्रमेय में कहा गया है कि यदि पी's एनपी है, तो जटिलता वर्गों की एक अनंत पदानुक्रम है जिसमें पी और एनपी में सख्ती से समाहित है। प्रमाण एनपी में कई-एक कटौती के तहत SAT की पूर्णता का उपयोग करता है। पदानुक्रम में एक प्रकार की विकृति द्वारा …

45 cc.complexity-theory  reference-request  np-intermediate 

मान लीजिए कि मेरे पास एक सीधा चक्रीय ग्राफ है, जिसके निचले सिरे पर वास्तविक संख्या के वजन हैं। मैं डीएजी का एक टोपोलॉजिकल ऑर्डर ढूंढना चाहता हूं, जिसमें टॉपोलॉजिकल ऑर्डरिंग के प्रत्येक उपसर्ग के लिए, वेट का योग गैर-ऋणात्मक हो। या यदि आप ऑर्डर-थ्योरैटिक शब्दावली पसंद करते हैं, तो …

45 ds.algorithms  directed-acyclic-graph  partial-order 

एक अलग सूत्र पर , प्रेमिका बाउर ने निरूपित शब्दार्थ को परिभाषित किया है: एक कार्यक्रम का अर्थ इसके भागों के अर्थ का एक कार्य है। क्या मुझे इस परिभाषा के बारे में परेशान करती है कि यह एक बाहर जो सामान्यतः के रूप में के बारे में सोचा है …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

चॉम्स्की (-Schützenberger) पदानुक्रम का उपयोग सैद्धांतिक कंप्यूटर विज्ञान की पाठ्यपुस्तकों में किया जाता है, लेकिन यह स्पष्ट रूप से पूर्ण औपचारिकता चिड़ियाघर आरेख की तुलना में केवल औपचारिक भाषाओं (REG, CFL, CSL, RE) के बहुत छोटे अंश को कवर करता है । क्या वर्तमान शोध में पदानुक्रम अब कोई भूमिका …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

मैं एल्गोरिदम और जटिलता के बारे में अनुमानों की तलाश कर रहा हूं जिन्हें किसी समय में कई लोगों द्वारा विश्वसनीय देखा गया था, लेकिन बाद में बढ़ते प्रमाणों के कारण उन्हें या तो अप्रमाणित किया गया, या कम से कम अविश्वास किया गया। यहाँ दो उदाहरण हैं: रैंडम ओरेकल …

44 cc.complexity-theory  ds.algorithms 

आज रयान विलियम्स ने arXiv (पहले SIGACT News में छपा) पर एक लेख पोस्ट किया था जिसमें उनकी हालिया एसीसी लोअर बाउंड तकनीक का कम तकनीकी संस्करण था । मेरा प्रश्न स्वयं तकनीक के बारे में नहीं है (निश्चित रूप से अपार प्रशंसा के योग्य), लेकिन यह कागज की शैली …

44 soft-question  big-list 

यह ज्ञात है कि मीट्रिक TSP को भीतर अनुमानित किया जा सकता है और इसे बहुपद समय में _ से अधिक अनुमानित नहीं किया जा सकता है । क्या घातीय समय में अनुमानित समाधान खोजने के बारे में कुछ ज्ञात है (उदाहरण के लिए, केवल बहुपद स्थान के साथ कदम …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

प्रश्न: प्रूफ असिस्टेंट में 'रणनीति' कैसे काम करती है? वे यह निर्दिष्ट करने के तरीके प्रतीत होते हैं कि किसी शब्द को एक समतुल्य शब्द ('समतुल्य' की कुछ परिभाषा के लिए) कैसे फिर से लिखना है। संभवतः इसके लिए औपचारिक नियम हैं, मैं कैसे सीख सकता हूं कि वे क्या …

44 lo.logic  type-theory  proof-assistants 

यह मेरी समझ है कि कम्प्यूटिंग का वर्णन करते समय ट्यूरिंग का मॉडल "मानक" बन गया है। मुझे यह जानने में दिलचस्पी है कि यह मामला क्यों है - यही कारण है कि, टीएम मॉडल अन्य सैद्धांतिक रूप से समकक्ष (मेरी जानकारी के लिए) मॉडल की तुलना में अधिक व्यापक …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

मुझे हमेशा इंटिग्रिटी गैप (आईजी) के महत्व को समझने और उस पर सीमाएं लगाने में परेशानी हुई । IG समस्या के विश्राम का एक इष्टतम वास्तविक समाधान (a) का एक इष्टतम पूर्णांक उत्तर (गुणवत्ता) का अनुपात है। एक उदाहरण के रूप में शीर्ष कवर (VC) पर विचार करें। वीसी को …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

अनौपचारिक रूप से कहा जाए तो एक स्ट्रिंग की Kolmogorov जटिलता एक कम से कम कार्यक्रम की लंबाई है कि आउटपुट है । हम इसका उपयोग करते हुए 'यादृच्छिक स्ट्रिंग' की धारणा को परिभाषित कर सकते हैं ( यादृच्छिक है यदि ) यह देखना आसान है कि अधिकांश तार यादृच्छिक …

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory 

यदि आप गतिशील प्रोग्रामिंग का नाम बदल सकते हैं, तो आप इसे क्या कहेंगे?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

क्या लैम्बडा कैलकुलस का उपयोग करके एल्गोरिथ्म की समय जटिलता की गणना करने के लिए कोई लाभ हैं? या इस उद्देश्य के लिए एक और प्रणाली तैयार की गई है? किसी भी संदर्भ की सराहना की जाएगी।

43 lambda-calculus  pl.programming-languages  time-complexity 

में एक और धागा , जो Fitzsimons के बारे में पूछा "3SAT पर सबसे अच्छा वर्तमान कम सीमा।" मैं दूसरे रास्ते पर जाना चाहता हूं: 3SAT पर सबसे अच्छा वर्तमान ऊपरी सीमा क्या है? दूसरे शब्दों में, सबसे कुशल एसएटी सॉल्वर की समय जटिलता क्या है? विशेष रूप से, क्या …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds