cc.complexity-theory पर टैग किए गए जवाब

शिव Kintali सिर्फ एक (शांत!) घोषणा की है कि परिणाम चौड़ाई की घिरे treewidth रेखांकन के लिए ग्राफ समाकृतिकता है -हार्ड≥4≥4\geq 4⊕L⊕L\oplus L । अनौपचारिक रूप से, मेरा सवाल है, "यह कितना कठिन है?" हम जानते हैं कि गैर-समान रूप से , इस प्रश्न के उत्तर देखते हैं । हम …

26 cc.complexity-theory  complexity-classes  logspace 

ग्राफ्स के सक्सेना प्रतिनिधित्व का अध्ययन 1983 से एक पेपर में गैपरिन और विगडरसन द्वारा शुरू किया गया था , जहां वे कई सरल समस्याओं के लिए यह साबित करते हैं कि एक ग्राफ में एक त्रिभुज ढूंढना, -कॉम्प्लेक् स में संबंधित सुसाइड संस्करण । पापादिमित्रिउ और Yanakkakis आगे अनुसंधान …

26 cc.complexity-theory  reference-request  complexity-classes 

एक मशीन को एक यादृच्छिक बूलियन फ़ंक्शन , और दो फूरियर स्पेक्ट्रा और तक पहुंच प्रदान की जाती है ।PHPHPHf:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \}ggghhh किसी फ़ंक्शन का फूरियर स्पेक्ट्रा को : के रूप में परिभाषित किया गया हैfffF:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

3CNF सूत्र CCC लिए C केM(C)M(C)M(C) किसी भी असाइनमेंट में संतुष्ट क्लॉज की अधिकतम संख्या CCC । यह ज्ञात है कि अधिकतम 3SAT (पी ≠ एनपी के अधीन), यानी कोई polytime एल्गोरिथ्म जिसका इनपुट एक 3CNF सूत्र है अनुमान लगाने के लिए मुश्किल है CCC , और जिसका उत्पादन होता …

26 cc.complexity-theory  sat 

# पी = एफपी के परिणाम क्या होंगे? मुझे व्यावहारिक और सैद्धांतिक दोनों परिणामों में दिलचस्पी है। व्यावहारिक दृष्टिकोण से, मैं आर्टिफिशियल इंटेलिजेंस के परिणामों में विशेष रूप से दिलचस्पी रखता हूं। कागजात या पुस्तकों की ओर इशारा स्वागत से अधिक है। कृपया यह न कहें कि # पी = …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

यह अच्छी तरह से ज्ञात है कि निर्देशित सेंट-कनेक्टिविटी है -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 

निम्नलिखित प्रतिबंधों के साथ न्यूनतम सेट कवर समस्या पर विचार करें : प्रत्येक सेट में अधिकांश तत्व होते हैं और ब्रह्मांड का प्रत्येक तत्व सबसे सेट पर होता है ।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 

वहाँ एक (अधिमानतः प्राकृतिक) एन पी-सम्पूर्ण भाषा है 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 

हाल ही में, रयान विलम्स ने साबित किया कि जटिलता का एक पृथक्करण प्राप्त करने के लिए प्राकृतिक प्रूफ में निर्माण अपरिहार्य है: और । टी सी 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} नेचुरल प्रूफ में कंस्ट्रक्टिविटी एक शर्त है कि सर्किट कॉम्प्लेक्सिटी में सभी कॉम्बीनेटरियल प्रूफ संतुष्ट हो जाते हैं और हम यह तय …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers