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

मैंने हाल ही में एक सबूत पढ़ा, जो यह दिखाने के लिए था कि एक समस्या एनपी-हार्ड थी, बस एक एनपी-हार्ड समस्या से इसे (बहुपद समय में) कम करके। इससे मुझे कोई मतलब नहीं था। मैंने सोचा होगा कि आपको यह दिखाना होगा कि कमी में इस्तेमाल की गई कोई …

17 cc.complexity-theory  np-hardness  reductions 

मैं दिया शुरू कर शिखर से एक निर्देशित ग्राफ में सरल रास्तों की संख्या का अनुमान करने के लिए कुछ अच्छे बहुपद समय एल्गोरिदम देखते हैं कि बताया गया है को दिया न खत्म होने वाली शिखर । क्या किसी को इस विषय पर एक अच्छे संदर्भ का पता है?tरोंरोंsटीटीt …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

यह अच्छी तरह से ज्ञात है कि यदि आप n गेंदों को n डिब्बे में फेंकते हैं, तो सबसे अधिक लोड किए गए बिन में O(logn)O(log⁡n)O(\log n) गेंदों की अत्यधिक संभावना है। सामान्य तौर पर, कोई व्यक्ति n बिन में m>nm>nm > n गेंदों के बारे में पूछ सकता है …

17 reference-request  pr.probability 

कोई यह कैसे दिखा सकता है कि "अनोखे खेल अनुमान" और "पीसीपी प्रमेय" के बीच क्या संबंध है? "अनोखा खेल अनुमान" की व्याख्या "PCP प्रमेय" का मजबूत रूप कैसे है?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Hypercomputation अभिकलन के मॉडल को संदर्भित करता है जो ट्यूरिंग मशीनों का उपयोग करके अनुकरण करना संभव नहीं है। (हाइपर कंप्यूटर जरूरी शारीरिक रूप से साकार नहीं हैं!) कुछ हाइपर कंप्यूटर में एक संसाधन तक पहुंच होती है जो मानक ट्यूरिंग मशीनों के हलिंग समस्या को हल करने की अनुमति …

17 computability  hypercomputation 

छेड़ने वाला चूंकि समस्या लंबी है, इसलिए यह एक विशेष मामला है जो इसके सार को पकड़ता है। समस्या: A को 3-SAT के लिए एक हानिकारक एल्गोरिदम माना जाता है। एल्गोरिथ्म ए (समस्या के हर उदाहरण पर) का पूरी तरह से अनुकरण करने की समस्या है। पी-स्पेस हार्ड? (अधिक सटीक …

17 cc.complexity-theory  big-picture  structural-complexity 

ऑटोमेटा सिद्धांत (परिमित ऑटोमेटा, पुशडाउन ऑटोमेटा, ...) और जटिलता में, "अस्पष्टता" की धारणा है। एक ऑटोमेटन अस्पष्ट है यदि कम से कम दो अलग-अलग स्वीकार करने वाले रन के साथ एक शब्द । एक मशीन है -ambiguous हर शब्द के लिए अगर मशीन वहाँ ज्यादा से ज्यादा कर रहे हैं …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

क्या होगा अगर किसी चीज़ को ग्राफ के चौराहे की संख्या (इसके सभी किनारों को कवर करने के लिए आवश्यक छोटी-छोटी संख्या) के कम्प्यूटरीकृत जटिलता के बारे में जाना जाता है ? यह लंबे समय से एन पी-सम्पूर्ण होने के लिए जाना जाता रहा है, और यह स्पष्ट रूप से …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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

17 lo.logic  model-checking  linear-temporal-logic 

एक सपने के कैरियर के बारे में मेरा विचार औद्योगिक अनुसंधान में एक कैरियर है, जहां किसी को उन समस्याओं से निपटना पड़ता है जो चुनौतीपूर्ण हैं, और व्यावहारिक उपयोग भी है। उस अंत तक, TCS में पीएचडी कर रहा है (मैं वितरित / समानांतर एल्गोरिदम, ऑनलाइन एल्गोरिदम जैसे विषयों …

17 soft-question  advice-request  career 

एक निर्देशित चक्रीय ग्राफ, को देखते हुए , क्या निम्न संचालन को कुशलता से समर्थन करना संभव है?G(V,E)G(V,E)G(V,E) : निर्धारित करता है कि वहाँ में एक रास्ता है जी नोड से एक नोड के लिए खisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb :ग्राफ G में a से b तक एक बढ़त जोड़ता हैlink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : बढ़त को …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

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

17 computability  upper-bounds 

जैसा कि सर्वविदित है कि पॉली-साइज़ कंटिन्यू-डेप्थ सर्किट में PARITY नहीं की जा सकती है, और वास्तव में const-dept सर्किटों को EXP नंबर की आवश्यकता होती है। क्वांटम सर्किट के बारे में क्या? a) क्या क्वांटम सर्किट के साथ PARIT किया जा सकता है जिसमें निरंतर गहराई और गेट की …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

इस महीने के फिशर के पेपर ने मुझे याद दिलाया कि मैं सक्सेस डेटा संरचनाओं की कला के बारे में कितना कम जानता हूं और उनका उपयोग करने के लिए एल्गोरिदम। उन लोगों के लिए जो आत्मघाती डेटा संरचनाओं के बारे में नहीं जानते हैं: एक (एन) अलग विन्यास, और …

17 ds.data-structures  lower-bounds 

मैं " कार्यात्मक एल्गोरिथ्म डिजाइन के मोती ", और बाद में " प्रोग्रामिंग के बीजगणित " को पढ़ने की कोशिश कर रहा हूं , और एक ही पुनरावर्ती परिभाषा वाले और बाद में अग्रणी डेटा प्रकारों और दहनशील वस्तुओं के बीच एक स्पष्ट पत्राचार है। समान औपचारिक बिजली श्रृंखला (या …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory