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

Let एक निरंतर हो। हम कैसे जानबूझकर एक pseudorandom जनरेटर का निर्माण कर सकते हैं जो -state परिमित ऑटोमेटा को मूर्ख बनाता है?dघddघdd यहाँ, एक -स्टेट परिमित ऑटोमेटा में नोड्स, एक स्टार्ट नोड, स्वीकृत राज्यों का प्रतिनिधित्व करने वाले नोड्स का एक सेट है, और प्रत्येक नोड से निकलने वाले …

12 automata-theory  pseudorandomness  pseudorandom-generators 

क्या एनपी पूर्ण (या यहां तक ​​कि एनपी-हार्ड, या एनपी) समस्याएं हैं जिनका अध्ययन करने के लिए अच्छे सामयिक गुण हैं। क्या एनपी की समस्याओं में गाँठ का सिद्धांत है? हम जोन्स बहुपद के बारे में # परिणामों के बारे में जानते हैं । ग्राफ़ की समस्याएं (एम्बेडिंग?), विशेष रूप …

12 ct.category-theory  np 

चलो संवेदनशीलता के साथ एक बूलियन समारोह हो और ब्लॉक संवेदनशीलता ।s ( f ) b s ( f )चचfs ( च)रों(च)s(f)b s ( f)खरों(च)bs(f) संवेदनशीलता-ब्लॉक संवेदनशीलता अनुमान अनुमान बताता है कि एक ऐसा है कि ।∀ च , ख रों ( च ) ≤ रों ( च ) गग …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

मैं काफी निश्चित हूं कि मैं इस विचार का मनोरंजन करने वाला पहला व्यक्ति नहीं हूं जो मैं पेश करने जा रहा हूं। हालाँकि, यह उपयोगी होगा यदि मुझे विचार से संबंधित कोई साहित्य मिल सकता है। संपत्ति के साथ एक ट्यूरिंग मशीन एम का निर्माण करने के लिए विचार …

12 reference-request  turing-machines  p-vs-np 

तो हम सभी जानते हैं तुलना-पेड़ के लिए बाध्य निचले (निर्धारक) तुलना छँटाई एल्गोरिथ्म द्वारा की गई तुलनाओं की सबसे खराब स्थिति पर। यह यादृच्छिक तुलनात्मक छँटाई पर लागू नहीं होता है (यदि हम सबसे खराब स्थिति इनपुट के लिए अपेक्षित तुलना को मापते हैं)। उदाहरण के लिए, n = …

12 ds.algorithms  reference-request  sorting 

चलो का कहना है कि एक ग्राफ परिवार है लंबे रास्तों प्रेरित अगर वहाँ एक निरंतर ε > 0 ऐसी है कि हर ग्राफ जी में एफ पर एक प्रेरित पथ है | वी ( जी ) | ϵ कोने। मुझे ग्राफ परिवारों के गुणों में दिलचस्पी है जो लंबे …

12 graph-theory  expanders 

इनपुट एक ब्रह्मांड है और के सबसेट के एक परिवार के , कहते हैं, । हम मानते हैं कि में सबसेट , यानी, को कवर कर सकते हैं ।यू यू यू ⋃ ई ∈ एफ ई = यूUUUUएफ ⊆ 2 यू F⊆2U{\cal F} \subseteq 2^UएफF{\cal F}UU⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U एक वृद्धिशील …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

PSPACE पर विकिपीडिया पेज में उल्लेख किया गया है कि शामिल किए जाने वाले को सख्त नहीं जाना जाता है (दुर्भाग्य से संदर्भ के बिना)।NL⊂PHNL⊂PHNL\subset PH Q1: और L \ subset P ^ {\ # P} के बारे में क्या - ये सख्त होने के लिए जाने जाते हैं?L⊂PHL⊂PHL\subset PHL⊂P# …

12 cc.complexity-theory  complexity-classes  logspace 

Cstheory पर इस प्रश्न का उत्तर देते समय , मैंने (अनौपचारिक रूप से) निम्नलिखित प्रमेय को उड़ाने पर साबित किया: प्रमेय : किसी भी तय लिए Hamiltonian चक्र probem एन पी-सम्पूर्ण रहता है, भले ही अधिकतम डिग्री 3 की द्विपक्षीय अनिर्दिष्ट रेखांकन कि लंबाई के चक्र शामिल नहीं है Planar …

12 reference-request  np-hardness 

मैंने एक निश्चित कॉम्बीनेटरियल गेम एनपी-कम्प्लीट साबित करने पर एक छोटा (5 पेज) पेपर पूरा किया है। यह किसी भी तरह से भारी महत्व का परिणाम नहीं है, फिर भी यह एक ऐसा है जिसे मैं मानता हूं कि यह युवा है। इस तरह के पेपर के लिए क्या वेन्यू …

12 journals 

कैसे दिखाता है कि 2-CNF (2-SAT) में एक निश्चित संपत्ति व्यक्त नहीं की जा सकती है? क्या कोई खेल हैं, जैसे कंकड़ खेल? ऐसा लगता है कि शास्त्रीय काले कंकड़ वाले खेल और काले-सफेद कंकड़ वाले खेल इसके लिए अनुपयुक्त हैं (हर्टेल और पटासी, कम्प्यूटिंग, 2010 के एसआईएएम जे के …

12 sat  lower-bounds  combinatorial-game-theory 

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

12 board-games 

क्या यह संभव है कि ? क्या इस तरह के नियंत्रण के दिलचस्प परिणाम हैं? क्या यह घातीय समय की परिकल्पना के विपरीत होगा?एसए टी¯¯¯¯¯¯¯¯¯¯∈ एनटीमैंमइ( ऍक्स्प( एन0.9) )एसएटी¯∈एनटीमैंमइ(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

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

12 sorting 

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

12 computability  decidability  undecidability  unary-languages