counting-complexity पर टैग किए गए जवाब

बता दें कि एनt(G)t(G)t(G) ग्राफ के साथ ग्राफ में फैले पेड़ों की संख्या को दर्शाता है । एक एल्गोरिथ्म है जो अंकगणितीय परिचालनों में गणना करता । यह एल्गोरिथ्म गणना करने के लिए है , जहां , G का लाप्लासियन है और J वह मैट्रिक्स है जो केवल 1 's …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

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

18 graph-theory  co.combinatorics  counting-complexity 

क्या इस पर कोई काम किया गया है कि # 2-SAT के यादृच्छिक उदाहरणों की जटिलता खंड घनत्व के साथ कैसे भिन्न होती है? यह है: 2-सैट के बेतरतीब ढंग से उत्पन्न उदाहरण के लिए संतोषजनक समाधान गिनने की कठिनाई कैसे होती है, क्योंकि क्लॉज का घनत्व अलग - अलग …

18 cc.complexity-theory  counting-complexity  random-k-sat 

लघु संस्करण। मूल प्रमाण है कि # 2-सैट है #P -Complete शो, वास्तव में, कि # 2-सैट के उन लोगों के उदाहरण हैं जिनमें दोनों कर रहे हैं एक लय और (किसी भी चर के negations को शामिल नहीं) द्विपक्षीय (ग्राफ से अधिक खंड द्वारा गठित चर एक द्विदलीय ग्राफ …

17 cc.complexity-theory  sat  counting-complexity 

मैं दिया शुरू कर शिखर से एक निर्देशित ग्राफ में सरल रास्तों की संख्या का अनुमान करने के लिए कुछ अच्छे बहुपद समय एल्गोरिदम देखते हैं कि बताया गया है को दिया न खत्म होने वाली शिखर । क्या किसी को इस विषय पर एक अच्छे संदर्भ का पता है?tरोंरोंsटीटीt …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

आज्ञा देना एक डिग्राफ (जरूरी नहीं कि एक डीएजी हो) और चलो । में सरल रास्तों की संख्या गिनने की जटिलता क्या है । जीजीGरों , टी ∈ वी( जी )रों,टी∈वी(जी)s,t \in V(G) एस - टीरों-टीs-tजीजीG मुझे उम्मीद है कि समस्या # लेकिन एक सटीक संदर्भ का पता लगाने में …

16 ds.algorithms  reference-request  counting-complexity 

एक किनारे कवर ऐसी है कि ग्राफ के हर शिखर कवर का कम से कम एक किनारे के निकट है एक ग्राफ के किनारों का एक सबसेट है। निम्नलिखित दो पेपर कहते हैं कि बढ़त कवरों की गिनती #P -complete : बढ़त के कवर के लिए एक साधारण FPTAS और …

16 reference-request  graph-algorithms  counting-complexity  proofs 

गैर-ऋणात्मक पूर्णांकों में रैखिक डायोफैंटीन समीकरण को हल करने की एनपी-पूर्ण समस्या पर केवल बहुत कम जानकारी मुझे मिल सकती है। यह कहना है, क्या गैर-नकारात्मक में एक समाधान है । । । , X n समीकरण को एक 1 एक्स 1 + एक 2 x 2 + । । …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

मान लें कि हम या अधिकतम एक्स Π मैं j ∈ ई च(एक्समैं,एक्सजे)Σएक्सΠमैं जे ∈ ईच( x)मैं, एक्सजे)Σएक्सΠमैंजे∈इच(एक्समैं,एक्सजे)\sum_x \prod_{ij \in E} f(x_i,x_j)अधिकतमएक्सΠमैं जे ∈ ईच( x)मैं, एक्सजे)अधिकतमएक्सΠमैंजे∈इच(एक्समैं,एक्सजे)\max_x \prod_{ij \in E} f(x_i,x_j) जहां V के सभी लेबलिंग पर अधिकतम या योग लिया जाता है वीवीV, उत्पाद को G = \ {V, …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

क्यू हैमिल्टन के रेखांकन में सबसे लंबे चक्र का एक निरंतर कारक सन्निकटन खोजने के लिए यह भार है। क्यूबिक हैमिल्टनियन ग्राफ में कम से कम दो हैमिल्टनियन चक्र हैं।एनपीएनपीNP घन हैमिल्टन के रेखांकन में हैमिल्टनियन चक्रों की संख्या पर सबसे अच्छी तरह से ज्ञात ऊपरी बाउंड और लोअर बाउंड …

15 cc.complexity-theory  counting-complexity 

समस्या: को देखते हुए , बूलियन सर्किट द्वारा दर्शाया गया, समान रूप से यादृच्छिक उत्पन्न करें जैसे कि (या आउटपुट यदि ऐसा कोई मौजूद नहीं है)। एक्स ∈ { 0 , 1 } n φ ( एक्स ) = 1 ⊥ एक्सϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}एक्स ∈ { 0 , …

15 np-hardness  counting-complexity  reductions 

मैं एक polytope है PPP द्वारा परिभाषित {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} । प्रश्न: एक शीर्ष देखते हुए vvv के PPP , वहाँ के पड़ोसियों से समान रूप से नमूने के एक बहुपद समय एल्गोरिथ्म है vvv के ग्राफ में PPP ? (आयाम में बहुपद, समीकरणों …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

मैं आठ रानियों की समस्या के बारे में विकिपीडिया लेख पढ़ रहा था। यह कहा जाता है कि, समाधानों की सटीक संख्या के लिए कोई ज्ञात सूत्र नहीं है। कुछ खोज के बाद, मुझे "पूरी मैपिंग की समस्याओं की गिनती की कठोरता पर" नामक एक पेपर मिला। इस पत्र में …

14 cc.complexity-theory  counting-complexity  search-problem 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

बेन-डोर / हलेवी [1] के पेपर में यह एक और प्रमाण दिया जाता है कि स्थायी । कागज के बाद के भाग में, वे कमी श्रृंखला दिखाते हैं, जबकि स्थायी मूल्य श्रृंखला के साथ संरक्षित है। के बाद से एक 3SAT सूत्र के कार्य satiesfying की संख्या स्थायी मूल्य से …

14 cc.complexity-theory  counting-complexity  permanent