ओरिएंटेड मैट्रोइड

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

मैट्रोइड्स प्रायः आयाम सिद्धांत (बीजगणित) और कलन विधि जैसे क्षेत्रों में उपयोगी होते हैं। एक संरचना के अभिविन्यस्त प्रकृति के बारे में अतिरिक्त विवरण के एक अभिविन्यस्त मैट्रॉइड के सम्मिलित किए जाने के कारण इसकी उपयोगिता आगे ज्यामिति और अनुकूलन (गणित) सहित कई क्षेत्रों में फैली हुई है।

पृष्ठभूमि
समुच्चय प्राप्त करने के लिए रेखाचित्र के किनारों पर स्थिति निर्धारण (रेखाचित्र सिद्धांत) की अवधारणा को अमूर्त करने के लिए, समुच्चय के अवयवों को दिशा देने की क्षमता की आवश्यकता होती है। इसे प्राप्त करने का तरीका हस्ताक्षरित समुच्चय की निम्नलिखित परिभाषा के साथ है।


 * एक हस्ताक्षरित समुच्चय, $$X$$, वस्तुओं के एक समूह को जोड़ती है, $$\underline{X}$$, उस समुच्चय के विभाजन के साथ दो उपसमुच्चय में: $$X^+$$ और $$X^-$$ के सदस्य $$X^+$$ सकारात्मक अवयव कहलाते हैं; जो कि $$X^-$$ सदस्यों के नकारात्मक अवयव हैं।

समर्थन का एक अवयव $$x$$ दिया गया है, जिसमे हम $$x$$ लिखेंगे और एक सकारात्मक अवयव के लिए $$-x$$ एक नकारात्मक अवयव इस तरह, एक हस्ताक्षरित समुच्चय केवल विशिष्ट अवयवों में नकारात्मक संकेत जोड़ रहा है। यह एक दिशा के रूप में तभी समझ में आएगा जब हम बड़ी संरचनाओं के अभिविन्यस्तीकरण पर विचार करेंगे। तब प्रत्येक अवयव का चिन्ह इस अभिविन्यास के सापेक्ष अपनी दिशा को कूटबद्ध करेगा।
 * समुच्चय $$\underline{X} = X^+ \cup X^-$$ का समर्थन कहा जाता है $$X$$.
 * रिक्त हस्ताक्षरित समुच्चय, $$ \empty $$, रिक्त समुच्चय के रूप में परिभाषित किया गया है $$ \underline{\empty} $$ इसके विभाजन के साथ दो रिक्त समुच्चयों में संयुक्त: $$\emptyset^+$$ और $$\emptyset^-$$ हैं।
 * हस्ताक्षरित समुच्चय $$Y$$ के विपरीत $$X$$ है, अर्थात, $$Y = -X$$, यदि $$Y^+ = X^-$$ और $$Y^- = X^+$$ हैं।

अभिगृहीतीकरण
साधारण मैट्रोइड्स की तरह, कई समतुल्य अभिगृहीत प्रणाली सम्मलित हैं। (ऐसी संरचनाएं जिनमें एकाधिक समकक्ष अभिगृहीताएं होती हैं, क्रिप्टोमोर्फिज्म कहलाती हैं।)

