अल्पतम पथ समस्या: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 7: Line 7:


== परिभाषा ==
== परिभाषा ==
सबसे छोटी पथ समस्या को ग्राफ़ (असतत गणित) के लिए परिभाषित किया जा सकता है चाहे ग्राफ़ (असतत गणित) अप्रत्यक्ष ग्राफ़, ग्राफ़ (असतत गणित) निर्देशित ग्राफ़, या [[मिश्रित ग्राफ]]।
सबसे छोटी पथ समस्या को ग्राफ़ (असतत गणित) के लिए परिभाषित किया जा सकता है चाहे ग्राफ़ (असतत गणित) अप्रत्यक्ष ग्राफ़, ग्राफ़ (असतत गणित) निर्देशित ग्राफ़, या [[मिश्रित ग्राफ]]। यह यहाँ अप्रत्यक्ष रेखांकन के लिए परिभाषित किया गया है; निर्देशित रेखांकन के लिए पथ की परिभाषा आवश्यकता है कि क्रमिक शीर्षों को उपयुक्त निर्देशित किनारे से जोड़ा जाए।
यह यहाँ अप्रत्यक्ष रेखांकन के लिए परिभाषित किया गया है; निर्देशित रेखांकन के लिए पथ की परिभाषा आवश्यकता है कि क्रमिक शीर्षों को उपयुक्त निर्देशित किनारे से जोड़ा जाए।


दो शीर्ष आसन्न होते हैं जब वे दोनों उभयनिष्ठ किनारे पर आपतित होते हैं। पथ (ग्राफ सिद्धांत) अप्रत्यक्ष ग्राफ में वर्टिकल का क्रम है <math>P = ( v_1, v_2, \ldots, v_n ) \in V \times V \times \cdots \times V</math> ऐसा है कि <math>v_i</math> लगी हुई है <math>v_{i+1}</math> के लिए <math>1 \leq i < n</math>.
दो शीर्ष आसन्न होते हैं जब वे दोनों उभयनिष्ठ किनारे पर आपतित होते हैं। पथ (ग्राफ सिद्धांत) अप्रत्यक्ष ग्राफ में वर्टिकल का क्रम है <math>P = ( v_1, v_2, \ldots, v_n ) \in V \times V \times \cdots \times V</math> ऐसा है कि <math>v_i</math> लगी हुई है <math>v_{i+1}</math> के लिए <math>1 \leq i < n</math>. ऐसा मार्ग <math>P</math> लंबाई का मार्ग कहा जाता है <math>n-1</math>
ऐसा मार्ग <math>P</math> लंबाई का मार्ग कहा जाता है <math>n-1</math>
से <math>v_1</math> को <math>v_n</math>.
से <math>v_1</math> को <math>v_n</math>.
( <math>v_i</math> h> चर हैं; यहां उनकी नंबरिंग अनुक्रम में उनकी स्थिति से संबंधित है एवं वर्टिकल के किसी भी कैननिकल लेबलिंग से संबंधित होने की आवश्यकता नहीं है।)
( <math>v_i</math> h> चर हैं; यहां उनकी नंबरिंग अनुक्रम में उनकी स्थिति से संबंधित है एवं वर्टिकल के किसी भी कैननिकल लेबलिंग से संबंधित होने की आवश्यकता नहीं है।)


होने देना <math>e_{i, j}</math> दोनों के लिए किनारे की घटना हो <math>v_i</math> एवं  <math>v_j</math>. दिया गया एक फंक्शन (गणित) रियल फंक्शन | रियल-वैल्यूड वेट फंक्शन <math>f: E \rightarrow \mathbb{R}</math>, एवं  अप्रत्यक्ष (सरल) ग्राफ <math>G</math>, से सबसे छोटा रास्ता <math>v</math> को <math>v'</math> मार्ग है <math>P = ( v_1, v_2, \ldots, v_n )</math> (कहाँ <math>v_1 = v</math> एवं  <math>v_n = v'</math>) वह सब संभव है <math>n</math> योग को कम करता है <math>\sum_{i =1}^{n-1} f(e_{i, i+1}).</math> जब ग्राफ़ में प्रत्येक किनारे का इकाई भार होता है या <math>f: E \rightarrow \{1\}</math>, यह सबसे कम किनारों वाला रास्ता खोजने के समान है।
होने देना <math>e_{i, j}</math> दोनों के लिए किनारे की घटना हो <math>v_i</math> एवं  <math>v_j</math>हो। दिया गया फंक्शन (गणित) रियल फंक्शन है। रियल-वैल्यूड वेट फंक्शन <math>f: E \rightarrow \mathbb{R}</math>, एवं  अप्रत्यक्ष (सरल) ग्राफ <math>G</math>, से सबसे छोटा रास्ता <math>v</math> को <math>v'</math> मार्ग है <math>P = ( v_1, v_2, \ldots, v_n )</math> है, (जहाँ <math>v_1 = v</math> एवं  <math>v_n = v'</math>) वह सब संभव है <math>n</math> योग को कम करता है <math>\sum_{i =1}^{n-1} f(e_{i, i+1}).</math> जब ग्राफ़ में प्रत्येक किनारे का इकाई भार होता है या <math>f: E \rightarrow \{1\}</math>, यह सबसे कम किनारों वाला रास्ता खोजने के समान है।


समस्या को कभी-कभी एकल-जोड़ी सबसे छोटी पथ समस्या भी कहा जाता है, इसे निम्नलिखित विविधताओं से अलग करने के लिए:
समस्या को कभी-कभी एकल-जोड़ी सबसे छोटी पथ समस्या भी कहा जाता है, इसे निम्नलिखित विविधताओं से अलग करने के लिए:

Revision as of 08:01, 28 February 2023

भारित निर्देशित ग्राफ़ में शीर्ष A एवं F के मध्य सबसे छोटा पथ (A, C, E, D, F)।

Template:Tree search algorithm ग्राफ़ सिद्धांत में, सबसे छोटी पथ समस्या ग्राफ़ (असतत गणित) में दो वर्टेक्स (ग्राफ़ सिद्धांत) (या नोड्स) के मध्य पथ (ग्राफ़ सिद्धांत) खोजने की समस्या है, जैसे [[शिखर (ग्राफ सिद्धांत)]] की शब्दावली का योग भारित इसके घटक किनारों का ग्राफ कम किया गया है।

रोड मैप पर दो चौराहों के मध्य सबसे छोटा रास्ता खोजने की समस्या को ग्राफ़ में सबसे छोटी पथ समस्या के विशेष हानि के रूप में तैयार किया जा सकता है, जहाँ कोने चौराहों के अनुरूप होते हैं एवं किनारे सड़क खंडों के अनुरूप होते हैं, प्रत्येक की लंबाई द्वारा भारित खंड।

परिभाषा

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

दो शीर्ष आसन्न होते हैं जब वे दोनों उभयनिष्ठ किनारे पर आपतित होते हैं। पथ (ग्राफ सिद्धांत) अप्रत्यक्ष ग्राफ में वर्टिकल का क्रम है ऐसा है कि लगी हुई है के लिए . ऐसा मार्ग लंबाई का मार्ग कहा जाता है से को . ( h> चर हैं; यहां उनकी नंबरिंग अनुक्रम में उनकी स्थिति से संबंधित है एवं वर्टिकल के किसी भी कैननिकल लेबलिंग से संबंधित होने की आवश्यकता नहीं है।)

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

समस्या को कभी-कभी एकल-जोड़ी सबसे छोटी पथ समस्या भी कहा जाता है, इसे निम्नलिखित विविधताओं से अलग करने के लिए:

  • सिंगल-सोर्स शॉर्टेस्ट पाथ प्रॉब्लम, जिसमें हमें सोर्स वर्टेक्स v से ग्राफ में अन्य सभी वर्टिकल तक सबसे छोटा रास्ता खोजना होता है।
  • सिंगल-डेस्टिनेशन शॉर्टेस्ट पाथ प्रॉब्लम, जिसमें हमें डायरेक्टेड ग्राफ में सभी वर्टिकल से सिंगल डेस्टिनेशन वर्टेक्स v तक सबसे छोटा रास्ता खोजना होता है। निर्देशित ग्राफ़ में चापों को उलट कर इसे एकल-स्रोत सबसे छोटी पथ समस्या में कम किया जा सकता है।
  • ऑल-पेयर शॉर्टेस्ट पाथ प्रॉब्लम, जिसमें हमें ग्राफ में v, v वर्टिकल के हर जोड़े के मध्य सबसे छोटा रास्ता खोजना है।

इन सामान्यीकरणों में सभी प्रासंगिक जोड़ों के शीर्ष पर एकल-जोड़ी सबसे छोटा पथ एल्गोरिदम चलाने के सरलीकृत दृष्टिकोण की तुलना में बहुत अधिक कुशल एल्गोरिदम हैं।

