approximation-hardness पर टैग किए गए जवाब

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

एक हिटिंग सेट एक परिवार के S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} एक सबसेट है HHH के ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i ऐसा है कि H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset के लिए 1≤i≤n1≤i≤n1 \le i \le n । किसी दिए गए परिवार के न्यूनतम हिटिंग सेट को खोजने में समस्या एनपी-कठिन है, क्योंकि यह …

15 cc.complexity-theory  np-hardness  approximation-hardness 

यह एक और cstheorySE पोस्ट में एक टिप्पणी में उल्लेख किया गया है कि PSPACE- पूर्णता APX- कठोरता का अर्थ है। किसी को भी इसके लिए एक संदर्भ समझा / साझा कर सकते हैं? क्या यह "तंग" है? (यानी, क्या PSPACE- पूर्ण समस्याएं हैं जिनकी अनुकूलन समस्या पॉली टाइम में …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\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 

लीनियर प्रोग्रामिंग और के-मीन्स जैसी कई समस्याओं के लिए सटीक एल्गोरिदम के रनटाइम को समझने के लिए कई बार स्मूदड विश्लेषण को लागू किया गया है। इस दायरे में काफी सामान्य परिणाम हैं, उदाहरण के लिए, हेइको रोगलिन और बर्थोल्ड वॉकिंग, पूर्णांक प्रोग्रामिंग का चिकनी विश्लेषण , 2005। इन सामान्य …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

मैं बाध्य डिग्री के साथ रेखांकन के शीर्ष रंग पर कठोरता के परिणामों की तलाश कर रहा हूं। ग्राफ को देखते हुए , हम जानते हैं कि किसी भी , यह लगभग एक कारक के भीतर के लिए कठिन है जब तक कि [ 1 ]। लेकिन क्या होगा यदि …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

जैसा कि सर्वविदित है, एनपी-हार्ड अनुकूलन समस्याओं में कई अलग-अलग सन्निकटन अनुपात हो सकते हैं, जिसमें पीटीएएस होने से लेकर किसी भी कारक के भीतर निहित नहीं होने तक सभी तरह के होते हैं। बीच में, हमारे पास विभिन्न स्थिरांक, , p o l y ( n ) , आदि …

12 cc.complexity-theory  approximation-hardness 

मैं एक जटिलता वर्ग की तलाश कर रहा हूं जो एपीएक्स से संबंधित है क्योंकि बीपीपी पी से संबंधित है। मैंने पहले ही यहां एक ही सवाल पूछा है , लेकिन शायद टीसीएस जवाब के लिए अधिक उपयोगी स्थान होगा। प्रश्न का कारण यह है कि व्यावहारिक समस्याओं में किसी …

11 cc.complexity-theory  approximation-hardness 

वर्तमान में जीनस समस्या की अनुमानितता के बारे में क्या जाना जाता है? एक प्रारंभिक खोज मुझसे कहता है कि एक निरंतर कारक सन्निकटन पर्याप्त घने रेखांकन के लिए तुच्छ है, और एक nϵnϵn^\epsilon -approximation एल्गोरिथ्म की संभावना से इनकार किया गया है। क्या यह जानकारी अप-टू-डेट है, या बेहतर …

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

दो-प्रोवर एक-दौर (2P1R) खेल सन्निकटन की कठोरता के लिए एक आवश्यक उपकरण हैं। विशेष रूप से, दो-प्रोवेर एक-राउंड गेम के समानांतर दोहराव एक अनुमान समस्या के निर्णय संस्करण में अंतराल के आकार को बढ़ाने का एक तरीका देता है। देखें सीसीसी 2010 में दौड़ा सूबेदार राज के सर्वेक्षण बात विषय …

11 cc.complexity-theory  approximation-hardness 

किसी दिए गए ग्राफ़ , सेपरेटर समस्या पूछती है कि क्या छोटी कार्डिनैलिटी (या वजन) का एक शीर्ष या किनारे सेट मौजूद है, जिसका निष्कासन G को लगभग समान आकारों के दो अलग-अलग ग्राफ़ में विभाजित करता है । इसे वर्टेक्स सेपरेटर प्रॉब्लम कहा जाता है, जब हटाया गया सेट …

11 cc.complexity-theory  approximation-hardness 

मैं साहित्य में एसडीपी द्वैत अंतराल के लुप्त होने का सटीक लक्षण वर्णन नहीं कर पाया। या, "मजबूत द्वंद्व" कब पकड़ता है? उदाहरण के लिए, जब कोई लसेरे और एसओएस एसडीपी के बीच आगे और पीछे जाता है, तो सिद्धांत रूप में एक द्वैत अंतराल होता है। हालांकि, किसी भी …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

मैंने लगभग ग्राफ रंग में परिणाम के बारे में सुना है, लेकिन स्रोत नहीं मिल रहा है। परिणाम है: हर निरंतर के लिए वहाँ एक पर्याप्त रूप से बड़े मौजूद कश्मीर ऐसी है कि एक रंग कश्मीर के साथ -colorable ग्राफ ज कश्मीर रंग एनपी कठिन है।जhhकkkकkkज कश्मीरhkhk क्या कोई …

10 reference-request  approximation-hardness  graph-colouring 

क्या यह बाध्य डिग्री ग्राफों पर भिन्नात्मक गुणात्मक संख्या के लिए लगभग कठिन है?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

सामान्य रेखांकन में डोमिनेटिंग सेट समस्या पर विचार करें, और एक ग्राफ में संख्याओं की संख्या दें । एक लालची सन्निकटन एल्गोरिथ्म कारक की सन्निकटन गारंटी देता है , अर्थात यह बहुपद-समय में एक समाधान को खोजने के लिए संभव है , जहां न्यूनतम वर्चस्व वाले सेट का आकार है। …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness