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

सैट की एक उदाहरण को देखते हुए, मैं यह अनुमान लगाना चाहूंगा कि उदाहरण को हल करना कितना मुश्किल होगा। एक तरीका मौजूदा सॉल्वरों को चलाने का है, लेकिन उस तरह की हार कठिनाई का अनुमान लगाने के उद्देश्य को हरा देती है। एक दूसरा तरीका हो सकता है कि …

28 complexity-theory  satisfiability  heuristics 

मैं किसी समस्या का एनकोड करने के लिए SAT सॉल्वर का उपयोग कर रहा हूँ, और SAT उदाहरण के भाग के रूप में, मेरे पास बूलियन वैरिएबल जहाँ यह इरादा है कि इनमें से एक सही होना चाहिए और बाकी सब होना चाहिए झूठा होना। (मैंने कभी-कभी इसे "एक-गर्म" एन्कोडिंग …

25 satisfiability  sat-solvers  applied-theory 

बता दें कि एक बूलियन फॉर्मूला है जिसमें सामान्य AND, OR, और NOT ऑपरेटर्स और कुछ वैरिएबल शामिल होते हैं। मैं बी के लिए संतोषजनक कार्य की संख्या की गणना करना चाहता हूं । यही है, मैं बी के चर के लिए सत्य मूल्यों के विभिन्न असाइनमेंट की संख्या ढूंढना …

24 complexity-theory  reference-request  satisfiability 

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

22 algorithms  reductions  satisfiability 

हाल ही में मुझे एक पेपर [1] में पाया गया कि SAT का एक विशेष सममित संस्करण है जिसे 2/2/4-SAT कहा जाता है । लेकिन कई -complete वेरिएंट्स हैं, उदाहरण के लिए: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} कुछ अन्य प्रकार ट्रैक्टेबल हैं: - , Planar-NAE- , ...222SATSAT\text{SAT}SATSAT\text{SAT} क्या …

20 complexity-theory  reference-request  satisfiability 

वूलसैट और जीसैट बूलियन संतोषजनकता समस्या को हल करने के लिए प्रसिद्ध और सरल स्थानीय खोज एल्गोरिदम हैं। GSAT एल्गोरिथ्म के लिए छद्मकोड को GSAT एल्गोरिथ्म को लागू करने वाले प्रश्न से कॉपी किया जाता है - फ्लिप करने के लिए किस शाब्दिक का चयन करें? और नीचे प्रस्तुत किया …

20 algorithms  data-structures  satisfiability 

जीसैट एल्गोरिथ्म सबसे अधिक भाग के लिए है, सीधे आगे: आप एक सूत्र को सामान्य रूप में प्राप्त करते हैं और खंडों के शाब्दिक रूप से तब तक फ्लिप करते हैं जब तक कि आपको कोई समाधान नहीं मिलता है जो सूत्र को संतुष्ट करता है या आप अधिकतम_ट्री / …

20 algorithms  satisfiability  3-sat 

मैं कैसे साबित कर सकता हूं कि CNF से DNF में रूपांतरण एनपी-हार्ड है? मैं इसका जवाब नहीं मांग रहा हूं, बस कुछ सुझाव हैं कि इसे कैसे साबित किया जाए।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

2006 में (जब मुझे लगता है) कुछ समय के लिए एआईईईआर लाइब्रेरी को संभालने और इन्वर्टर ग्राफ जारी करने के बाद, कुछ सर्किट एसएटी सॉल्वर 2006-2008 में जारी किए गए थे, और कुछ एसएटी दौड़ / प्रतियोगिताओं में एआईजी ट्रैक थे। हालाँकि तब से ऐसा लगता है कि ध्यान पूरी …

18 satisfiability  circuits  sat-solvers 

मुझे एनपी-पूर्ण निर्णय समस्या है। समस्या की एक उदाहरण को देखते हुए, मैं एक एल्गोरिथ्म डिजाइन करना चाहूंगा जो यस को आउटपुट करता है, यदि समस्या संभव है, और, नहीं, अन्यथा। (बेशक, अगर एल्गोरिथ्म इष्टतम नहीं है, तो यह त्रुटी करेगा।) मुझे इस तरह की समस्याओं के लिए कोई सन्निकटन …

18 algorithms  satisfiability  approximation  decision-problem 

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

17 reference-request  satisfiability  sat-solvers 

हम कहते हैं कि भाषा है घने यदि वहां मौजूद एक बहुपद पी ऐसी है कि | जम्मू सी ∩ Σ n | ≤ पी ( एन ) सभी के लिए n ∈ एन । दूसरे शब्दों में, किसी भी दी गई l n के लिए केवल बहुपदों की लंबाई …

16 complexity-theory  time-complexity  np-complete  satisfiability 

मैं अपना सिर एक एनपी-पूर्णता प्रमाण के चारों ओर लपेटने की कोशिश कर रहा हूं जो सैट / 3 सीएनएफ-सैट के चारों ओर घूमता हुआ प्रतीत होता है। शायद यह देर का समय है, लेकिन मुझे डर है कि मैं एक 3CNF फॉर्मूला के बारे में नहीं सोच सकता हूं …

15 logic  satisfiability  3-sat 

मुझे यकीन है कि किसी ने पहले इस बारे में सोचा है या तुरंत इसे खारिज कर दिया है, लेकिन स्फेफर के द्विचोटमी सिद्धांत के साथ-साथ महारे के प्रमेय के साथ विरल सेटों का मतलब पी = एनपी नहीं है? यहाँ मेरी तर्क है: एक भाषा बनाएं जो बराबर है …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r भोली एल्गोरिथ्म बस सभी संभावित जोड़े की जांच करता है; उदाहरण के लिए रूबी में हमारे पास होगा: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ j end end end max end …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture