csp पर टैग किए गए जवाब

लेख को पढ़ते समय "क्या यह समय जटिलता में विजय की घोषणा करने का समय है?" पर अधिक "गोडेल की खोया पत्र और पी = एनपी" ब्लॉग, वे सीएसपी के लिए विरोधाभास का उल्लेख किया। कुछ लिंक के बाद, googling और wikipeding, मैं लाडनेर के प्रमेय में आया : Ladner …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

सन्निकटन एल्गोरिदम को डिजाइन करते समय एक कभी-कभी एक सेमीफाइनल कार्यक्रम को हल करने के लिए एक चरणबद्ध कदम होता है। इसका उदाहरण देने के लिए अक्सर इस्तेमाल किया जाने वाला मैक्स-कट है। (उदाहरण देखें विजय वजीरानी द्वारा अनुमानित एल्गोरिदम।) क्या अच्छे शैक्षिक स्रोत या सर्वेक्षण मैक्स-कट समस्या से परे …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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

17 sat  lo.logic  csp 

पृष्ठभूमि : सुभाष खोत के मूल यूजीसी पेपर ( पीडीएफ ) में, वह यह तय करने की यूजी-कठोरता साबित करता है कि क्या किसी दिए गए सीएसपी उदाहरण के साथ सभी प्रकार की बाधाओं के साथ-साथ एक त्रैमासिक वर्णमाला से अधिक नहीं (ए, बी, सी) एक असाइनमेंट को संतुष्ट करता …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: 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 

शेफर की द्विभाजन प्रमेय से पता चलता है कि प्रत्येक CSP समस्या से अधिक या तो बहुपद समय में हल करने योग्य है या एनपी-पूर्ण है। यह केवल उदाहरण के लिए, SAT और हॉर्न-SAT को छोड़कर, बंधी हुई चौड़ाई की CSP समस्याओं के लिए लागू होता है। अनबाउंड चौड़ाई की …

12 cc.complexity-theory  lo.logic  csp 

Let एक 2CNF सूत्र और एक nonnegative पूर्णांक होना चाहिए। यह इस में साबित हो जाता है कागज कि निर्णय लेने से एक अधिक से अधिक नष्ट कर सकते हैं कि क्या की समस्या खंड बनाने के लिए satisfable, है तय पैरामीटर विनयशील, जहां पैरामीटर है। मेरा सवाल यह है …

12 parameterized-complexity  csp  fixed-parameter-tractable 

PCP प्रमेय का एक समतुल्य सूत्रीकरण है: Max 3-SAT के लिए यह संतोषजनक सूत्रों और सूत्रों के बीच अंतर करने के लिए -hard है जहां खंड के अधिकांश r- निष्कर्षण संतोषजनक हैं (कुछ r < 1 के लिए )।NPNPNPrrrr<1r<1r\lt 1 क्या कोई ज्ञात डायकोटॉमी प्रमेय है जो सभी मैक्स सीएसपी …

12 cc.complexity-theory  pcp  csp 

किसी सिस्टम या मॉडल की सुरक्षा का परीक्षण करते समय निम्न प्रश्न कई बार सामने आया है । प्रेरणा: सॉफ्टवेयर सुरक्षा खामियां अक्सर वैध इनपुट्स के कारण बग से नहीं आती हैं, लेकिन अवैध इनपुट से उत्पन्न बग जो सीधे वैधता की कई जांचों को प्राप्त करने के लिए वैध …

12 lo.logic  csp  security 

एन-क्वीन समस्या यह है: इनपुट: एन आउटपुट: NXN शतरंजबोर्ड पर N "क्वीन्स" का प्लेसमेंट ऐसा है कि कोई भी दो रानियां एक ही पंक्ति, कॉलम या विकर्ण पर न हों। इस पर एक Google खोज करते हुए, मैंने पाया कि कई प्रोफेसरों द्वारा कई स्लाइड्स का दावा है कि यह …

11 cc.complexity-theory  np-hardness  csp 

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

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

एक निश्चित निर्देशित ग्राफ ( डिग्राफ ) को देखते हुए , कॉलिंग निर्णय समस्या पूछती है कि क्या इनपुट डिग्राफ में लिए एक समरूपता है । (का एक समरूपता को मैपिंग है के के कि बरकरार रखता है आर्क्स, कि है, अगर का एक चाप है , फिर का एक …

9 reference-request  graph-theory  np-hardness  csp  homomorphism