परिपथ अभिगृहीत
यदि $$E$$ कोई समुच्चय हो तो हम $$E$$ ग्राउंड समुच्चय के रूप में सन्दर्भ देते है। यदि $$\mathcal{C}$$ हस्ताक्षरित समुच्चयों का एक संग्रह हो, जिनमें से प्रत्येक एक उपसमुच्चय द्वारा समर्थित $$E$$ हो, यदि निम्नलिखित अभिगृहीत $$\mathcal{C}$$ धारण करते हैं, तो अभिविन्यस्त मैट्रॉइड के लिए $$E$$ फिर समकक्ष $$\mathcal{C}$$ हस्ताक्षरित परिपथ का समुच्चय हो जायेगा।


 * (C0) $$\empty \notin \mathcal{C}$$
 * (C1) (सममित) $$\text{ For all } X \in \mathcal{C},~ -\!X \in \mathcal{C}.$$
 * (C2) (अतुलनीय) $$\text{ For all } X,Y \in \mathcal{C}, \text{ if } \underline X\subseteq \underline Y\text{ then } (X=Y \text{ or } X = -Y).$$
 * (C3) (असमर्थ उन्मूलन) $$\text{ For all } X,Y \in \mathcal{C}, X \neq -Y \text{ with an } e \in X^+ \cap Y^- \text{ there is a } Z \in \mathcal{C} \text{ such that }$$
 * $$ Z^+ \subseteq (X^+ \cup Y^+)\setminus\{e\} \text{ and }$$
 * $$ Z^- \subseteq (X^- \cup Y^-)\setminus\{e\}.$$

सदिश अभिगृहीत
हस्ताक्षरित समुच्चय की संरचना $$X$$ और $$Y$$ हस्ताक्षरित समुच्चय $$X\circ Y$$ द्वारा परिभाषित है,

$$\underline{X\circ Y}= {\underline X} \cup {\underline Y}$$, $$(X\circ Y)^+ = X^+ \cup \left(Y^+ \setminus X^-\right)$$, और $$(X\circ Y)^-  = X^- \cup \left(Y^- \setminus X^+\right)$$.

एक अभिविन्यस्त मैट्रोइड के सदिश परिपथ की रचनाएं हैं। सदिश $$\mathcal V$$ एक अभिविन्यस्त मैट्रोइड के निम्नलिखित अभिगृहीतों को संतुष्ट करते हैं:


 * $$\emptyset \in \mathcal V$$ * $$\mathcal V = -\mathcal V$$
 * सभी के लिए $$X, Y\in \mathcal V$$, $$X\circ Y \in \mathcal V$$
 * सभी के लिए $$X, Y\in \mathcal V$$, $$e\in X^+ \cap Y^- $$और $$f\in (\underline X \setminus \underline Y)\cup (\underline Y \setminus \underline X) \cup (X^+\cap Y^+) \cup (X^- \cap Y^-)$$, वहां एक है $$Z\in \mathcal V$$, ऐसा है कि
 * $$Z^+ \subset X^+ \cup Y^+ \setminus e$$,
 * $$Z^- \subset X^- \cup Y^- \setminus e$$, और
 * $$f\in \underline Z$$.

चिरोटोप अभिगृहीत
यदि $$E$$ ऊपर जैसा हो। प्रत्येक गैर-ऋणात्मक पूर्णांक के लिए $$r$$, श्रेणी का चिरोटोप $$r$$ एक फलन है $$\chi\colon E^r\to \{-1,0,1\}$$ जो निम्नलिखित अभिगृहीतों को संतुष्ट करता है:


 * (B0) (गैर तुच्छ): $$\chi$$ समान शून्य नहीं है
 * (B1) (वैकल्पिक): किसी भी क्रमपरिवर्तन के लिए $$\sigma$$ और $$x_1,\dots,x_r\in E$$, $$\chi\left(x_{\sigma(1)},\dots,x_{\sigma(r)}\right)=\operatorname{sgn}(\sigma)\chi\left(x_1,\dots,x_r\right)$$, जहाँ $$\operatorname{sgn}(\sigma)$$ के क्रमपरिवर्तन की समानता है।
 * (B2) (स्थानांतरण): किसी के लिए भी $$x_1,\dots,x_r,y_1,\dots,y_r\in E$$ ऐसा है कि $$\chi(y_i,x_2,\dots,x_r)\chi(y_1,\dots,y_{i-1},x_1,y_{i+1},\dots,y_r)\ge 0$$ प्रत्येक के लिए $$i$$ है $$ \chi\left(x_1,\dots,x_r\right)\chi\left(y_1,\dots,y_r\right)\ge0$$.

