सम्मुच्चय आवरक समस्या: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Classical problem in combinatorics}} सेट कवर समस्या साहचर्य, कंप्यूटर विज्ञान,...")
 
No edit summary
 
(7 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Classical problem in combinatorics}}
{{Short description|Classical problem in combinatorics}}


सेट कवर समस्या [[साहचर्य]], [[कंप्यूटर विज्ञान]], संचालन अनुसंधान और [[कम्प्यूटेशनल जटिलता सिद्धांत]] में एक शास्त्रीय प्रश्न है। यह कार्प की 21 एनपी-पूर्ण समस्याओं में से एक है जिसे 1972 में एनपी-पूर्ण दिखाया गया था।
'''सम्मुच्चय आवरक समस्या''' [[साहचर्य]], [[कंप्यूटर विज्ञान]], संचालन अनुसंधान और [[कम्प्यूटेशनल जटिलता सिद्धांत|संगणनात्मक जटिलता सिद्धांत]] में एक पारम्परिक प्रश्न है। यह कार्प की 21 एनपी-पूर्ण समस्याओं में से एक है जिसे 1972 में एनपी-पूर्ण दिखाया गया था।


तत्वों का एक [[सेट (गणित)]] दिया गया है {{math|{1, 2, …, ''n''} }} ([[ब्रह्मांड (गणित)]] कहा जाता है) और एक संग्रह {{mvar|S}} का {{mvar|m}} ऐसे सेट जिनका [[संघ (सेट सिद्धांत)]] ब्रह्मांड के बराबर है, सेट कवर समस्या सबसे छोटे उप-संग्रह की पहचान करना है {{mvar|S}}जिसका मिलन ब्रह्माण्ड के बराबर है। उदाहरण के लिए, ब्रह्माण्ड पर विचार करें {{math|1=''U'' = {1, 2, 3, 4, 5} }} और सेट का संग्रह {{math|1=''S'' = { {1, 2, 3}, {2, 4}, {3, 4}, {4, 5} }.}}स्पष्ट रूप से का मिलन {{mvar|S}} है {{mvar|U}}. हालाँकि, हम सभी तत्वों को निम्नलिखित, कम संख्या में सेट के साथ कवर कर सकते हैं: {{math|{ {1, 2, 3}, {4, 5} }.}}
तत्व {{math|{1, 2, …, ''n''} }}का एक [[सेट (गणित)|सम्मुच्चय (गणित)]] दिया गया है ([[ब्रह्मांड (गणित)|समष्टि (गणित)]] कहा जाता है) और एक संग्रह {{mvar|S}} का {{mvar|m}} ऐसे सम्मुच्चय जिनका [[संघ (सेट सिद्धांत)|संघ (सम्मुच्चय सिद्धांत)]] समष्टि के बराबर है, सम्मुच्चय आवरक समस्या {{mvar|S}}<nowiki> के सबसे छोटे उप-संग्रह की पहचान करना है जिसका संघ समष्टि के बराबर है। उदाहरण के लिए, समष्टि U = {1, 2, 3, 4, 5} और समुच्चय का संग्रह S = { {1, 2, 3}, {2, 4}, {3, 4}, {4, 5} } पर विचार करें। स्पष्ट रूप से S का मिलन U है। हालाँकि, हम निम्नलिखित, कम संख्या में सम्मुच्चय {{1, 2, 3}, {4, 5} } के साथ सभी तत्वों को आच्छादित कर सकते हैं।</nowiki>


अधिक औपचारिक रूप से, एक ब्रह्मांड दिया गया <math>\mathcal{U}</math> और एक परिवार <math>\mathcal{S}</math> के उपसमुच्चय <math>\mathcal{U}</math>, एक आवरण एक उपपरिवार है <math>\mathcal{C}\subseteq\mathcal{S}</math> उन समुच्चयों का जिनका मिलन है <math>\mathcal{U}</math>. [[निर्णय समस्या]] को कवर करने वाले सेट में, इनपुट एक जोड़ी है <math>(\mathcal{U},\mathcal{S})</math> और एक पूर्णांक <math>k</math>; प्रश्न यह है कि क्या आकार का कोई निर्धारित आवरण है <math>k</math> या कम। [[अनुकूलन समस्या]] को कवर करने वाले सेट में, इनपुट एक जोड़ी है <math>(\mathcal{U},\mathcal{S})</math>, और कार्य एक ऐसा सेट कवर ढूंढना है जो सबसे कम सेट का उपयोग करता हो।
अधिक औपचारिक रूप से, एक समष्टि <math>\mathcal{U}</math> दिया गया और एक वर्ग <math>\mathcal{S}</math> के उपसमुच्चय <math>\mathcal{U}</math>, एक आवरण एक उपवर्ग <math>\mathcal{C}\subseteq\mathcal{S}</math> है उन समुच्चयों का जिनका मिलन <math>\mathcal{U}</math> है। [[निर्णय समस्या]] को आवरक करने वाले सम्मुच्चय में, निविष्ट एक जोड़ी <math>(\mathcal{U},\mathcal{S})</math> और एक पूर्णांक <math>k</math> है; प्रश्न यह है कि क्या आकार का कोई निर्धारित आवरण <math>k</math> या कम है। [[अनुकूलन समस्या]] को आवरक करने वाले सम्मुच्चय में, निविष्ट एक जोड़ी <math>(\mathcal{U},\mathcal{S})</math> है, और कार्य एक ऐसा सम्मुच्चय आवरक ढूंढना है जो सबसे कम सम्मुच्चय का उपयोग करता हो।


सेट कवरिंग का निर्णय संस्करण एनपी-पूर्ण है, और सेट कवर का अनुकूलन/खोज संस्करण [[ एनपी कठिन ]] है।{{sfn |Korte|Vygen|2012|p=414}} यह एक ऐसी समस्या है जिसके अध्ययन से [[सन्निकटन एल्गोरिदम]] के पूरे क्षेत्र के लिए मौलिक तकनीकों का विकास हुआ है।<ref>{{harvtxt|Vazirani|2001|p=15}}</ref> यदि प्रत्येक सेट को एक [[भार]] सौंपा गया है, तो यह एक भारित सेट कवर समस्या बन जाती है।
सम्मुच्चय आवरण का निर्णय संस्करण एनपी-पूर्ण है, और सम्मुच्चय आवरक का अनुकूलन/खोज संस्करण [[ एनपी कठिन |एनपी कठिन]] है। {{sfn |Korte|Vygen|2012|p=414}} यह एक ऐसी समस्या है जिसके अध्ययन से [[सन्निकटन एल्गोरिदम|सन्निकटन कलन विधि]] के पूरे क्षेत्र के लिए मौलिक तकनीकों का विकास हुआ है।<ref>{{harvtxt|Vazirani|2001|p=15}}</ref> यदि प्रत्येक सम्मुच्चय को एक [[भार]] सौंपा गया है, तो यह एक भारित सम्मुच्चय आवरक समस्या बन जाती है।


{{Covering-Packing Problem Pairs}}
{{Covering-Packing Problem Pairs}}


==[[पूर्णांक रैखिक कार्यक्रम]] सूत्रीकरण==
==[[पूर्णांक रैखिक कार्यक्रम]] सूत्रीकरण==
न्यूनतम सेट कवर समस्या को निम्नलिखित पूर्णांक रैखिक कार्यक्रम (ILP) के रूप में तैयार किया जा सकता है।<ref>{{harvtxt|Vazirani|2001|p=108}}</ref>
न्यूनतम सम्मुच्चय आवरक समस्या को निम्नलिखित पूर्णांक रैखिक कार्यक्रम (आईएलपी) के रूप में तैयार किया जा सकता है।<ref>{{harvtxt|Vazirani|2001|p=108}}</ref>
{|
{|
| minimize
| न्यूनतमीकरण
| <math>\sum_{s \in \mathcal S} x_s</math>
| <math>\sum_{s \in \mathcal S} x_s</math>
|
|
| (minimize the number of sets)
| (सम्मुच्चय की संख्या कम से कम करें)
|-
|-
| subject to
| के अधीन
| <math>\sum_{s\colon e \in s} x_s \geqslant 1 </math>
| <math>\sum_{s\colon e \in s} x_s \geqslant 1 </math>
| for all <math>e\in \mathcal U</math>
| for all <math>e\in \mathcal U</math>
| (cover every element of the universe)
| (समष्टि के हर तत्व को समाविष्ट करें)
|-
|-
|
|
| <math>x_s \in \{0,1\}</math>
| <math>x_s \in \{0,1\}</math>
| for all <math>s\in \mathcal S</math>.
| for all <math>s\in \mathcal S</math>.
| (every set is either in the set cover or not)
| (प्रत्येक सम्मुच्चय या तो सम्मुच्चय आच्छादन में है या नहीं है)
|}
|}
यह आईएलपी समस्याओं को कवर करने के लिए आईएलपी के अधिक सामान्य वर्ग से संबंधित है।
यह आईएलपी समस्याओं को आवरक करने के लिए आईएलपी के अधिक सामान्य वर्ग से संबंधित है।
इस ILP का रैखिक प्रोग्रामिंग विश्राम#अनुमान और अभिन्नता अंतर अधिकतम है <math>\scriptstyle \log n</math>. यह दिखाया गया है कि इसकी रैखिक प्रोग्रामिंग छूट वास्तव में एक कारक देती है-<math>\scriptstyle \log n</math> न्यूनतम सेट कवर समस्या के लिए सन्निकटन एल्गोरिदम (जहाँ <math>\scriptstyle n</math> ब्रह्मांड का आकार है)।<ref>{{harvtxt|Vazirani|2001|pp=110–112}}</ref>
भारित सेट कवर में, सेट को वजन दिया जाता है। सेट के वजन को निरूपित करें <math>s\in \mathcal{S}</math> द्वारा <math>w_{s}</math>. फिर भारित सेट कवर का वर्णन करने वाला पूर्णांक रैखिक कार्यक्रम ऊपर दिए गए के समान है, सिवाय इसके कि न्यूनतम करने का उद्देश्य कार्य है <math>\sum_{s \in \mathcal S} w_s x_s</math>.


== हिटिंग सेट फॉर्मूलेशन ==
इस आईएलपी का रैखिक प्रोग्रामिंग विश्राम और अभिन्नता अंतर अधिकतम <math>\scriptstyle \log n</math> है। यह दिखाया गया है कि इसकी रैखिक प्रोग्रामिंग छूट वास्तव में एक कारक-<math>\scriptstyle \log n</math> न्यूनतम सम्मुच्चय आवरक समस्या के लिए सन्निकटन कलन विधि (जहाँ <math>\scriptstyle n</math> समष्टि का आकार है) देती है। <ref>{{harvtxt|Vazirani|2001|pp=110–112}}</ref>
सेट कवरिंग हिटिंग सेट समस्या के बराबर है। यह देखने से पता चलता है कि सेट कवरिंग कैन का एक उदाहरण है
इसे एक मनमाना [[द्विदलीय ग्राफ]] के रूप में देखा जा सकता है, जिसमें ब्रह्मांड को बाईं ओर शीर्षों द्वारा दर्शाया गया है, सेटों को शीर्षों द्वारा दर्शाया गया है
दाईं ओर, और किनारे सेट में तत्वों को शामिल करने का प्रतिनिधित्व करते हैं। फिर कार्य दाएं-शीर्षों का एक न्यूनतम कार्डिनैलिटी उपसमुच्चय ढूंढना है जो सभी बाएं-शीर्षों को कवर करता है, जो वास्तव में हिटिंग सेट समस्या है।


