एसएटी सॉल्वर बीजगणितीय हमलों में बहुत महत्वपूर्ण हैं , उदाहरण के लिए वॉकसैट और मिनीसैट ।
हालाँकि, यहाँ उपलब्ध बेंचमार्क समस्याओं को हल करते समय दोनों के बीच बहुत बड़ा प्रदर्शन अंतर होता है - इन समस्याओं के लिए वाल्कैट मिनिसैट की तुलना में बहुत तेज है। ऐसा क्यों है?
वॉकसैट के इस कार्यान्वयन में कुछ प्रदर्शन सुधार दिखाई देते हैं - क्या कोई कारण है जो इसे अंतर्राष्ट्रीय सैट प्रतियोगिताओं में शामिल नहीं किया गया था ?
आपका दूसरा प्रश्न, एक निश्चित एल्गोरिदम को एक निश्चित प्रतियोगिता से बाहर क्यों रखा गया था, शायद इस साइट के लिए आउट-ऑफ-स्कोप है। आपका पहला सवाल, जो एक एल्गोरिथ्म को अक्सर दूसरे की तुलना में तेज़ बनाता है, मुझे लगता है कि यह उचित खेल है, लेकिन इसे अधिक सिद्धांत-अनुकूल बनाने के लिए कुछ रीफ़्रैशिंग की आवश्यकता हो सकती है।
—
लेव Reyzin
संक्षिप्त नोट: मिनीसैट काफी पुराना है, इसका रखरखाव नहीं लगता है, और प्रतियोगिता में भी भाग नहीं लिया है। इसके अलावा, "विशाल" से आपका क्या मतलब है और आप किस ट्रैक (यादृच्छिक / तैयार / अनुप्रयोग) का उल्लेख कर रहे हैं?
—
रादु GRIGore
@Radu: MiniSAT 2.2.0 जुलाई 2010 में जारी किया गया था। मैं यह नहीं कहूंगा कि इसे बनाए नहीं रखा गया है। साथ ही, कोड काफी स्थिर और साफ है, इसलिए अनंतिम अपडेट एक मुद्दा नहीं हो सकता है। हालांकि मैं सहमत हूं कि नए सॉल्वर बेहतर रूप से कला की स्थिति को दर्शाते हैं।
—
विजय डी।
Crypto.SE crypto.stackexchange.com/questions/153/… से क्रॉस-पोस्ट किया गया प्रश्न ।
—
एम। अलागन