चिरोटोप शब्द को चिरलिटी (गणित) की गणितीय धारणा से लिया गया है, जो कि चिरलिटी (रसायन विज्ञान) से अलग की गई अवधारणा है, जहाँ इसका उपयोग उन अणुओं को अलग करने के लिए किया जाता है जिनकी संरचना एक प्रतिबिंब के अतिरिक्त समान होती है।

समानता
श्रेणी का हर चिरोटोप $$r$$ एक मैट्रोइड के आधारों के एक समुच्चय को उत्पन्न करता है $$E$$ उन से मिलकर $$r$$-अवयव उसे उपसमुच्चय $$\chi$$ करता है, और एक अशून्य मान प्रदान करता है। चिरोटोप तब उस मैट्रोइड के परिपथ पर हस्ताक्षर कर सकता है। यदि $$ C$$ वर्णित मैट्रोइड का एक परिपथ है, फिर $$C\subset \{x_1,\dots,x_r,x_{r+1}\}$$ जहाँ $$\{x_1,\dots,x_r\}$$ एक आधार है। तब $$C$$ सकारात्मक अवयवों के साथ हस्ताक्षर किए जा सकते हैं
 * $$C^+=\{x_i: (-1)^i\chi(x_1,\dots,x_{i-1},x_{i+1},\dots,x_{r+1})=1\}$$

और नकारात्मक अवयव पूरक हैं। इस प्रकार एक चिरोटोप एक अभिविन्यस्त मैट्रॉइड के अभिविन्यस्त आधारों को उत्पन्न करता है। इस अर्थ में, (B0) आधारों के लिए गैर-रिक्त अभिगृहीत है और (B2) आधार विनिमय गुणधर्म है।

उदाहरण
अभिविन्यस्त मैट्रोइड्स को प्रायः निर्देशित रेखांकन या रैखिक असमानताओं की प्रणालियों के लिए एक अमूर्त के रूप में पेश किया जाता है (जैसे, बेचेम और केर्न)। नीचे स्पष्ट निर्माण संदर्भित हैं।

निर्देशित रेखांकन
एक निर्देशित रेखाचित्र को देखते हुए, हम निम्नलिखित विधि द्वारा रेखाचित्र के मानक चक्र (रेखाचित्र सिद्धांत) से एक हस्ताक्षरित परिपथ को परिभाषित करते हैं। हस्ताक्षरित परिपथ का समर्थन $$\textstyle \underline{X}$$ न्यूनतम चक्र में किनारों का मानक समुच्चय है। हम चक्र के साथ दक्षिणावर्त या वामावर्त दिशा में उन किनारों को निर्दिष्ट करते हैं जिनका अभिविन्यास सकारात्मक अवयवों की दिशा से सहमत है $$\textstyle X^+$$ और वे किनारे जिनका अभिविन्यास नकारात्मक अवयवों की दिशा से असहमत है $$\textstyle X^-$$. यदि $$\textstyle \mathcal{C} $$ ऐसे सभी का समुच्चय है $$\textstyle X$$, तब $$\textstyle \mathcal{C} $$ निर्देशित रेखाचित्र के किनारों के समुच्चय पर एक अभिविन्यस्त मैट्रोइड के हस्ताक्षरित परिपथ का समुच्चय है।

यदि हम दाईं ओर निर्देशित रेखाचित्र पर विचार करें, तो हम देख सकते हैं कि केवल दो परिपथ हैं, अर्थात् $$\textstyle \{(1,2),(1,3),(3,2)\}$$ और $$\textstyle \{(3,4),(4,3)\}$$. इसके बाद दक्षिणावर्त और वामावर्त अभिविन्यास के अनुरूप केवल चार संभावित हस्ताक्षरित परिपथ हैं, अर्थात् $$\textstyle\{ (1,2),-(1,3),-(3,2)\}$$, $$\textstyle\{ -(1,2),(1,3),(3,2)\}$$, $$\textstyle\{(3,4),(4,3)\}$$, और $$\textstyle\{-(3,4),-(4,3)\}$$. ये चार समुच्चय समुच्चय पर एक अभिविन्यस्त मैट्रोइड के हस्ताक्षरित परिपथ का समुच्चय बनाते हैं $$\textstyle \{ (1,2),(1,3),(3,2),(3,4),(4,3)\}$$.

