उपप्रतिरूपक समुच्चय फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(15 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Set-to-real map with diminishing returns}}
{{Short description|Set-to-real map with diminishing returns}}
{{Cleanup bare URLs|date=September 2022}}
{{Use American English|date = January 2019}}
गणित में, एक सबमॉड्यूलर [[फ़ंक्शन सेट करें|फ़ंक्शन समुच्चय करें]] (जिसे सबमॉड्यूलर फ़ंक्शन के रूप में भी जाना जाता है) एक समुच्चय फ़ंक्शन होता है, जिसका मूल्य,अनौपचारिक रूप से, यह गुण रखता है कि इनपुट समुच्चय में जोड़े जाने पर एकल तत्व जो फ़ंक्शन बनाता है, उसके वृद्धिशील मूल्य में अंतर इनपुट समुच्चय का आकार बढ़ने के साथ घटता जाता है। सबमॉड्यूलर फ़ंक्शंस में एक प्राकृतिक ह्रासमान रिटर्न गुण होता है जो उन्हें कई अनुप्रयोगों के लिए उपयुक्त बनाता है, जिसमें [[सन्निकटन एल्गोरिदम]], [[ खेल सिद्धांत | खेल सिद्धांत]] (उपयोगकर्ता प्राथमिकताओं को मॉडलिंग करने वाले फ़ंक्शन के रूप में) और [[विद्युत नेटवर्क]] शामिल हैं। हाल ही में, [[ यंत्र अधिगम | यंत्र अधिगम]] और [[ कृत्रिम होशियारी | कृत्रिम होशियारी]] में कई वास्तविक दुनिया की समस्याओं में सबमॉड्यूलर फ़ंक्शंस को अत्यधिक उपयोगिता मिली है, जिसमें [[स्वचालित सारांशीकरण]], [[बहु-दस्तावेज़ सारांशीकरण]], फ़ीचर चयन, [[सक्रिय शिक्षण (मशीन लर्निंग)]], सेंसर प्लेसमेंट, छवि संग्रह सारांशीकरण और कई अन्य डोमेन शामिल हैं।<ref name="LB" /><ref name="TIWB" /><ref name="KG1" /><ref name="KG" />


गणित में, एक '''उपप्रतिरूपक''' '''समुच्चय फलन''' (जिसे '''उपप्रतिरूपक''' '''फलन''' के रूप में भी जाना जाता है) एक समुच्चय फलन होता है, जिसका मूल्य,अनौपचारिक रूप से, यह गुण रखता है कि इनपुट समुच्चय में जोड़े जाने पर एकल तत्व जो फलन बनाता है, उसके वृद्धिशील मूल्य में अंतर इनपुट समुच्चय का आकार बढ़ने के साथ घटता जाता है। उपप्रतिरूपक फलन में एक प्राकृतिक ह्रासमान रिटर्न गुण होता है जो उन्हें कई अनुप्रयोगों के लिए उपयुक्त बनाता है, जिसमें [[सन्निकटन एल्गोरिदम]], [[ खेल सिद्धांत | खेल सिद्धांत]] (उपयोगकर्ता प्राथमिकताओं को प्रतिरूपक करने वाले फलन के रूप में) और [[विद्युत नेटवर्क]] सम्मिलित होता हैं। हाल ही में,[[ यंत्र अधिगम | यंत्र अधिगम]] और [[ कृत्रिम होशियारी | कृत्रिम होशियारी]] में कई वास्तविक दुनिया की समस्याओं में उपप्रतिरूपक फलन को अत्यधिक उपयोगिता मिली है, जिसमें [[स्वचालित सारांशीकरण]], [[बहु-दस्तावेज़ सारांशीकरण]], फ़ीचर चयन, [[सक्रिय शिक्षण (मशीन लर्निंग)]], सेंसर प्लेसमेंट, छवि संग्रह सारांशीकरण और कई अन्य डोमेन सम्मिलित होता हैं।<ref name="LB" /><ref name="TIWB" /><ref name="KG1" /><ref name="KG" />
== परिभाषा ==
== परिभाषा ==
अगर <math>\Omega</math> एक परिमित समुच्चय [[सेट (गणित)|(गणित)]] है, सबमॉड्यूलर फ़ंक्शन एक समुच्चय फ़ंक्शन है <math>f:2^{\Omega}\rightarrow \mathbb{R}</math>, कहाँ <math>2^\Omega</math> पावर समुच्चय को दर्शाता है उपसमुच्चय को कार्यों के रूप में प्रस्तुत करना <math>\Omega</math>, जो निम्नलिखित समकक्ष शर्तों में से एक को संतुष्ट करता है।<ref>{{Harvard citations|last = Schrijver|year = 2003|loc = §44, p. 766|nb = }}</ref>
अगर <math>\Omega</math> एक परिमित समुच्चय [[सेट (गणित)|(गणित)]] है, उपप्रतिरूपक फलन एक समुच्चय फलन है <math>f:2^{\Omega}\rightarrow \mathbb{R}</math>, जहाँ <math>2^\Omega</math> पावर समुच्चय को दर्शाता है उपसमुच्चय को कार्यों के रूप में प्रस्तुत करना <math>\Omega</math>, जो निम्नलिखित समकक्ष शर्तों में से एक को संतुष्ट करता है।<ref>{{Harvard citations|last = Schrijver|year = 2003|loc = §44, p. 766|nb = }}</ref>
# हरएक के लिए <math>X, Y \subseteq \Omega</math> साथ <math> X \subseteq Y</math> और हर <math>x \in \Omega \setminus Y</math> हमारे पास वह है <math>f(X\cup \{x\})-f(X)\geq f(Y\cup \{x\})-f(Y)</math>.
# सभी के लिए <math>X, Y \subseteq \Omega</math> साथ <math> X \subseteq Y</math> और हर <math>x \in \Omega \setminus Y</math> हमारे पास वह है <math>f(X\cup \{x\})-f(X)\geq f(Y\cup \{x\})-f(Y)</math>.
# हरएक के लिए <math>S, T \subseteq \Omega</math> हमारे पास वह है <math>f(S)+f(T)\geq f(S\cup T)+f(S\cap T)</math>.
# सभी के लिए <math>S, T \subseteq \Omega</math> हमारे पास वह है <math>f(S)+f(T)\geq f(S\cup T)+f(S\cap T)</math>.
# हरएक के लिए <math>X\subseteq \Omega</math> और <math>x_1,x_2\in \Omega\backslash X</math> ऐसा है कि <math>x_1\neq x_2</math> हमारे पास वह है <math>f(X\cup \{x_1\})+f(X\cup \{x_2\})\geq f(X\cup \{x_1,x_2\})+f(X)</math>.
# सभी के लिए <math>X\subseteq \Omega</math> और <math>x_1,x_2\in \Omega\backslash X</math> ऐसा है कि <math>x_1\neq x_2</math> हमारे पास वह है <math>f(X\cup \{x_1\})+f(X\cup \{x_2\})\geq f(X\cup \{x_1,x_2\})+f(X)</math>.


एक नॉननेगेटिव सबमॉड्यूलर फ़ंक्शन भी एक [[सबएडिटिव सेट फ़ंक्शन|सबएडिटिव समुच्चय फ़ंक्शन]] फ़ंक्शन है, लेकिन एक सबएडिटिव फ़ंक्शन को सबमॉड्यूलर होने की आवश्यकता नहीं है।
एक गैर-ऋणात्मक उपप्रतिरूपक भी एक [[सबएडिटिव सेट फ़ंक्शन|सबएडिटिव समुच्चय फलन]] है, लेकिन एक सबएडिटिव फलन को उपप्रतिरूपक होने की आवश्यकता नहीं होता है।


अगर <math>\Omega</math> यदि इसे परिमित नहीं माना जाता है, तो उपरोक्त स्थितियाँ समतुल्य नहीं हैं। विशेष रूप से एक समारोह
अगर <math>\Omega</math> यदि इसे परिमित नहीं माना जाता है, तो उपरोक्त स्थितियाँ समतुल्य नहीं होता हैं। विशेष रूप से एक समारोह
  <math>f</math> द्वारा परिभाषित <math>f(S) = 1</math> अगर <math>S</math> परिमित है और <math>f(S) = 0</math> अगर <math>S</math> अनंत है
  <math>f</math> द्वारा परिभाषित <math>f(S) = 1</math> अगर <math>S</math> परिमित है और <math>f(S) = 0</math> अगर <math>S</math> अनंत है
