कटिंग-प्लेन विधि

गणित अनुकूलन (गणित) में, कटिंग-प्लेन विधि विभिन्न प्रकार की अनुकूलन विधियों में से है, जो रैखिक असमानताओं के माध्यम से व्यवहार्य उपसमुच्चय या उद्देश्य फ़ंक्शन को पुनरावृत्त रूप से परिष्कृत करती है, जिसे 'कट' कहा जाता है। ऐसी प्रक्रियाओं का उपयोग सामान्यतः मिश्रित पूर्णांक रैखिक प्रोग्रामिंग (एमआईएलपी) समस्याओं के पूर्णांक समाधान ज्ञात करने के लिए किया जाता है, साथ ही सामान्य रूप से भिन्न करने योग्य उत्तल अनुकूलन समस्याओं का समाधान करने के लिए भी किया जाता है। MILP का समाधान करने के लिए कटिंग प्लेन के उपयोग का प्रारम्भ राल्फ ई. गोमोरी ने की थी।

गैर-पूर्णांक रैखिक कार्यक्रम का समाधान करके MILP कार्य के लिए समतल विधियाँ काटना, दिए गए पूर्णांक कार्यक्रम की रैखिक प्रोग्रामिंग छूट। रैखिक प्रोग्रामिंग का सिद्धांत बताता है कि अनुमानों के अनुसार कोई सदैव शिखर बिंदु या कोने का बिंदु पा सकता है जो इष्टतम है। प्राप्त अनुकूलन (गणित) का पूर्णांक समाधान होने के लिए परीक्षण किया जाता है। यदि ऐसा नहीं है, तो रैखिक असमानता उपस्थित होने का आश्वासन है जो वास्तविक व्यवहार्य उपसमुच्चय के उत्तल समाधान से इष्टतम को 'भिन्न ' करती है। ऐसी असमानता की जानकारी ज्ञात करने के लिए 'पृथक्करण समस्या' होती है, एवं ऐसी असमानता 'कट' है। लीनियर प्रोग्राम में कट जोड़ा जा सकता है। तत्पश्चात, उपस्थित गैर-पूर्णांक समाधान मुक्ति के लिए संभव नहीं है। यह प्रक्रिया तब तक दोहराई जाती है जब तक कि इष्टतम पूर्णांक समाधान नहीं मिल जाता है।

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

