क्रिस्टोफ़ाइड्स एल्गोरिथ्म

क्रिस्टोफ़ाइड्स कलन विधि या क्रिस्टोफ़ाइड्स-सेरड्यूकोव एल्गोरिदम ट्रैवलिंग सेल्समैन की समस्या के अनुमानित समाधान खोजने के लिए एल्गोरिदम है, ऐसे उदाहरणों पर जहां दूरियां मीट्रिक स्पेस बनाती हैं (वे सममित हैं और त्रिकोण असमानता का पालन करती हैं)। यह सन्निकटन एल्गोरिदम है जो गारंटी देता है कि इसका समाधान इष्टतम समाधान लंबाई के 3/2 के कारक के अन्दर होता है, और इसका नाम निकोस क्रिस्टोफ़ाइड्स और अनातोली आई. सेरड्यूकोव के नाम पर रखा गया है, जिन्होंने 1976 में स्वतंत्र रूप से इसकी खोज की थी।

यह एल्गोरिदम अभी भी सर्वश्रेष्ठ बहुपद समय सन्निकटन एल्गोरिदम के रूप में खड़ा है, जिसकी सामान्य मीट्रिक स्पेसों पर ट्रैवलिंग सेल्समैन समस्या के लिए संबंधित वैज्ञानिक समुदाय द्वारा गहन समीक्षा की गई है। चूँकि, जुलाई 2020 में, कार्लिन, क्लेन और घरान ने प्रीप्रिंट जारी किया था जिसमें उन्होंने उपन्यास सन्निकटन एल्गोरिथ्म प्रस्तुत किया था और प्रमाणित किया कि इसका सन्निकटन अनुपात 1.5 - 10−36 है।. उनकी विधि क्रिस्टोफाइड्स एल्गोरिथ्म के समान सिद्धांतों का पालन करती है, किन्तु न्यूनतम फैले हुए ट्री के स्पेस पर सावधानीपूर्वक चुने गए यादृच्छिक वितरण से यादृच्छिक रूप से चुने गए ट्री का उपयोग करती है। यह पेपर कंप्यूटिंग के सिद्धांत पर संगोष्ठी या स्टॉक'21 में प्रकाशित हुआ था जहां इसे सर्वश्रेष्ठ पेपर का पुरस्कार मिला था।

एल्गोरिथम
माना $G = (V,w)$ ट्रैवलिंग सेल्समैन समस्या का उदाहरण बनें। वह है, $G$ सेट पर पूरा ग्राफ है $V$ शीर्षों का, और फ़ंक्शन $w$ के प्रत्येक किनारे पर गैर-नकारात्मक वास्तविक भार $G$ निर्दिष्ट करता है त्रिभुज असमानता के अनुसार, प्रत्येक तीन शीर्षों के लिए $u$, $v$, और $x$, ऐसा ही $w(uv) + w(vx) ≥ w(ux)$ होना चाहिए.

फिर एल्गोरिथ्म को छद्मकोड में निम्नानुसार वर्णित किया जा सकता है।


 * 1) $G$. का न्यूनतम स्पैनिंग ट्री $T$ बनाएं
 * 2) माना $O$ विषम डिग्री (ग्राफ सिद्धांत) के साथ शीर्षों $T$ का सेट बनें हाथ मिलाने की प्रमेयिका द्वारा, $O$ में शीर्षों की संख्या सम है।
 * 3) न्यूनतम वजन का सही मिलान खोजें $M$ से शीर्षों द्वारा दिए गए प्रेरित उपग्राफ $O$ में.
 * 4) किनारों $M$ और $T$ को मिला लें कनेक्टेड मल्टीग्राफ बनाने के लिए $H$ जिसमें प्रत्येक शीर्ष की डिग्री सम है।
 * 5) $H$ में यूलेरियन परिपथ बनाएं.
 * 6) बार-बार शीर्षों (शॉर्टकटिंग) को छोड़ कर पिछले चरण में पाए गए परिपथ को हैमिल्टनियन परिपथ में बनाएं।

चरण 5 और 6 से आवश्यक नहीं कि केवल ही परिणाम मिले। इस तरह अनुमानी कई अलग-अलग रास्ते दे सकता है।