उपरोक्त पहली शर्त को संतुष्ट करता है, लेकिन दूसरी शर्त विफल हो जाती है <math>S</math> और <math>T</math> परिमित प्रतिच्छेदन वाले अनंत समुच्चय हैं।
उपरोक्त पहली शर्त को संतुष्ट करता है, लेकिन दूसरी शर्त विफल हो जाती है <math>S</math> और <math>T</math> परिमित प्रतिच्छेदन वाले अनंत समुच्चय होता हैं।


== सबमॉड्यूलर फ़ंक्शंस के प्रकार और उदाहरण ==
== उपप्रतिरूपक फलन के प्रकार और उदाहरण ==


=== मोनोटोन ===
=== मोनोटोन ===
एक समुच्चय फ़ंक्शन <math>f</math> यदि प्रत्येक के लिए एकरस है <math>T\subseteq S</math> हमारे पास वह है <math>f(T)\leq f(S)</math>. मोनोटोन सबमॉड्यूलर फ़ंक्शंस के उदाहरणों में शामिल हैं:
एक समुच्चय फलन <math>f</math> यदि प्रत्येक के लिए एकरस है <math>T\subseteq S</math> हमारे पास वह है <math>f(T)\leq f(S)</math>. मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:
; रैखिक (मॉड्यूलर) कार्य: प्रपत्र का कोई भी कार्य <math>f(S)=\sum_{i\in S}w_i</math> एक रैखिक फलन कहलाता है। इसके अतिरिक्त यदि <math>\forall i,w_i\geq 0</math> तब f एकस्वर है।
; रैखिक (प्रतिरूपक) फलन: प्रपत्र का कोई भी कार्य <math>f(S)=\sum_{i\in S}w_i</math> एक रैखिक फलन कहलाता है। इसके अतिरिक्त यदि <math>\forall i,w_i\geq 0</math> तब f एकस्वर होता है।
; [[बजट-योगात्मक मूल्यांकन]]|बजट-योगात्मक कार्य: प्रपत्र का कोई भी कार्य <math>f(S)=\min\left\{B,~\sum_{i\in S}w_i\right\}</math> प्रत्येक के लिए <math>w_i\geq 0</math> और <math>B\geq 0</math> बजट योगात्मक कहा जाता है।<ref name="BF" />; कवरेज कार्य: चलो <math>\Omega=\{E_1,E_2,\ldots,E_n\}</math> कुछ [[matroid]] के उपसमुच्चय का संग्रह बनें <math>\Omega'</math>. कार्यक्रम <math>f(S)=\left|\bigcup_{E_i\in S}E_i\right|</math> के लिए <math>S\subseteq \Omega</math> कवरेज फ़ंक्शन कहा जाता है. इसे तत्वों में गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
; [[बजट-योगात्मक मूल्यांकन]]: प्रपत्र का कोई भी कार्य <math>f(S)=\min\left\{B,~\sum_{i\in S}w_i\right\}</math> प्रत्येक के लिए <math>w_i\geq 0</math> और <math>B\geq 0</math> बजट योगात्मक कहा जाता है।<ref name="BF" />; कवरेज फलन: चलो <math>\Omega=\{E_1,E_2,\ldots,E_n\}</math> कुछ मैंट्रोइड के उपसमुच्चय का संग्रह बनें <math>\Omega'</math>. कार्यक्रम <math>f(S)=\left|\bigcup_{E_i\in S}E_i\right|</math> के लिए <math>S\subseteq \Omega</math> कवरेज फलन कहा जाता है. इसे तत्वों में गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
; [[एन्ट्रॉपी (सूचना सिद्धांत)]]: चलो <math>\Omega=\{X_1,X_2,\ldots,X_n\}</math> [[यादृच्छिक चर]] का एक समुच्चय बनें। फिर किसी के लिए <math>S\subseteq \Omega</math> हमारे पास वह है <math>H(S)</math> एक सबमॉड्यूलर फ़ंक्शन है, जहां <math>H(S)</math> यादृच्छिक चर के समुच्चय की एन्ट्रापी है <math>S</math>, एक तथ्य जिसे एंट्रोपिक वेक्टर शैनन-प्रकार की असमानताएं और Γn|शैनन की असमानता के रूप में जाना जाता है।<ref>{{Cite web|url = https://www.cs.cmu.edu/~aarti/Class/10704_Spring15/lecs/lec3.pdf|title = सूचना प्रसंस्करण और सीखना|publisher = cmu}}</ref> एन्ट्रॉपी फ़ंक्शन के लिए और भी असमानताएँ बनी रहने के लिए जानी जाती हैं, [[एन्ट्रोपिक वेक्टर]] देखें।
; [[एन्ट्रॉपी (सूचना सिद्धांत)]]: <math>\Omega=\{X_1,X_2,\ldots,X_n\}</math> [[यादृच्छिक चर]] का एक समुच्चय बना होता है। फिर किसी के लिए <math>S\subseteq \Omega</math> हमारे पास वह है <math>H(S)</math> एक उपप्रतिरूपक फलन होता है, जहां <math>H(S)</math> यादृच्छिक चर के समुच्चय की एन्ट्रापी होता है <math>S</math>, एक तथ्य जिसे एंट्रोपिक सदिश शैनन-प्रकार की असमानताएं और Γn|शैनन की असमानता के रूप में जाना जाता है।<ref>{{Cite web|url = https://www.cs.cmu.edu/~aarti/Class/10704_Spring15/lecs/lec3.pdf|title = सूचना प्रसंस्करण और सीखना|publisher = cmu}}</ref> एन्ट्रॉपी फलन के लिए और भी असमानताएँ बनी रहने के लिए जानी जाती हैं, [[एन्ट्रोपिक वेक्टर]] देखा जाता है।
; मैट्रोइड [[मैट्रोइड रैंक]]: चलो <math>\Omega=\{e_1,e_2,\dots,e_n\}</math> वह ग्राउंड समुच्चय हो जिस पर मैट्रोइड को परिभाषित किया गया है। फिर मैट्रोइड का रैंक फ़ंक्शन एक सबमॉड्यूलर फ़ंक्शन है।<ref name=F22>Fujishige (2005) p.22</ref>
; [[मैट्रोइड रैंक|मैट्रोइड रैंक फलन]] : <math>\Omega=\{e_1,e_2,\dots,e_n\}</math> वह ग्राउंड समुच्चय हो जिस पर मैट्रोइड को परिभाषित किया गया है। फिर मैट्रोइड का रैंक फलन एक उपप्रतिरूपक फलन होता है।<ref name=F22>Fujishige (2005) p.22</ref>
=== नॉन - मोनोटोन ===
एक उपप्रतिरूपक फलन जो मोनोटोन नहीं है उसे नॉन-मोनोटोन कहा जाता है।


==== सममित ====
एक नॉन-मोनोटोन उपप्रतिरूपक फलन <math>f</math> यदि प्रत्येक के लिए सममित कहा जाता है <math>S\subseteq \Omega</math> हमारे पास वह है <math>f(S)=f(\Omega-S)</math>.


=== गैर-नीरस ===
सममित नॉन-मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:
एक सबमॉड्यूलर फ़ंक्शन जो मोनोटोन नहीं है उसे नॉन-मोनोटोन कहा जाता है।
; ग्राफ़ कट्स: <math>\Omega=\{v_1,v_2,\dots,v_n\}</math> एक [[ग्राफ़ (अलग गणित)]] के शीर्ष बना होता है। शीर्षों के किसी भी समुच्चय के लिए <math>S\subseteq \Omega</math> होने देना <math>f(S)</math> किनारों की संख्या को निरूपित करें <math>e=(u,v)</math> ऐसा है कि <math>u\in S</math> और <math>v\in \Omega-S</math>. इसे किनारों पर गैर-ऋणात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
 
; [[आपसी जानकारी]]: <math>\Omega=\{X_1,X_2,\ldots,X_n\}</math> यादृच्छिक चर का एक समुच्चय बना होता है। फिर किसी के लिए <math>S\subseteq \Omega</math> हमारे पास वह है <math>f(S)=I(S;\Omega-S)</math> एक उपप्रतिरूपक फलन है, जहां <math>I(S;\Omega-S)</math> आपसी जानकारी होता है.
==== सममित ====
एक गैर-मोनोटोन सबमॉड्यूलर फ़ंक्शन <math>f</math> यदि प्रत्येक के लिए सममित कहा जाता है <math>S\subseteq \Omega</math> हमारे पास वह है <math>f(S)=f(\Omega-S)</math>.
सममित गैर-मोनोटोन सबमॉड्यूलर फ़ंक्शंस के उदाहरणों में शामिल हैं:
; ग्राफ़ कट्स : चलो <math>\Omega=\{v_1,v_2,\dots,v_n\}</math> एक [[ग्राफ़ (अलग गणित)]] के शीर्ष बनें। शीर्षों के किसी भी समुच्चय के लिए <math>S\subseteq \Omega</math> होने देना <math>f(S)</math> किनारों की संख्या को निरूपित करें <math>e=(u,v)</math> ऐसा है कि <math>u\in S</math> और <math>v\in \Omega-S</math>. इसे किनारों पर गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
; [[आपसी जानकारी]] : चलो <math>\Omega=\{X_1,X_2,\ldots,X_n\}</math> यादृच्छिक चर का एक समुच्चय बनें। फिर किसी के लिए <math>S\subseteq \Omega</math> हमारे पास वह है <math>f(S)=I(S;\Omega-S)</math> एक सबमॉड्यूलर फ़ंक्शन है, जहां <math>I(S;\Omega-S)</math> आपसी जानकारी है.


==== असममित ====
==== असममित ====
एक गैर-मोनोटोन सबमॉड्यूलर फ़ंक्शन जो सममित नहीं है, असममित कहलाता है।
एक नॉन-मोनोटोन उपप्रतिरूपक फलन जो सममित नहीं है, असममित कहलाता है।
; निर्देशित कटौती : चलो <math>\Omega=\{v_1,v_2,\dots,v_n\}</math> एक [[निर्देशित ग्राफ]] के शीर्ष बनें। शीर्षों के किसी भी समुच्चय के लिए <math>S\subseteq \Omega</math> होने देना <math>f(S)</math> किनारों की संख्या को निरूपित करें <math>e=(u,v)</math> ऐसा है कि <math>u\in S</math> और <math>v\in \Omega-S</math>. इसे निर्देशित किनारों पर गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
; निर्देशित कटौती : <math>\Omega=\{v_1,v_2,\dots,v_n\}</math> एक [[निर्देशित ग्राफ]] के शीर्ष बना होता है। शीर्षों के किसी भी समुच्चय के लिए <math>S\subseteq \Omega</math> होने देना <math>f(S)</math> किनारों की संख्या को निरूपित करें <math>e=(u,v)</math> ऐसा है कि <math>u\in S</math> और <math>v\in \Omega-S</math>. इसे निर्देशित किनारों पर गैर-ऋणात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।


== सतत विस्तार ==
== सतत विस्तार ==


=== परिभाषा ===
=== परिभाषा ===
एक समुच्चय फ़ंक्शन <math>f:2^{\Omega}\rightarrow \mathbb{R}</math> साथ <math>|\Omega|=n</math> को एक फ़ंक्शन के रूप में भी दर्शाया जा सकता है <math>\{0, 1\}^{n}</math>, प्रत्येक को संबद्ध करके <math>S\subseteq \Omega</math> एक बाइनरी वेक्टर के साथ <math>x^{S}\in \{0, 1\}^{n}</math> ऐसा है कि <math>x_{i}^{S}=1</math> कब <math>i\in S</math>, और <math>x_{i}^{S}=0</math> अन्यथा।
एक समुच्चय फलन <math>f:2^{\Omega}\rightarrow \mathbb{R}</math> साथ <math>|\Omega|=n</math> को फलन के रूप में भी दर्शाया जा सकता है <math>\{0, 1\}^{n}</math>, प्रत्येक को संबद्ध करके <math>S\subseteq \Omega</math> एक बाइनरी सदिश के साथ <math>x^{S}\in \{0, 1\}^{n}</math> ऐसा है कि <math>x_{i}^{S}=1</math> जब  <math>i\in S</math>, और <math>x_{i}^{S}=0</math> अन्यथा।


निरंतर Restriction_(mathematics)#Extension_of_a_function का <math>f</math> किसी भी सतत कार्य के रूप में परिभाषित किया गया है <math>F:[0, 1]^{n}\rightarrow \mathbb{R}</math> जैसे कि यह के मूल्य से मेल खाता हो <math>f</math> पर <math>x\in \{0, 1\}^{n}</math>, अर्थात। <math>F(x^{S})=f(S)</math>.
निरंतर रेस्ट्रिक्शन_(गणित) विस्तार_का_एक_फलन का <math>f</math> किसी भी सतत कार्य के रूप में परिभाषित किया गया है <math>F:[0, 1]^{n}\rightarrow \mathbb{R}</math> जैसे कि यह के मूल्य से मिलता हो <math>f</math> पर <math>x\in \{0, 1\}^{n}</math>, अर्थात होता है। <math>F(x^{S})=f(S)</math>.


सबमॉड्यूलर फ़ंक्शंस के संदर्भ में, निरंतर एक्सटेंशन के कुछ उदाहरण हैं जो आमतौर पर उपयोग किए जाते हैं, जिनका वर्णन इस प्रकार है।
उपप्रतिरूपक फलन के संदर्भ में, निरंतर विस्तार के कुछ उदाहरण हैं जो सामान्यतौर पर उपयोग किए जाते हैं, जिनका वर्णन इस प्रकार होता है।


=== उदाहरण ===
=== उदाहरण ===


==== राइडर एक्सटेंशन ====
==== राइडर विस्तार ====
इस एक्सटेंशन का नाम गणितज्ञ लास्ज़लो लोवाज़ के नाम पर रखा गया है।<ref name="L" />किसी भी वेक्टर पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. तब लोवेज़ एक्सटेंशन को इस प्रकार परिभाषित किया गया है <math>f^L(\mathbf{x})=\mathbb{E}(f(\{i|x_i\geq \lambda\}))</math> जहां उम्मीद खत्म हो गई <math>\lambda</math> अंतराल पर [[समान वितरण (निरंतर)]] से चुना गया <math>[0,1]</math>. लोवेज़ एक्सटेंशन एक उत्तल फ़ंक्शन है यदि और केवल यदि <math>f</math> एक सबमॉड्यूलर फ़ंक्शन है.
इस विस्तार का नाम गणितज्ञ लास्ज़लो लोवाज़ के नाम पर रखा गया है।<ref name="L" />किसी भी सदिश पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. तब राइडर विस्तार को इस प्रकार परिभाषित किया गया है <math>f^L(\mathbf{x})=\mathbb{E}(f(\{i|x_i\geq \lambda\}))</math> जहां उम्मीद खत्म हो गई <math>\lambda</math> अंतराल पर [[समान वितरण (निरंतर)]] से चुना गया <math>[0,1]</math>. राइडर विस्तार एक उत्तल फलन है यदि <math>f</math> एक उपप्रतिरूपक फलन होता है.


==== बहुरेखीय विस्तार ====
==== बहुरेखीय विस्तार ====
किसी भी वेक्टर पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\ldots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर बहुरेखीय विस्तार को इस प्रकार परिभाषित किया गया है <math>F(\mathbf{x})=\sum_{S\subseteq \Omega} f(S) \prod_{i\in S} x_i \prod_{i\notin S} (1-x_i)</math>.
किसी भी सदिश पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\ldots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर बहुरेखीय विस्तार को इस प्रकार परिभाषित किया गया है <math>F(\mathbf{x})=\sum_{S\subseteq \Omega} f(S) \prod_{i\in S} x_i \prod_{i\notin S} (1-x_i)</math>.


==== उत्तल समापन ====
==== उत्तल समापन ====
किसी भी वेक्टर पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर उत्तल समापन को इस प्रकार परिभाषित किया गया है <math>f^-(\mathbf{x})=\min\left(\sum_S \alpha_S f(S):\sum_S \alpha_S 1_S=\mathbf{x},\sum_S \alpha_S=1,\alpha_S\geq 0\right)</math>. किसी भी समुच्चय फ़ंक्शन का उत्तल समापन उत्तल होता है <math>[0,1]^n</math>.
किसी भी सदिश पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर उत्तल समापन को इस प्रकार परिभाषित किया गया है <math>f^-(\mathbf{x})=\min\left(\sum_S \alpha_S f(S):\sum_S \alpha_S 1_S=\mathbf{x},\sum_S \alpha_S=1,\alpha_S\geq 0\right)</math>. किसी भी समुच्चय फलन का उत्तल समापन उत्तल होता है <math>[0,1]^n</math>.
 
==== अवतल बंद होना ====
किसी भी वेक्टर पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर अवतल समापन को इस प्रकार परिभाषित किया गया है <math>f^+(\mathbf{x})=\max\left(\sum_S \alpha_S f(S):\sum_S \alpha_S 1_S=\mathbf{x},\sum_S \alpha_S=1,\alpha_S\geq 0\right)</math>.
 
=== एक्सटेंशन के बीच कनेक्शन ===
ऊपर चर्चा किए गए एक्सटेंशन के लिए, यह दिखाया जा सकता है <math>f^{+}(\mathbf{x}) \geq F(\mathbf{x}) \geq f^{-}(\mathbf{x})=f^L(\mathbf{x})</math> कब <math>f</math> सबमॉड्यूलर है.<ref name="JV2" />


==== अवतल सिमित होना ====
किसी भी सदिश पर विचार करें <math>\mathbf{x}=\{x_1,x_2,\dots,x_n\}</math> ऐसा कि प्रत्येक <math>0\leq x_i\leq 1</math>. फिर अवतल समापन को इस प्रकार परिभाषित किया गया है <math>f^+(\mathbf{x})=\max\left(\sum_S \alpha_S f(S):\sum_S \alpha_S 1_S=\mathbf{x},\sum_S \alpha_S=1,\alpha_S\geq 0\right)</math>.


=== विस्तार के बीच कनेक्शन ===
ऊपर चर्चा किए गए विस्तार के लिए, यह दिखाया जा सकता है <math>f^{+}(\mathbf{x}) \geq F(\mathbf{x}) \geq f^{-}(\mathbf{x})=f^L(\mathbf{x})</math> जब <math>f</math> उपप्रतिरूपक होता है.<ref name="JV2" />
== गुण ==
== गुण ==
# सबमॉड्यूलर फ़ंक्शंस का वर्ग गैर-नकारात्मक [[रैखिक संयोजन]]ों के तहत बंद (गणित) है। किसी भी सबमॉड्यूलर फ़ंक्शन पर विचार करें <math>f_1,f_2,\ldots,f_k</math> और गैर-नकारात्मक संख्याएँ <math>\alpha_1,\alpha_2,\ldots,\alpha_k</math>. फिर फ़ंक्शन <math>g</math> द्वारा परिभाषित <math>g(S)=\sum_{i=1}^k \alpha_i f_i(S)</math> सबमॉड्यूलर है.
# उपप्रतिरूपक फलन का वर्ग गैर-ऋणात्मक [[रैखिक संयोजन]] के तहत सिमित (गणित) होता है। किसी भी उपप्रतिरूपक फलन पर विचार करें <math>f_1,f_2,\ldots,f_k</math> और गैर-ऋणात्मक संख्याएँ <math>\alpha_1,\alpha_2,\ldots,\alpha_k</math>. फिर फलन <math>g</math> द्वारा परिभाषित <math>g(S)=\sum_{i=1}^k \alpha_i f_i(S)</math> उपप्रतिरूपक होता है.
#किसी भी सबमॉड्यूलर फ़ंक्शन के लिए <math>f</math>, द्वारा परिभाषित फ़ंक्शन <math>g(S)=f(\Omega \setminus S)</math> सबमॉड्यूलर है.
#किसी भी उपप्रतिरूपक फलन के लिए <math>f</math>, द्वारा परिभाषित फलन <math>g(S)=f(\Omega \setminus S)</math> उपप्रतिरूपक होता है.
#कार्यक्रम <math>g(S)=\min(f(S),c)</math>, कहाँ <math>c</math> एक वास्तविक संख्या है, जब भी सबमॉड्यूलर होता है <math>f</math> मोनोटोन सबमॉड्यूलर है. आम तौर पर अधिक, <math>g(S)=h(f(S))</math> किसी भी गैर घटते अवतल फ़ंक्शन के लिए सबमॉड्यूलर है <math>h</math>.
#कार्यक्रम <math>g(S)=\min(f(S),c)</math>, जहाँ <math>c</math> एक वास्तविक संख्या है, जब भी उपप्रतिरूपक होता है <math>f</math> मोनोटोन उपप्रतिरूपक है. सामान्यतौर पर अत्यधिक, <math>g(S)=h(f(S))</math> किसी भी गैर घटते अवतल फलन के लिए उपप्रतिरूपक होता है .
# एक यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय <math>T</math> प्रत्येक तत्व के साथ चुना जाता है <math>\Omega</math> में शामिल किया जा रहा है <math>T</math> संभाव्यता के साथ स्वतंत्र रूप से <math>p</math>. तब निम्नलिखित असमानता सत्य है <math>\mathbb{E}[f(T)]\geq p f(\Omega)+(1-p) f(\varnothing)</math> कहाँ <math>\varnothing</math> खाली समुच्चय है. अधिक आम तौर पर निम्नलिखित यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय <math>S</math> निम्नानुसार निर्मित किया गया है। प्रत्येक के लिए <math>1\leq i\leq l, A_i\subseteq \Omega</math> CONSTRUCT <math>S_i</math> प्रत्येक तत्व को शामिल करके <math>A_i</math> स्वतंत्र रूप से <math>S_i</math> संभाव्यता के साथ <math>p_i</math>. इसके अलावा चलो <math>S=\cup_{i=1}^l S_i</math>. तब निम्नलिखित असमानता सत्य है <math>\mathbb{E}[f(S)]\geq \sum_{R\subseteq [l]} \Pi_{i\in R}p_i \Pi_{i\notin R}(1-p_i)f(\cup_{i\in R}A_i)</math>.{{Citation needed|date=November 2013}}
# एक यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय <math>T</math> प्रत्येक तत्व के साथ चुना जाता है <math>\Omega</math> में सम्मिलित किया जा रहा है <math>T</math> संभाव्यता के साथ स्वतंत्र रूप से <math>p</math>. तब निम्नलिखित असमानता सत्य होता है <math>\mathbb{E}[f(T)]\geq p f(\Omega)+(1-p) f(\varnothing)</math> जहाँ <math>\varnothing</math> शून्य समुच्चय है. आत्याधिक सामान्यतौर पर निम्नलिखित यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय <math>S</math> निम्नानुसार निर्मित किया गया है। प्रत्येक के लिए <math>1\leq i\leq l, A_i\subseteq \Omega</math> कंस्ट्रक्ट <math>S_i</math> प्रत्येक तत्व को सम्मिलित करके <math>A_i</math> स्वतंत्र रूप से <math>S_i</math> संभाव्यता के साथ <math>p_i</math>. इसके अतिरिक्त चलो <math>S=\cup_{i=1}^l S_i</math>. तब निम्नलिखित असमानता सत्य होता है <math>\mathbb{E}[f(S)]\geq \sum_{R\subseteq [l]} \Pi_{i\in R}p_i \Pi_{i\notin R}(1-p_i)f(\cup_{i\in R}A_i)</math>.


== [[अनुकूलन समस्या]]एँ ==
== [[अनुकूलन समस्या]]एँ ==
सबमॉड्यूलर फ़ंक्शंस में ऐसे गुण होते हैं जो उत्तल फ़ंक्शन और अवतल फ़ंक्शंस के समान होते हैं। इस कारण से, एक अनुकूलन समस्या जो उत्तल या अवतल फ़ंक्शन को अनुकूलित करने से संबंधित है, उसे कुछ बाधाओं के अधीन एक सबमॉड्यूलर फ़ंक्शन को अधिकतम या छोटा करने की समस्या के रूप में भी वर्णित किया जा सकता है।
उपप्रतिरूपक फलन में ऐसे गुण होते हैं जो उत्तल फलन और अवतल फलन के समान होते हैं। इस कारण से, एक अनुकूलन समस्या जो उत्तल या अवतल फलन को अनुकूलित करने से संबंधित है, उसे कुछ बाधाओं के अधीन एक उपप्रतिरूपक फलन को अधिकतम या छोटा करने की समस्या के रूप में भी वर्णित किया जा सकता है।


=== सबमॉड्यूलर समुच्चय फ़ंक्शन न्यूनतमकरण ===
=== उपप्रतिरूपक समुच्चय फलन न्यूनतमकरण ===
सबमॉड्यूलर समुच्चय फ़ंक्शन को न्यूनतम करने की कठोरता समस्या पर लगाई गई बाधाओं पर निर्भर करती है।
उपप्रतिरूपक समुच्चय फलन को न्यूनतम करने की कठोरता समस्या पर लगाई गई बाधाओं पर निर्भर करती है।


# सबमॉड्यूलर फ़ंक्शन को न्यूनतम करने की अप्रतिबंधित समस्या बहुपद समय में गणना योग्य है,<ref name="GLS" /><ref name="Cunningham" />और यहां तक ​​कि [[प्रबल बहुपद]]|दृढ़-बहुपद समय में भी।<ref name="IFF" /><ref name="Schrijver" />ग्राफ़ में [[न्यूनतम कटौती]] की गणना करना इस न्यूनतमकरण समस्या का एक विशेष मामला है।
# उपप्रतिरूपक फलन को न्यूनतम करने की अप्रतिबंधित समस्या बहुपद समय में गणना योग्य होता है,<ref name="GLS" /><ref name="Cunningham" />और जहाँ तक ​​कि दृढ़-बहुपद समय में भी होता है।<ref name="IFF" /><ref name="Schrijver" />ग्राफ़ में [[न्यूनतम कटौती]] की गणना करना इस न्यूनतमकरण समस्या का एक विशेष स्थितियां होता है।
# कार्डिनैलिटी निचली सीमा के साथ एक सबमॉड्यूलर फ़ंक्शन को कम करने की समस्या [[ एनपी कठिन ]] है, सन्निकटन कारक पर बहुपद कारक निचली सीमा के साथ।<ref name="SF" /><ref name="IJB" />
# कार्डिनैलिटी निचली सीमा के साथ एक उपप्रतिरूपक फलन को कम करने की समस्या [[ एनपी कठिन | एनपी कठिन होता]] है, सन्निकटन कारक पर बहुपद कारक निचली सीमा के साथ होता है।<ref name="SF" /><ref name="IJB" />
=== उपप्रतिरूपक समुच्चय फलन अधिकतमकरण ===
न्यूनतमकरण के स्थितियां के विपरीत, एक सामान्य उपप्रतिरूपक फलन को अधिकतम करना अप्रतिबंधित सेटिंग में भी एनपी-हार्ड होता है। इस प्रकार, इस क्षेत्र में अधिकांश कार्य बहुपद-समय सन्निकटन एल्गोरिदम से संबंधित हैं, जिनमें [[लालची एल्गोरिदम]] या [[स्थानीय खोज (अनुकूलन)]] सम्मिलित होता हैं।


 
# एक गैर-ऋणात्मक उपप्रतिरूपक फलन को अधिकतम करने की समस्या 1/2 सन्निकटन एल्गोरिथ्म को स्वीकार करती है।<ref name="FMV" /><ref name="BFNS" />ग्राफ़ के अधिकतम कट की गणना करना इस समस्या का एक विशेष स्थितियां होता है।
=== सबमॉड्यूलर समुच्चय फ़ंक्शन अधिकतमकरण ===
# कार्डिनैलिटी बाधा के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या स्वीकार करती है <math>1 - 1/e</math> सन्निकटन एल्गोरिथ्म.<ref name="NVF" /><ref>{{Cite web|last=Williamson|first=David P.|title=Bridging Continuous and Discrete Optimization: Lecture 23|url=https://people.orie.cornell.edu/dpw/orie6334/lecture23.pdf}}</ref> [[अधिकतम कवरेज समस्या]] इस समस्या का एक विशेष स्थितियां होता है।
न्यूनतमकरण के मामले के विपरीत, एक सामान्य सबमॉड्यूलर फ़ंक्शन को अधिकतम करना अप्रतिबंधित सेटिंग में भी एनपी-हार्ड है। इस प्रकार, इस क्षेत्र में अधिकांश कार्य बहुपद-समय सन्निकटन एल्गोरिदम से संबंधित हैं, जिनमें [[लालची एल्गोरिदम]] या [[स्थानीय खोज (अनुकूलन)]] शामिल हैं।
# मैट्रोइड बाधा (जो उपरोक्त स्थितियां को समाहित करता है) के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या भी स्वीकार करती है <math>1 - 1/e</math> सन्निकटन एल्गोरिथ्म.<ref name="CCPV" /><ref name="FNS" /><ref name="FW" />
 
# एक गैर-नकारात्मक सबमॉड्यूलर फ़ंक्शन को अधिकतम करने की समस्या 1/2 सन्निकटन एल्गोरिथ्म को स्वीकार करती है।<ref name="FMV" /><ref name="BFNS" />ग्राफ़ के अधिकतम कट की गणना करना इस समस्या का एक विशेष मामला है।
# कार्डिनैलिटी बाधा के अधीन एक मोनोटोन सबमॉड्यूलर फ़ंक्शन को अधिकतम करने की समस्या स्वीकार करती है <math>1 - 1/e</math> सन्निकटन एल्गोरिथ्म.<ref name="NVF" />{{page needed|date=October 2020}}<ref>{{Cite web|last=Williamson|first=David P.|title=Bridging Continuous and Discrete Optimization: Lecture 23|url=https://people.orie.cornell.edu/dpw/orie6334/lecture23.pdf}}</ref> [[अधिकतम कवरेज समस्या]] इस समस्या का एक विशेष मामला है।
# मैट्रोइड बाधा (जो उपरोक्त मामले को समाहित करता है) के अधीन एक मोनोटोन सबमॉड्यूलर फ़ंक्शन को अधिकतम करने की समस्या भी स्वीकार करती है <math>1 - 1/e</math> सन्निकटन एल्गोरिथ्म.<ref name="CCPV" /><ref name="FNS" /><ref name="FW" />


इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।<ref name="IJB" />
इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।<ref name="IJB" />
===संबंधित अनुकूलन समस्याएँ===
===संबंधित अनुकूलन समस्याएँ===
सबमॉड्यूलर न्यूनतमकरण और अधिकतमीकरण के अलावा, सबमॉड्यूलर कार्यों से संबंधित कई अन्य प्राकृतिक अनुकूलन समस्याएं हैं।
उपप्रतिरूपक न्यूनतमकरण और अधिकतमीकरण के अतिरिक्त, उपप्रतिरूपक फलन से संबंधित कई अन्य प्राकृतिक अनुकूलन समस्याएं होता हैं।


# दो सबमॉड्यूलर फ़ंक्शंस के बीच अंतर को कम करना<ref name="NB" />एनपी न केवल कठिन है, बल्कि अप्राप्य भी है।<ref name="IBUAI" />  
# दो उपप्रतिरूपक फलन के बीच अंतर को कम करना<ref name="NB" />एनपी न केवल कठिन है, बल्कि अप्राप्य भी होता है।<ref name="IBUAI" />  
# सबमॉड्यूलर स्तर समुच्चय बाधा के अधीन एक सबमॉड्यूलर फ़ंक्शन का न्यूनतमकरण/अधिकतमीकरण (जिसे सबमॉड्यूलर कवर या सबमॉड्यूलर नैपसेक बाधा के अधीन सबमॉड्यूलर अनुकूलन के रूप में भी जाना जाता है) सीमित सन्निकटन गारंटी को स्वीकार करता है।<ref name="IB" />औसत कल्याण को अधिकतम करने के लिए एक सबमॉड्यूलर फ़ंक्शन के आधार पर डेटा को विभाजित करना सबमॉड्यूलर कल्याण समस्या के रूप में जाना जाता है, जो सीमित सन्निकटन गारंटी को भी स्वीकार करता है (कल्याण अधिकतमकरण देखें)।
# उपप्रतिरूपक स्तर समुच्चय बाधा के अधीन उपप्रतिरूपक फलन का न्यूनतमकरण/अधिकतमीकरण (जिसे उपप्रतिरूपक कवर या उपप्रतिरूपक नैपसेक बाधा के अधीन उपप्रतिरूपक अनुकूलन के रूप में भी जाना जाता है) सीमित सन्निकटन गारंटी को स्वीकार करता है।<ref name="IB" />औसत कल्याण को अधिकतम करने के लिए एक उपप्रतिरूपक फलन के आधार पर डेटा को विभाजित करना उपप्रतिरूपक कल्याण समस्या के रूप में जाना जाता है, जो सीमित सन्निकटन गारंटी को भी स्वीकार करता है (कल्याण अधिकतमकरण देखें) ।


== अनुप्रयोग ==
== अनुप्रयोग ==
[[अर्थशास्त्र]], गेम थ्योरी, मशीन लर्निंग और [[कंप्यूटर दृष्टि]] जैसे कई वास्तविक दुनिया के अनुप्रयोगों में सबमॉड्यूलर फ़ंक्शन स्वाभाविक रूप से होते हैं।<ref name="KG" /><ref name="JB" />घटती रिटर्न संपत्ति के कारण, सबमॉड्यूलर फ़ंक्शन स्वाभाविक रूप से वस्तुओं की लागत को मॉडल करते हैं, क्योंकि अक्सर एक बड़ी छूट होती है, जो आइटम खरीदता है उसमें वृद्धि होती है। सबमॉड्यूलर फ़ंक्शंस जटिलता, समानता और सहयोग की धारणाओं को मॉडल करते हैं जब वे न्यूनतमकरण समस्याओं में दिखाई देते हैं। दूसरी ओर,अधिकतमीकरण समस्याओं में, वे विविधता, सूचना और कवरेज की धारणाओं को मॉडल करते हैं।
[[अर्थशास्त्र]], गेम थ्योरी, मशीन लर्निंग और [[कंप्यूटर दृष्टि]] जैसे कई वास्तविक दुनिया के अनुप्रयोगों में उपप्रतिरूपक फलन स्वाभाविक रूप से होते हैं।<ref name="KG" /><ref name="JB" />घटती रिटर्न संपत्ति के कारण, उपप्रतिरूपक फलन स्वाभाविक रूप से वस्तुओं की लागत को प्रतिमान करते हैं, क्योंकि अधिकांशतः एक बड़ी छूट होती है, जो आइटम खरीदता है उसमें वृद्धि होती है। उपप्रतिरूपक फलन कठिन, समानता और सहयोग की धारणाओं को प्रतिमान करते हैं जब वे न्यूनतमकरण समस्याओं में दिखाई देते हैं। दूसरी ओर,अधिकतमीकरण समस्याओं में, वे विविधता, सूचना और कवरेज की धारणाओं को प्रतिमान करते हैं।


== यह भी देखें ==
== यह भी देखें ==
* [[सुपरमॉड्यूलर फ़ंक्शन]]
* उपप्रतिरूपक [[सुपरमॉड्यूलर फ़ंक्शन|फलन]]
* मैट्रोइड, [[पॉलीमेट्रोइड]]
* मैट्रोइड, [[पॉलीमेट्रोइड]]
* [[उपयोगिता अविभाज्य वस्तुओं पर कार्य करती है]]
* [[उपयोगिता अविभाज्य वस्तुओं पर कार्य करती है]]
Line 138: Line 126:
<ref name="JV2">{{Cite web|last=Vondrák|first=Jan|title=Polyhedral techniques in combinatorial optimization: Lecture 17|url=https://theory.stanford.edu/~jvondrak/CS369P/lec17.pdf}}</ref>
<ref name="JV2">{{Cite web|last=Vondrák|first=Jan|title=Polyhedral techniques in combinatorial optimization: Lecture 17|url=https://theory.stanford.edu/~jvondrak/CS369P/lec17.pdf}}</ref>
}}
}}
== संदर्भ ==
== संदर्भ ==


Line 147: Line 133:
*{{Citation|last=Narayanan|first=H.|year= 1997 |title=Submodular Functions and Electrical Networks|isbn= 0-444-82523-1}}
*{{Citation|last=Narayanan|first=H.|year= 1997 |title=Submodular Functions and Electrical Networks|isbn= 0-444-82523-1}}
*{{citation | last=Oxley | first=James G. | title=Matroid theory | series=Oxford Science Publications | location=Oxford | publisher=[[Oxford University Press]] | year=1992 | isbn=0-19-853563-5 | zbl=0784.05002 }}
*{{citation | last=Oxley | first=James G. | title=Matroid theory | series=Oxford Science Publications | location=Oxford | publisher=[[Oxford University Press]] | year=1992 | isbn=0-19-853563-5 | zbl=0784.05002 }}
==बाहरी संबंध==
==बाहरी संबंध==
* http://www.cs.berkeley.edu/~stefje/references.html has a longer bibliography
* http://www.cs.berkeley.edu/~stefje/references.html has a longer bibliography
* http://submodularity.org/ includes further material on the subject
* http://submodularity.org/ includes further material on the subject


<!--- Categories --->[[Category: संयुक्त अनुकूलन| संयुक्त अनुकूलन]] [[Category: सन्निकटन एल्गोरिदम| सन्निकटन एल्गोरिदम]] [[Category: मैट्रोइड सिद्धांत|मैट्रोइड सिद्धांत]]
[[Category: Machine Translated Page]]
[[Category:Created On 26/07/2023]]
[[Category:Created On 26/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:मैट्रोइड सिद्धांत|मैट्रोइड सिद्धांत]]
[[Category:संयुक्त अनुकूलन| संयुक्त अनुकूलन]]
[[Category:सन्निकटन एल्गोरिदम| सन्निकटन एल्गोरिदम]]

Latest revision as of 11:28, 21 August 2023

गणित में, एक उपप्रतिरूपक समुच्चय फलन (जिसे उपप्रतिरूपक फलन के रूप में भी जाना जाता है) एक समुच्चय फलन होता है, जिसका मूल्य,अनौपचारिक रूप से, यह गुण रखता है कि इनपुट समुच्चय में जोड़े जाने पर एकल तत्व जो फलन बनाता है, उसके वृद्धिशील मूल्य में अंतर इनपुट समुच्चय का आकार बढ़ने के साथ घटता जाता है। उपप्रतिरूपक फलन में एक प्राकृतिक ह्रासमान रिटर्न गुण होता है जो उन्हें कई अनुप्रयोगों के लिए उपयुक्त बनाता है, जिसमें सन्निकटन एल्गोरिदम, खेल सिद्धांत (उपयोगकर्ता प्राथमिकताओं को प्रतिरूपक करने वाले फलन के रूप में) और विद्युत नेटवर्क सम्मिलित होता हैं। हाल ही में, यंत्र अधिगम और कृत्रिम होशियारी में कई वास्तविक दुनिया की समस्याओं में उपप्रतिरूपक फलन को अत्यधिक उपयोगिता मिली है, जिसमें स्वचालित सारांशीकरण, बहु-दस्तावेज़ सारांशीकरण, फ़ीचर चयन, सक्रिय शिक्षण (मशीन लर्निंग), सेंसर प्लेसमेंट, छवि संग्रह सारांशीकरण और कई अन्य डोमेन सम्मिलित होता हैं।[1][2][3][4]

परिभाषा

अगर एक परिमित समुच्चय (गणित) है, उपप्रतिरूपक फलन एक समुच्चय फलन है , जहाँ पावर समुच्चय को दर्शाता है उपसमुच्चय को कार्यों के रूप में प्रस्तुत करना , जो निम्नलिखित समकक्ष शर्तों में से एक को संतुष्ट करता है।[5]

  1. सभी के लिए साथ और हर हमारे पास वह है .
  2. सभी के लिए हमारे पास वह है .
  3. सभी के लिए और ऐसा है कि हमारे पास वह है .

एक गैर-ऋणात्मक उपप्रतिरूपक भी एक सबएडिटिव समुच्चय फलन है, लेकिन एक सबएडिटिव फलन को उपप्रतिरूपक होने की आवश्यकता नहीं होता है।

अगर यदि इसे परिमित नहीं माना जाता है, तो उपरोक्त स्थितियाँ समतुल्य नहीं होता हैं। विशेष रूप से एक समारोह

 द्वारा परिभाषित  अगर  परिमित है और  अगर  अनंत है

उपरोक्त पहली शर्त को संतुष्ट करता है, लेकिन दूसरी शर्त विफल हो जाती है और परिमित प्रतिच्छेदन वाले अनंत समुच्चय होता हैं।

उपप्रतिरूपक फलन के प्रकार और उदाहरण

मोनोटोन

एक समुच्चय फलन यदि प्रत्येक के लिए एकरस है हमारे पास वह है . मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:

रैखिक (प्रतिरूपक) फलन
प्रपत्र का कोई भी कार्य एक रैखिक फलन कहलाता है। इसके अतिरिक्त यदि तब f एकस्वर होता है।
बजट-योगात्मक मूल्यांकन
प्रपत्र का कोई भी कार्य प्रत्येक के लिए और बजट योगात्मक कहा जाता है।[6]; कवरेज फलन: चलो कुछ मैंट्रोइड के उपसमुच्चय का संग्रह बनें . कार्यक्रम के लिए कवरेज फलन कहा जाता है. इसे तत्वों में गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
एन्ट्रॉपी (सूचना सिद्धांत)
यादृच्छिक चर का एक समुच्चय बना होता है। फिर किसी के लिए हमारे पास वह है एक उपप्रतिरूपक फलन होता है, जहां यादृच्छिक चर के समुच्चय की एन्ट्रापी होता है , एक तथ्य जिसे एंट्रोपिक सदिश शैनन-प्रकार की असमानताएं और Γn|शैनन की असमानता के रूप में जाना जाता है।[7] एन्ट्रॉपी फलन के लिए और भी असमानताएँ बनी रहने के लिए जानी जाती हैं, एन्ट्रोपिक वेक्टर देखा जाता है।
मैट्रोइड रैंक फलन
वह ग्राउंड समुच्चय हो जिस पर मैट्रोइड को परिभाषित किया गया है। फिर मैट्रोइड का रैंक फलन एक उपप्रतिरूपक फलन होता है।[8]

नॉन - मोनोटोन

एक उपप्रतिरूपक फलन जो मोनोटोन नहीं है उसे नॉन-मोनोटोन कहा जाता है।

सममित

एक नॉन-मोनोटोन उपप्रतिरूपक फलन यदि प्रत्येक के लिए सममित कहा जाता है हमारे पास वह है .

सममित नॉन-मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:

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

असममित

एक नॉन-मोनोटोन उपप्रतिरूपक फलन जो सममित नहीं है, असममित कहलाता है।

निर्देशित कटौती
एक निर्देशित ग्राफ के शीर्ष बना होता है। शीर्षों के किसी भी समुच्चय के लिए होने देना किनारों की संख्या को निरूपित करें ऐसा है कि और . इसे निर्देशित किनारों पर गैर-ऋणात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।

सतत विस्तार

परिभाषा

एक समुच्चय फलन साथ को फलन के रूप में भी दर्शाया जा सकता है , प्रत्येक को संबद्ध करके एक बाइनरी सदिश के साथ ऐसा है कि जब , और अन्यथा।

निरंतर रेस्ट्रिक्शन_(गणित) विस्तार_का_एक_फलन का किसी भी सतत कार्य के रूप में परिभाषित किया गया है जैसे कि यह के मूल्य से मिलता हो पर , अर्थात होता है। .

उपप्रतिरूपक फलन के संदर्भ में, निरंतर विस्तार के कुछ उदाहरण हैं जो सामान्यतौर पर उपयोग किए जाते हैं, जिनका वर्णन इस प्रकार होता है।

उदाहरण

राइडर विस्तार

इस विस्तार का नाम गणितज्ञ लास्ज़लो लोवाज़ के नाम पर रखा गया है।[9]किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . तब राइडर विस्तार को इस प्रकार परिभाषित किया गया है जहां उम्मीद खत्म हो गई अंतराल पर समान वितरण (निरंतर) से चुना गया . राइडर विस्तार एक उत्तल फलन है यदि एक उपप्रतिरूपक फलन होता है.

बहुरेखीय विस्तार

किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर बहुरेखीय विस्तार को इस प्रकार परिभाषित किया गया है .

उत्तल समापन

किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर उत्तल समापन को इस प्रकार परिभाषित किया गया है . किसी भी समुच्चय फलन का उत्तल समापन उत्तल होता है .

अवतल सिमित होना

किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर अवतल समापन को इस प्रकार परिभाषित किया गया है .

विस्तार के बीच कनेक्शन

ऊपर चर्चा किए गए विस्तार के लिए, यह दिखाया जा सकता है जब उपप्रतिरूपक होता है.[10]

गुण

  1. उपप्रतिरूपक फलन का वर्ग गैर-ऋणात्मक रैखिक संयोजन के तहत सिमित (गणित) होता है। किसी भी उपप्रतिरूपक फलन पर विचार करें और गैर-ऋणात्मक संख्याएँ . फिर फलन द्वारा परिभाषित उपप्रतिरूपक होता है.
  2. किसी भी उपप्रतिरूपक फलन के लिए , द्वारा परिभाषित फलन उपप्रतिरूपक होता है.
  3. कार्यक्रम , जहाँ एक वास्तविक संख्या है, जब भी उपप्रतिरूपक होता है मोनोटोन उपप्रतिरूपक है. सामान्यतौर पर अत्यधिक, किसी भी गैर घटते अवतल फलन के लिए उपप्रतिरूपक होता है .
  4. एक यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय प्रत्येक तत्व के साथ चुना जाता है में सम्मिलित किया जा रहा है संभाव्यता के साथ स्वतंत्र रूप से . तब निम्नलिखित असमानता सत्य होता है जहाँ शून्य समुच्चय है. आत्याधिक सामान्यतौर पर निम्नलिखित यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय निम्नानुसार निर्मित किया गया है। प्रत्येक के लिए कंस्ट्रक्ट प्रत्येक तत्व को सम्मिलित करके स्वतंत्र रूप से संभाव्यता के साथ . इसके अतिरिक्त चलो . तब निम्नलिखित असमानता सत्य होता है .

अनुकूलन समस्याएँ

उपप्रतिरूपक फलन में ऐसे गुण होते हैं जो उत्तल फलन और अवतल फलन के समान होते हैं। इस कारण से, एक अनुकूलन समस्या जो उत्तल या अवतल फलन को अनुकूलित करने से संबंधित है, उसे कुछ बाधाओं के अधीन एक उपप्रतिरूपक फलन को अधिकतम या छोटा करने की समस्या के रूप में भी वर्णित किया जा सकता है।

उपप्रतिरूपक समुच्चय फलन न्यूनतमकरण

उपप्रतिरूपक समुच्चय फलन को न्यूनतम करने की कठोरता समस्या पर लगाई गई बाधाओं पर निर्भर करती है।

  1. उपप्रतिरूपक फलन को न्यूनतम करने की अप्रतिबंधित समस्या बहुपद समय में गणना योग्य होता है,[11][12]और जहाँ तक ​​कि दृढ़-बहुपद समय में भी होता है।[13][14]ग्राफ़ में न्यूनतम कटौती की गणना करना इस न्यूनतमकरण समस्या का एक विशेष स्थितियां होता है।
  2. कार्डिनैलिटी निचली सीमा के साथ एक उपप्रतिरूपक फलन को कम करने की समस्या एनपी कठिन होता है, सन्निकटन कारक पर बहुपद कारक निचली सीमा के साथ होता है।[15][16]

उपप्रतिरूपक समुच्चय फलन अधिकतमकरण

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

  1. एक गैर-ऋणात्मक उपप्रतिरूपक फलन को अधिकतम करने की समस्या 1/2 सन्निकटन एल्गोरिथ्म को स्वीकार करती है।[17][18]ग्राफ़ के अधिकतम कट की गणना करना इस समस्या का एक विशेष स्थितियां होता है।
  2. कार्डिनैलिटी बाधा के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या स्वीकार करती है सन्निकटन एल्गोरिथ्म.[19][20] अधिकतम कवरेज समस्या इस समस्या का एक विशेष स्थितियां होता है।
  3. मैट्रोइड बाधा (जो उपरोक्त स्थितियां को समाहित करता है) के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या भी स्वीकार करती है सन्निकटन एल्गोरिथ्म.[21][22][23]

इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।[16]

संबंधित अनुकूलन समस्याएँ

उपप्रतिरूपक न्यूनतमकरण और अधिकतमीकरण के अतिरिक्त, उपप्रतिरूपक फलन से संबंधित कई अन्य प्राकृतिक अनुकूलन समस्याएं होता हैं।

  1. दो उपप्रतिरूपक फलन के बीच अंतर को कम करना[24]एनपी न केवल कठिन है, बल्कि अप्राप्य भी होता है।[25]
  2. उपप्रतिरूपक स्तर समुच्चय बाधा के अधीन उपप्रतिरूपक फलन का न्यूनतमकरण/अधिकतमीकरण (जिसे उपप्रतिरूपक कवर या उपप्रतिरूपक नैपसेक बाधा के अधीन उपप्रतिरूपक अनुकूलन के रूप में भी जाना जाता है) सीमित सन्निकटन गारंटी को स्वीकार करता है।[26]औसत कल्याण को अधिकतम करने के लिए एक उपप्रतिरूपक फलन के आधार पर डेटा को विभाजित करना उपप्रतिरूपक कल्याण समस्या के रूप में जाना जाता है, जो सीमित सन्निकटन गारंटी को भी स्वीकार करता है (कल्याण अधिकतमकरण देखें) ।

अनुप्रयोग

अर्थशास्त्र, गेम थ्योरी, मशीन लर्निंग और कंप्यूटर दृष्टि जैसे कई वास्तविक दुनिया के अनुप्रयोगों में उपप्रतिरूपक फलन स्वाभाविक रूप से होते हैं।[4][27]घटती रिटर्न संपत्ति के कारण, उपप्रतिरूपक फलन स्वाभाविक रूप से वस्तुओं की लागत को प्रतिमान करते हैं, क्योंकि अधिकांशतः एक बड़ी छूट होती है, जो आइटम खरीदता है उसमें वृद्धि होती है। उपप्रतिरूपक फलन कठिन, समानता और सहयोग की धारणाओं को प्रतिमान करते हैं जब वे न्यूनतमकरण समस्याओं में दिखाई देते हैं। दूसरी ओर,अधिकतमीकरण समस्याओं में, वे विविधता, सूचना और कवरेज की धारणाओं को प्रतिमान करते हैं।

यह भी देखें

उद्धरण

  1. H. Lin and J. Bilmes, A Class of Submodular Functions for Document Summarization, ACL-2011.
  2. S. Tschiatschek, R. Iyer, H. Wei and J. Bilmes, Learning Mixtures of Submodular Functions for Image Collection Summarization, NIPS-2014.
  3. A. Krause and C. Guestrin, Near-optimal nonmyopic value of information in graphical models, UAI-2005.
  4. 4.0 4.1 A. Krause and C. Guestrin, Beyond Convexity: Submodularity in Machine Learning, Tutorial at ICML-2008
  5. (Schrijver 2003, §44, p. 766)
  6. Buchbinder, Niv; Feldman, Moran (2018). "Submodular Functions Maximization Problems". In Gonzalez, Teofilo F. (ed.). Handbook of Approximation Algorithms and Metaheuristics, Second Edition: Methodologies and Traditional Applications. Chapman and Hall/CRC. doi:10.1201/9781351236423. ISBN 9781351236423.
  7. "सूचना प्रसंस्करण और सीखना" (PDF). cmu.
  8. Fujishige (2005) p.22
  9. Lovász, L. (1983). "Submodular functions and convexity". Mathematical Programming the State of the Art: 235–257. doi:10.1007/978-3-642-68874-4_10. ISBN 978-3-642-68876-8.
  10. Vondrák, Jan. "Polyhedral techniques in combinatorial optimization: Lecture 17" (PDF).
  11. Grötschel, M.; Lovasz, L.; Schrijver, A. (1981). "The ellipsoid method and its consequences in combinatorial optimization". Combinatorica. 1 (2): 169–197. doi:10.1007/BF02579273. hdl:10068/182482. S2CID 43787103.
  12. Cunningham, W. H. (1985). "On submodular function minimization". Combinatorica. 5 (3): 185–192. doi:10.1007/BF02579361. S2CID 33192360.
  13. Iwata, S.; Fleischer, L.; Fujishige, S. (2001). "A combinatorial strongly polynomial algorithm for minimizing submodular functions". J. ACM. 48 (4): 761–777. doi:10.1145/502090.502096. S2CID 888513.
  14. Schrijver, A. (2000). "A combinatorial algorithm minimizing submodular functions in strongly polynomial time". J. Combin. Theory Ser. B. 80 (2): 346–355. doi:10.1006/jctb.2000.1989.
  15. Z. Svitkina and L. Fleischer, Submodular approximation: Sampling-based algorithms and lower bounds, SIAM Journal on Computing (2011).
  16. 16.0 16.1 R. Iyer, S. Jegelka and J. Bilmes, Fast Semidifferential based submodular function optimization, Proc. ICML (2013).
  17. U. Feige, V. Mirrokni and J. Vondrák, Maximizing non-monotone submodular functions, Proc. of 48th FOCS (2007), pp. 461–471.
  18. N. Buchbinder, M. Feldman, J. Naor and R. Schwartz, A tight linear time (1/2)-approximation for unconstrained submodular maximization, Proc. of 53rd FOCS (2012), pp. 649-658.
  19. Nemhauser, George; Wolsey, L. A.; Fisher, M. L. (1978). "An analysis of approximations for maximizing submodular set functions I". Mathematical Programming. 14 (14): 265–294. doi:10.1007/BF01588971. S2CID 206800425.
  20. Williamson, David P. "Bridging Continuous and Discrete Optimization: Lecture 23" (PDF).
  21. G. Calinescu, C. Chekuri, M. Pál and J. Vondrák, Maximizing a submodular set function subject to a matroid constraint, SIAM J. Comp. 40:6 (2011), 1740-1766.
  22. M. Feldman, J. Naor and R. Schwartz, A unified continuous greedy algorithm for submodular maximization, Proc. of 52nd FOCS (2011).
  23. Y. Filmus, J. Ward, A tight combinatorial algorithm for submodular maximization subject to a matroid constraint, Proc. of 53rd FOCS (2012), pp. 659-668.
  24. M. Narasimhan and J. Bilmes, A submodular-supermodular procedure with applications to discriminative structure learning, In Proc. UAI (2005).
  25. R. Iyer and J. Bilmes, Algorithms for Approximate Minimization of the Difference between Submodular Functions, In Proc. UAI (2012).
  26. R. Iyer and J. Bilmes, Submodular Optimization Subject to Submodular Cover and Submodular Knapsack Constraints, In Advances of NIPS (2013).
  27. J. Bilmes, Submodularity in Machine Learning Applications, Tutorial at AAAI-2015.

संदर्भ

बाहरी संबंध