मैं व्यावहारिक बहु-सॉल-सॉल्वर के अस्तित्व के बारे में निश्चित नहीं हूं, लेकिन कुछ परियोजनाएं और कागजात हैं:
मुझे यह दिलचस्प बिंदु भी मिला: आप मल्टी-कोर प्रभाव प्राप्त करने के लिए समानांतर में एक ही समस्या पर अलग-अलग बीजों के साथ कई बार एक नियमित रूप से सैलेवर चला सकते हैं।
संपादित करें: vzn के विचार पर मेरी टिप्पणियों को यहाँ शामिल करना:
इसी तरह की वैकल्पिक विधि बस एक एकल चर का चयन करना है, इसके मूल्य को सही पर सेट करें, एक सॉल्वर उदाहरण के लिए भेजें। इसके मान को असत्य पर सेट करें, और इसे दूसरे सॉल्वर उदाहरण पर भेजें। आप इसे चर के लिए कर सकते हैं , और प्रक्रियाओं को एक साथ चला सकते हैं। सेट करने के लिए चर चुनना थोड़ा मुश्किल हो सकता है, अर्थात। यदि वे सीधे एक-दूसरे पर निर्भर हैं, तो एक और फिर एक को चुनना व्यर्थ है। क्रमिक / पुनरावर्ती विकल्प करने के लिए एक सरलीकरण कदम आवश्यक हो सकता है।2 केk2k
(मुझे खुशी होगी अगर कोई मुझे एक्स क्लॉज़ Y टेबल चर समस्या को हल करने के लिए अनुमानित समय (यदि संभव हो तो) दे सके।)
कोई भी आपको चर, क्लॉस के आधार पर अनुमानित समय नहीं दे सकता है , क्योंकि कुछ सैट समस्याएं बेहद कठिन हैं (पढ़ने के लिए: ऐसा नहीं होने वाला) हल करने के लिए, यहां तक कि अपेक्षाकृत छोटे ; जबकि अन्य विशाल उदाहरण अपेक्षाकृत जल्दी से हल किए जा सकते हैं (और यह इन उदाहरणों के लिए है कि सॉल्वर उपयोगी हैं)।एन एम , एनmnm,n