एल्गोरिदम

इस समस्या को हल करने के लिए सबसे महत्वपूर्ण एल्गोरिदम हैं:

  • दिज्क्स्ट्रा का एल्गोरिदम गैर-नकारात्मक किनारे के वजन के साथ एकल-स्रोत सबसे छोटी पथ समस्या को हल करता है।
  • बेलमैन-फोर्ड एल्गोरिथम एकल-स्रोत समस्या को हल करता है यदि किनारे का वजन नकारात्मक हो सकता है।
  • ए * खोज एल्गोरिथ्म खोज को गति देने की कोशिश करने के लिए ह्यूरिस्टिक्स का उपयोग करके एकल-जोड़ी सबसे छोटे पथ के लिए हल करता है।
  • फ्लोयड-वॉर्शल एल्गोरिथम सभी जोड़ियों को सबसे छोटे रास्तों को हल करता है।
  • जॉनसन का एल्गोरिद्म सभी जोड़े को सबसे छोटा रास्ता हल करता है, एवं विरल ग्राफ पर फ़्लॉइड-वारशाल से तेज़ हो सकता है।
  • Viterbi एल्गोरिथ्म प्रत्येक नोड पर अतिरिक्त संभाव्य भार के साथ सबसे छोटी स्टोकेस्टिक पथ समस्या को हल करता है।

अतिरिक्त एल्गोरिदम एवं संबद्ध मूल्यांकन में चर्कास्की, गोल्डबर्ग & रेडज़िक (1996).पाया जा सकता है।

एकल-स्रोत सबसे छोटा पथ

अप्रत्यक्ष रेखांकन

Weights Time complexity Author
+ O(V2) Dijkstra 1959
+ O((E + V) log V) Johnson 1977 (binary heap)
+ O(E + V log V) Fredman & Tarjan 1984 (Fibonacci heap)
O(E) Thorup 1999 (requires constant-time multiplication)


भारित रेखांकन

Algorithm Time complexity Author
Breadth-first search O(E + V)


निर्देशित विश्वकोश रेखांकन (DAGs)

टोपोलोजिकल सॉर्टिंग एप्लीकेशन टू शॉर्टेस्ट पाथ फाइंडिंग का उपयोग करने वाला एल्गोरिद्म समय में एकल-स्रोत शॉर्टेस्ट पाथ प्रॉब्लम को हल कर सकता है Θ(E + V) मनमाने ढंग से भारित डीएजी में।[1]


गैर-ऋणात्मक भार के साथ निर्देशित रेखांकन

निम्न तालिका से लिया गया है Schrijver (2004), कुछ सुधार एवं परिवर्धन के साथ। हरे रंग की पृष्ठभूमि तालिका में असम्बद्ध रूप से सर्वोत्तम बाउंड को इंगित करती है; एल सभी किनारों के मध्य अधिकतम लंबाई (या वजन) है, जो पूर्णांक किनारे भार मानते हैं।

Weights Algorithm Time complexity Author
Ford 1956
Bellman–Ford algorithm Shimbel 1955, Bellman 1958, Moore 1959
Dantzig 1960
Dijkstra's algorithm with list Leyzorek et al. 1957, Dijkstra 1959, Minty (see Pollack & Wiebenson 1960), Whiting & Hillier 1960
Dijkstra's algorithm with binary heap Johnson 1977
Dijkstra's algorithm with Fibonacci heap Fredman & Tarjan 1984, Fredman & Tarjan 1987
Dial's algorithm[2] (Dijkstra's algorithm using a bucket queue with L buckets) Dial 1969
Johnson 1981, Karlsson & Poblete 1983
Gabow's algorithm Gabow 1983, Gabow 1985
Ahuja et al. 1990
Thorup Thorup 2004


नकारात्मक चक्रों के बिना मनमाने वजन के साथ निर्देशित रेखांकन

Weights Algorithm Time complexity Author
O(V 2EL) Ford 1956
Bellman–Ford algorithm O(VE) Shimbel 1955, Bellman 1958, Moore 1959
Johnson-Dijkstra with binary heap O(V (E + log V)) Johnson 1977
Johnson-Dijkstra with Fibonacci heap O(V (E + log V)) Fredman & Tarjan 1984, Fredman & Tarjan 1987, adapted after Johnson 1977
Johnson's technique applied to Dial's algorithm[2] O(V (E + L)) Dial 1969, adapted after Johnson 1977


नकारात्मक चक्रों के साथ मनमाने वजन के साथ निर्देशित रेखांकन

ऋणात्मक चक्र ढूँढता है या सभी शीर्षों के लिए दूरियों की गणना करता है।

Weights Algorithm Time complexity Author
Andrew V. Goldberg


गैर-ऋणात्मक भार के साथ समतल रेखांकन

Weights Algorithm Time complexity Author
Henzinger et al. 1997


सभी जोड़े सबसे छोटे रास्ते

ऑल-पेयर शॉर्टेस्ट पाथ प्रॉब्लम हर जोड़ी वर्टिकल के मध्य सबसे छोटा रास्ता खोजती है v, v' ग्राफ में। अनवेटेड डायरेक्टेड ग्राफ के लिए ऑल-पेयर शॉर्टेस्ट पाथ प्रॉब्लम किसके द्वारा पेश की गई थी? Shimbel (1953), जिन्होंने देखा कि इसे मैट्रिक्स गुणन की रैखिक संख्या द्वारा हल किया जा सकता है जिसमें कुल समय लगता है O(V4).

अप्रत्यक्ष ग्राफ

Weights Time complexity Algorithm
+ O(V3) Floyd–Warshall algorithm
Seidel's algorithm (expected running time)
Williams 2014
+ O(EV log α(E,V)) Pettie & Ramachandran 2002
O(EV) Thorup 1999 applied to every vertex (requires constant-time multiplication).


निर्देशित ग्राफ

Weights Time complexity Algorithm
(no negative cycles) O(V3) Floyd–Warshall algorithm
Williams 2014
(no negative cycles) O(EV + V2 log V) Johnson–Dijkstra
(no negative cycles) O(EV + V2 log log V) Pettie 2004
O(EV + V2 log log V) Hagerup 2000


अनुप्रयोग

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

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

अधिक प्रकाशमय अनुप्रयोग छह डिग्री के अलगाव का खेल है जो ही फिल्म में दिखाई देने वाले फिल्मी सितारों की तरह रेखांकन में सबसे छोटा रास्ता खोजने की कोशिश करता है।

संचालन अनुसंधान में अक्सर अध्ययन किए जाने वाले अन्य अनुप्रयोगों में संयंत्र एवं सुविधा लेआउट,रोबोटिक्स, परिवहन एवं बहुत बड़े पैमाने पर एकीकरण डिजाइन शामिल हैं।[4]


सड़क नेटवर्क

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

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

सबसे तेज़ ज्ञात क्वेरी समय वाले एल्गोरिदम को हब लेबलिंग कहा जाता है एवं यह माइक्रोसेकंड के अंश में यूरोप या यूएस के सड़क नेटवर्क पर सबसे छोटे पथ की गणना करने में सक्षम है।[6] अन्य तकनीकों का उपयोग किया गया है:

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

कम्प्यूटेशनल ज्यामिति में सबसे छोटी पथ समस्याओं के लिए, यूक्लिडियन सबसे छोटा रास्ता देखें।

सबसे छोटा एकाधिक डिस्कनेक्ट पथ [7] पुनरावृत्ति सिद्धांत के ढांचे के भीतर आदिम पथ नेटवर्क का प्रतिनिधित्व है। व्यापक पथ समस्या पथ की तलाश करती है ताकि किसी भी किनारे का न्यूनतम लेबल जितना संभव हो उतना बड़ा हो।

अन्य संबंधित समस्याओं को निम्नलिखित श्रेणियों में वर्गीकृत किया जा सकता है।

बाधाओं के साथ पथ

सबसे छोटी पथ समस्या के विपरीत, जिसे नकारात्मक चक्रों के बिना ग्राफ़ में बहुपद समय में हल किया जा सकता है, सबसे छोटी पथ समस्याएँ जिनमें वांछित समाधान पथ पर अतिरिक्त बाधाएँ शामिल होती हैं, उन्हें कंस्ट्रेन्टेड शोर्टेस्ट पाथ फर्स्ट कहा जाता है, एवं हल करना कठिन होता है। उदाहरण विवश लघुतम पथ समस्या है,[8] जो पथ की कुल लागत को कम करने का प्रयास करता है जबकि साथ ही किसी दिए गए थ्रेसहोल्ड के नीचे एवं मीट्रिक बनाए रखता है। यह समस्या को एनपी-पूर्ण बनाता है (ऐसी समस्याओं को डेटा के बड़े सेट के लिए कुशलता से हल करने योग्य नहीं माना जाता है, पी = एनपी समस्या देखें)। अन्य एनपी-पूर्ण उदाहरण के लिए पथ में शामिल किए जाने वाले वर्टिकल के विशिष्ट सेट की आवश्यकता होती है,[9] जो समस्या को ट्रैवलिंग सेल्समैन की समस्या (टीएसपी) के समान बनाता है। टीएसपी सबसे छोटा रास्ता खोजने की समस्या है जो हर शीर्ष से ठीक बार गुजरता है, एवं शुरुआत में वापस आ जाता है। ग्राफ़ में सबसे लंबे पथ की समस्या भी एनपी-पूर्ण है।

आंशिक अवलोकनशीलता

कनाडाई यात्री समस्या एवं स्टोकेस्टिक शॉर्टेस्ट पाथ प्रॉब्लम सामान्यीकरण हैं जहां या तो ग्राफ मूवर को पूरी तरह से ज्ञात नहीं है, समय के साथ बदलता है, या जहां क्रियाएं (ट्रैवर्सल) संभाव्य हैं। [10] [11]


रणनीतिक सबसे छोटा रास्ता

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

नकारात्मक चक्र पहचान

कुछ मामलों में, मुख्य लक्ष्य सबसे छोटा रास्ता खोजना नहीं है, किंतु केवल यह पता लगाना है कि ग्राफ में नकारात्मक चक्र है या नहीं। इस उद्देश्य के लिए कुछ सबसे छोटे पथ एल्गोरिदम का उपयोग किया जा सकता है:

  • बेलमैन-फोर्ड एल्गोरिथ्म का उपयोग समय में नकारात्मक चक्र का पता लगाने के लिए किया जा सकता है .
  • चर्कास्की एवं गोल्डबर्ग[12] नकारात्मक चक्र का पता लगाने के लिए कई अन्य एल्गोरिदम का सर्वेक्षण करें।

सेमीरिंग पर सामान्य बीजगणितीय रूपरेखा: बीजगणितीय पथ समस्या

कई समस्याओं को पथ के साथ जोड़ने एवं न्यूनतम लेने की कुछ उपयुक्त रूप से प्रतिस्थापित धारणाओं के लिए सबसे छोटे पथ के रूप में तैयार किया जा सकता है। इनके लिए सामान्य दृष्टिकोण दो परिचालनों को मोटी हो जाओ के रूप में माना जाता है। सेमिरिंग गुणन पथ के साथ किया जाता है, एवं जोड़ पथों के मध्य होता है। इस सामान्य ढाँचे को बीजगणितीय पथ समस्या के रूप में जाना जाता है।[13][14][15]इस तरह के बीजगणितीय संरचनाओं पर रैखिक प्रणालियों को हल करने के रूप में अधिकांश क्लासिक शॉर्टेस्ट-पाथ एल्गोरिदम (एवं नए) तैयार किए जा सकते हैं। हाल ही में, मूल्यांकन बीजगणित के बैनर तले इन (एवं बहुत कम स्पष्ट रूप से संबंधित समस्याओं) को हल करने के लिए एवं अधिक सामान्य रूपरेखा विकसित की गई है।.[16]


स्टोकेस्टिक टाइम-डिपेंडेंट नेटवर्क्स में सबसे छोटा रास्ता

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

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

यह भी देखें

संदर्भ

