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

प्रेरणा: मानक संवर्धित पथ अधिकतमप्रवाह एल्गोरिदम में, आंतरिक लूप को एक निर्देशित, भारित ग्राफ़ में सिंक करने के लिए स्रोत से मार्ग खोजने की आवश्यकता होती है। सैद्धांतिक रूप से, यह सर्वविदित है कि एल्गोरिथ्म के क्रम में समाप् त करने के लिए भी जब अपरिमेय धार क्षमता होती है, …

10 ds.algorithms  graph-theory  graph-algorithms 

ग्राफ ऑटोमोर्फिज्म ग्राफ नोड्स का एक क्रमांकन है जो किनारे सेट पर एक आक्षेप को प्रेरित करता है । औपचारिक रूप से, यह नोड्स का एक क्रमांकन है जैसे iffच ( यू , वी ) ∈ ई ( च ( यू ) , च ( v ) ) ∈ ईEEEfff(u,v)∈E(u,v)∈E(u,v)\in …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

एंड्रोस सलामोन और कॉलिन मैकक्लिअन के मेरे पिछले प्रश्न मोनोटोन -2 सीएनएफ फॉर्मूला के समाधानों को गिनने के योगदान को पढ़ने के बाद मेरे दिमाग में यह सवाल उठ गया है । EDIT 30 वें मार्च 2011 जोड़ा गया प्रश्न n ° 2. EDIT 29 वें अक्टूबर 2010 प्रश्न एक …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

यह कहें कि मेरे पास एक भारित ग्राफ जैसे कि वेटिंग फ़ंक्शन है - ध्यान दें कि नकारात्मक वज़न की अनुमति है।G=(V,E,w)G=(V,E,w)G = (V,E,w)w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] यह कहें कि वर्टिकल के किसी भी उपसमुच्चय की संपत्ति को परिभाषित करता है ।f:2V→Rf:2V→Rf:2^V\rightarrow \mathbb{R}S⊂VS⊂VS \subset V प्रश्न: कुछ दिलचस्प उदाहरण हैं जिनके लिए …

10 ds.algorithms  graph-theory  co.combinatorics 

सोडा 2006 में, मार्टिन ग्रोह और डी n n मार्क्स के पेपर "फ्रैक्शनल एज कवर के माध्यम से कसना हल करना" ( ACM प्रशस्ति पत्र ) से पता चला कि हाइपरग्राफ H के वर्ग के लिए बंधी फ्रैक्चर हाइपरट्री चौड़ाई, CSP ( H ) \ _ में है। PTIME ।a´a´\acute{\rm …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

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

10 ds.algorithms  gt.game-theory 

मैं यादृच्छिक के-सैट के लिए चरण संक्रमण की वर्तमान स्थिति जानना चाहूंगा, एन वेरिएबल्स और एम क्लॉज़ दिए गए हैं, जो ऊपरी और निचले सीमा के लिए सबसे अच्छा ज्ञात सी = एम / एन है।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

वितरित सिस्टम में त्रुटियों से निपटने के लिए आप क्या कागजात सुझाते हैं?

10 reference-request  dc.distributed-comp 

क्या अनुकूलन समस्याओं के ऑनलाइन समकक्षों से युक्त कोई जटिलता वर्ग ज्ञात है? यदि नहीं, तो ऐसे वर्ग को कैसे परिभाषित किया जा सकता है? हम जानते हैं कि कई समस्याओं का अपना ऑनलाइन संस्करण है: उदाहरण के लिए बिन पैकिंग समस्या का ऑनलाइन संस्करण। ऑनलाइन समस्याएं कठिन हैं क्योंकि …

10 cc.complexity-theory  complexity-classes 

मुझे यह जानकर आश्चर्य होता है कि एनपीआई में विपरित भाषा (यहाँ तक कि विलंबित डायगनोलाइज़ेशन द्वारा निर्मित) भी हैं, इस धारणा के तहत कि ।पी≠ एनपीP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

मैं सेट H (।) और एक संबंध R (।,) पर एक हैश फ़ंक्शन की तलाश कर रहा हूं, जैसे कि यदि A को B में शामिल किया गया है तो R (H (A), H (B))। बेशक, आर (।,) को सत्यापित करना आसान होना चाहिए (निरंतर समय), और एच (ए) को …

10 ds.algorithms  hash-function 

अयोग्य जनरेटर को निम्नानुसार परिभाषित किया गया है: आज्ञा देना एक NP संबंध है, और M एक मशीन है जो L ( R ) को स्वीकार करता है । अनौपचारिक रूप से, एक कार्यक्रम एक है अभेद्य जनरेटर है, पर इनपुट 1 एन , यह उदाहरण के गवाह जोड़े का …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

मान लेंP≠NPP≠NPP \neq NP टेट्रेशन के लिए निम्नलिखित संकेतन उपयोग करें (यानी। )।iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | उदाहरण x का आकार है। L को एक भाषा होने दो,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } …

10 cc.complexity-theory  np-hardness  complexity-classes 

Stratego एक प्रोग्रामिंग ट्रांसफॉर्मेशन लैंग्वेज / रीटरिंग डीएसएल है। एंथोनी स्लोअन ने कुछ काम किया है जो स्कैला पर चलने वाला कार्यान्वयन है । रणनीतिक भाषा के रूप में रणनीतिको की सैद्धांतिक सीमाएँ क्या हैं? (कार्यान्वयन की परवाह किए बिना)। क्या कोई स्ट्रैटेजो में एक आवेदक आदेश यॉम्बिनेटर लिख सकता …

10 functional-programming 

मुझे एनपी-पूर्ण समस्याओं के "कठिन" व्यक्तिगत उदाहरणों में दिलचस्पी है। रेयान विलियम्स ने रिचर्ड लिप्टन के ब्लॉग पर SAT0 समस्या पर चर्चा की । SAT0 पूछता है कि क्या किसी SAT उदाहरण में विशिष्ट समाधान है जिसमें सभी 0 हैं। यह मुझे ऐसे SAT उदाहरणों के निर्माण के बारे में …

10 cc.complexity-theory  sat  hard-instances