में एक और धागा , जो Fitzsimons के बारे में पूछा "3SAT पर सबसे अच्छा वर्तमान कम सीमा।" मैं दूसरे रास्ते पर जाना चाहता हूं: 3SAT पर सबसे अच्छा वर्तमान ऊपरी सीमा क्या है? दूसरे शब्दों में, सबसे कुशल एसएटी सॉल्वर की समय जटिलता क्या है? विशेष रूप से, क्या …
सैट सॉल्वरों की व्यावहारिक सफलता के लिए क्या सैद्धांतिक स्पष्टीकरण हैं, और क्या कोई "विकिपीडिया-शैली" का अवलोकन और स्पष्टीकरण उन सभी को एक साथ बांध सकता है? सादृश्य द्वारा, सिम्प्लेक्स एल्गोरिथ्म के लिए स्मूदड एनालिसिस ( आरएक्सआईवी संस्करण )) यह बताने के लिए एक महान काम करता है कि यह …
इस प्रश्न में, एक 3CNF सूत्र का अर्थ है CNF सूत्र जहाँ प्रत्येक खंड में तीन अलग-अलग चर शामिल होते हैं । निरंतर 0 < s <1 के लिए, Gap-3SAT s निम्नलिखित वादा समस्या है: गैप-3SAT रों उदाहरण : एक 3CNF सूत्र φ। हां-वादा : φ संतोषजनक है। कोई वादा …
यदि यह निर्धारित किया जाए कि मात्रात्मक बूलियन फॉर्मूला क्या है ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), हमेशा सच का मूल्यांकन एक शास्त्रीय PSPACE- पूर्ण समस्या है। इसे वैकल्पिक चाल के साथ दो खिलाड़ियों के बीच खेल के रूप में देखा जा सकता है। …
परिभाषित करें ioioio - भाषाओं के वर्ग होने के लिए एक भाषा है ऐसा है कि और असीम कई के लिए , और लंबाई सभी उदाहरणों पर सहमत हैं । (अर्थात्, यह भाषाओं का वह वर्ग है, जिसे "प्रायः प्रायः, प्रायः समय पर हल किया जा सकता है")।एल एल ' …
क्या कोई यह स्पष्ट करने का प्रयास करने की हिम्मत करता है कि अध्ययन के इन क्षेत्रों का क्या संबंध है या शायद समस्याओं के स्तर पर और अधिक ठोस जवाब दे सकते हैं? जिसमें कुछ व्यापक रूप से स्वीकृत योगों को शामिल करना शामिल है। अगर मुझे यह सही …
शास्त्रीय एल्गोरिदम 3-SAT को समय (यादृच्छिक) या समय (निर्धारक) में हल कर सकते हैं । (संदर्भ: एसएटी पर सर्वश्रेष्ठ ऊपरी सीमाएं )1.3303 एन1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n तुलना के लिए, एक क्वांटम कंप्यूटर पर ग्रोवर के एल्गोरिथ्म का उपयोग करना में एक समाधान प्रदान करेगा , यादृच्छिक रूप से। (यह अभी भी कुछ ज्ञान …
मैंने सुना है कि सांख्यिकीय भौतिकी में अनुमानवादी तर्क हैं जो संभाव्यता सिद्धांत में परिणाम देते हैं जिसके लिए कठोर प्रमाण या तो अज्ञात या बहुत मुश्किल से आते हैं। ऐसी घटना का एक सरल खिलौना उदाहरण क्या है? यह अच्छा होगा यदि उत्तर सांख्यिकीय भौतिकी में थोड़ी पृष्ठभूमि ग्रहण …
स्कॉट आरोनसन के ब्लॉग पोस्ट ने आज जटिलता में दिलचस्प खुली समस्याओं / कार्यों की एक सूची दी। विशेष रूप से मेरा ध्यान आकर्षित किया: 3SAT उदाहरणों की एक सार्वजनिक लाइब्रेरी बनाएं, जिसमें कुछ चर और खंड यथासंभव संभव हैं, जिनके हल किए जाने के उल्लेखनीय परिणाम होंगे। (उदाहरण के …
लेख को पढ़ते समय "क्या यह समय जटिलता में विजय की घोषणा करने का समय है?" पर अधिक "गोडेल की खोया पत्र और पी = एनपी" ब्लॉग, वे सीएसपी के लिए विरोधाभास का उल्लेख किया। कुछ लिंक के बाद, googling और wikipeding, मैं लाडनेर के प्रमेय में आया : Ladner …
संतोष के लिए "आसान क्षेत्र" क्या हैं? दूसरे शब्दों में, कुछ सैट सॉल्वर के लिए पर्याप्त स्थितियां एक संतोषजनक असाइनमेंट को खोजने में सक्षम होने के लिए, यह मानते हुए कि यह मौजूद है। एक उदाहरण है जब प्रत्येक खंड एलएलएल के रचनात्मक प्रमाण के कारण कुछ अन्य खंडों के …
आप अक्सर विमान के तरीकों, चर प्रसार, शाखा और बाउंड, क्लॉज लर्निंग, इंटेलिजेंट बैकट्रैकिंग या यहां तक कि एसएटी सॉल्वर्स में मानव उत्तराधिकारियों को काट सकते हैं। फिर भी दशकों तक सर्वश्रेष्ठ सैट सॉल्वरों ने रिज़ॉल्यूशन प्रूफ तकनीकों पर बहुत अधिक भरोसा किया है और सहायता के लिए और रिज़ॉल्यूशन-स्टाइल …
कुछ एनपी कठिन समस्याओं जो सामान्य रेखांकन पर घातीय हैं प्लानर रेखांकन पर subexponential रहे हैं, क्योंकि treewidth अधिक से अधिक है और वे treewidth में घातीय हैं।4.9 | वी( जी ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} मूल रूप से मुझे दिलचस्पी है अगर PLANAR SAT के लिए उपसंचाई एल्गोरिदम हैं जो NP-complete …