== [[लालची एल्गोरिदम]] ==
भारित सम्मुच्चय आवरक में, सम्मुच्चय को भार दिया जाता है। सम्मुच्चय के भार <math>s\in \mathcal{S}</math> को <math>w_{s}</math> द्वारा निरूपित करें। फिर भारित सम्मुच्चय आवरक का वर्णन करने वाला पूर्णांक रैखिक कार्यक्रम ऊपर दिए गए के समान है, अतिरिक्त इसके कि न्यूनतम करने का उद्देश्य कार्य <math>\sum_{s \in \mathcal S} w_s x_s</math> है।


सेट कवरिंग के बहुपद समय सन्निकटन के लिए एक लालची एल्गोरिदम है जो एक नियम के अनुसार सेट चुनता है: प्रत्येक चरण में, वह सेट चुनें जिसमें सबसे बड़ी संख्या में शामिल न हों। सेट को प्राथमिकता देने के लिए बकेट कतार का उपयोग करके, इस पद्धति को इनपुट सेट के आकार के योग में समय रैखिक में लागू किया जा सकता है।<ref>{{Introduction to Algorithms|edition=3|chapter=Exercise 35.3-3|pages=1122|mode=cs2}}</ref> यह का अनुमानित अनुपात प्राप्त करता है <math>H(s)</math>, कहाँ <math>s</math> कवर किए जाने वाले सेट का आकार है.<ref>Chvatal, V. [https://www.jstor.org/stable/3689577 A Greedy Heuristic for the Set-Covering Problem]. Mathematics of Operations Research
== आघाती सम्मुच्चय सूत्रीकरण ==
Vol. 4, No. 3 (Aug., 1979), pp. 233-235</ref> दूसरे शब्दों में, यह एक ऐसा आवरण ढूंढ लेता है जो हो सकता है <math>H(n)</math> न्यूनतम एक से गुना बड़ा, जहाँ <math>H(n)</math> है <math>n</math>-वें [[हार्मोनिक संख्या]]:
सम्मुच्चय आवरण आघाती सम्मुच्चय समस्या के बराबर है। यह देखने से पता चलता है कि सम्मुच्चय आवरण के एक उदाहरण को एक स्वेच्छाचारी द्विदलीय आरेख के रूप में देखा जा सकता है, जिसमें समष्टि को बाईं ओर के शीर्षों द्वारा दर्शाया गया है, सम्मुच्चय को दाईं ओर के शीर्षों द्वारा दर्शाया गया है, और किनारों को सम्मुच्चय में तत्वों के समावेश का प्रतिनिधित्व किया गया है। फिर कार्य दाएं-शीर्षों का एक न्यूनतम गणनांक उपसमुच्चय ढूंढना है जो सभी बाएं-शीर्षों को आवरक करता है, जो वास्तव में आघाती सम्मुच्चय समस्या है।
<math display=block> H(n) = \sum_{k=1}^{n} \frac{1}{k} \le \ln{n} +1</math>
 
यह लालची एल्गोरिदम वास्तव में एक सन्निकटन अनुपात प्राप्त करता है <math>H(s^\prime)</math> कहाँ <math>s^\prime</math> का अधिकतम कार्डिनैलिटी सेट है <math>S</math>. के लिए <math>\delta-</math>हालाँकि, घने उदाहरण मौजूद हैं <math>c \ln{m}</math>-प्रत्येक के लिए सन्निकटन एल्गोरिथ्म <math>c > 0</math>.<ref>
== [[लालची एल्गोरिदम|लोलुप कलन विधि]] ==
 
सम्मुच्चय आवरण के बहुपद समय सन्निकटन के लिए एक लोलुप कलन विधि है जो एक नियम के अनुसार सम्मुच्चय चुनता है: प्रत्येक चरण में, वह सम्मुच्चय चुनें जिसमें सबसे बड़ी संख्या में सम्मिलित न हों। सम्मुच्चय को प्राथमिकता देने के लिए बकेट पंक्ति का उपयोग करके, इस पद्धति को निविष्ट सम्मुच्चय के आकार के योग में समय रैखिक में लागू किया जा सकता है। <ref>{{Introduction to Algorithms|edition=3|chapter=Exercise 35.3-3|pages=1122|mode=cs2}}</ref> यह <math>H(s)</math> का अनुमानित अनुपात प्राप्त करता है, जहाँ <math>s</math> आवरक किए जाने वाले सम्मुच्चय का आकार है। <ref>Chvatal, V. [https://www.jstor.org/stable/3689577 A Greedy Heuristic for the Set-Covering Problem]. Mathematics of Operations Research
Vol. 4, No. 3 (Aug., 1979), pp. 233-235</ref> दूसरे शब्दों में, यह एक ऐसा आवरण ढूंढ लेता है जो न्यूनतम एक से <math>H(n)</math> गुना बड़ा हो सकता है, जहाँ <math>H(n)</math> <math>n</math>-वी [[हार्मोनिक संख्या]] है :
<math display="block"> H(n) = \sum_{k=1}^{n} \frac{1}{k} \le \ln{n} +1</math>
यह लोलुप कलन विधि वास्तव में एक सन्निकटन <math>H(s^\prime)</math> अनुपात प्राप्त करता है जहाँ <math>s^\prime</math> का अधिकतम गणनांक सम्मुच्चय <math>S</math> है। <math>\delta-</math> के लिए हालाँकि, उदाहरणों के लिए, प्रत्येक <math>c > 0</math> के लिए एक <math>c \ln{m}</math> सन्निकटन कलन विधि उपस्थित है। <ref>
{{harvnb|Karpinski|Zelikovsky|1998}}</ref>
{{harvnb|Karpinski|Zelikovsky|1998}}</ref>


[[Image:SetCoverGreedy.gif|frame|K=3 के साथ लालची एल्गोरिदम के लिए सटीक उदाहरण]]एक मानक उदाहरण है जिस पर लालची एल्गोरिदम अनुमानित अनुपात प्राप्त करता है <math>\log_2(n)/2</math>.
[[Image:SetCoverGreedy.gif|frame|K=3 के साथ लोलुप कलन विधि के लिए उपयुक्त उदाहरण]]एक मानक उदाहरण है जिस पर लोलुप कलन विधि अनुमानित अनुपात <math>\log_2(n)/2</math> प्राप्त करता है।
ब्रह्माण्ड से मिलकर बना है <math>n=2^{(k+1)}-2</math> तत्व. सेट प्रणाली में शामिल हैं <math>k</math> जोड़ीवार असंयुक्त सेट
समष्टि से मिलकर <math>n=2^{(k+1)}-2</math> तत्व बना है। सम्मुच्चय प्रणाली में <math>k</math> जोड़ीवार असंयुक्त सम्मुच्चय सम्मिलित हैं
  <math>S_1,\ldots,S_k</math> आकार के साथ <math>2,4,8,\ldots,2^k</math> क्रमशः, साथ ही दो अतिरिक्त असंयुक्त सेट <math>T_0,T_1</math>,
  <math>S_1,\ldots,S_k</math> आकार के साथ <math>2,4,8,\ldots,2^k</math> क्रमशः, साथ ही दो अतिरिक्त असंयुक्त सम्मुच्चय <math>T_0,T_1</math>,
जिनमें से प्रत्येक में आधे-आधे तत्व शामिल हैं <math>S_i</math>. इस इनपुट पर, लालची एल्गोरिदम सेट लेता है
जिनमें से प्रत्येक में आधे-आधे तत्व <math>S_i</math> सम्मिलित हैं इस निविष्ट पर, लोलुप कलन विधि सम्मुच्चय लेता है
<math>S_k,\ldots,S_1</math>, उस क्रम में, जबकि इष्टतम समाधान में केवल शामिल हैं <math>T_0</math> और <math>T_1</math>.
 
ऐसे इनपुट का एक उदाहरण <math>k=3</math> दाईं ओर चित्रित है.
<math>S_k,\ldots,S_1</math>, उस क्रम में, जबकि इष्टतम समाधान में केवल <math>T_0</math> और <math>T_1</math> सम्मिलित हैं
 
ऐसे निविष्ट का एक उदाहरण <math>k=3</math> दाईं ओर चित्रित है।
 
अनुपयुक्तता परिणाम दर्शाते हैं कि लोलुप कलन विधि अनिवार्य रूप से निचले क्रम की शर्तों तक सम्मुच्चय आवरक के लिए सर्वोत्तम-संभव बहुपद समय सन्निकटन कलन विधि है।
 
(प्रशंसनीय जटिलता धारणाओं के तहत, सम्मुच्चय अनुपयुक्तता परिणाम नीचे देखें)। लोलुप कलन विधि के लिए एक कठोर विश्लेषण से पता चलता है कि सन्निकटन अनुपात <math>\ln{n} - \ln{\ln{n}} + \Theta(1)</math> बिल्कुल सही है। <ref>Slavík Petr  [http://dl.acm.org/citation.cfm?id=237991 A tight analysis of the greedy algorithm for set cover]. STOC'96, Pages 435-441, {{doi|10.1145/237814.237991}}</ref>
 


अनुपयुक्तता परिणाम दर्शाते हैं कि लालची एल्गोरिदम अनिवार्य रूप से निचले क्रम की शर्तों तक सेट कवर के लिए सर्वोत्तम-संभव बहुपद समय सन्निकटन एल्गोरिदम है।
(प्रशंसनीय जटिलता धारणाओं के तहत, सेट कवर समस्या # अनुपयुक्तता परिणाम नीचे देखें)। लालची एल्गोरिथ्म के लिए एक सख्त विश्लेषण से पता चलता है कि सन्निकटन अनुपात बिल्कुल सही है <math>\ln{n} - \ln{\ln{n}} + \Theta(1)</math>.<ref>Slavík Petr  [http://dl.acm.org/citation.cfm?id=237991 A tight analysis of the greedy algorithm for set cover]. STOC'96, Pages 435-441, {{doi|10.1145/237814.237991}}</ref>




== कम आवृत्ति प्रणाली ==
== कम आवृत्ति प्रणाली ==


यदि प्रत्येक तत्व अधिकतम में होता है {{var|f}} सेट करता है, तो बहुपद समय में एक समाधान पाया जा सकता है जो कि एक कारक के भीतर इष्टतम का अनुमान लगाता है {{var|f}} रैखिक प्रोग्रामिंग विश्राम का उपयोग करना।
यदि प्रत्येक तत्व अधिकतम f सम्मुच्चय में होता है, तब बहुपद समय में एक समाधान पाया जा सकता है जो एलपी विश्राम का उपयोग करके f के एक कारक के भीतर इष्टतम का अनुमान लगाता है।


यदि बाधा <math>x_S\in\{0,1\}</math> द्वारा प्रतिस्थापित किया जाता है <math>x_S \geq 0</math> सभी के लिए {{var|S}} में <math>\mathcal{S}</math> पूर्णांक रैखिक कार्यक्रम में #पूर्णांक रैखिक कार्यक्रम सूत्रीकरण दिखाया गया है, तो यह एक (गैर-पूर्णांक) रैखिक कार्यक्रम बन जाता है {{var|L}}. एल्गोरिथ्म को इस प्रकार वर्णित किया जा सकता है:
यदि पूर्णांक रैखिक कार्यक्रम में सभी <math>\mathcal{S}</math> in के लिए बाधा को <math>x_S\in\{0,1\}</math> <math>x_S \geq 0</math> से बदल दिया जाता है। ऊपर दिखाया गया है, तो यह एक (गैर-पूर्णांक) रैखिक प्रोग्राम {{var|L}} बन जाता है। एल्गोरिदम को निम्नानुसार वर्णित किया जा सकता हैː
# एक इष्टतम समाधान खोजें {{var|O}} कार्यक्रम के लिए {{var|L}} रैखिक कार्यक्रमों को हल करने के लिए कुछ बहुपद-समय पद्धति का उपयोग करना।
# रैखिक कार्यक्रमों को हल करने की कुछ बहुपद-समय विधि का उपयोग करके प्रोग्राम L के लिए एक इष्टतम समाधान O खोजें।
# सभी सेट चुनें {{var|S}} जिसके लिए संगत चर {{var|x}}<sub>{{var|S}}</sub> इसका मूल्य कम से कम 1/ है{{var|f}} समाधान में {{var|O}}.<ref>{{harvtxt|Vazirani|2001|pp=118–119}}</ref>
# वे सभी सेट {{var|S}} चुनें जिनके लिए संबंधित वेरिएबल {{var|x}}<sub>{{var|S}}</sub> का समाधान {{var|O}} में मान कम से कम 1/f है। <ref>{{harvtxt|Vazirani|2001|pp=118–119}}</ref>  




== अनुपयुक्तता परिणाम ==
== अनुपयुक्तता परिणाम ==


कब <math> n</math> ब्रह्माण्ड के आकार को दर्शाता है, {{harvtxt |Lund|Yannakakis|1994}} ने दिखाया कि सेट कवरिंग को बहुपद समय में एक कारक के भीतर अनुमानित नहीं किया जा सकता है <math>\tfrac{1}{2}\log_2{n} \approx 0.72\ln{n}</math>, जब तक कि एनपी में [[अर्ध-बहुपद समय]] एल्गोरिदम न हो। [[उरीएल फीगे]] (1998) ने इस निचली सीमा में सुधार किया <math>\bigl(1-o(1)\bigr)\cdot\ln{n}</math> समान धारणाओं के तहत, जो अनिवार्य रूप से लालची एल्गोरिथ्म द्वारा प्राप्त सन्निकटन अनुपात से मेल खाता है। {{harvtxt |Raz|Safra|1997}} एक निचली सीमा स्थापित की
जब <math> n</math> समष्टि के आकार को दर्शाता है, {{harvtxt |लुंड|यान्नाकाकिस|1994}} ने दिखाया कि सम्मुच्चय आवरण को बहुपद समय में एक कारक <math>\tfrac{1}{2}\log_2{n} \approx 0.72\ln{n}</math> के भीतर अनुमानित नहीं किया जा सकता है, जब तक कि एनपी में [[अर्ध-बहुपद समय]] कलन विधि न हो। [[उरीएल फीगे]] (1998) ने इस निचली सीमा <math>\bigl(1-o(1)\bigr)\cdot\ln{n}</math> में समान धारणाओं के अंतर्गत सुधार किया, जो अनिवार्य रूप से लोलुप कलन विधि द्वारा प्राप्त सन्निकटन अनुपात से मेल खाता है। {{harvtxt |रज|सफरा|1997}} ) ने c\cdot \ln {n} की एक निचली सीमा स्थापित की, जहां c एक निश्चित स्थिरांक है, इस शक्तिहीन धारणा के अंतर्गत कि P≠NP है।
का <math>c\cdot\ln{n}</math>, कहाँ <math>c</math> एक निश्चित स्थिरांक है, इस कमज़ोर धारणा के तहत कि P<math>\not=</math>एन.पी.
के उच्च मूल्य के साथ एक समान परिणाम <math>c</math> द्वारा हाल ही में सिद्ध किया गया {{harvtxt |Alon|Moshkovitz|Safra|2006}}. {{harvtxt |Dinur|Steurer|2013}} ने यह साबित करके इष्टतम अनुपयुक्तता दिखाई कि इसका अनुमान नहीं लगाया जा सकता <math>\bigl(1 - o(1)\bigr) \cdot \ln{n}</math> जब तक पी<math>=</math>ई.जी.


== भारित सेट कवर ==
सी के उच्च मान के साथ एक समान परिणाम हाल ही में एलोन, मोशकोविट्ज़ और सफ़्रा (2006) द्वारा सिद्ध किया गया था। डिनूर और स्टीयरर (2013) ने यह सिद्ध करके इष्टतम अनुपयुक्तता दिखाई कि इसे <math>\bigl(1 - o(1)\bigr) \cdot \ln{n}</math> तक अनुमानित नहीं किया जा सकता जब तक कि P = NP न हो।
 
== भारित सम्मुच्चय आवरक ==
{{Expand section|date=November 2017}}
{{Expand section|date=November 2017}}


रैखिक प्रोग्रामिंग विश्राम भारित सेट कवर के लिए पूर्णांक रैखिक कार्यक्रम में कहा गया है # पूर्णांक रैखिक कार्यक्रम सूत्रीकरण, कोई भी प्राप्त करने के लिए [[यादृच्छिक गोलाई]] का उपयोग कर सकता है <math>O(\log n)</math>-कारक सन्निकटन. गैर भारित सेट कवर को भारित केस के अनुसार अनुकूलित किया जा सकता है।<ref>{{harvtxt|Vazirani|2001|loc=Chapter 14}}</ref>
रैखिक प्रोग्रामिंग विश्राम भारित सम्मुच्चय आवरक के लिए पूर्णांक रैखिक कार्यक्रम में कहा गया है, कोई भी <math>O(\log n)</math> - कारक सन्निकटन प्राप्त करने के लिए [[यादृच्छिक गोलाई]] का उपयोग कर सकता है। गैर भारित सम्मुच्चय आवरक को भारित कारक के अनुसार अनुकूलित किया जा सकता है। <ref>{{harvtxt|Vazirani|2001|loc=Chapter 14}}</ref>




==संबंधित समस्याएँ==
==संबंधित समस्याएँ==
* हिटिंग सेट, सेट कवर का समतुल्य पुनर्रचना है।
* आघाती सम्मुच्चय, सम्मुच्चय आवरक का समतुल्य पुनर्रचना है।
* [[वर्टेक्स कवर समस्या]] हिटिंग सेट का एक विशेष मामला है।
* [[वर्टेक्स कवर समस्या|कोणबिंदु आवरक समस्या]] आघाती सम्मुच्चय की एक विशेष स्तिथि है।
* [[एज कवर समस्या]] सेट कवर का एक विशेष मामला है।
* [[एज कवर समस्या|एज आवरक समस्या]] सम्मुच्चय आवरक की एक विशेष स्तिथि है।
* [[ज्यामितीय सेट कवर समस्या]] सेट कवर का एक विशेष मामला है जब ब्रह्मांड बिंदुओं का एक सेट होता है <math>\mathbb{R}^d</math> और सेट ब्रह्मांड और ज्यामितीय आकृतियों (जैसे, डिस्क, आयत) के प्रतिच्छेदन से प्रेरित होते हैं।
* [[ज्यामितीय सेट कवर समस्या|ज्यामितीय सम्मुच्चय आवरक समस्या]] सम्मुच्चय आवरक की एक विशेष स्तिथि है जब समष्टि बिंदुओं का एक सम्मुच्चय <math>\mathbb{R}^d</math> होता है और सम्मुच्चय समष्टि और ज्यामितीय आकृतियों (जैसे, डिस्क, आयत) के प्रतिच्छेदन से प्रेरित होते हैं।
* [[पैकिंग सेट करें]]
* [[पैकिंग सेट करें|संकुलन सम्मुच्चय करें]]
* [[अधिकतम कवरेज समस्या]] अधिक से अधिक तत्वों को कवर करने के लिए अधिकतम k सेट चुनना है।
* [[अधिकतम कवरेज समस्या|अधिकतम समावेशन समस्या]] अधिक से अधिक तत्वों को आवरक करने के लिए अधिकतम k सम्मुच्चय चुनना है।
* डोमिनेटिंग सेट एक ग्राफ़ में शीर्षों के एक सेट (डोमिनेटिंग सेट) को इस प्रकार चुनने की समस्या है कि अन्य सभी शीर्ष [[ सेट पर दबदबा ]] में कम से कम एक शीर्ष के निकट हों। डोमिनेटिंग सेट समस्या को सेट कवर से कमी के माध्यम से एनपी पूर्ण दिखाया गया था।
* बाध्यकारी सम्मुच्चय एक आरेख़ में शीर्षों के एक सम्मुच्चय (बाध्यकारी सम्मुच्चय) को इस प्रकार चुनने की समस्या है कि अन्य सभी शीर्ष[[ सेट पर दबदबा | बाध्यकारी सम्मुच्चय]] में कम से कम एक शीर्ष के निकट हों। बाध्यकारी सम्मुच्चय समस्या को सम्मुच्चय आवरक से कमी के माध्यम से एनपी पूर्ण दिखाया गया था।
* [[सटीक कवर समस्या]] एक ऐसे सेट कवर को चुनना है जिसमें एक से अधिक कवरिंग सेट में कोई तत्व शामिल न हो।
* [[सटीक कवर समस्या|उपयुक्त आवरक समस्या]] एक ऐसे सम्मुच्चय आवरक को चुनना है जिसमें एक से अधिक आवरण सम्मुच्चय में कोई तत्व सम्मिलित न हो।
* लाल नीला सेट कवर।<ref>{{Cite book|last=Information.|first=Sandia National Laboratories. United States. Department of Energy. United States. Department of Energy. Office of Scientific and Technical|url=http://worldcat.org/oclc/68396743|title=लाल-नीले सेट कवर समस्या पर।|date=1999|publisher=United States. Dept. of Energy|oclc=68396743}}</ref>
* लाल नीला सम्मुच्चय आवरक। <ref>{{Cite book|last=Information.|first=Sandia National Laboratories. United States. Department of Energy. United States. Department of Energy. Office of Scientific and Technical|url=http://worldcat.org/oclc/68396743|title=लाल-नीले सेट कवर समस्या पर।|date=1999|publisher=United States. Dept. of Energy|oclc=68396743}}</ref>
*[[सेट-कवर अपहरण]].
*[[सेट-कवर अपहरण|सम्मुच्चय-आवरक अपहरण]].


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 138: Line 143:


== बाहरी संबंध ==
== बाहरी संबंध ==
{{commons category}}
* [http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/set-benchmarks.htm Benchmarks with Hidden Optimum Solutions for Set Covering, Set Packing and Winner Determination]
* [http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/set-benchmarks.htm Benchmarks with Hidden Optimum Solutions for Set Covering, Set Packing and Winner Determination]
* [http://www.csc.kth.se/~viggo/wwwcompendium/node146.html A compendium of NP optimization problems - Minimum Set Cover]
* [http://www.csc.kth.se/~viggo/wwwcompendium/node146.html A compendium of NP optimization problems - Minimum Set Cover]


{{DEFAULTSORT:Set Cover Problem}}[[Category: सेट के परिवार]] [[Category: एनपी-पूर्ण समस्याएँ]] [[Category: रैखिक प्रोग्रामिंग]] [[Category: सन्निकटन एल्गोरिदम]] [[Category: समस्याओं को छुपाना]]
{{DEFAULTSORT:Set Cover Problem}}
 
 


[[Category: Machine Translated Page]]
[[Category:All articles to be expanded|Set Cover Problem]]
[[Category:Created On 27/06/2023]]
[[Category:Articles to be expanded from November 2017|Set Cover Problem]]
[[Category:Articles using small message boxes|Set Cover Problem]]
[[Category:Commons category link from Wikidata|Set Cover Problem]]
[[Category:Created On 27/06/2023|Set Cover Problem]]
[[Category:Lua-based templates|Set Cover Problem]]
[[Category:Machine Translated Page|Set Cover Problem]]
[[Category:Pages with script errors|Set Cover Problem]]
[[Category:Templates Vigyan Ready|Set Cover Problem]]
[[Category:Templates that add a tracking category|Set Cover Problem]]
[[Category:Templates that generate short descriptions|Set Cover Problem]]
[[Category:Templates using TemplateData|Set Cover Problem]]
[[Category:एनपी-पूर्ण समस्याएँ|Set Cover Problem]]
[[Category:रैखिक प्रोग्रामिंग|Set Cover Problem]]
[[Category:सन्निकटन एल्गोरिदम|Set Cover Problem]]
[[Category:समस्याओं को छुपाना|Set Cover Problem]]
[[Category:सेट के परिवार|Set Cover Problem]]

Latest revision as of 16:58, 7 November 2023

सम्मुच्चय आवरक समस्या साहचर्य, कंप्यूटर विज्ञान, संचालन अनुसंधान और संगणनात्मक जटिलता सिद्धांत में एक पारम्परिक प्रश्न है। यह कार्प की 21 एनपी-पूर्ण समस्याओं में से एक है जिसे 1972 में एनपी-पूर्ण दिखाया गया था।

तत्व {1, 2, …, n} का एक सम्मुच्चय (गणित) दिया गया है (समष्टि (गणित) कहा जाता है) और एक संग्रह S का m ऐसे सम्मुच्चय जिनका संघ (सम्मुच्चय सिद्धांत) समष्टि के बराबर है, सम्मुच्चय आवरक समस्या S के सबसे छोटे उप-संग्रह की पहचान करना है जिसका संघ समष्टि के बराबर है। उदाहरण के लिए, समष्टि U = {1, 2, 3, 4, 5} और समुच्चय का संग्रह S = { {1, 2, 3}, {2, 4}, {3, 4}, {4, 5} } पर विचार करें। स्पष्ट रूप से S का मिलन U है। हालाँकि, हम निम्नलिखित, कम संख्या में सम्मुच्चय {{1, 2, 3}, {4, 5} } के साथ सभी तत्वों को आच्छादित कर सकते हैं।

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

सम्मुच्चय आवरण का निर्णय संस्करण एनपी-पूर्ण है, और सम्मुच्चय आवरक का अनुकूलन/खोज संस्करण एनपी कठिन है। [1] यह एक ऐसी समस्या है जिसके अध्ययन से सन्निकटन कलन विधि के पूरे क्षेत्र के लिए मौलिक तकनीकों का विकास हुआ है।[2] यदि प्रत्येक सम्मुच्चय को एक भार सौंपा गया है, तो यह एक भारित सम्मुच्चय आवरक समस्या बन जाती है।

पूर्णांक रैखिक कार्यक्रम सूत्रीकरण

न्यूनतम सम्मुच्चय आवरक समस्या को निम्नलिखित पूर्णांक रैखिक कार्यक्रम (आईएलपी) के रूप में तैयार किया जा सकता है।[3]

न्यूनतमीकरण (सम्मुच्चय की संख्या कम से कम करें)
के अधीन for all (समष्टि के हर तत्व को समाविष्ट करें)
for all . (प्रत्येक सम्मुच्चय या तो सम्मुच्चय आच्छादन में है या नहीं है)

यह आईएलपी समस्याओं को आवरक करने के लिए आईएलपी के अधिक सामान्य वर्ग से संबंधित है।

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

भारित सम्मुच्चय आवरक में, सम्मुच्चय को भार दिया जाता है। सम्मुच्चय के भार को द्वारा निरूपित करें। फिर भारित सम्मुच्चय आवरक का वर्णन करने वाला पूर्णांक रैखिक कार्यक्रम ऊपर दिए गए के समान है, अतिरिक्त इसके कि न्यूनतम करने का उद्देश्य कार्य है।

आघाती सम्मुच्चय सूत्रीकरण

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

लोलुप कलन विधि

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

यह लोलुप कलन विधि वास्तव में एक सन्निकटन अनुपात प्राप्त करता है जहाँ का अधिकतम गणनांक सम्मुच्चय है। के लिए हालाँकि, उदाहरणों के लिए, प्रत्येक के लिए एक सन्निकटन कलन विधि उपस्थित है। [7]

K=3 के साथ लोलुप कलन विधि के लिए उपयुक्त उदाहरण

एक मानक उदाहरण है जिस पर लोलुप कलन विधि अनुमानित अनुपात प्राप्त करता है।

समष्टि से मिलकर तत्व बना है। सम्मुच्चय प्रणाली में जोड़ीवार असंयुक्त सम्मुच्चय सम्मिलित हैं

 आकार के साथ  क्रमशः, साथ ही दो अतिरिक्त असंयुक्त सम्मुच्चय ,

जिनमें से प्रत्येक में आधे-आधे तत्व सम्मिलित हैं इस निविष्ट पर, लोलुप कलन विधि सम्मुच्चय लेता है

, उस क्रम में, जबकि इष्टतम समाधान में केवल और सम्मिलित हैं

ऐसे निविष्ट का एक उदाहरण दाईं ओर चित्रित है।

अनुपयुक्तता परिणाम दर्शाते हैं कि लोलुप कलन विधि अनिवार्य रूप से निचले क्रम की शर्तों तक सम्मुच्चय आवरक के लिए सर्वोत्तम-संभव बहुपद समय सन्निकटन कलन विधि है।

(प्रशंसनीय जटिलता धारणाओं के तहत, सम्मुच्चय अनुपयुक्तता परिणाम नीचे देखें)। लोलुप कलन विधि के लिए एक कठोर विश्लेषण से पता चलता है कि सन्निकटन अनुपात बिल्कुल सही है। [8]



कम आवृत्ति प्रणाली

यदि प्रत्येक तत्व अधिकतम f सम्मुच्चय में होता है, तब बहुपद समय में एक समाधान पाया जा सकता है जो एलपी विश्राम का उपयोग करके f के एक कारक के भीतर इष्टतम का अनुमान लगाता है।

यदि पूर्णांक रैखिक कार्यक्रम में सभी in के लिए बाधा को से बदल दिया जाता है। ऊपर दिखाया गया है, तो यह एक (गैर-पूर्णांक) रैखिक प्रोग्राम L बन जाता है। एल्गोरिदम को निम्नानुसार वर्णित किया जा सकता हैː

  1. रैखिक कार्यक्रमों को हल करने की कुछ बहुपद-समय विधि का उपयोग करके प्रोग्राम L के लिए एक इष्टतम समाधान O खोजें।
  2. वे सभी सेट S चुनें जिनके लिए संबंधित वेरिएबल xS का समाधान O में मान कम से कम 1/f है। [9]


अनुपयुक्तता परिणाम

जब समष्टि के आकार को दर्शाता है, लुंड & यान्नाकाकिस (1994) ने दिखाया कि सम्मुच्चय आवरण को बहुपद समय में एक कारक के भीतर अनुमानित नहीं किया जा सकता है, जब तक कि एनपी में अर्ध-बहुपद समय कलन विधि न हो। उरीएल फीगे (1998) ने इस निचली सीमा में समान धारणाओं के अंतर्गत सुधार किया, जो अनिवार्य रूप से लोलुप कलन विधि द्वारा प्राप्त सन्निकटन अनुपात से मेल खाता है। रज & सफरा (1997) ) ने c\cdot \ln {n} की एक निचली सीमा स्थापित की, जहां c एक निश्चित स्थिरांक है, इस शक्तिहीन धारणा के अंतर्गत कि P≠NP है।

सी के उच्च मान के साथ एक समान परिणाम हाल ही में एलोन, मोशकोविट्ज़ और सफ़्रा (2006) द्वारा सिद्ध किया गया था। डिनूर और स्टीयरर (2013) ने यह सिद्ध करके इष्टतम अनुपयुक्तता दिखाई कि इसे तक अनुमानित नहीं किया जा सकता जब तक कि P = NP न हो।

भारित सम्मुच्चय आवरक

रैखिक प्रोग्रामिंग विश्राम भारित सम्मुच्चय आवरक के लिए पूर्णांक रैखिक कार्यक्रम में कहा गया है, कोई भी - कारक सन्निकटन प्राप्त करने के लिए यादृच्छिक गोलाई का उपयोग कर सकता है। गैर भारित सम्मुच्चय आवरक को भारित कारक के अनुसार अनुकूलित किया जा सकता है। [10]


संबंधित समस्याएँ

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

टिप्पणियाँ

  1. Korte & Vygen 2012, p. 414.
  2. Vazirani (2001, p. 15)
  3. Vazirani (2001, p. 108)
  4. Vazirani (2001, pp. 110–112)
  5. Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2009) [1990], "Exercise 35.3-3", Introduction to Algorithms (3rd ed.), MIT Press and McGraw-Hill, p. 1122, ISBN 0-262-03384-4
  6. Chvatal, V. A Greedy Heuristic for the Set-Covering Problem. Mathematics of Operations Research Vol. 4, No. 3 (Aug., 1979), pp. 233-235
  7. Karpinski & Zelikovsky 1998
  8. Slavík Petr A tight analysis of the greedy algorithm for set cover. STOC'96, Pages 435-441, doi:10.1145/237814.237991
  9. Vazirani (2001, pp. 118–119)
  10. Vazirani (2001, Chapter 14)
  11. Information., Sandia National Laboratories. United States. Department of Energy. United States. Department of Energy. Office of Scientific and Technical (1999). लाल-नीले सेट कवर समस्या पर।. United States. Dept. of Energy. OCLC 68396743.


संदर्भ


बाहरी संबंध