सैट सॉल्वर पेपर्स शुरू करना


24

मैं पहले सैट सॉल्वर बनाना चाहता हूं। मैं सैट प्रतियोगिता और सैट सम्मेलन को जानता हूं, और इस विषय पर अभी बहुत सारे पेपर हैं। मैं स्टार्टर हूं, अभिभूत स्टार्टर हूं। मुझे कहां से शुरू करना चाहिए? आखिरकार मैं अत्याधुनिक को आगे बढ़ाना चाहता हूं। मैं कैसे शुरू करने के बारे में कुछ विशेषज्ञ सलाह चाहता हूं, ताकि मैं अपना समय गैर-आवश्यक पर भी जल्दी बर्बाद न करूं। बहुत धन्यवाद।


6
क्या आपने पहले ही डीपीएलएल एल्गोरिदम लागू किया है? क्या आपने अपने कार्यान्वयन को ठीक किया और पॉलिश किया है ताकि यह बहुत तेज़ गति से चले?
ज्यूका सुमेला

5
संतुष्टि की हैंडबुक - amazon.co.uk/… (शायद एक पुस्तकालय की जाँच करें, लागत बहुत अधिक है)।
MGwynne

1
@ जुक्का: टिप्पणी -> उत्तर?
सुरेश वेंकट

4
मैं जुक्का से असहमत हूं। पहिया को क्यों मजबूत करें? कोई कारण नहीं है कि मिनीसैट पहले से ही खुला स्रोत प्रदान करता है। यदि आप CDCL फ्रेमवर्क को जोड़ने में रुचि रखते हैं तो आपका परिवर्धित मिनीसैट प्रदर्शन बढ़ाएगा। इसके अलावा, डीपीएलएल अपने आप में पर्याप्त नहीं है; बहुत सारे सुधार किए गए हैं। मूल रूप से, मिकोलस के उत्तर का पालन करें!
हुक बेनेट

1
संबंधित प्रश्न भी देखें cstheory.stackexchange.com/q/1988
András Salamon

जवाबों:


18

एक उत्कृष्ट शुरुआती अवलोकन 2009 के निम्नलिखित लेख द्वारा दिया गया है।

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

अगले 50 वर्षों के घटनाक्रम को पकड़ने के तरीके हो सकते हैं। मैं व्याख्यान स्लाइड की सिफारिश करूंगा। बस 'डीपीएलएल' के लिए खोज करने से कई ट्यूटोरियल अलग हो जाएंगे। यदि आप उनके माध्यम से ब्राउज़ करते हैं, तो मुझे यकीन है कि धुंध कुछ हद तक साफ हो जाएगी। कई उपयोगी सर्वेक्षण भी हैं। झांग-मलिक पेपर शुरू करने के लिए एक अच्छी जगह है। हैंडबुक ऑफ़ सैटिस्फैबिलिटी में कई लेख हैं जो आपको उपयोगी लग सकते हैं।

मैं मिकोलाज़ के सुझाव को दूसरा मानता हूं। मिनीसैट कोड स्वच्छ और प्रबंधनीय आकार का है। आप इसके साथ खेल सकते हैं। कई अन्य सॉल्वर हैं जिन्हें आप आज़मा सकते हैं। CryptoMiniSat भी काफी साफ है। आपको आर्मिन बीवर के काम से भी परामर्श करना चाहिए , जो सैट सॉल्वर लिखते हैं और सैट सॉल्वर लिखने के बारे में लिखते हैं।


17

मैं पहले समझने का सुझाव देता हूं कि कौन सी तकनीकें वास्तव में सॉल्वरों को उन्नत करती हैं, जिसके लिए मैं निम्नलिखित अवलोकन और विश्लेषण का सुझाव दूंगा

फिर मैं मिनीसैट के स्रोत कोड को डाउनलोड करने और इसके विवरण को पढ़ने की सलाह दूंगा

यह निश्चित रूप से व्यक्तिगत हो सकता है, लेकिन मुझे स्रोत कोड सबसे मूल्यवान लग रहा है।


9

यदि आप वहाँ से बाहर होने वाले सभी कामों से अभिभूत हैं, तो आप यह दिखावा क्यों नहीं शुरू करते हैं कि समस्या पर पहले किसी ने काम नहीं किया है? यदि आपका लक्ष्य अंततः एक प्रतिस्पर्धी एसएटी सॉल्वर का निर्माण करना है, तो यह काफी लंबी यात्रा होने वाली है। केवल 'समाधानों की जाँच किए बिना' के आसपास खेलना शुरू करके, इसलिए बोलने के लिए, आपके पास खोने के लिए अधिक लाभ है।

nमीटरnमीटर

nमीटर


9

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

गोम्स, एट द्वारा संतुष्टि सॉल्वर । अल। आपको जमीन का मोटा हिस्सा देगा।

मेंथ द्वारा स्टेट-ऑफ-द-आर्ट तकनीकों का उपयोग करके सैट सॉल्वर में सुधार आपको वर्तमान के करीब लाएगा।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.