गोमरी का कट
पूर्णांक प्रोग्रामिंग एवं मिश्रित-पूर्णांक प्रोग्रामिंग समस्याओं को हल करने के लिए एक विधि के रूप में 1950 के दशक में राल्फ ई. गोमरी द्वारा कटिंग प्लेन प्रस्तावित किए गए थे। हालांकि, खुद गोमोरी सहित अधिकांश विशेषज्ञों ने संख्यात्मक अस्थिरता के साथ-साथ अप्रभावी होने के कारण उन्हें अव्यावहारिक माना, क्योंकि समाधान की दिशा में प्रगति करने के लिए कई दौर की कटौती की आवश्यकता थी। 1990 के दशक के मध्य में जब जेरार्ड कॉर्नुएजोल एवं सहकर्मियों ने उन्हें शाखा एवं बंधन | ब्रांच-एंड-बाउंड (शाखा एवं कट | ब्रांच-एंड-कट कहा जाता है) एवं संख्यात्मक पर काबू पाने के तरीकों के संयोजन में बहुत प्रभावी दिखाया। अस्थिरता। आजकल, सभी व्यावसायिक MILP सॉल्वर एक या दूसरे तरीके से गोमरी कट्स का उपयोग करते हैं। सिंप्लेक्स झांकी से गोमोरी कट बहुत कुशलता से उत्पन्न होते हैं, जबकि कई अन्य प्रकार के कट या तो महंगे होते हैं या भिन्न करने के लिए एनपी-मुश्किल होते हैं। एमआईएलपी के लिए अन्य सामान्य कटौती में, विशेष रूप से लिफ्ट-एंड-प्रोजेक्ट गोमरी कटौती पर हावी है। एक पूर्णांक प्रोग्रामिंग समस्या को तैयार किया जाना चाहिए (पूर्णांक प्रोग्रामिंग#कैनोनिकल एवं ILPs के लिए मानक रूप में) इस प्रकार है:


 * $$\begin{align}

\text{Maximize } & c^Tx \\ \text{Subject to } & Ax \leq b, \\ & x\geq 0,\, x_i \text{ all integers}. \end{align} $$ विधि पहले आवश्यकता को छोड़ कर आगे बढ़ती है कि xi पूर्णांक होना एवं बुनियादी व्यवहार्य समाधान प्राप्त करने के लिए संबंधित रैखिक प्रोग्रामिंग समस्या को हल करना। ज्यामितीय रूप से, यह समाधान उत्तल पॉलीटोप का एक शीर्ष होगा जिसमें सभी व्यवहार्य बिंदु शामिल होंगे। यदि यह शीर्ष एक पूर्णांक बिंदु नहीं है, तो विधि एक तरफ शीर्ष के साथ एक हाइपरप्लेन ढूंढती है एवं दूसरी तरफ सभी व्यवहार्य पूर्णांक बिंदु। इसके बाद एक संशोधित रेखीय कार्यक्रम बनाते हुए पाए गए शीर्ष को बाहर करने के लिए इसे एक अतिरिक्त रैखिक बाधा के रूप में जोड़ा जाता है। नया प्रोग्राम तब हल किया जाता है एवं पूर्णांक समाधान मिलने तक प्रक्रिया को दोहराया जाता है।

एक रेखीय कार्यक्रम को हल करने के लिए सिम्प्लेक्स विधि का उपयोग करने से फॉर्म के समीकरणों का एक उपसमुच्चय तैयार होता है


 * $$x_i+\sum \bar a_{i,j}x_j=\bar b_i$$

जहां एक्सiएक बुनियादी है चर एवं xjएस गैर बुनियादी चर हैं। इस समीकरण को तत्पश्चात से लिखें ताकि पूर्णांक भाग बाईं ओर हों एवं आंशिक भाग दाईं ओर हों:


 * $$x_i+\sum \lfloor \bar a_{i,j} \rfloor x_j - \lfloor \bar b_i \rfloor = \bar b_i - \lfloor \bar b_i \rfloor - \sum ( \bar a_{i,j} -\lfloor \bar a_{i,j} \rfloor) x_j.$$

सुसंगत क्षेत्र में किसी भी पूर्णांक बिंदु के लिए, इस समीकरण का दाहिना पक्ष 1 से कम है एवं बायां पक्ष एक पूर्णांक है, इसलिए सामान्य मान 0 से कम या उसके बराबर होना चाहिए। इसलिए असमानता


 * $$\bar b_i - \lfloor \bar b_i \rfloor - \sum ( \bar a_{i,j} -\lfloor \bar a_{i,j} \rfloor) x_j \le 0$$

संभव क्षेत्र में किसी भी पूर्णांक बिंदु के लिए धारण करना चाहिए। इसके अलावा, गैर-मूल चर किसी भी मूल समाधान में 0s के बराबर हैं एवं यदि xiमूल हल x के लिए पूर्णांक नहीं है,


 * $$\bar b_i - \lfloor \bar b_i \rfloor - \sum ( \bar a_{i,j} -\lfloor \bar a_{i,j} \rfloor) x_j = \bar b_i - \lfloor \bar b_i \rfloor > 0.$$

तो उपरोक्त असमानता मूल व्यवहार्य समाधान को बाहर करती है एवं इस प्रकार वांछित गुणों के साथ एक कटौती है। पेश है एक नया स्लैक वेरिएबल xk इस असमानता के लिए, रैखिक कार्यक्रम में एक नई बाधा जोड़ी जाती है, अर्थात्


 * $$x_k + \sum (\lfloor \bar a_{i,j} \rfloor - \bar a_{i,j}) x_j = \lfloor \bar b_i \rfloor - \bar b_i,\, x_k \ge 0,\, x_k \mbox{ an integer}.$$

उत्तल अनुकूलन
गैर रेखीय प्रोग्रामिंग में कटिंग प्लेन के तरीके भी लागू होते हैं। अंतर्निहित सिद्धांत एक गैर-रैखिक (उत्तल) कार्यक्रम के व्यवहार्य क्षेत्र को बंद आधे स्थानों के एक परिमित उपसमुच्चय  द्वारा अनुमानित करना एवं अनुमानित रैखिक कार्यक्रमों के अनुक्रम को हल करना है।

यह भी देखें

 * बेंडर्स का अपघटन
 * शाखा एवं कट
 * शाखा एवं बंधन
 * स्तंभ पीढ़ी
 * डेंटजिग-वोल्फ अपघटन

संदर्भ

 * Avriel, Mordecai (2003). Nonlinear Programming: Analysis and Methods. Dover Publications. ISBN 0-486-43227-0
 * Cornuéjols, Gérard (2008). Valid Inequalities for Mixed Integer Linear Programs.  Mathematical Programming Ser. B, (2008) 112:3–44.
 * Cornuéjols, Gérard (2007). Revival of the Gomory Cuts in the 1990s.  Annals of Operations Research, Vol. 149 (2007), pp. 63–66.
 * Cornuéjols, Gérard (2007). Revival of the Gomory Cuts in the 1990s.  Annals of Operations Research, Vol. 149 (2007), pp. 63–66.

बाहरी संबंध

 * "Integer Programming" Section 9.8 Applied Mathematical Programming Chapter 9 Integer Programming (full text). Bradley, Hax, and Magnanti (Addison-Wesley, 1977)