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

मान लीजिए कि हमें के रूप में भारित colorings की गणना के द्वारा उचित colorings गिनती की समस्या आराम इस प्रकार है: हर उचित रंग वजन 1 हो जाता है और हर अनुचित रंग वजन हो जाता है जहां ग कुछ स्थिर है और वी किनारों की संख्या अंतिम बिंदुओं …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

यह अच्छी तरह से ज्ञात है कि निर्देशित सेंट-कनेक्टिविटी है -Complete। Reingold की सफलता परिणाम से पता चला कि अनिर्दिष्ट सेंट-कनेक्टिविटी में है एल । प्लानर निर्देशित एस-कनेक्टिविटी को यू एल ∩ सी ओ यू एल में जाना जाता है । चो और ह्योन ने एक पैरामीरीज़ेड नैकपैक समस्या को …

26 cc.complexity-theory  space-bounded 

क्या निम्न समस्या एनपी-हार्ड है? अंतर्राष्ट्रीय ड्राफ्ट के लिए एक बोर्ड कॉन्फ़िगरेशन को देखते हुए , एक एकल कानूनी कदम खोजें।n×nn×nn\times n अमेरिकी चेकर्स (उर्फ अंग्रेजी ड्राफ्ट) के लिए संबंधित समस्या बहुपदीय समय में तुच्छ है। इन दो खेलों के बीच तीन प्रमुख अंतर हैं।n×nn×nn\times n पहला और सबसे महत्वपूर्ण …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

वहाँ किसी भी प्राकृतिक समस्याएं हैं कि नहीं कर रहे हैं में (माना जाता / माना) यू पी ∩ सी ओ यू पी ?एनपी∩ सी ओ एनपीNP∩coNPNP \cap coNPयूपी∩ सी ओ यूपीUP∩coUPUP \cap coUP जाहिर है बड़ी हर किसी के बारे में में जानता फैक्टरिंग के निर्णय संस्करण है (एन …

26 cc.complexity-theory  complexity-classes  np 

मैं वर्तमान में Hindley और Seldin द्वारा " लैम्ब्डा-कैलकुलस एंड कॉम्बिनेटर " पढ़ रहा हूं। मैं एक विशेषज्ञ नहीं हूं, लेकिन हमेशा कार्यात्मक प्रोग्रामिंग (लिस्प और एसआईसीपी के साथ शुरू, और अब आर और हास्केल के साथ) के साथ शामिल होने के कारण लैंबडा कैलकुलस में रुचि ली है। " …

26 combinatory-logic  functional-programming  lambda-calculus 

क्या बूलियन फॉर्मूला बी का हॉर्न क्लॉस के बराबर संयोजन में अनुवाद करना संभव है? हॉर्नसैट के बारे में विकिपीडिया लेख का अर्थ है कि यह है, लेकिन मैं किसी भी संदर्भ का पीछा करने में सक्षम नहीं हूं। ध्यान दें कि मेरा मतलब "बहुपद में" नहीं है, बल्कि "बिल्कुल" …

26 reference-request  lo.logic  sat 

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

26 concurrency 

निम्नलिखित प्रतिबंधों के साथ न्यूनतम सेट कवर समस्या पर विचार करें : प्रत्येक सेट में अधिकांश तत्व होते हैं और ब्रह्मांड का प्रत्येक तत्व सबसे सेट पर होता है ।kkkfff उदाहरण: केस और अधिकतम डिग्री 4 के साथ रेखांकन में न्यूनतम शीर्ष कवर समस्या के बराबर है।k=4k=4k = 4f=2f=2f = …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

किसी भी के लिए , मैं कहता हूं कि एक दृश्य रों में पूर्णांकों का { 1 , ... , n } है n -Complete अगर, हर क्रमचय के लिए पी की { 1 , ... , n } , जोड़ो में अलग पूर्णांकों का एक दृश्य के रूप में …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

ACSL (Ansi C Specification Language), C कोड के लिए एक विनिर्देश है, जो विशेष टिप्पणियों के साथ एनोटेट किया गया है, जो C कोड को औपचारिक रूप से सत्यापित करने की अनुमति देता है। मैंने इस पर ध्यान नहीं दिया है, लेकिन मुझे लगता है कि एसीएसएल सत्यापनकर्ताओं में इस्तेमाल …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

वहाँ एक (अधिमानतः प्राकृतिक) एन पी-सम्पूर्ण भाषा है L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , इस तरह है कि हर के लिए n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1} धारण? दूसरे शब्दों में, LLL में सभी n -bit उदाहरणों का ठीक आधा हिस्सा है ।nnn

25 cc.complexity-theory  np  np-complete 

की एक प्रसिद्ध विशेषता -SAT उदाहरणों खंड की संख्या के अनुपात है चर की संख्या से अधिक , यानी, भागफल । हर के लिए , वहाँ एक सीमा मूल्य है सेंट \ लिए ρ « α , ज्यादातर मामलों संतुष्टि योग्य हैं, और के लिए ρ » α ज्यादातर मामलों …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

डी। डेन हर्टोग के अनुसार , रैखिक, द्विघात और उत्तल प्रोग्रामिंग, 1994 के लिए आंतरिक बिंदु दृष्टिकोण, चर, बाधाओं और सटीक साथ एक रैखिक कार्यक्रम समय में हल है । क्या उस पर सुधार किया गया है?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

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

25 cc.complexity-theory  conditional-results 

मुझे चल रहे माध्य की गणना करने की आवश्यकता है: इनपुट: , k , वेक्टर ( x 1 , x 2 , … , x n ) ।nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) आउटपुट: वेक्टर , जहां y i का माध्य है ( x i , x i + 1 , …

25 ds.algorithms  ds.data-structures  lower-bounds