मुझे आश्चर्य है कि अगर वे किसी वाहन-रूटिंग-टाइम-विंडोज ( वीआरपीटीडब्ल्यू ) (एक निर्णय समस्या के रूप में) के साथ एसएटी / एसएमटी उदाहरण के रूप में समस्या का समाधान कर रहे हैं? (वैकल्पिक: TSP)
उदाहरण के लिए:
"क्या n = 10 वाहनों के साथ उनके समय-खिड़कियों के भीतर सभी ग्राहकों के पास एक वैध समाधान है?"
यह निर्णय समस्या पहले चरण में उपयोग किए जाने वाले वाहनों की संख्या को कम करने के लिए उपयोगी हो सकती है।
मुझे श्रीमती के साथ कोई अनुभव नहीं है, लेकिन मुझे उम्मीद है कि यदि हम निर्देशांक / बार को वास्तविक संख्या के रूप में संभालना चाहते हैं तो यह आवश्यक है।
आमतौर पर सभी टीएसपी / वीआरपी योगों को मिश्रित-पूर्णांक-प्रोग्रामिंग डोमेन में किया जाता है, लेकिन मुझे आश्चर्य है कि अगर ऊपर की निर्णय समस्या के लिए एक सैट / श्रीमती सूत्रीकरण प्रतिस्पर्धी हो सकता है (व्यवहार में समय को हल करने के संदर्भ में)।
तो तुम क्या सोचते हो:
- क्या आपको कोई संदर्भ पता है?
- क्या आपको लगता है कि एक sat / smt दृष्टिकोण प्रतिस्पर्धी हो सकता है?
- कुछ और आप उल्लेख करना चाहते हैं?
आपके सभी इनपुट के लिए धन्यवाद।
साशा
संपादित करें : जैसा कि मैंने TCS में TSP का अधिक सामान्य समस्या के रूप में उल्लेख किया है जो VRPTW से संबंधित है, मुझे नौकरी की दुकान निर्धारण समस्या का भी उल्लेख करना चाहिए , जो VRPTW में अन्य "आंशिक समस्या" है। हो सकता है कि इस क्षेत्र के शोधकर्ताओं ने SAT / SMT के साथ कुछ करने की कोशिश की हो।