अनुमान अनुपात
एल्गोरिथम द्वारा उत्पादित समाधान की निवेश इष्टतम के 3/2 के अन्दर है। इसे सिद्ध करने के लिए, मान लीजिए कि $C$ सबसे अच्छा ट्रैवलिंग सेल्समैन टूर है। $C$ से एक किनारे को हटाने पर एक स्पैनिंग ट्री बनता है, जिसका वजन कम से कम न्यूनतम स्पैनिंग ट्री के सामान्य होना चाहिए, जिसका अर्थ है कि $w(T) ≤ w(C)$। इसके बाद, $C$ के चारों ओर चक्रीय क्रम में $O$ के शीर्षों को क्रमांकित करें, और $C$ को पथों के दो सेटों में विभाजित करें: वे जिनमें चक्रीय क्रम में पहले पथ शीर्ष पर एक विषम संख्या होती है और वे जिनमें पहले पथ शीर्ष पर एक सम संख्या होती है. पथों का प्रत्येक सेट $O$ के पूर्ण मिलान से मेल खाता है जो प्रत्येक पथ के दो समापन बिंदुओं से मेल खाता है, और इस मिलान का भार पथों के भार के सामान्य है। चूंकि पथों के ये दो सेट $C$ के किनारों को विभाजित करते हैं, इसलिए दो सेटों में से एक का वजन $C$ के वजन का अधिकतम आधा होता है, और त्रिभुज असमानता के कारण इसके संगत मिलान का वजन $C$ के वजन का अधिकतम आधा होता है। इस प्रकार न्यूनतम-वजन पूर्ण मिलान का कोई बड़ा वजन नहीं हो सकता है, इसलिए $w(M) ≤ w(C)/2$ $T$ और $M$ का वजन जोड़ने पर यूलर टूर का वजन अधिकतम 3w(C)/2 हो जाता है। त्रिभुज असमानता के कारण, शॉर्टकटिंग से वजन नहीं बढ़ता है, इसलिए आउटपुट का वजन भी अधिकतम 3w(C)/2 होता है।

निचली सीमा
ट्रैवलिंग सेल्समैन समस्या के लिए ऐसे इनपुट उपस्थित हैं जो क्रिस्टोफ़ाइड्स एल्गोरिदम को एक समाधान खोजने के लिए प्रेरित करते हैं जिसका सन्निकटन अनुपात सही विधि से 3/2 के निकट है। इनपुट का ऐसा एक वर्ग $n$ शीर्षों के एक पथ द्वारा बनता है, जिसमें पथ किनारों का भार $1$ होता है, साथ में किनारों का एक सेट जो शीर्षों को जोड़ता है, पथ में दो चरणों की दूरी पर भार $1 + ε$ के साथ एक संख्या $ε$ के लिए शून्य के निकट चुना जाता है किन्तु सकारात्मक संपूर्ण ग्राफ़ के शेष सभी किनारों की दूरियाँ इस उपग्राफ़ में सबसे छोटे पथों द्वारा दी गई हैं। फिर न्यूनतम स्पैनिंग ट्री पथ द्वारा दिया जाएगा, लंबाई $n &minus; 1$, और केवल दो विषम शीर्ष पथ समापन बिंदु होंगे, जिनके पूर्ण मिलान में लगभग $n/2$ वजन के साथ एक एकल किनारा होता है। ट्री का मिलन और मिलान एक चक्र है, जिसमें कोई संभावित शॉर्टकट नहीं है, और वजन लगभग $3n/2$ है। चूँकि, इष्टतम समाधान पथ के अंतिम बिंदुओं पर पड़ने वाले दो भार-$1$ किनारों के साथ वजन $1 + ε$ के किनारों का उपयोग करता है, और कुल वजन $(1 + ε)(n &minus; 2) + 2$ है, जो छोटे के लिए $n$ के निकट $ε$ का मान है. इसलिए हमें 3/2 का अनुमानित अनुपात प्राप्त होता है।

उदाहरण
== संदर्भ                                                                                                                                                                                                         ==

बाहरी संबंध

 * NIST Christofides Algorithm Definition