एसएमटी-सॉल्वर का उपयोग बाधा हल करने के लिए किया जा सकता है। जैसा कि हम जानते हैं, सीएसपी सॉल्वर भी कई सालों से बाधा हल करने के लिए हैं। तो सीएसपी हलकों पर एसएमटी-सॉल्वर का क्या फायदा है?बाधा हल करने में सीएसपी-सॉल्वर पर एसएमटी-सॉल्वर का क्या फायदा है?
यह पूरी तरह से निर्भर करता है कि आप क्या करना चाहते हैं। आप दोनों को एसएटी में अनुवाद कर सकते हैं और एसएटी समस्या के रूप में बाधा समस्याओं को हल कर सकते हैं। जब समस्या का समाधान करने की बात आती है तो बाधा हल करने वाले आमतौर पर उच्चतम स्तर का अमूर्तता प्रदान करते हैं। एसएटी सॉल्वर बहुत तेज हैं, लेकिन आपकी समस्या के आधार पर एक एसएमटी या बाधा सॉल्वर तेजी से हो सकता है।
आपके प्रश्न का कोई सामान्य जवाब नहीं है। यह आपके विशेष उपयोग मामले पर निर्भर करता है।
हाँ, आप सही हैं, धन्यवाद ~ और मैं जानना चाहता हूं कि एसएमटी सॉल्वर सीएसपी सॉल्वर से तेजी से दौड़ते हैं? या एसएमटी सॉल्वर के लिए और किस तरह की समस्याएं बेहतर अनुकूल हैं? क्या एसएमटी सॉल्वर ऑप्टिमाइज़ेशन समस्याओं से निपट सकते हैं, जिन्हें सीएसपी सॉल्वर द्वारा अच्छी तरह से संभाला जा सकता है? – user1393905
दोनों बाधाओं और एसएमटी अनुकूलन समस्याओं से निपट सकते हैं, हालांकि मुझे विश्वास है कि वास्तविक हलकों में इसके लिए समर्थन बाधाओं में अधिक आम है। एसएमटी/बाधाओं/एसएटी बेहतर/तेज़/जब कोई सेट नियम नहीं हैं ... यह वास्तव में उस वास्तविक समस्या पर निर्भर करता है जिसे आप हल करने का प्रयास कर रहे हैं। –
ठीक है, बहुत बहुत धन्यवाद ~ – user1393905