रेखीय बीजगणित
यदि $$\textstyle E$$ का कोई परिमित उपसमुच्चय है $$\textstyle\mathbb{R}^n$$, तो न्यूनतम रैखिक रूप से निर्भर समुच्चयों का समुच्चय एक मैट्रोइड के परिपथ समुच्चय का निर्माण करता है $$\textstyle E$$. प्रत्येक परिपथ के लिए इस निर्माण को अभिविन्यस्त मैट्रोइड्स तक विस्तारित करने के लिए $$\textstyle \{v_1,\dots,v_m\}$$ न्यूनतम रैखिक निर्भरता है
 * $$\sum_{i=1}^m \lambda_i v_i =0$$

साथ $$\textstyle \lambda_i\in\mathbb{R}$$. फिर हस्ताक्षरित परिपथ $$\textstyle X=\{X^+,X^-\}$$ सकारात्मक अवयव हैं $$\textstyle X^+=\{v_i:\lambda_i>0\}$$ और नकारात्मक अवयव $$\textstyle X^-=\{v_i:\lambda_i<0\}$$. ऐसे सभी का समुच्चय $$\textstyle X$$ अभिविन्यस्त मैट्रोइड ऑन के हस्ताक्षरित परिपथ का समुच्चय बनाता है $$\textstyle E$$. अभिविन्यस्त मैट्रोइड्स जिन्हें इस तरह से महसूस किया जा सकता है उन्हें मैट्रोइड प्रतिनिधित्व कहा जाता है।

सदिशों के समान समुच्चय को देखते हुए $$E$$, हम उसी अभिविन्यस्त मैट्रोइड को चिरोटोप के साथ परिभाषित कर सकते हैं $$\chi:E^r\rightarrow\{-1,0,1\}$$. किसी के लिए $$x_1,\dots,x_r\in E$$ यदि
 * $$\chi(x_1,\dots,x_r)=\operatorname{sgn}(\det(x_1,\dots,x_r))$$

जहाँ समीकरण का दाहिना पक्ष निर्धारक का चिह्न है। तब $$ \chi$$ समुच्चय पर उसी अभिविन्यस्त मैट्रोइड का चिरोटोप है $$E$$.

अधिसमतल व्यवस्था
एक वास्तविक अधिसमतल व्यवस्था $$\mathcal A = \{H_1, \ldots, H_n\}$$ में अधिसमतल का एक परिमित समुच्चय है $$\R^d $$, प्रत्येक में मूल है। प्रत्येक अधिसमतल के एक पक्ष को धनात्मक पक्ष के रूप में चुनकर, हम अर्ध-स्थानों की व्यवस्था प्राप्त करते हैं। आधे स्थान की व्यवस्था परिवेशी स्थान को कोशिकाओं के एक सीमित संग्रह में तोड़ देती है, प्रत्येक को प्रत्येक अधिसमतल के किस तरफ परिभाषित किया जाता है। अर्थात प्रत्येक बिंदु असाइन करें $$x\in \R^d$$हस्ताक्षरित समुच्चय के लिए $$X = (X^+, X^-)$$साथ $$i \in X^+$$ यदि $$x$$ के सकारात्मक पक्ष में है $$H_i$$और $$i\in X^-$$यदि $$x$$ के नकारात्मक पक्ष में है $$H_i$$. हस्ताक्षरित समुच्चयों का यह संग्रह अभिविन्यस्त मैट्रॉइड के कोवेक्टर्स के समुच्चय को परिभाषित करता है, जो डुअल अभिविन्यस्त मैट्रोइड के सदिश हैं।

उत्तल पॉलीटॉप
गुंटर एम. ज़िग्लर ने उत्तल पॉलीटोप्स के माध्यम से अभिविन्यस्त मैट्रोइड्स का परिचय दिया।

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

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

इस अनूठे ऑर्थोगोनल डुअल अभिविन्यस्त मैट्रोइड के स्पष्ट निर्माण को देखने के लिए, अभिविन्यस्त मैट्रोइड के चिरोटोप पर विचार करें $$\chi:E^r\rightarrow\{-1,0,1\}$$. यदि हम अवयवों की सूची पर विचार करें $$ x_1,\dots,x_k \in E$$ एक चक्रीय क्रमचय के रूप में तो हम परिभाषित करते हैं $$\operatorname{sgn}(x_1,\dots,x_k)$$ संबंधित क्रमचय का संकेत होना। यदि $$\chi^*:E^{|E|-r}\rightarrow\{-1,0,1\}$$ परिभाषित किया जाता है
 * $$\chi^*(x_1,\dots,x_r)\mapsto \chi(x_{r+1},\dots,x_{|E|})\operatorname{sgn}(x_1,\dots,x_r,x_{r+1},\dots,x_{|E|}),$$

तब $$\chi^*$$ अद्वितीय ऑर्थोगोनल डुअल अभिविन्यस्त मैट्रोइड का चिरोटोप है।

सामयिक प्रतिनिधित्व
सभी अभिविन्यस्त मैट्रोइड प्रतिनिधित्व करने योग्य नहीं हैं-अर्थात्, सभी को बिंदु विन्यास या, समकक्ष, अधिसमतल व्यवस्था के रूप में प्राप्ति नहीं होती है। हालांकि, कुछ अर्थों में, सभी अभिविन्यस्त मैट्रोइड्स प्राप्ति के करीब आते हैं अधिसमतल व्यवस्थाएं हैं। विशेष रूप से, फोकमैन-लॉरेंस टोपोलॉजिकल प्रतिनिधित्व प्रमेय कहता है कि किसी भी अभिविन्यस्त मैट्रोइड को एक स्यूडोलिन # अन्य प्रकार की व्यवस्था के रूप में एक अहसास है। ए $$d$$-आयामी स्यूडोस्फीयर का एक एम्बेडिंग है $$e:S^d\hookrightarrow S^{d+1}$$ ऐसा है कि एक होमियोमोर्फिज्म सम्मलित है $$h:S^{d+1}\rightarrow S^{d+1}$$ जिससे कि $$h \circ e $$ एम्बेड $$S^d$$ भूमध्य रेखा के रूप में $$S^{d+1}$$. इस अर्थ में एक स्यूडोस्फीयर सिर्फ एक कई गुना स्फीयर है (सिकंदर सींग वाला गोला के विपरीत)। में एक स्यूडोस्फीयर व्यवस्था $$S^d$$स्यूडोस्फीयर का एक संग्रह है जो स्यूडोस्फीयर के साथ प्रतिच्छेद करता है। अंत में, फोल्कमैन लॉरेंस टोपोलॉजिकल प्रतिनिधित्व प्रमेय कहता है कि श्रेणी के प्रत्येक अभिविन्यस्त मैट्रोइड $$d+1$$ में एक स्यूडोस्फीयर व्यवस्था से प्राप्त किया जा सकता है $$S^d$$. इसका नाम जॉन फोकमैन और जिम लॉरेंस (गणितज्ञ) के नाम पर रखा गया है, जिन्होंने इसे 1978 में प्रकाशित किया था।

ज्यामिति


