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

समरूपता समूह को देखते हुए एसnएसnS_n और दो उपसमूहों जी , एच≤ एसnजी,एच≤एसnG, H\leq S_n , और , करता है पकड़? जी π ∩ एच = ∅π∈ एसnπ∈एसn\pi\in S_nजी π∩ ज=∅Gπ∩H=∅G\pi\cap H=\emptyset जहाँ तक मुझे पता है, समस्या को कॉसेट चौराहे की समस्या के रूप में जाना जाता है। मैं …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

ब्लम का निचला बाउंड एक ज्ञात फ़ंक्शन के लिए पूर्ण आधार पर सबसे अच्छा ज्ञात सर्किट लोअर बाउंड है , cf. संबंधित परिणामों के लिए इस सवाल का जुकना जवाब ।f : { 0 , 1 } n → { 0 , 1 }3n−o(n)3n-ओ(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} सबसे अच्छा …

17 circuit-complexity  lower-bounds 

जोश ग्रूचो के सुझाव के बाद, मैं अपनी टिप्पणी को पिछले प्रश्न से एक नए प्रश्न में परिवर्तित कर रहा हूं । हमारे पास लिए क्या साक्ष्य हैं ?यू पी ≠ एन पीUP≠NP\mathsf{UP} \neq \mathsf{NP} यहाँ यू पीUP\mathsf{UP} बहुपाषाण काल ​​के गैर-नियतात्मक ट्यूरिंग मशीनों द्वारा पहचानी जाने वाली भाषाओं की …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

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

17 cc.complexity-theory  graph-theory 

इल्या डीरन, एरिक डी। डेमन, मिहाई पतरास्कु द्वारा पेपर "सबकुड्रैटिक एल्गोरिदम 3SUM" के लिए, निम्नलिखित जटिलताएं हैं 3SUM समस्या: एक सूची दी LLL के पूर्णांकों अगर देखते हैं ऐसी है किएक्स , वाई , जेड ∈ एल एक्स + y = z ।nnnx,y,z∈Lx,y,z∈Lx,y,z \in Lx+y=z.x+y=z.x+y=z. वे कहते हैं, " बिट …

17 cc.complexity-theory  ds.algorithms 

मैं वर्तमान में एक हाई स्कूल का छात्र हूं, सैद्धांतिक कंप्यूटर विज्ञान और अनुप्रयुक्त गणित में रुचि रखता हूं। मैंने स्वयं को रैखिक बीजगणित और कलन और ठोस गणित सिखाया है। मेरी एक भोली धारणा है कि बेहतर एल्गोरिदम लिखने के लिए, किसी को भी उतना ही गणित जानना चाहिए …

17 big-picture 

मान लीजिए मैं बीपीपी के निम्नलिखित प्रकार पर विचार करता हूं, जिसे हम ई (एक्सएक्ट) बीपीपी कहते हैं: ईबीपीपी में एक भाषा होती है यदि कोई बहुपद समय यादृच्छिक रूप से टीजी है जो भाषा के प्रत्येक शब्द को बिल्कुल 3/4 प्रायिकता के साथ स्वीकार करता है और हर शब्द …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

मैं ग्राफ समतावाद समस्या पर कुछ साहित्य समीक्षा कर रहा हूं। ज्यादातर कागज जो मैं पढ़ रहा हूं, वह ईएम लुक्स और लेज़्लो बाबई द्वारा लिखे गए हैं। ये पेपर समूह सिद्धांत और जटिलता सिद्धांत के उच्च स्तर के ज्ञान का उपयोग करते हैं। जैसा कि मैं इस क्षेत्र में …

17 cc.complexity-theory  graph-isomorphism 

साहित्य में निम्नलिखित ग्राफ वर्ग को जाना जाता है? रेखांकन के वर्ग धनात्मक पूर्णांक द्वारा parameterized है और टी और प्रत्येक ग्राफ में शामिल है जी = ( वी , ई ) ऐसी है कि प्रत्येक शिखर के लिए वी ∈ वी , के subgraph जी ज्यादा से ज्यादा दूरी …

17 reference-request  graph-theory  treewidth 

पर विचार करें निम्नलिखित समस्या QQQ : हम एक पूर्णांक दिया जाता है , और कश्मीर के अंतराल [ एल मैं , r मैं ] के साथ 1 ≤ एल मैं ≤ r मैं ≤ 2 n । हम यह भी दिया जाता है 2 n पूर्णांक d 1 , …

17 cc.complexity-theory  np-hardness 

एक बात जो क्वांटम कंप्यूटर कर सकते हैं (संभवतः सिर्फ BPP + लॉग-डेप्थ क्वांटम सर्किट के साथ भी) पी में एक बूलियन प्रचलित फ़ंक्शन के फूरियर रूपांतरण को अनुमानित-नमूना करना है।± १±1\pm 1 यहाँ और जब मैं नमूना फूरियर को बदलने मैं के अनुसार एक्स चुनने मतलब के बारे में …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

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

17 lo.logic  type-theory  ct.category-theory 

जब प्रिंट में जटिलता सिद्धांत की प्रासंगिकता के अर्थशास्त्रियों को समझाने की कोशिश की जाती है, तो क्या यह हवाला देने के लिए एक मानक संदर्भ है? मैं नोआम निसान के ब्लॉग पोस्ट , टिम रफगार्डन के सर्वेक्षण और स्कॉट आरोनसन के निबंध के अध्याय 11 से परिचित हूं । …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

हाल ही में, मैंने एज कलरिंग के निम्न प्रकार का सामना किया है। एक जुड़े हुए अप्रत्यक्ष ग्राफ को देखते हुए, किनारों की एक रंगाई का पता लगाएं, जो अधिकतम संख्या में रंगों का उपयोग करता है, जबकि बाधा को भी संतुष्ट करता है कि, प्रत्येक वर्टेक्स , किनारों की …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

मैं कुशल एल्गोरिदम के प्राकृतिक उदाहरणों की तलाश कर रहा हूं (यानी बहुपद में) सेंट उनकी शुद्धता और दक्षता रचनात्मक रूप से सिद्ध की जा सकती है (जैसे या ), लेकिनPRAPRAPRAHAHAHA केवल कुशल अवधारणाओं का उपयोग करने वाला कोई भी प्रमाण ज्ञात नहीं है (अर्थात हम या में अपनी शुद्धता …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics