शिथिलीकरण (सन्निकटन)

गणितीय अनुकूलन और संबंधित क्षेत्रों में, विश्राम एक गणितीय मॉडल है। विश्राम एक कठिन समस्या का निकटवर्ती समस्या से एक अनुमान है जिसे हल करना आसान है। शांत समस्या का समाधान मूल समस्या के बारे में जानकारी प्रदान करता है।

उदाहरण के लिए, एक पूर्णांक प्रोग्रामिंग समस्या की एक रैखिक प्रोग्रामिंग छूट अभिन्नता बाधा को हटा देती है और इस प्रकार गैर-पूर्णांक तर्कसंगत समाधान की अनुमति देती है। कॉम्बिनेटरियल ऑप्टिमाइज़ेशन में एक जटिल समस्या की लैग्रेंजियन छूट कुछ बाधाओं के उल्लंघन को दंडित करती है, जिससे एक आसान समस्या को हल किया जा सकता है। विश्राम तकनीकें कॉम्बिनेटरियल ऑप्टिमाइज़ेशन की शाखा और बाध्य एल्गोरिदम को पूरक या पूरक बनाती हैं; पूर्णांक प्रोग्रामिंग के लिए शाखा-और-बाउंड एल्गोरिदम में सीमाएं प्राप्त करने के लिए रैखिक प्रोग्रामिंग और लैग्रेंजियन विश्राम का उपयोग किया जाता है। विश्राम की मॉडलिंग रणनीति को विश्राम पद्धति के पुनरावृत्त तरीकों, जैसे क्रमिक अति-विश्राम (एसओआर) के साथ भ्रमित नहीं किया जाना चाहिए; विश्राम के पुनरावृत्त तरीकों का उपयोग आंशिक अंतर समीकरणों, रैखिक न्यूनतम वर्ग (गणित) | रैखिक न्यूनतम वर्ग और रैखिक प्रोग्रामिंग में समस्याओं को हल करने में किया जाता है। हालाँकि, लैग्रेंजियन विश्राम को हल करने के लिए विश्राम के पुनरावृत्त तरीकों का उपयोग किया गया है।

परिभाषा
न्यूनतमकरण की समस्या में छूट


 * $$z = \min \{c(x) : x \in X \subseteq \mathbf{R}^{n}\}$$

फॉर्म की एक और न्यूनतमकरण समस्या है


 * $$z_R = \min \{c_R(x) : x \in X_R \subseteq \mathbf{R}^{n}\}$$

इन दो गुणों के साथ


 * 1) $$X_R \supseteq X$$
 * 2) $$c_R(x) \leq c(x)$$ सभी के लिए $$x \in X$$.

पहली संपत्ति बताती है कि मूल समस्या का व्यवहार्य डोमेन, शिथिल समस्या के व्यवहार्य डोमेन का एक उपसमूह है। दूसरी संपत्ति बताती है कि मूल समस्या का उद्देश्य-कार्य शिथिल समस्या के उद्देश्य-कार्य से अधिक या उसके बराबर है।

गुण
अगर $$x^*$$ तो, यह मूल समस्या का इष्टतम समाधान है $$x^* \in X \subseteq X_R$$ और $$z = c(x^*) \geq c_R(x^*)\geq z_R$$. इसलिए, $$x^* \in X_R$$ एक ऊपरी सीमा प्रदान करता है $$z_R$$.

यदि पिछली धारणाओं के अतिरिक्त, $$c_R(x)=c(x)$$, $$\forall x\in X$$, निम्नलिखित मानता है: यदि मूल समस्या के लिए आरामदेह समस्या का इष्टतम समाधान संभव है, तो यह मूल समस्या के लिए इष्टतम है।

कुछ विश्राम तकनीक

 * रैखिक प्रोग्रामिंग विश्राम
 * लैग्रेंजियन विश्राम


 * अर्धनिश्चित विश्राम
 * सरोगेट विश्राम और सरोगेट द्वंद्व

संदर्भ

 * Translated by Steven Vajda from
 * Translated by Steven Vajda from
 * Translated by Steven Vajda from
 * Translated by Steven Vajda from


 * W. R. Pulleyblank, Polyhedral combinatorics (pp. 371–446);
 * George L. Nemhauser and Laurence A. Wolsey, Integer programming (pp. 447–527);
 * Claude Lemaréchal, Nondifferentiable optimization (pp. 529–572);