अभिविन्यस्त मैट्रोइड्स के सिद्धांत ने संयोजी ज्यामिति के विकास को प्रभावित किया है, विशेष रूप से उत्तल पॉलीटोप्स, ज़ोनोटोप्स और सदिशों के विन्यास (अधिसमतल की व्यवस्था) के सिद्धांत। कई परिणाम-कैराथियोडोरी के प्रमेय (उत्तल पतवार) | कैराथोडोरी के प्रमेय, हेली के प्रमेय, राडोन के प्रमेय, हैन-बनाक प्रमेय, केरीन-मिलमैन प्रमेय, भेड़िया लेम्मा को उपयुक्त अभिविन्यस्त मैट्रोइड्स का उपयोग करके तैयार किया जा सकता है।

अनुकूलन


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

किताबें

 * इवर डी. नेरिंग और अल्बर्ट डब्ल्यू. टकर, 1993, लीनियर प्रोग्राम्स एंड रिलेटेड प्रॉब्लम्स, एकेडमिक प्रेस। (प्राथमिक)
 * दिमित्रिस वर्टसेकस के एथेना साइंटिफिक द्वारा पुनर्प्रकाशित, 1998।
 * इवर डी. नेरिंग और अल्बर्ट डब्ल्यू. टकर, 1993, लीनियर प्रोग्राम्स एंड रिलेटेड प्रॉब्लम्स, एकेडमिक प्रेस। (प्राथमिक)
 * दिमित्रिस वर्टसेकस के एथेना साइंटिफिक द्वारा पुनर्प्रकाशित, 1998।
 * इवर डी. नेरिंग और अल्बर्ट डब्ल्यू. टकर, 1993, लीनियर प्रोग्राम्स एंड रिलेटेड प्रॉब्लम्स, एकेडमिक प्रेस। (प्राथमिक)
 * दिमित्रिस वर्टसेकस के एथेना साइंटिफिक द्वारा पुनर्प्रकाशित, 1998।

लेख

 * ए. बेचेम, ए. वांका, अभिविन्यस्त मैट्रोइड्स के लिए पृथक्करण प्रमेय, डिस्क्रीट मैथ। 70 (1988) 303—310।
 * रॉबर्ट जी. ब्लैंड, न्यू फाइनाइट पिवटिंग रूल्स फॉर सिम्प्लेक्स मेथड, मैथ. संचालन। रेस। 2 (1977) 103–107।
 * आर टायरेल रॉकफेलर। की एक उपसमष्टि के प्रारंभिक सदिश $$R^n$$, कॉम्बिनेटोरियल गणित और उसके अनुप्रयोगों में, आर. सी. बोस और टी. ए. डाउलिंग (एड्स), यूनीव। उत्तरी केरोलिना प्रेस, 1969, 104-127।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * आर टायरेल रॉकफेलर। की एक उपसमष्टि के प्रारंभिक सदिश $$R^n$$, कॉम्बिनेटोरियल गणित और उसके अनुप्रयोगों में, आर. सी. बोस और टी. ए. डाउलिंग (एड्स), यूनीव। उत्तरी केरोलिना प्रेस, 1969, 104-127।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * आर टायरेल रॉकफेलर। की एक उपसमष्टि के प्रारंभिक सदिश $$R^n$$, कॉम्बिनेटोरियल गणित और उसके अनुप्रयोगों में, आर. सी. बोस और टी. ए. डाउलिंग (एड्स), यूनीव। उत्तरी केरोलिना प्रेस, 1969, 104-127।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।
 * माइकल जे. टोड, अभिविन्यस्त मैट्रोइड्स में रेखीय और द्विघात प्रोग्रामिंग, जे. कॉम्बिन। थ्योरी सेर। बी 39 (1985) 105—133।

वेब पर




बाहरी संबंध

 * Komei Fukuda (ETH Zentrum, Zurich) with publications including Oriented मैट्रॉइड programming (1982 Ph.D. thesis)
 * Tamás Terlaky (Lehigh University) with publications