एसएटी सॉल्वर को विशेष ग्राफ एल्गोरिदम के साथ प्रतिस्पर्धी बनाने में क्या बाधाएं हैं? दूसरे शब्दों में, क्या एसएटी सॉल्वर्स से यह उम्मीद करना संभव है कि एल्गोरिथ्म डिजाइनर की भूमिका को बदल सकता है - अर्थात, स्वचालित रूप से समस्या संरचना को पहचानने में सक्षम हो सकता है और फिर इसे विशेष एल्गोरिथ्म के रूप में जल्दी से हल कर सकता है?
यहाँ कुछ उदाहरण मुझे लगता है कि आज के सैट सॉल्वरों के लिए चुनौतीपूर्ण हैं:
आकार के स्वतंत्र सेट की गिनती । एन्कोडिंग "x आकार k का एक स्वतंत्र सेट है" एक बड़ा सूत्र देता है जिसे हल करना मुश्किल है। एक आदर्श सैट सॉल्वर यह पहचान लेगा कि बैग के लिए अतिरिक्त "काउंट" वैरिएबल के अतिरिक्त बाउंड ट्री-चौड़ाई ग्राफ पर यह समस्या आसान है।
न्यूनतम स्टाइनर पेड़ ढूँढना। फिर से, "स्टेनर ट्री" में एक वैश्विक बाधा है, हालांकि, एक विशेष एल्गोरिथ्म (जैसे यहां ) एक अतिरिक्त चर जोड़कर कार्य को आसान बनाता है
किसी भी समस्या है जो कम करने के लिए सही मिलान योजना है।