वर्टेक्स कवर: Difference between revisions
(Created page with "{{short description|Subset of a graph's vertices, including at least one endpoint of every edge}} File:Couverture de sommets.svg|thumb|उदाहरण ग्राफ़...") |
No edit summary |
||
(20 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
[[File:Couverture de sommets.svg|thumb|उदाहरण ग्राफ़ जिसमें वर्टेक्स कवर होता है जिसमें 2 कोने (नीचे) होते हैं, किन्तु कम के साथ कोई नहीं।]]किनारा ([[ग्राफ सिद्धांत]]), ग्राफ़ (असतत गणित) का वर्टेक्स कवर (कभी-कभी नोड कवर) वर्टेक्स का समूह होता है जिसमें ग्राफ़ के प्रत्येक किनारा (ग्राफ़ सिद्धांत ) का कम से कम समापन बिंदु सम्मलित होता है। | |||
[[File:Couverture de sommets.svg|thumb|उदाहरण ग्राफ़ जिसमें | |||
[[कंप्यूटर विज्ञान]] में, न्यूनतम वर्टेक्स कवर खोजने की समस्या | [[कंप्यूटर विज्ञान]] में, न्यूनतम वर्टेक्स कवर खोजने की समस्या मौलिक [[अनुकूलन समस्या]] है। यह [[ एनपी कठिन |NP कठिन]] है, इसलिए यदि P ≠ NP है तो इसे बहुपद-समय कलन विधि द्वारा हल नहीं किया जा सकता है। इसके अतिरिक्त, इसका अनुमान लगाना कठिन है - यदि अद्वितीय खेलों का अनुमान सही है तो इसे 2 से छोटे कारक तक अनुमानित नहीं किया जा सकता है। दूसरी ओर, इसके कई सरल 2-कारक सन्निकटन हैं। यह एनपी-कठिन अनुकूलन समस्या का विशिष्ट उदाहरण है जिसमें सन्निकटन एल्गोरिथम है। इसकी [[निर्णय समस्या]], वर्टेक्स कवर समस्या, कार्प की 21 एनपी-पूर्ण समस्याओं में से थी और इसलिए [[कम्प्यूटेशनल जटिलता सिद्धांत|अभिकलनात्मक जटिलता सिद्धांत]] में मौलिक एनपी-पूर्ण समस्या है। इसके अतिरिक्त, वर्टेक्स कवर समस्या [[फिक्स्ड-पैरामीटर ट्रैक्टेबल|निश्चित पैरामीटर]] शिक्षणीय है और पैरामिट्रीकृत जटिलता में केंद्रीय समस्या है। | ||
न्यूनतम वर्टेक्स कवर समस्या को [[आधा-पूर्णांक]] | न्यूनतम वर्टेक्स कवर समस्या को [[आधा-पूर्णांक]] अभिन्न, [[रैखिक कार्यक्रम]] के रूप में तैयार किया जा सकता है जिसका दोहरा रैखिक कार्यक्रम [[अधिकतम मिलान समस्या]] है। | ||
वर्टेक्स कवर की समस्याओं को [[ hypergraph ]] के लिए सामान्यीकृत किया गया है, देखें ''[[हाइपरग्राफ में वर्टेक्स कवर]]''। | वर्टेक्स कवर की समस्याओं को [[ hypergraph |हाइपरग्राफ]] के लिए सामान्यीकृत किया गया है, देखें ''[[हाइपरग्राफ में वर्टेक्स कवर]]''। | ||
{{Covering-Packing Problem Pairs}} | {{Covering-Packing Problem Pairs}} | ||
Line 13: | Line 12: | ||
[[File:Vertex-cover.svg|thumb|वर्टेक्स कवर के उदाहरण]] | [[File:Vertex-cover.svg|thumb|वर्टेक्स कवर के उदाहरण]] | ||
[[File:Minimum-vertex-cover.svg|thumb|न्यूनतम वर्टेक्स कवर के उदाहरण]]औपचारिक रूप से, | [[File:Minimum-vertex-cover.svg|thumb|न्यूनतम वर्टेक्स कवर के उदाहरण]]औपचारिक रूप से, वर्टेक्स कवर <math>V'</math> अप्रत्यक्ष ग्राफ का <math>G=(V, E)</math> का उपसमुच्चय <math>V</math> है ऐसा है कि <math> uv \in E \Rightarrow u \in V' \lor v \in V'</math>, अर्थात यह शीर्षों का समूह <math>V'</math> है जहां प्रत्येक किनारे के शीर्ष कवर में कम से कम समापन बिंदु होता <math>V'</math>है । इस प्रकार के समूह के किनारों को कवर करने के लिए <math>G</math> कहा जाता है । ऊपरी आंकड़ा वर्टेक्स कवर के दो उदाहरण दिखाता है, कुछ वर्टेक्स कवर के साथ <math>V'</math> लाल रंग में चिह्नित है। | ||
न्यूनतम वर्टेक्स कवर सबसे छोटे संभव आकार का वर्टेक्स कवर है। वर्टेक्स कवर नंबर <math>\tau</math> न्यूनतम वर्टेक्स कवर का आकार है, अर्थात <math>\tau = |V'|</math>. निचला आंकड़ा पिछले ग्राफ़ में न्यूनतम वर्टेक्स कवर के उदाहरण दिखाता है। | न्यूनतम वर्टेक्स कवर सबसे छोटे संभव आकार का वर्टेक्स कवर है। वर्टेक्स कवर नंबर <math>\tau</math> न्यूनतम वर्टेक्स कवर का आकार है, अर्थात <math>\tau = |V'|</math>. निचला आंकड़ा पिछले ग्राफ़ में न्यूनतम वर्टेक्स कवर के उदाहरण दिखाता है। | ||
Line 19: | Line 18: | ||
=== उदाहरण === | === उदाहरण === | ||
* सभी शीर्षों का समुच्चय | * सभी शीर्षों का समुच्चय शीर्ष आवरण है। | ||
* किसी भी [[अधिकतम मिलान]] के समापन बिंदु | * किसी भी [[अधिकतम मिलान]] के समापन बिंदु वर्टेक्स कवर बनाते हैं। | ||
* पूरा | * पूरा <math>K_{m,n}</math> द्विपक्षीय ग्राफ आकार का न्यूनतम वर्टेक्स कवर <math>\tau(K_{m,n})=\min\{\,m,n\,\}</math> है। | ||
=== गुण === | === गुण === | ||
* वर्टिकल का | * वर्टिकल का समूह वर्टेक्स कवर है अगर और केवल अगर इसका पूरक (समूह सिद्धांत ) स्वतंत्र समूह (ग्राफ सिद्धांत ) है। | ||
* | * परिणाम स्वरुप , ग्राफ के शीर्षों की संख्या इसके न्यूनतम शीर्ष आवरण संख्या और अधिकतम स्वतंत्र समूह ([[तिबोर सकता है|गैलाई]] 1959) के आकार के बराबर होती है । | ||
== | == अभिकलनात्मक समस्या == | ||
न्यूनतम वर्टेक्स कवर समस्या किसी दिए गए ग्राफ़ में सबसे छोटा वर्टेक्स कवर खोजने की अनुकूलन समस्या है। | न्यूनतम वर्टेक्स कवर समस्या किसी दिए गए ग्राफ़ में सबसे छोटा वर्टेक्स कवर खोजने की अनुकूलन समस्या है। | ||
: उदाहरण: ग्राफ <math>G</math> | : उदाहरण: ग्राफ <math>G</math> | ||
:आउटपुट: सबसे छोटी संख्या <math>k</math> ऐसा है कि <math>G</math> आकार का | :आउटपुट: सबसे छोटी संख्या <math>k</math> ऐसा है कि <math>G</math> आकार का वर्टेक्स <math>k</math> कवर है । | ||
यदि समस्या को निर्णय समस्या के रूप में कहा जाता है, तो इसे वर्टेक्स कवर समस्या कहा जाता | यदि समस्या को निर्णय समस्या के रूप में कहा जाता है, तो इसे वर्टेक्स कवर समस्या कहा जाता है। | ||
: उदाहरण: | : उदाहरण: <math>G</math> ग्राफ और <math>k</math>सकारात्मक पूर्णांक । | ||
: प्रश्न: करता है <math>G</math> अधिकतम आकार का वर्टेक्स कवर | : प्रश्न: करता है <math>G</math> अधिकतम आकार का वर्टेक्स कवर <math>k</math> है ? | ||
वर्टेक्स कवर समस्या | वर्टेक्स कवर समस्या एनपी-पूर्ण समस्या है, यह कार्प की 21 एनपी-पूर्ण समस्याओं में से थी। यह अधिकांशतः अभिकलनात्मक जटिलता सिद्धांत में एनपी-कठोरता प्रमाण के लिए प्रारंभिक बिंदु के रूप में उपयोग किया जाता है। | ||
=== आईएलपी सूत्रीकरण === | === आईएलपी सूत्रीकरण === | ||
मान लें कि प्रत्येक शीर्ष की संबद्ध लागत | मान लें कि प्रत्येक शीर्ष की संबद्ध लागत <math>c(v)\geq 0</math> है ।(भारित) न्यूनतम वर्टेक्स कवर समस्या को निम्नलिखित पूर्णांक रेखीय कार्यक्रम (ILP) के रूप में तैयार किया जा सकता है।<ref>{{harvnb|Vazirani|2003|pp=121–122}}</ref> | ||
(भारित) न्यूनतम वर्टेक्स कवर समस्या को निम्नलिखित पूर्णांक रेखीय कार्यक्रम (ILP) के रूप में तैयार किया जा सकता है।<ref>{{harvnb|Vazirani|2003|pp=121–122}}</ref> | |||
:{| | :{| | ||
| minimize | | minimize | ||
Line 60: | Line 58: | ||
| (every vertex is either in the vertex cover or not) | | (every vertex is either in the vertex cover or not) | ||
|} | |} | ||
यह ILP समस्याओं को कवर करने के लिए ILPs के अधिक सामान्य वर्ग से संबंधित है। | यह ILP समस्याओं को कवर करने के लिए ILPs के अधिक सामान्य वर्ग से संबंधित है। इस ILP का रैखिक प्रोग्रामिंग छूट सन्निकटन और अखंडता अंतराल <math>2</math> है , इसलिए इसकी [[रैखिक प्रोग्रामिंग छूट]] (प्रत्येक चर को 0 से 1 के अंतराल में होने की अनुमति देता है, न कि केवल 0 या 1 होने के लिए चर की आवश्यकता होती है) कारक देता है-<math>2</math> न्यूनतम वर्टेक्स कवर समस्या के लिए सन्निकटन एल्गोरिथम। इसके अतिरिक्त, उस आईएलपी की रैखिक प्रोग्रामिंग छूट आधा-अभिन्न है, अर्थात, अनुकूलतम समाधान उपस्तिथ है जिसके लिए प्रत्येक प्रविष्टि <math>x_v</math> या तो 0, 1/2, या 1 है। इस भिन्नात्मक समाधान से 2-अनुमानित वर्टेक्स कवर प्राप्त किया जा सकता है, जिसके चर अशून्य हैं। | ||
इस ILP का | |||
इसके | |||
=== सटीक मूल्यांकन === | === सटीक मूल्यांकन === | ||
वर्टेक्स कवर समस्या का निर्णय समस्या संस्करण एनपी-पूर्ण है, जिसका अर्थ है कि यह संभावना नहीं है कि मनमाने ढंग से ग्राफ के लिए इसे हल करने के लिए | वर्टेक्स कवर समस्या का निर्णय समस्या संस्करण एनपी-पूर्ण है, जिसका अर्थ है कि यह संभावना नहीं है कि मनमाने ढंग से ग्राफ के लिए इसे हल करने के लिए कुशल कलन विधि है। एनपी-पूर्णता को [[बूलियन संतुष्टि समस्या]] से घटाकर सिद्ध किया जा सकता है 3-संतोषजनकता या, जैसा कि कार्प ने किया, [[क्लिक समस्या]] से कमी करके। [[क्यूबिक ग्राफ]] में भी वर्टेक्स कवर एनपी-पूर्ण रहता है<ref>{{harvnb|Garey|Johnson|Stockmeyer|1974}}</ref> और डिग्री के [[ प्लेनर ग्राफ |प्लेनर ग्राफ]] में भी अधिकतम 3 है।<ref>{{harvnb|Garey|Johnson|1977}}; {{harvnb|Garey|Johnson|1979}}, pp. 190 and 195.</ref>द्विदलीय रेखांकन के लिए, कोनिग प्रमेय (ग्राफ सिद्धांत) द्वारा वर्णित वर्टेक्स कवर और अधिकतम मिलान के बीच समानता | कोनिग प्रमेय द्विदलीय वर्टेक्स कवर समस्या को बहुपद समय में हल करने की अनुमति देता है। | ||
द्विदलीय रेखांकन के लिए, कोनिग प्रमेय (ग्राफ सिद्धांत) द्वारा वर्णित वर्टेक्स कवर और अधिकतम मिलान के बीच समानता | कोनिग प्रमेय द्विदलीय वर्टेक्स कवर समस्या को बहुपद समय में हल करने की अनुमति देता है। | |||
[[ पेड़ का ग्राफ ]]के लिए, एल्गोरिद्म पेड़ में पहला पत्ता खोजकर और उसके जनक को न्यूनतम वर्टेक्स कवर में जोड़कर बहुपद समय में न्यूनतम वर्टेक्स कवर ढूंढता है, फिर पत्ती और जनक और सभी संबंधित किनारों को हटा देता है और तब तक जारी रखता है जब तक कि कोई किनारा शेष न रह जाए। | |||
==== निश्चित पैरामीटर शिक्षणीयता ==== | |||
[[ क्रूर-बल खोज | क्रूर-बल खोज]] कलन विधि समय 2 में समस्या को हल कर सकता है, जहां k वर्टेक्स कवर का आकार है। वर्टेक्स कवर इसलिए निश्चित-पैरामीटर शिक्षणीय है और यदि हम केवल छोटे के में रुचि रखते हैं, तो हम बहुपद समय में समस्या को हल कर सकते हैं। एल्गोरिथम प्रविधि जो यहां काम करती है, उसे परिबंधित वृक्ष एल्गोरिथम खोजें कहा जाता है और इसका विचार बार-बार कुछ शीर्ष और पुनरावर्ती शाखा को चुनना है, प्रत्येक चरण में दो स्थितियों के साथ, तो वर्तमान शीर्ष या उसके सभी निकटतम को शीर्ष आवरण में रखें। वर्टेक्स कवर को हल करने के लिए एल्गोरिथम जो पैरामीटर पर सर्वोत्तम स्पर्शोन्मुख निर्भरता प्राप्त करता है, समय में चलता है इस समयबद्ध का क्लैम मान (सबसे बड़े पैरामीटर मान के लिए अनुमान जिसे उचित समय में हल किया जा सकता है) लगभग 190 है। अर्थात, जब तक कि अतिरिक्त एल्गोरिथम सुधार नहीं पाया जा सकता है, यह एल्गोरिथम केवल उन उदाहरणों के लिए उपयुक्त है जिनके शीर्ष कवर संख्या 190 या उससे कम है। उचित जटिलता-सैद्धांतिक मान्यताओं के अनुसार, अर्थात् [[घातीय समय परिकल्पना]], चलने का समय 2 में सुधार नहीं किया जा सकता, यदि n, O(K) है। | |||
चूँकि, प्लानर ग्राफ़ के लिए और अधिक सामान्यतः कुछ निश्चित ग्राफ़ को अवयस्क के रूप में छोड़कर ग्राफ़ के लिए, आकार k का वर्टेक्स कवर समय पर पाया जा सकता है, अर्थात, समस्या उपघातीय निश्चित -पैरामीटर शिक्षणीय है। यह कलन विधि फिर से अनुकूलतम है, इस अर्थ में कि, घातीय समय परिकल्पना के अनुसार, कोई कलन विधि समय में प्लानर ग्राफ पर वर्टेक्स कवर को हल नहीं कर सकता है। | |||
=== अनुमानित मूल्यांकन === | |||
किनारे के दोनों समापन बिंदुओं को बार-बार वर्टेक्स कवर में ले जाकर, फिर उन्हें ग्राफ़ से हटाकर कारक -2 सन्निकटन एल्गोरिथम पा सकता है। अन्यथा रखो, हम लालची एल्गोरिथ्म के साथ अधिकतम मिलान M पाते हैं और वर्टेक्स कवर C का निर्माण करते हैं जिसमें M में किनारों के सभी समापन बिंदु होते हैं। निम्नलिखित आकृति में, अधिकतम मिलान M को लाल रंग से चिह्नित किया गया है और वर्टेक्स कवर C है नीले रंग से चिह्नित है। | |||
:[[File:Vertex-cover-from-maximal-matching.svg]] | |||
:इस प्रकार से निर्मित समूह C वर्टेक्स कवर है। मान लीजिए कि e किनारा , C द्वारा कवर नहीं किया गया है, तो M ∪ {e} मिलान है और e ∉ M, जो इस धारणा के विपरीत है कि M अधिकतम है। इसके अतिरिक्त, यदि e = {u, v} ∈ M, तो किसी भी वर्टेक्स कवर - अनुकूलतम वर्टेक्स कवर सहित - में u या v (या दोनों) होना चाहिए; अन्यथा किनारा ई ढका नहीं है। यही है, अनुकूलतम कवर में M में प्रत्येक किनारे का कम से कम समापन बिंदु होता है; कुल मिलाकर, समूह C अनुकूलतम वर्टेक्स कवर के रूप में अधिकतम 2 गुना बड़ा है। | |||
यह सरल एल्गोरिथम स्वतंत्र रूप से फैनिका गैवरिल और [[माइकलिस यानाकाकिस]] द्वारा खोजा गया था।<ref>{{harvnb|Papadimitriou|Steiglitz|1998}}, p. 432, mentions both Gavril and Yannakakis. {{harvnb|Garey|Johnson|1979}}, p. 134, cites Gavril.</ref> अधिक सम्मलित प्रविधियों से पता चलता है कि थोड़ा श्रेष्ठतर सन्निकटन कारक के साथ सन्निकटन कलन विधि हैं। उदाहरण के लिए, सन्निकटन एल्गोरिथम सन्निकटन कारक के साथ <math display="inline">2 - \Theta \left( 1 / \sqrt{\log |V|} \right)</math> ज्ञात है।<ref>{{harvnb|Karakostas|2009}}</ref> समस्या को सन्निकटन कारक <math>2/(1 + \delta)</math> में <math>\delta</math> - घने रेखांकन के साथ अनुमानित किया जा सकता है।<ref>{{harvnb|Karpinski|Zelikovsky|1998}}</ref> | |||
==== अनुपयुक्तता ==== | ==== अनुपयुक्तता ==== | ||
उपरोक्त की तुलना में कोई | उपरोक्त की तुलना में कोई श्रेष्ठतर [[स्थिर-कारक सन्निकटन एल्गोरिथम]] ज्ञात नहीं है।न्यूनतम वर्टेक्स कवर समस्या [[APX]] -पूर्ण है, अर्थात, इसे मनमाने ढंग से अच्छी प्रकार से अनुमानित नहीं किया जा सकता है जब तक कि P = NP समस्या। [[पीसीपी प्रमेय]] की प्रविधियों का उपयोग करते हुए, [[इरिट दिनूर]] और [[शमूएल सफरा]] ने 2005 में सिद्ध किया कि किसी भी पर्याप्त बड़ी शीर्ष डिग्री के लिए 1.3606 के कारक के भीतर न्यूनतम वर्टेक्स कवर का अनुमान नहीं लगाया जा सकता है जब तक कि P = NP नहीं।<ref>{{harvnb|Dinur|Safra|2005}}</ref> बाद में, कारक में सुधार किया गया <math>\sqrt{2} - \epsilon</math> किसी के लिए <math>\epsilon > 0</math>.<ref>{{harvnb|Khot|Minzer|Safra|2017}}{{full citation needed|date=July 2020}}</ref><ref>{{harvnb|Dinur|Khot|Kindler|Minzer|Safra|2018}}{{full citation needed|date=July 2020}}</ref> इसके अतिरिक्त, यदि अद्वितीय खेलों का अनुमान सही है, तो न्यूनतम वर्टेक्स कवर को 2 से श्रेष्ठतर किसी भी स्थिर कारक के भीतर अनुमानित नहीं किया जा सकता है।<ref name="kr08">{{harvnb|Khot|Regev|2008}}</ref>यद्यपि न्यूनतम-आकार के वर्टेक्स कवर को खोजना अधिकतम-आकार के स्वतंत्र समूह को खोजने के बराबर है, जैसा कि ऊपर वर्णित है, दो समस्याएं सन्निकटन-संरक्षण के विधियों के बराबर नहीं हैं। स्वतंत्र समूह समस्या का कोई स्थिर-कारक सन्निकटन नहीं है जब तक कि 'पी' = 'एनपी'। | ||
[[पीसीपी प्रमेय]] की | |||
इसके | |||
यद्यपि न्यूनतम-आकार के वर्टेक्स कवर को खोजना अधिकतम-आकार के स्वतंत्र | |||
==== स्यूडोकोड ==== | ==== स्यूडोकोड ==== | ||
Line 111: | Line 109: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
<ref>{{Introduction to Algorithms|chapter=Section 35.1: The vertex-cover problem|pages=1024–1027|edition=2}}</ref> | <ref>{{Introduction to Algorithms|chapter=Section 35.1: The vertex-cover problem|pages=1024–1027|edition=2}}</ref><ref>{{cite web|last1=Chakrabarti|first1=Amit|title=Approximation Algorithms: Vertex Cover|work=Computer Science 105|date=Winter 2005|url=http://www.cs.dartmouth.edu/~ac/Teach/CS105-Winter05/Notes/wan-ba-scribe.pdf|publisher=[[Dartmouth College]]|access-date=21 February 2005}}</ref> | ||
<ref>{{cite web|last1=Chakrabarti|first1=Amit|title=Approximation Algorithms: Vertex Cover|work=Computer Science 105|date=Winter 2005|url=http://www.cs.dartmouth.edu/~ac/Teach/CS105-Winter05/Notes/wan-ba-scribe.pdf|publisher=[[Dartmouth College]]|access-date=21 February 2005}}</ref> | |||
== अनुप्रयोग == | == अनुप्रयोग == | ||
वर्टेक्स कवर | वर्टेक्स कवर अनुकूलन कई वास्तविक दुनिया और एनपी-पूर्णता समस्याओं के लिए गणितीय मॉडल के रूप में कार्य करता है। उदाहरण के लिए, फर्श पर सभी कमरों (नोड्स) को जोड़ने वाले सभी हॉलवे (किनारों) को कवर करने वाले कम से कम संभव [[क्लोज़्ड सर्किट टेलीविज़न|संवृत परिपथ टेलीविज़न]] स्थापित करने में रुचि रखने वाला व्यावसायिक प्रतिष्ठान उद्देश्य को वर्टेक्स कवर न्यूनीकरण समस्या के रूप में मॉडल कर सकता है। समस्या का उपयोग [[संश्लेषित जीव विज्ञान]] विज्ञान और [[चयापचय इंजीनियरिंग|उपापचयी अभियांत्रिकी]] अनुप्रयोगों के लिए दोहराए गए अनुक्रम (डीएनए) के उन्मूलन के मॉडल के लिए भी किया गया है।<ref>{{Cite journal|last1=Hossain|first1=Ayaan|last2=Lopez|first2=Eriberto|last3=Halper|first3=Sean M.|last4=Cetnar|first4=Daniel P.|last5=Reis|first5=Alexander C.|last6=Strickland|first6=Devin|last7=Klavins|first7=Eric|last8=Salis|first8=Howard M.|date=2020-07-13|title=इंजीनियरिंग स्थिर आनुवंशिक प्रणालियों के लिए हजारों गैर-दोहराव वाले भागों का स्वचालित डिजाइन|url=http://www.nature.com/articles/s41587-020-0584-2|journal=Nature Biotechnology|volume=38|issue=12|pages=1466–1475|language=en|doi=10.1038/s41587-020-0584-2|pmid=32661437|s2cid=220506228|issn=1087-0156}}</ref><ref>{{Cite journal|last1=Reis|first1=Alexander C.|last2=Halper|first2=Sean M.|last3=Vezeau|first3=Grace E.|last4=Cetnar|first4=Daniel P.|last5=Hossain|first5=Ayaan|last6=Clauer|first6=Phillip R.|last7=Salis|first7=Howard M.|date=November 2019|title=गैर-दोहराव वाले अतिरिक्त-लंबे sgRNA सरणियों का उपयोग करके कई जीवाणु जीनों का एक साथ दमन|url=https://www.nature.com/articles/s41587-019-0286-9|journal=Nature Biotechnology|language=en|volume=37|issue=11|pages=1294–1301|doi=10.1038/s41587-019-0286-9|pmid=31591552|osti=1569832 |s2cid=203852115|issn=1546-1696}}</ref> | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{reflist|colwidth=25em}} | {{reflist|colwidth=25em}} | ||
Line 271: | Line 264: | ||
* {{MathWorld | urlname=VertexCoverNumber | title=Vertex Cover Number}} | * {{MathWorld | urlname=VertexCoverNumber | title=Vertex Cover Number}} | ||
* [https://www.youtube.com/watch?v=ZCVAGb1ee8A River Crossings (and Alcuin Numbers) – Numberphile] | * [https://www.youtube.com/watch?v=ZCVAGb1ee8A River Crossings (and Alcuin Numbers) – Numberphile] | ||
[[Category: | [[Category:All articles with incomplete citations]] | ||
[[Category:Articles with incomplete citations from July 2020]] | |||
[[Category:Articles with invalid date parameter in template]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category:Commons category link is locally defined]] | |||
[[Category:Created On 06/05/2023]] | [[Category:Created On 06/05/2023]] | ||
[[Category:Harv and Sfn no-target errors]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Template documentation pages|Short description/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:एनपी-पूर्ण समस्याएं]] | |||
[[Category:ग्राफ सिद्धांत में कम्प्यूटेशनल समस्याएं]] | |||
[[Category:समस्याओं को कवर करना]] |
Latest revision as of 15:13, 23 May 2023
किनारा (ग्राफ सिद्धांत), ग्राफ़ (असतत गणित) का वर्टेक्स कवर (कभी-कभी नोड कवर) वर्टेक्स का समूह होता है जिसमें ग्राफ़ के प्रत्येक किनारा (ग्राफ़ सिद्धांत ) का कम से कम समापन बिंदु सम्मलित होता है।
कंप्यूटर विज्ञान में, न्यूनतम वर्टेक्स कवर खोजने की समस्या मौलिक अनुकूलन समस्या है। यह NP कठिन है, इसलिए यदि P ≠ NP है तो इसे बहुपद-समय कलन विधि द्वारा हल नहीं किया जा सकता है। इसके अतिरिक्त, इसका अनुमान लगाना कठिन है - यदि अद्वितीय खेलों का अनुमान सही है तो इसे 2 से छोटे कारक तक अनुमानित नहीं किया जा सकता है। दूसरी ओर, इसके कई सरल 2-कारक सन्निकटन हैं। यह एनपी-कठिन अनुकूलन समस्या का विशिष्ट उदाहरण है जिसमें सन्निकटन एल्गोरिथम है। इसकी निर्णय समस्या, वर्टेक्स कवर समस्या, कार्प की 21 एनपी-पूर्ण समस्याओं में से थी और इसलिए अभिकलनात्मक जटिलता सिद्धांत में मौलिक एनपी-पूर्ण समस्या है। इसके अतिरिक्त, वर्टेक्स कवर समस्या निश्चित पैरामीटर शिक्षणीय है और पैरामिट्रीकृत जटिलता में केंद्रीय समस्या है।
न्यूनतम वर्टेक्स कवर समस्या को आधा-पूर्णांक अभिन्न, रैखिक कार्यक्रम के रूप में तैयार किया जा सकता है जिसका दोहरा रैखिक कार्यक्रम अधिकतम मिलान समस्या है।
वर्टेक्स कवर की समस्याओं को हाइपरग्राफ के लिए सामान्यीकृत किया गया है, देखें हाइपरग्राफ में वर्टेक्स कवर।
परिभाषा
औपचारिक रूप से, वर्टेक्स कवर अप्रत्यक्ष ग्राफ का का उपसमुच्चय है ऐसा है कि , अर्थात यह शीर्षों का समूह है जहां प्रत्येक किनारे के शीर्ष कवर में कम से कम समापन बिंदु होता है । इस प्रकार के समूह के किनारों को कवर करने के लिए कहा जाता है । ऊपरी आंकड़ा वर्टेक्स कवर के दो उदाहरण दिखाता है, कुछ वर्टेक्स कवर के साथ लाल रंग में चिह्नित है।
न्यूनतम वर्टेक्स कवर सबसे छोटे संभव आकार का वर्टेक्स कवर है। वर्टेक्स कवर नंबर न्यूनतम वर्टेक्स कवर का आकार है, अर्थात . निचला आंकड़ा पिछले ग्राफ़ में न्यूनतम वर्टेक्स कवर के उदाहरण दिखाता है।
उदाहरण
- सभी शीर्षों का समुच्चय शीर्ष आवरण है।
- किसी भी अधिकतम मिलान के समापन बिंदु वर्टेक्स कवर बनाते हैं।
- पूरा द्विपक्षीय ग्राफ आकार का न्यूनतम वर्टेक्स कवर है।
गुण
- वर्टिकल का समूह वर्टेक्स कवर है अगर और केवल अगर इसका पूरक (समूह सिद्धांत ) स्वतंत्र समूह (ग्राफ सिद्धांत ) है।
- परिणाम स्वरुप , ग्राफ के शीर्षों की संख्या इसके न्यूनतम शीर्ष आवरण संख्या और अधिकतम स्वतंत्र समूह (गैलाई 1959) के आकार के बराबर होती है ।
अभिकलनात्मक समस्या
न्यूनतम वर्टेक्स कवर समस्या किसी दिए गए ग्राफ़ में सबसे छोटा वर्टेक्स कवर खोजने की अनुकूलन समस्या है।
- उदाहरण: ग्राफ
- आउटपुट: सबसे छोटी संख्या ऐसा है कि आकार का वर्टेक्स कवर है ।
यदि समस्या को निर्णय समस्या के रूप में कहा जाता है, तो इसे वर्टेक्स कवर समस्या कहा जाता है।
- उदाहरण: ग्राफ और सकारात्मक पूर्णांक ।
- प्रश्न: करता है अधिकतम आकार का वर्टेक्स कवर है ?
वर्टेक्स कवर समस्या एनपी-पूर्ण समस्या है, यह कार्प की 21 एनपी-पूर्ण समस्याओं में से थी। यह अधिकांशतः अभिकलनात्मक जटिलता सिद्धांत में एनपी-कठोरता प्रमाण के लिए प्रारंभिक बिंदु के रूप में उपयोग किया जाता है।
आईएलपी सूत्रीकरण
मान लें कि प्रत्येक शीर्ष की संबद्ध लागत है ।(भारित) न्यूनतम वर्टेक्स कवर समस्या को निम्नलिखित पूर्णांक रेखीय कार्यक्रम (ILP) के रूप में तैयार किया जा सकता है।[1]
minimize (minimize the total cost) subject to for all (cover every edge of the graph), for all . (every vertex is either in the vertex cover or not)
यह ILP समस्याओं को कवर करने के लिए ILPs के अधिक सामान्य वर्ग से संबंधित है। इस ILP का रैखिक प्रोग्रामिंग छूट सन्निकटन और अखंडता अंतराल है , इसलिए इसकी रैखिक प्रोग्रामिंग छूट (प्रत्येक चर को 0 से 1 के अंतराल में होने की अनुमति देता है, न कि केवल 0 या 1 होने के लिए चर की आवश्यकता होती है) कारक देता है- न्यूनतम वर्टेक्स कवर समस्या के लिए सन्निकटन एल्गोरिथम। इसके अतिरिक्त, उस आईएलपी की रैखिक प्रोग्रामिंग छूट आधा-अभिन्न है, अर्थात, अनुकूलतम समाधान उपस्तिथ है जिसके लिए प्रत्येक प्रविष्टि या तो 0, 1/2, या 1 है। इस भिन्नात्मक समाधान से 2-अनुमानित वर्टेक्स कवर प्राप्त किया जा सकता है, जिसके चर अशून्य हैं।
सटीक मूल्यांकन
वर्टेक्स कवर समस्या का निर्णय समस्या संस्करण एनपी-पूर्ण है, जिसका अर्थ है कि यह संभावना नहीं है कि मनमाने ढंग से ग्राफ के लिए इसे हल करने के लिए कुशल कलन विधि है। एनपी-पूर्णता को बूलियन संतुष्टि समस्या से घटाकर सिद्ध किया जा सकता है 3-संतोषजनकता या, जैसा कि कार्प ने किया, क्लिक समस्या से कमी करके। क्यूबिक ग्राफ में भी वर्टेक्स कवर एनपी-पूर्ण रहता है[2] और डिग्री के प्लेनर ग्राफ में भी अधिकतम 3 है।[3]द्विदलीय रेखांकन के लिए, कोनिग प्रमेय (ग्राफ सिद्धांत) द्वारा वर्णित वर्टेक्स कवर और अधिकतम मिलान के बीच समानता | कोनिग प्रमेय द्विदलीय वर्टेक्स कवर समस्या को बहुपद समय में हल करने की अनुमति देता है।
पेड़ का ग्राफ के लिए, एल्गोरिद्म पेड़ में पहला पत्ता खोजकर और उसके जनक को न्यूनतम वर्टेक्स कवर में जोड़कर बहुपद समय में न्यूनतम वर्टेक्स कवर ढूंढता है, फिर पत्ती और जनक और सभी संबंधित किनारों को हटा देता है और तब तक जारी रखता है जब तक कि कोई किनारा शेष न रह जाए।
निश्चित पैरामीटर शिक्षणीयता
क्रूर-बल खोज कलन विधि समय 2 में समस्या को हल कर सकता है, जहां k वर्टेक्स कवर का आकार है। वर्टेक्स कवर इसलिए निश्चित-पैरामीटर शिक्षणीय है और यदि हम केवल छोटे के में रुचि रखते हैं, तो हम बहुपद समय में समस्या को हल कर सकते हैं। एल्गोरिथम प्रविधि जो यहां काम करती है, उसे परिबंधित वृक्ष एल्गोरिथम खोजें कहा जाता है और इसका विचार बार-बार कुछ शीर्ष और पुनरावर्ती शाखा को चुनना है, प्रत्येक चरण में दो स्थितियों के साथ, तो वर्तमान शीर्ष या उसके सभी निकटतम को शीर्ष आवरण में रखें। वर्टेक्स कवर को हल करने के लिए एल्गोरिथम जो पैरामीटर पर सर्वोत्तम स्पर्शोन्मुख निर्भरता प्राप्त करता है, समय में चलता है इस समयबद्ध का क्लैम मान (सबसे बड़े पैरामीटर मान के लिए अनुमान जिसे उचित समय में हल किया जा सकता है) लगभग 190 है। अर्थात, जब तक कि अतिरिक्त एल्गोरिथम सुधार नहीं पाया जा सकता है, यह एल्गोरिथम केवल उन उदाहरणों के लिए उपयुक्त है जिनके शीर्ष कवर संख्या 190 या उससे कम है। उचित जटिलता-सैद्धांतिक मान्यताओं के अनुसार, अर्थात् घातीय समय परिकल्पना, चलने का समय 2 में सुधार नहीं किया जा सकता, यदि n, O(K) है।
चूँकि, प्लानर ग्राफ़ के लिए और अधिक सामान्यतः कुछ निश्चित ग्राफ़ को अवयस्क के रूप में छोड़कर ग्राफ़ के लिए, आकार k का वर्टेक्स कवर समय पर पाया जा सकता है, अर्थात, समस्या उपघातीय निश्चित -पैरामीटर शिक्षणीय है। यह कलन विधि फिर से अनुकूलतम है, इस अर्थ में कि, घातीय समय परिकल्पना के अनुसार, कोई कलन विधि समय में प्लानर ग्राफ पर वर्टेक्स कवर को हल नहीं कर सकता है।
अनुमानित मूल्यांकन
किनारे के दोनों समापन बिंदुओं को बार-बार वर्टेक्स कवर में ले जाकर, फिर उन्हें ग्राफ़ से हटाकर कारक -2 सन्निकटन एल्गोरिथम पा सकता है। अन्यथा रखो, हम लालची एल्गोरिथ्म के साथ अधिकतम मिलान M पाते हैं और वर्टेक्स कवर C का निर्माण करते हैं जिसमें M में किनारों के सभी समापन बिंदु होते हैं। निम्नलिखित आकृति में, अधिकतम मिलान M को लाल रंग से चिह्नित किया गया है और वर्टेक्स कवर C है नीले रंग से चिह्नित है।
- इस प्रकार से निर्मित समूह C वर्टेक्स कवर है। मान लीजिए कि e किनारा , C द्वारा कवर नहीं किया गया है, तो M ∪ {e} मिलान है और e ∉ M, जो इस धारणा के विपरीत है कि M अधिकतम है। इसके अतिरिक्त, यदि e = {u, v} ∈ M, तो किसी भी वर्टेक्स कवर - अनुकूलतम वर्टेक्स कवर सहित - में u या v (या दोनों) होना चाहिए; अन्यथा किनारा ई ढका नहीं है। यही है, अनुकूलतम कवर में M में प्रत्येक किनारे का कम से कम समापन बिंदु होता है; कुल मिलाकर, समूह C अनुकूलतम वर्टेक्स कवर के रूप में अधिकतम 2 गुना बड़ा है।
यह सरल एल्गोरिथम स्वतंत्र रूप से फैनिका गैवरिल और माइकलिस यानाकाकिस द्वारा खोजा गया था।[4] अधिक सम्मलित प्रविधियों से पता चलता है कि थोड़ा श्रेष्ठतर सन्निकटन कारक के साथ सन्निकटन कलन विधि हैं। उदाहरण के लिए, सन्निकटन एल्गोरिथम सन्निकटन कारक के साथ ज्ञात है।[5] समस्या को सन्निकटन कारक में - घने रेखांकन के साथ अनुमानित किया जा सकता है।[6]
अनुपयुक्तता
उपरोक्त की तुलना में कोई श्रेष्ठतर स्थिर-कारक सन्निकटन एल्गोरिथम ज्ञात नहीं है।न्यूनतम वर्टेक्स कवर समस्या APX -पूर्ण है, अर्थात, इसे मनमाने ढंग से अच्छी प्रकार से अनुमानित नहीं किया जा सकता है जब तक कि P = NP समस्या। पीसीपी प्रमेय की प्रविधियों का उपयोग करते हुए, इरिट दिनूर और शमूएल सफरा ने 2005 में सिद्ध किया कि किसी भी पर्याप्त बड़ी शीर्ष डिग्री के लिए 1.3606 के कारक के भीतर न्यूनतम वर्टेक्स कवर का अनुमान नहीं लगाया जा सकता है जब तक कि P = NP नहीं।[7] बाद में, कारक में सुधार किया गया किसी के लिए .[8][9] इसके अतिरिक्त, यदि अद्वितीय खेलों का अनुमान सही है, तो न्यूनतम वर्टेक्स कवर को 2 से श्रेष्ठतर किसी भी स्थिर कारक के भीतर अनुमानित नहीं किया जा सकता है।[10]यद्यपि न्यूनतम-आकार के वर्टेक्स कवर को खोजना अधिकतम-आकार के स्वतंत्र समूह को खोजने के बराबर है, जैसा कि ऊपर वर्णित है, दो समस्याएं सन्निकटन-संरक्षण के विधियों के बराबर नहीं हैं। स्वतंत्र समूह समस्या का कोई स्थिर-कारक सन्निकटन नहीं है जब तक कि 'पी' = 'एनपी'।
स्यूडोकोड
APPROXIMATION-VERTEX-COVER(G)
C = ∅
E'= G.E
while E' ≠ ∅:
let (u, v) be an arbitrary edge of E'
C = C ∪ {u, v}
remove from E' every edge incident on either u or v
return C
अनुप्रयोग
वर्टेक्स कवर अनुकूलन कई वास्तविक दुनिया और एनपी-पूर्णता समस्याओं के लिए गणितीय मॉडल के रूप में कार्य करता है। उदाहरण के लिए, फर्श पर सभी कमरों (नोड्स) को जोड़ने वाले सभी हॉलवे (किनारों) को कवर करने वाले कम से कम संभव संवृत परिपथ टेलीविज़न स्थापित करने में रुचि रखने वाला व्यावसायिक प्रतिष्ठान उद्देश्य को वर्टेक्स कवर न्यूनीकरण समस्या के रूप में मॉडल कर सकता है। समस्या का उपयोग संश्लेषित जीव विज्ञान विज्ञान और उपापचयी अभियांत्रिकी अनुप्रयोगों के लिए दोहराए गए अनुक्रम (डीएनए) के उन्मूलन के मॉडल के लिए भी किया गया है।[13][14]
टिप्पणियाँ
- ↑ Vazirani 2003, pp. 121–122
- ↑ Garey, Johnson & Stockmeyer 1974
- ↑ Garey & Johnson 1977; Garey & Johnson 1979, pp. 190 and 195.
- ↑ Papadimitriou & Steiglitz 1998, p. 432, mentions both Gavril and Yannakakis. Garey & Johnson 1979, p. 134, cites Gavril.
- ↑ Karakostas 2009
- ↑ Karpinski & Zelikovsky 1998
- ↑ Dinur & Safra 2005
- ↑ Khot, Minzer & Safra 2017 [full citation needed]
- ↑ Dinur et al. 2018 [full citation needed]
- ↑ Khot & Regev 2008
- ↑ Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001) [1990]. "Section 35.1: The vertex-cover problem". Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. pp. 1024–1027. ISBN 0-262-03293-7.
- ↑ Chakrabarti, Amit (Winter 2005). "Approximation Algorithms: Vertex Cover" (PDF). Computer Science 105. Dartmouth College. Retrieved 21 February 2005.
- ↑ Hossain, Ayaan; Lopez, Eriberto; Halper, Sean M.; Cetnar, Daniel P.; Reis, Alexander C.; Strickland, Devin; Klavins, Eric; Salis, Howard M. (2020-07-13). "इंजीनियरिंग स्थिर आनुवंशिक प्रणालियों के लिए हजारों गैर-दोहराव वाले भागों का स्वचालित डिजाइन". Nature Biotechnology (in English). 38 (12): 1466–1475. doi:10.1038/s41587-020-0584-2. ISSN 1087-0156. PMID 32661437. S2CID 220506228.
- ↑ Reis, Alexander C.; Halper, Sean M.; Vezeau, Grace E.; Cetnar, Daniel P.; Hossain, Ayaan; Clauer, Phillip R.; Salis, Howard M. (November 2019). "गैर-दोहराव वाले अतिरिक्त-लंबे sgRNA सरणियों का उपयोग करके कई जीवाणु जीनों का एक साथ दमन". Nature Biotechnology (in English). 37 (11): 1294–1301. doi:10.1038/s41587-019-0286-9. ISSN 1546-1696. OSTI 1569832. PMID 31591552. S2CID 203852115.
संदर्भ
- Chen, Jianer; Kanj, Iyad A.; Xia, Ge (2006). "Improved Parameterized Upper Bounds for Vertex Cover". Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings (PDF). Lecture Notes in Computer Science. Vol. 4162. Springer-Verlag. pp. 238–249. doi:10.1007/11821069_21. ISBN 978-3-540-37791-7.
- Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001). Introduction to Algorithms. Cambridge, Mass.: MIT Press and McGraw-Hill. pp. 1024–1027. ISBN 0-262-03293-7.
- Demaine, Erik; Fomin, Fedor V.; Hajiaghayi, Mohammad Taghi; Thilikos, Dimitrios M. (2005). "Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs". Journal of the ACM. 52 (6): 866–893. doi:10.1145/1101821.1101823. S2CID 6238832. Retrieved 2010-03-05.
- Dinur, Irit; Safra, Samuel (2005). "On the hardness of approximating minimum vertex cover". Annals of Mathematics. 162 (1): 439–485. CiteSeerX 10.1.1.125.334. doi:10.4007/annals.2005.162.439.
- Flum, Jörg; Grohe, Martin (2006). Parameterized Complexity Theory. Springer. ISBN 978-3-540-29952-3. Retrieved 2010-03-05.
- Garey, Michael R.; Johnson, David S. (1977). "The rectilinear Steiner tree problem is NP-complete". SIAM Journal on Applied Mathematics. 32 (4): 826–834. doi:10.1137/0132071.
- Garey, Michael R.; Johnson, David S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman. ISBN 0-7167-1045-5. A1.1: GT1, pg.190.
- Garey, Michael R.; Johnson, David S.; Stockmeyer, Larry (1974). "Some simplified NP-complete problems". Proceedings of the Sixth Annual ACM Symposium on Theory of Computing. pp. 47–63. doi:10.1145/800119.803884.
- Gallai, Tibor (1959). "Über extreme Punkt- und Kantenmengen". Ann. Univ. Sci. Budapest, Eötvös Sect. Math. 2: 133–138.
- Karakostas, George (November 2009). "A better approximation ratio for the vertex cover problem" (PDF). ACM Transactions on Algorithms. 5 (4): 41:1–41:8. CiteSeerX 10.1.1.649.7407. doi:10.1145/1597036.1597045. S2CID 2525818. ECCC TR04-084.
- Karpinski, Marek; Zelikovsky, Alexander (1998). "Approximating dense cases of covering problems". Proceedings of the DIMACS Workshop on Network Design: Connectivity and Facilities Location. DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Vol. 40. American Mathematical Society. pp. 169–178.
- Khot, Subhash; Regev, Oded (2008). "Vertex cover might be hard to approximate to within 2−ε". Journal of Computer and System Sciences. 74 (3): 335–349. doi:10.1016/j.jcss.2007.06.019.
- O'Callahan, Robert; Choi, Jong-Deok (2003). "Hybrid dynamic data race detection". ACM SIGPLAN Notices. 38 (10): 167–178. doi:10.1145/966049.781528.
- Papadimitriou, Christos H.; Steiglitz, Kenneth (1998). Combinatorial Optimization: Algorithms and Complexity. Dover.
- Vazirani, Vijay V. (2003). Approximation Algorithms. Springer-Verlag. ISBN 978-3-662-04565-7.