टिप्पणियाँ

  1. Cormen et al. 2001, p. 655
  2. 2.0 2.1 Dial, Robert B. (1969). "Algorithm 360: Shortest-Path Forest with Topological Ordering [H]". Communications of the ACM. 12 (11): 632–633. doi:10.1145/363269.363610. S2CID 6754003.
  3. Sanders, Peter (March 23, 2009). "Fast route planning". Google Tech Talk. Archived from the original on 2021-12-11.
  4. Chen, Danny Z. (December 1996). "Developing algorithms and software for geometric path planning problems". ACM Computing Surveys. 28 (4es). Article 18. doi:10.1145/242224.242246. S2CID 11761485.
  5. Abraham, Ittai; Fiat, Amos; Goldberg, Andrew V.; Werneck, Renato F. "Highway Dimension, Shortest Paths, and Provably Efficient Algorithms". ACM-SIAM Symposium on Discrete Algorithms, pages 782–793, 2010.
  6. Abraham, Ittai; Delling, Daniel; Goldberg, Andrew V.; Werneck, Renato F. research.microsoft.com/pubs/142356/HL-TR.pdf "A Hub-Based Labeling Algorithm for Shortest Paths on Road Networks". Symposium on Experimental Algorithms, pages 230–241, 2011.
  7. Kroger, Martin (2005). "Shortest multiple disconnected path for the analysis of entanglements in two- and three-dimensional polymeric systems". Computer Physics Communications. 168 (3): 209–232. Bibcode:2005CoPhC.168..209K. doi:10.1016/j.cpc.2005.01.020.
  8. Lozano, Leonardo; Medaglia, Andrés L (2013). "On an exact method for the constrained shortest path problem". Computers & Operations Research. 40 (1): 378--384. doi:10.1016/j.cor.2012.07.008.
  9. Osanlou, Kevin; Bursuc, Andrei; Guettier, Christophe; Cazenave, Tristan; Jacopin, Eric (2019). "Optimal Solving of Constrained Path-Planning Problems with Graph Convolutional Networks and Optimized Tree Search". 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS): 3519--3525. arXiv:2108.01036. doi:10.1109/IROS40897.2019.8968113. ISBN 978-1-7281-4004-9. S2CID 210706773.
  10. Bar-Noy, Amotz; Schieber, Baruch (1991). "The canadian traveller problem". Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms: 261–270. CiteSeerX 10.1.1.1088.3015.
  11. Nikolova, Evdokia; Karger, David R. "Route planning under uncertainty: the Canadian traveller problem" (PDF). Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI): 969--974. Archived (PDF) from the original on 2022-10-09.
  12. Cherkassky, Boris V.; Goldberg, Andrew V. (1999-06-01). "Negative-cycle detection algorithms". Mathematical Programming (in English). 85 (2): 277–311. doi:10.1007/s101070050058. ISSN 1436-4646. S2CID 79739.
  13. Pair, Claude (1967). "Sur des algorithmes pour des problèmes de cheminement dans les graphes finis (On algorithms for path problems in finite graphs)". In Rosentiehl, Pierre (ed.). Théorie des graphes (journées internationales d'études) -- Theory of Graphs (international symposium). Rome (Italy), July 1966: Dunod (Paris) et Gordon and Breach (New York). p. 271.{{cite conference}}: CS1 maint: location (link)
  14. Derniame, Jean Claude; Pair, Claude (1971). Problèmes de cheminement dans les graphes (Path Problems in Graphs). Dunod (Paris).
  15. Baras, John; Theodorakopoulos, George (4 April 2010). Path Problems in Networks. Morgan & Claypool Publishers. pp. 9–. ISBN 978-1-59829-924-3.
  16. Pouly, Marc; Kohlas, Jürg (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. Chapter 6. Valuation Algebras for Path Problems. ISBN 978-1-118-01086-0.
  17. Loui, R.P., 1983. Optimal paths in graphs with stochastic or multidimensional weights. Communications of the ACM, 26(9), pp.670-676.
  18. Rajabi-Bahaabadi, Mojtaba; Shariat-Mohaymany, Afshin; Babaei, Mohsen; Ahn, Chang Wook (2015). "Multi-objective path finding in stochastic time-dependent road networks using non-dominated sorting genetic algorithm". Expert Systems with Applications. 42 (12): 5056–5064. doi:10.1016/j.eswa.2015.02.046.
  19. Olya, Mohammad Hessam (2014). "Finding shortest path in a combined exponential – gamma probability distribution arc length". International Journal of Operational Research. 21 (1): 25–37. doi:10.1504/IJOR.2014.064020.
  20. Olya, Mohammad Hessam (2014). "Applying Dijkstra's algorithm for general shortest path problem with normal probability distribution arc length". International Journal of Operational Research. 21 (2): 143–154. doi:10.1504/IJOR.2014.064541.


ग्रन्थसूची


अग्रिम पठन

  • Frigioni, D.; Marchetti-Spaccamela, A.; Nanni, U. (1998). "Fully dynamic output bounded single source shortest path problem". Proc. 7th Annu. ACM-SIAM Symp. Discrete Algorithms. Atlanta, GA. pp. 212–221. CiteSeerX 10.1.1.32.9856.
  • Dreyfus, S. E. (October 1967). An Appraisal of Some Shortest Path Algorithms (PDF) (Report). Project Rand. United States Air Force. RM-5433-PR. Archived (PDF) from the original on November 17, 2015. DTIC AD-661265.