उपप्रतिरूपक समुच्चय फलन: Difference between revisions
No edit summary |
No edit summary |
||
(14 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}} | ||
गणित में, एक '''उपप्रतिरूपक''' '''समुच्चय फलन''' (जिसे '''उपप्रतिरूपक''' '''फलन''' के रूप में भी जाना जाता है) एक समुच्चय फलन होता है, जिसका मूल्य,अनौपचारिक रूप से, यह गुण रखता है कि इनपुट समुच्चय में जोड़े जाने पर एकल तत्व जो फलन बनाता है, उसके वृद्धिशील मूल्य में अंतर इनपुट समुच्चय का आकार बढ़ने के साथ घटता जाता है। उपप्रतिरूपक फलन में एक प्राकृतिक ह्रासमान रिटर्न गुण होता है जो उन्हें कई अनुप्रयोगों के लिए उपयुक्त बनाता है, जिसमें [[सन्निकटन एल्गोरिदम]], [[ खेल सिद्धांत | खेल सिद्धांत]] (उपयोगकर्ता प्राथमिकताओं को प्रतिरूपक करने वाले फलन के रूप में) और [[विद्युत नेटवर्क]] सम्मिलित होता हैं। हाल ही में,[[ यंत्र अधिगम | यंत्र अधिगम]] और [[ कृत्रिम होशियारी | कृत्रिम होशियारी]] में कई वास्तविक दुनिया की समस्याओं में उपप्रतिरूपक फलन को अत्यधिक उपयोगिता मिली है, जिसमें [[स्वचालित सारांशीकरण]], [[बहु-दस्तावेज़ सारांशीकरण]], फ़ीचर चयन, [[सक्रिय शिक्षण (मशीन लर्निंग)]], सेंसर प्लेसमेंट, छवि संग्रह सारांशीकरण और कई अन्य डोमेन सम्मिलित होता हैं।<ref name="LB" /><ref name="TIWB" /><ref name="KG1" /><ref name="KG" /> | |||
== परिभाषा == | == परिभाषा == | ||
अगर <math>\Omega</math> एक परिमित समुच्चय [[सेट (गणित)|(गणित)]] है, | अगर <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>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>\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(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> कुछ मैंट्रोइड के उपसमुच्चय का संग्रह बनें <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=\{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>\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</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> एक उपप्रतिरूपक फलन होता है. | ||
==== बहुरेखीय विस्तार ==== | ==== बहुरेखीय विस्तार ==== | ||
किसी भी | किसी भी सदिश पर विचार करें <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})=\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</math>, द्वारा परिभाषित फलन <math>g(S)=f(\Omega \setminus S)</math> उपप्रतिरूपक होता है. | ||
#कार्यक्रम <math>g(S)=\min(f(S),c)</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>\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="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" /> | |||
# एक गैर- | |||
# कार्डिनैलिटी बाधा के अधीन एक मोनोटोन | |||
# मैट्रोइड बाधा (जो उपरोक्त | |||
इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।<ref name="IJB" /> | इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।<ref name="IJB" /> | ||
===संबंधित अनुकूलन समस्याएँ=== | ===संबंधित अनुकूलन समस्याएँ=== | ||
उपप्रतिरूपक न्यूनतमकरण और अधिकतमीकरण के अतिरिक्त, उपप्रतिरूपक फलन से संबंधित कई अन्य प्राकृतिक अनुकूलन समस्याएं होता हैं। | |||
# दो | # दो उपप्रतिरूपक फलन के बीच अंतर को कम करना<ref name="NB" />एनपी न केवल कठिन है, बल्कि अप्राप्य भी होता है।<ref name="IBUAI" /> | ||
# | # उपप्रतिरूपक स्तर समुच्चय बाधा के अधीन उपप्रतिरूपक फलन का न्यूनतमकरण/अधिकतमीकरण (जिसे उपप्रतिरूपक कवर या उपप्रतिरूपक नैपसेक बाधा के अधीन उपप्रतिरूपक अनुकूलन के रूप में भी जाना जाता है) सीमित सन्निकटन गारंटी को स्वीकार करता है।<ref name="IB" />औसत कल्याण को अधिकतम करने के लिए एक उपप्रतिरूपक फलन के आधार पर डेटा को विभाजित करना उपप्रतिरूपक कल्याण समस्या के रूप में जाना जाता है, जो सीमित सन्निकटन गारंटी को भी स्वीकार करता है (कल्याण अधिकतमकरण देखें) । | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
[[अर्थशास्त्र]], गेम थ्योरी, मशीन लर्निंग और [[कंप्यूटर दृष्टि]] जैसे कई वास्तविक दुनिया के अनुप्रयोगों में | [[अर्थशास्त्र]], गेम थ्योरी, मशीन लर्निंग और [[कंप्यूटर दृष्टि]] जैसे कई वास्तविक दुनिया के अनुप्रयोगों में उपप्रतिरूपक फलन स्वाभाविक रूप से होते हैं।<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 | ||
[[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]
- सभी के लिए साथ और हर हमारे पास वह है .
- सभी के लिए हमारे पास वह है .
- सभी के लिए और ऐसा है कि हमारे पास वह है .
एक गैर-ऋणात्मक उपप्रतिरूपक भी एक सबएडिटिव समुच्चय फलन है, लेकिन एक सबएडिटिव फलन को उपप्रतिरूपक होने की आवश्यकता नहीं होता है।
अगर यदि इसे परिमित नहीं माना जाता है, तो उपरोक्त स्थितियाँ समतुल्य नहीं होता हैं। विशेष रूप से एक समारोह
द्वारा परिभाषित अगर परिमित है और अगर अनंत है
उपरोक्त पहली शर्त को संतुष्ट करता है, लेकिन दूसरी शर्त विफल हो जाती है और परिमित प्रतिच्छेदन वाले अनंत समुच्चय होता हैं।
उपप्रतिरूपक फलन के प्रकार और उदाहरण
मोनोटोन
एक समुच्चय फलन यदि प्रत्येक के लिए एकरस है हमारे पास वह है . मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:
- रैखिक (प्रतिरूपक) फलन
- प्रपत्र का कोई भी कार्य एक रैखिक फलन कहलाता है। इसके अतिरिक्त यदि तब f एकस्वर होता है।
- बजट-योगात्मक मूल्यांकन
- प्रपत्र का कोई भी कार्य प्रत्येक के लिए और बजट योगात्मक कहा जाता है।[6]; कवरेज फलन: चलो कुछ मैंट्रोइड के उपसमुच्चय का संग्रह बनें . कार्यक्रम के लिए कवरेज फलन कहा जाता है. इसे तत्वों में गैर-नकारात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
- एन्ट्रॉपी (सूचना सिद्धांत)
- यादृच्छिक चर का एक समुच्चय बना होता है। फिर किसी के लिए हमारे पास वह है एक उपप्रतिरूपक फलन होता है, जहां यादृच्छिक चर के समुच्चय की एन्ट्रापी होता है , एक तथ्य जिसे एंट्रोपिक सदिश शैनन-प्रकार की असमानताएं और Γn|शैनन की असमानता के रूप में जाना जाता है।[7] एन्ट्रॉपी फलन के लिए और भी असमानताएँ बनी रहने के लिए जानी जाती हैं, एन्ट्रोपिक वेक्टर देखा जाता है।
- मैट्रोइड रैंक फलन
- वह ग्राउंड समुच्चय हो जिस पर मैट्रोइड को परिभाषित किया गया है। फिर मैट्रोइड का रैंक फलन एक उपप्रतिरूपक फलन होता है।[8]
नॉन - मोनोटोन
एक उपप्रतिरूपक फलन जो मोनोटोन नहीं है उसे नॉन-मोनोटोन कहा जाता है।
सममित
एक नॉन-मोनोटोन उपप्रतिरूपक फलन यदि प्रत्येक के लिए सममित कहा जाता है हमारे पास वह है .
सममित नॉन-मोनोटोन उपप्रतिरूपक फलन के उदाहरणों में सम्मिलित होता हैं:
- ग्राफ़ कट्स
- एक ग्राफ़ (अलग गणित) के शीर्ष बना होता है। शीर्षों के किसी भी समुच्चय के लिए होने देना किनारों की संख्या को निरूपित करें ऐसा है कि और . इसे किनारों पर गैर-ऋणात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
- आपसी जानकारी
- यादृच्छिक चर का एक समुच्चय बना होता है। फिर किसी के लिए हमारे पास वह है एक उपप्रतिरूपक फलन है, जहां आपसी जानकारी होता है.
असममित
एक नॉन-मोनोटोन उपप्रतिरूपक फलन जो सममित नहीं है, असममित कहलाता है।
- निर्देशित कटौती
- एक निर्देशित ग्राफ के शीर्ष बना होता है। शीर्षों के किसी भी समुच्चय के लिए होने देना किनारों की संख्या को निरूपित करें ऐसा है कि और . इसे निर्देशित किनारों पर गैर-ऋणात्मक भार जोड़कर सामान्यीकृत किया जा सकता है।
सतत विस्तार
परिभाषा
एक समुच्चय फलन साथ को फलन के रूप में भी दर्शाया जा सकता है , प्रत्येक को संबद्ध करके एक बाइनरी सदिश के साथ ऐसा है कि जब , और अन्यथा।
निरंतर रेस्ट्रिक्शन_(गणित) विस्तार_का_एक_फलन का किसी भी सतत कार्य के रूप में परिभाषित किया गया है जैसे कि यह के मूल्य से मिलता हो पर , अर्थात होता है। .
उपप्रतिरूपक फलन के संदर्भ में, निरंतर विस्तार के कुछ उदाहरण हैं जो सामान्यतौर पर उपयोग किए जाते हैं, जिनका वर्णन इस प्रकार होता है।
उदाहरण
राइडर विस्तार
इस विस्तार का नाम गणितज्ञ लास्ज़लो लोवाज़ के नाम पर रखा गया है।[9]किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . तब राइडर विस्तार को इस प्रकार परिभाषित किया गया है जहां उम्मीद खत्म हो गई अंतराल पर समान वितरण (निरंतर) से चुना गया . राइडर विस्तार एक उत्तल फलन है यदि एक उपप्रतिरूपक फलन होता है.
बहुरेखीय विस्तार
किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर बहुरेखीय विस्तार को इस प्रकार परिभाषित किया गया है .
उत्तल समापन
किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर उत्तल समापन को इस प्रकार परिभाषित किया गया है . किसी भी समुच्चय फलन का उत्तल समापन उत्तल होता है .
अवतल सिमित होना
किसी भी सदिश पर विचार करें ऐसा कि प्रत्येक . फिर अवतल समापन को इस प्रकार परिभाषित किया गया है .
विस्तार के बीच कनेक्शन
ऊपर चर्चा किए गए विस्तार के लिए, यह दिखाया जा सकता है जब उपप्रतिरूपक होता है.[10]
गुण
- उपप्रतिरूपक फलन का वर्ग गैर-ऋणात्मक रैखिक संयोजन के तहत सिमित (गणित) होता है। किसी भी उपप्रतिरूपक फलन पर विचार करें और गैर-ऋणात्मक संख्याएँ . फिर फलन द्वारा परिभाषित उपप्रतिरूपक होता है.
- किसी भी उपप्रतिरूपक फलन के लिए , द्वारा परिभाषित फलन उपप्रतिरूपक होता है.
- कार्यक्रम , जहाँ एक वास्तविक संख्या है, जब भी उपप्रतिरूपक होता है मोनोटोन उपप्रतिरूपक है. सामान्यतौर पर अत्यधिक, किसी भी गैर घटते अवतल फलन के लिए उपप्रतिरूपक होता है .
- एक यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय प्रत्येक तत्व के साथ चुना जाता है में सम्मिलित किया जा रहा है संभाव्यता के साथ स्वतंत्र रूप से . तब निम्नलिखित असमानता सत्य होता है जहाँ शून्य समुच्चय है. आत्याधिक सामान्यतौर पर निम्नलिखित यादृच्छिक प्रक्रिया पर विचार करें जहां एक समुच्चय निम्नानुसार निर्मित किया गया है। प्रत्येक के लिए कंस्ट्रक्ट प्रत्येक तत्व को सम्मिलित करके स्वतंत्र रूप से संभाव्यता के साथ . इसके अतिरिक्त चलो . तब निम्नलिखित असमानता सत्य होता है .
अनुकूलन समस्याएँ
उपप्रतिरूपक फलन में ऐसे गुण होते हैं जो उत्तल फलन और अवतल फलन के समान होते हैं। इस कारण से, एक अनुकूलन समस्या जो उत्तल या अवतल फलन को अनुकूलित करने से संबंधित है, उसे कुछ बाधाओं के अधीन एक उपप्रतिरूपक फलन को अधिकतम या छोटा करने की समस्या के रूप में भी वर्णित किया जा सकता है।
उपप्रतिरूपक समुच्चय फलन न्यूनतमकरण
उपप्रतिरूपक समुच्चय फलन को न्यूनतम करने की कठोरता समस्या पर लगाई गई बाधाओं पर निर्भर करती है।
- उपप्रतिरूपक फलन को न्यूनतम करने की अप्रतिबंधित समस्या बहुपद समय में गणना योग्य होता है,[11][12]और जहाँ तक कि दृढ़-बहुपद समय में भी होता है।[13][14]ग्राफ़ में न्यूनतम कटौती की गणना करना इस न्यूनतमकरण समस्या का एक विशेष स्थितियां होता है।
- कार्डिनैलिटी निचली सीमा के साथ एक उपप्रतिरूपक फलन को कम करने की समस्या एनपी कठिन होता है, सन्निकटन कारक पर बहुपद कारक निचली सीमा के साथ होता है।[15][16]
उपप्रतिरूपक समुच्चय फलन अधिकतमकरण
न्यूनतमकरण के स्थितियां के विपरीत, एक सामान्य उपप्रतिरूपक फलन को अधिकतम करना अप्रतिबंधित सेटिंग में भी एनपी-हार्ड होता है। इस प्रकार, इस क्षेत्र में अधिकांश कार्य बहुपद-समय सन्निकटन एल्गोरिदम से संबंधित हैं, जिनमें लालची एल्गोरिदम या स्थानीय खोज (अनुकूलन) सम्मिलित होता हैं।
- एक गैर-ऋणात्मक उपप्रतिरूपक फलन को अधिकतम करने की समस्या 1/2 सन्निकटन एल्गोरिथ्म को स्वीकार करती है।[17][18]ग्राफ़ के अधिकतम कट की गणना करना इस समस्या का एक विशेष स्थितियां होता है।
- कार्डिनैलिटी बाधा के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या स्वीकार करती है सन्निकटन एल्गोरिथ्म.[19][20] अधिकतम कवरेज समस्या इस समस्या का एक विशेष स्थितियां होता है।
- मैट्रोइड बाधा (जो उपरोक्त स्थितियां को समाहित करता है) के अधीन एक मोनोटोन उपप्रतिरूपक फलन को अधिकतम करने की समस्या भी स्वीकार करती है सन्निकटन एल्गोरिथ्म.[21][22][23]
इनमें से कई एल्गोरिदम को एल्गोरिदम के अर्ध-विभेदक आधारित ढांचे के भीतर एकीकृत किया जा सकता है।[16]
संबंधित अनुकूलन समस्याएँ
उपप्रतिरूपक न्यूनतमकरण और अधिकतमीकरण के अतिरिक्त, उपप्रतिरूपक फलन से संबंधित कई अन्य प्राकृतिक अनुकूलन समस्याएं होता हैं।
- दो उपप्रतिरूपक फलन के बीच अंतर को कम करना[24]एनपी न केवल कठिन है, बल्कि अप्राप्य भी होता है।[25]
- उपप्रतिरूपक स्तर समुच्चय बाधा के अधीन उपप्रतिरूपक फलन का न्यूनतमकरण/अधिकतमीकरण (जिसे उपप्रतिरूपक कवर या उपप्रतिरूपक नैपसेक बाधा के अधीन उपप्रतिरूपक अनुकूलन के रूप में भी जाना जाता है) सीमित सन्निकटन गारंटी को स्वीकार करता है।[26]औसत कल्याण को अधिकतम करने के लिए एक उपप्रतिरूपक फलन के आधार पर डेटा को विभाजित करना उपप्रतिरूपक कल्याण समस्या के रूप में जाना जाता है, जो सीमित सन्निकटन गारंटी को भी स्वीकार करता है (कल्याण अधिकतमकरण देखें) ।
अनुप्रयोग
अर्थशास्त्र, गेम थ्योरी, मशीन लर्निंग और कंप्यूटर दृष्टि जैसे कई वास्तविक दुनिया के अनुप्रयोगों में उपप्रतिरूपक फलन स्वाभाविक रूप से होते हैं।[4][27]घटती रिटर्न संपत्ति के कारण, उपप्रतिरूपक फलन स्वाभाविक रूप से वस्तुओं की लागत को प्रतिमान करते हैं, क्योंकि अधिकांशतः एक बड़ी छूट होती है, जो आइटम खरीदता है उसमें वृद्धि होती है। उपप्रतिरूपक फलन कठिन, समानता और सहयोग की धारणाओं को प्रतिमान करते हैं जब वे न्यूनतमकरण समस्याओं में दिखाई देते हैं। दूसरी ओर,अधिकतमीकरण समस्याओं में, वे विविधता, सूचना और कवरेज की धारणाओं को प्रतिमान करते हैं।
यह भी देखें
- उपप्रतिरूपक फलन
- मैट्रोइड, पॉलीमेट्रोइड
- उपयोगिता अविभाज्य वस्तुओं पर कार्य करती है
उद्धरण
- ↑ H. Lin and J. Bilmes, A Class of Submodular Functions for Document Summarization, ACL-2011.
- ↑ S. Tschiatschek, R. Iyer, H. Wei and J. Bilmes, Learning Mixtures of Submodular Functions for Image Collection Summarization, NIPS-2014.
- ↑ A. Krause and C. Guestrin, Near-optimal nonmyopic value of information in graphical models, UAI-2005.
- ↑ 4.0 4.1 A. Krause and C. Guestrin, Beyond Convexity: Submodularity in Machine Learning, Tutorial at ICML-2008
- ↑ (Schrijver 2003, §44, p. 766)
- ↑ 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.
- ↑ "सूचना प्रसंस्करण और सीखना" (PDF). cmu.
- ↑ Fujishige (2005) p.22
- ↑ 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.
- ↑ Vondrák, Jan. "Polyhedral techniques in combinatorial optimization: Lecture 17" (PDF).
- ↑ 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.
- ↑ Cunningham, W. H. (1985). "On submodular function minimization". Combinatorica. 5 (3): 185–192. doi:10.1007/BF02579361. S2CID 33192360.
- ↑ 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.
- ↑ 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.
- ↑ Z. Svitkina and L. Fleischer, Submodular approximation: Sampling-based algorithms and lower bounds, SIAM Journal on Computing (2011).
- ↑ 16.0 16.1 R. Iyer, S. Jegelka and J. Bilmes, Fast Semidifferential based submodular function optimization, Proc. ICML (2013).
- ↑ U. Feige, V. Mirrokni and J. Vondrák, Maximizing non-monotone submodular functions, Proc. of 48th FOCS (2007), pp. 461–471.
- ↑ 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.
- ↑ 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.
- ↑ Williamson, David P. "Bridging Continuous and Discrete Optimization: Lecture 23" (PDF).
- ↑ 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.
- ↑ M. Feldman, J. Naor and R. Schwartz, A unified continuous greedy algorithm for submodular maximization, Proc. of 52nd FOCS (2011).
- ↑ Y. Filmus, J. Ward, A tight combinatorial algorithm for submodular maximization subject to a matroid constraint, Proc. of 53rd FOCS (2012), pp. 659-668.
- ↑ M. Narasimhan and J. Bilmes, A submodular-supermodular procedure with applications to discriminative structure learning, In Proc. UAI (2005).
- ↑ R. Iyer and J. Bilmes, Algorithms for Approximate Minimization of the Difference between Submodular Functions, In Proc. UAI (2012).
- ↑ R. Iyer and J. Bilmes, Submodular Optimization Subject to Submodular Cover and Submodular Knapsack Constraints, In Advances of NIPS (2013).
- ↑ J. Bilmes, Submodularity in Machine Learning Applications, Tutorial at AAAI-2015.
संदर्भ
- Schrijver, Alexander (2003), Combinatorial Optimization, Springer, ISBN 3-540-44389-4
- Lee, Jon (2004), A First Course in Combinatorial Optimization, Cambridge University Press, ISBN 0-521-01012-8
- Fujishige, Satoru (2005), Submodular Functions and Optimization, Elsevier, ISBN 0-444-52086-4
- Narayanan, H. (1997), Submodular Functions and Electrical Networks, ISBN 0-444-82523-1
- Oxley, James G. (1992), Matroid theory, Oxford Science Publications, Oxford: Oxford University Press, ISBN 0-19-853563-5, Zbl 0784.05002
बाहरी संबंध
- http://www.cs.berkeley.edu/~stefje/references.html has a longer bibliography
- http://submodularity.org/ includes further material on the subject