बाधा प्रोग्रामिंग में, क्या कोई मॉडल है जो चर परिवर्तनों की संख्या को ध्यान में रखता है?

Question

एक सीएसपी मॉडल पर विचार करें जहां किसी विशेष चर का मूल्य बदलना महंगा है। क्या कोई कार्य है जहां उद्देश्य फ़ंक्शन खोज प्रक्रिया के दौरान चर के मूल्य में परिवर्तन की संख्या पर भी विचार करता है?

एक उदाहरण: महंगा-टू-चेंज चर कुछ अन्य एजेंट के नियंत्रण में हो सकता है और चर को बदलने के लिए उस एजेंट को शामिल करने के कुछ ओवरहेड है। एक अन्य उदाहरण: चर बाधाओं में से एक में भाग लेता है, और इस बाधा की संतुष्टि में एक महंगा फ़ंक्शन (जैसे, एक सिम्युलेटर) कॉल करना शामिल है, जैसे बाधा है, और एक महंगा है- समारोह की गणना करने के लिए। इसलिए, और महंगे से परिवर्तनशील चर हैं।$z = f(x, y)$$f$$x$$y$

Comments

उद्देश्य फ़ंक्शन सीएसपी के अंतिम मूल्यों के बारे में बात करता है और खोज प्रक्रिया से अनजान है। इसलिए, मानक योगों में, इस तरह के चर में परिवर्तन सीएसपी मॉडल के संपर्क में नहीं है। कुछ सॉल्वर, जैसे चोको, खोज प्रक्रिया का मार्गदर्शन करने के लिए उत्तराधिकार प्रदान करते हैं। इनमें से कुछ उपयोगकर्ता-परिभाषित भी हो सकते हैं। शायद यही वह जगह है जो खोज की जाती है।

— डेव क्लार्क

लेकिन उद्देश्य समारोह यह क्यों दर्शाता है कि समाधान के साथ आना कितना महंगा था? क्या आपको समाधानों की तुलना इस बात से नहीं करनी चाहिए कि वे समस्या क्षेत्र में बाद में कितने उपयोगी हैं? या वास्तविक दुनिया की समस्या का समय-समय पर समाधान है?

— राफेल

ऐसा लगता है कि आप वितरित बाधा संतुष्टि की स्थापना में हैं और ऐसा लगता है जैसे आप आंकड़े देख रहे हैं।

— डेव क्लार्क

Answer 1

$x$$y$$costs(x,y) \le Budget$। यह सूत्रीकरण अतिरिक्त ढांचे के रूप में मौजूदा रूपरेखाओं में अच्छी तरह से फिट होता है। बेशक, लागत फ़ंक्शन और स्वीकार्य बजट को इस तरह से निर्दिष्ट करना जिससे आपको सार्थक समाधान मिल सकें, यह मुश्किल हो सकता है - यह उस विशिष्ट समस्या पर निर्भर करेगा जिसे आप हल करने की कोशिश कर रहे हैं।