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

इम्पेग्लियाज़ो, पटुरी और कैलाब्रो, इम्पाग्लियाज़ो , पटुरी ने एक्सपोनेंशियल-टाइम हाइपोथीसिस (ETH) और स्ट्रॉन्गली एक्सपोनेंशियल-टाइम हाइपोथिसिस (SETH) की शुरुआत की। मोटे तौर पर, SETH का कहना है कि कोई भी एल्गोरिथ्म नहीं है जो समय में SAT को हल करता है । 1.99n1.99n1.99^n मैं सोच रहा था कि SETH को तोड़ने …

11 cc.complexity-theory  sat  exp-time-algorithms 

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

11 cc.complexity-theory  approximation-hardness 

"दूसरा " समस्या समस्या के उदाहरण के लिए दिए गए कुछ समाधान से अलग दूसरे समाधान के अस्तित्व को तय करने की समस्या है।एक्सXX कुछ अपूर्ण समस्याओं के लिए, दूसरा समाधान संस्करण N P -complete (आंशिक लैटिन वर्ग पूर्णता समस्या के लिए किसी अन्य समाधान के अस्तित्व का निर्णय लेना) …

11 cc.complexity-theory  unique-solution 

यूपी वर्ग को इस प्रकार परिभाषित किया गया है: निर्णय समस्याओं का वर्ग एक एनपी मशीन द्वारा हल करने योग्य है जैसे कि यदि उत्तर 'हाँ' है, तो ठीक एक गणना पथ स्वीकार करता है। यदि उत्तर 'नहीं' है, तो सभी गणना पथ अस्वीकार कर देते हैं। मैं इस परिभाषा …

11 cc.complexity-theory  complexity-classes 

मैं 1997 में इम्पेग्लियाज़ो और विगडरसन के प्रसिद्ध पेपर को पढ़ रहा हूं । चूंकि मैं इस क्षेत्र में नया हूं और पेपर एक संक्षिप्त सम्मेलन संस्करण है, इसलिए मुझे उनके प्रमाणों का पालन करने में कठिनाई होती है। विशेष रूप से, उनके कुछ नए प्रमेयों में प्रमाणों की कमी …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

"पथरी" की एकमात्र परिभाषा मुझे पता है कि विश्लेषण में सीमा, डेरिवेटिव, अभिन्न आदि का अध्ययन है। किस अर्थ में लैम्ब्डा कैलकुलस (या म्यू कैलकुलस जैसी चीजें) एक "कैलकुलस" है? यह विश्लेषण में पथरी से कैसे संबंधित है?

11 terminology  lambda-calculus 

चलो x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) बूलियन चर का एक वेक्टर हो। आज्ञा देना C,DC,DC,D दो बूलियन सर्किट पर xxx। कहो कि CCC , समान है DDDयदि: Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D एक छोटी राशि द्वारा ग्राफ एडिट डिस्टेंस में अंतर करते हैं (उनकी एडिट दूरी सर्किट के आकार से बहुत छोटी है, कहते हैं, …

11 sat  application-of-theory 

मुझे ग्राफ आइसोमॉर्फिज़्म (जीआई) पूर्ण समस्याओं का अध्ययन करने में दिलचस्पी है। केलॉग एस। बूथ (1979) द्वारा पेपर "प्रॉब्लम्स पोलीनोमिअली इक्विप्लेंट टू ग्राफ आइसोमॉर्फिज्म" में यह साबित कर दिया कि एज रिप्लेसमेंट तकनीक, कंपोजिशन तकनीक आदि के इस्तेमाल से कई बुनियादी समस्याएं जीआई पूरी होती हैं। मैं कुछ और तकनीकों …

11 cc.complexity-theory  reference-request  graph-isomorphism 

मैं एल्गोरिदम में उन्नत विषयों पर संसाधनों (अधिमानतः एक पुस्तिका) की तलाश कर रहा हूं (सीएलआरएस और डीपीवी जैसी एल्गोरिदम पाठ्यपुस्तकों में जो विषय शामिल हैं)। जिस प्रकार की सामग्री का उपयोग एल्गोरिदम पाठ्यक्रम में एरिक डेमिने और डेविड कार्गर के उन्नत एल्गोरिदम पाठ्यक्रम में किसी विषय को पढ़ाने के …

11 ds.algorithms  reference-request  survey  books 

एक बहुपद स्थानीय खोज समस्या के लिए , हम जानते हैं कि कम से कम एक समाधान (स्थानीय इष्टतम) मौजूद होना चाहिए। हालांकि, कई और समाधान मौजूद हो सकते हैं, पीएलएस-पूर्ण समस्या के समाधान की संख्या को गिनना कितना कठिन है? मुझे निर्णय समस्या में विशेष रूप से दिलचस्पी है: …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

वन-वे अल्टरनेटिव पुशडाउन ऑटोमेटा (1APDA) (चंद्रा, कोजेन और स्टॉकमेयेर, 1981 द्वारा वैकल्पिक में किसी भी भाषा को पहचान सकते हैं । एक काउंटर के साथ 1APDA के एक पुशडाउन स्टोरेज को बदलकर, हम एक-काउंटर (1ACA) के साथ एक-तरफा वैकल्पिक ऑटोमेटन प्राप्त कर सकते हैं। मेरा सवाल 1 भाषाओं पर लगभग …

11 automata-theory  counter-automata  unary-languages 

मैं निम्नलिखित दावों को सच समझता हूं: किसी दिए गए CFG में एक स्ट्रिंग के दो अलग-अलग व्युत्पन्न कभी-कभी स्ट्रिंग के लिए एक ही पार्स ट्री को विशेषता दे सकते हैं। जब किसी दिए गए CFG में कुछ स्ट्रिंग के व्युत्पन्न होते हैं जो अलग-अलग पार्स पेड़ों को विशेषता देते …

11 fl.formal-languages  regular-language  context-free 

मान लें कि हमें एक सरणी जिसमें पूर्णांक होते हैं (आवश्यक रूप से अलग नहीं)।A [ 1 .. n ]A[1..n]A[1..n] चलो होना nonincreasing क्रम में सॉर्ट। हम गणना करना चाहते हैं ए एम = अधिकतम मैं ∈ [ एन ] बी [ मैं ] + मैं ।बीBBएAAm = अधिकतममैं ∈ …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

शॉन एंडरसन प्रकाशित बिट हैक्स twiddling एरिक कोल एल्गोरिथ्म युक्त खोजने के लिए एक के -बिट पूर्णांक में गुणा और साथ देखने आपरेशनों।⌈ लॉग2v ⌉⌈लॉग2⁡v⌉\lceil\log_2 v \rceilएनएनNvvvओ ( lg)( एन) )हे(एलजी⁡(एन))O(\lg(N)) एल्गोरिथ्म डी ब्रूजन अनुक्रम से एक "जादू" संख्या पर निर्भर करता है। क्या कोई यहां इस्तेमाल किए गए अनुक्रम …

11 nt.number-theory  comp-number-theory 

मुझे AHSP एल्गोरिदम के अंतिम चरणों को समझने में कठिनाई हुई है। चलो GGG हो एक अबेलियन समूह और fff समारोह जो उपसमूह छुपाता हो HHH । चलो G∗G∗G^* के दोहरे समूह का प्रतिनिधित्व GGG । यहां एल्गोरिदम के चरण दिए गए हैं पहले राज्य तैयार करें, I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} …

11 ds.algorithms  quantum-computing  gr.group-theory