خوارزمية ديكسترا

☰ جدول المحتويات

نبذة تمهيدية
تعريف المسألة
الخوارزمية
- شرح الخوارزمية
- كود الخوارزمية
الإستخدامات
روابط خارجية
مراجع

خوارزمية ديكسترا (Dijkstra's algorithm)‏ هي خوارزمية تعنى بحل مسألة إيجاد المسار الأقصر بين عقدتين في بيان لا يحتوي على وصلات ذات أوزان سلبية.^[1]^[2]^[3] الخوارزمية مفيدة في عدة تطبيقات، مثل إيجاد الطريق الأقصر بين مدينتين ضمن خريطة، حيث قد تمثل أوزان الوصلات طول الشارع أو مستوى الازدحام في ذلك الشارع أو مجموعهما أو أي معيار مناسب آخر. واضع هذه الخوارزمية هو الهولندي ادسخر دكسترا سنة 1959.

خوارزمية ديكسترا

بيانات عامّة
الصنف	خوارزمية بحث
بنية المعطيات	بيان
التعقيد الزمني الأسوأ	$O(\|E\|+\|V\|\log \|V\|)$
تعديل مصدري - تعديل

تعريف المسألة

لدينا بيان $G=(V,E)$ حيث انه بيان موزون ومترابط، أوزان وصلاته غير سالبة: $W:E\to \mathbb {R} ^{+}$ ، ولتكن $s,t$ عقدتين ضمن هذا البيان.

نريد أن نجد مساراً بسيطاً يربط بين s و-t على أن يكون وزن هذا المسار (المُعرّف على أساس مجموع أوزان الوصلات التي يتألف منها) أصغر ما يمكن.

هذه هي المسألة بشكل عام ولكن الخوارزمية تحل مسألة أكثر عموميةً من هذه تتمثل في إيجاد أقصر مسار بين العقدة v وجميع العقد الأخرى.

الخوارزمية

توضيح آلية عمل الخوارزمية من خلال البحث عن أقصر مسافة بين نقطة البداية, وهي النقطة الحمراء أسفل الصورة, والنقطة الهدف وهي الخضراء في الجزء العلوي الأيمن. العقد الفارغة تشكل النقاط المكتشفة والتي لم يتم زيارتها بعد. أما العقد المملوئة فهي العقد أو النقاط التي تم زيارتها, واللون يشكل المسافة. حيث كلما مال اللون إلى اللون الأخضر كلما قلت المسافة إلى النقطة الهدف.

شرح الخوارزمية

سنطلق على العقدة التي نبدأ منها اسم العقدة الأولية. لتكن المسافة حتى العقدة Y هي المسافة من العقدة الأولية حتى العقدة Y. ستقوم خوارزمية دايكسترا بإسناد قيم معينة للمسافات وتحاول بعد ذلك القيام بتحسين هذه المسافات خطوة بعد خطوة.

أسند لكل عقدة قيمة ما تمثل المسافة: دع هذه القيمة صفراً بالنسبة للعقدة الأولية، ولانهاية بالنسبة لباقي العقد.
علّم كافة العقد بأنها غير مزارة، علّم العقدة الأولية بأنها العقدة الحالية. اصنع مجموعة من العقد التي لم تتم زيارتها بعد وادعُ هذه المجموعة مجموعة العقد غير المزارة، تتضمن هذه المجموعة بدايةً كافة العقد.
قم بتحديد كافة جيران العقدة الحالية واحسب المسافات من هذه العقد إلى العقدة الحالية. قارن المسافات الجديدة مع المسافات القديمة واختر الأصغر. على سبيل المثال، لتكن العقدة الحالية A معلّمة بالمسافة 6، وليكن الضلع (الحافة) التي تصل A بالعقدة B بطول مقداره 2، وبالتالي فإن المسافة حتى العقدة B (من خلال العقدة A) ستكون 6+2=8. إذا كانت B معلمة سابقاً بمسافة أقل من 8 عندئذ لا نغير قيمة B، وإذا لم تكن كذلك فإننا نقوم بتغييرها.
عند الانتهاء من تعيين قيم كافة جيران العقدة الحالية، فإننا نعلم العقدة الحالية بأنها عقدة مزارة ونحذفها من مجموعة العقدة غير المزارة بحيث لا نقوم لاحقاً بإعادة زيارتها.
إذا تم تعليم العقدة الهدف بأنها عقدة مزارة (في حال البحث عن مسار بين عقدتين معطيتين) أو إذا كانت المسافة الأصغر من بين كافة العقد الموجودة في مجموعة العقد غير المزارة (في حال البحث عن جولة كاملة؛ يحدث ذلك في حال عدم وجود اتصال بين العقدة الأولية وباقي العقد غير المزارة) عندئذ يجب أن نتوقف وينتهي عمل الخوارزمية.
اختر العقدة غير المزارة التي لديها المسافة الأصغر وعلّم هذه العقدة بأنها العقدة الحالية وعُد إلى الخطوة 3.

الخوارزمية تعتمد بشكل كبير على انه إذا وجدنا المسار الأقصر بين v و-u لنُسمه $p=(t_{0},t_{1},...,t_{k})$ بحيث أن k هو طول المسار ووزنه هو $W(p)=\sum _{i=0}^{k}W(t_{i},t_{i+1})$ و- $t_{0}=v$ , حينئذ إذا نظرنا للمسارات الجزئية من v حتى $t_{i}$ نجد حينها أنها هي الأقصر. وهذه المُعاينة تعتمد على أنَّ الأوزان موجبة .

كود الخوارزمية

ما يلي هو تطبيق الخوارزمية بلغة java^[4], وهذا التطبيق هو ليس الأفضل بالضرورة ولكنه نموذج لطريقة التطبيق :

class Dijkstra { double[] dist = new double[G.V()]; Edge[] pred = new Edge[G.V()]; public Dijkstra(WeightedDigraph G, int s) { boolean[] marked = new boolean[G.V()]; for (int v = 0; v <G.V(); v++) dist[v] = Double.POSITIVE_INFINITY; MinPQplus<Double, Integer> pq; pq = new MinPQplus<Double, Integer>(); \\Priority Queue dist[s] = 0.0; pq.put(dist[s], s); while (!pq.isEmpty()) { int v = pq.delMin(); if (marked[v]) continue; marked(v) = true; for (Edge e : G.adj(v)) { int w = e.to(); if (dist[w]> dist[v] + e.weight()) { dist[w] = dist[v] + e.weight(); pred[w] = e; pq.insert(dist[w], w); } } } } }

الإستخدامات

تستخدم هذه الخوارزمية بشكل رئيسي في تطبيقات حساب الطرق مثل خرائط جوجل. فبفضل هذه الخوارزمية يتم إيجاد أقصر طريق بين موقعين. حيث يتم تمثيل شبكة الطرق على شكل رسم بياني والمواقع على شكل عُقد أو نقاط في هذه الشبكة، ومن ثم يتم حساب أقرب مسافة في هذه الشبكة بين أي نقطتين فيها.

كذلك تستخدم هذه الخوارزمية في مجال شبكات الإنترنت كخوارزمية توجيه في بعض البروتوكولات مثل: بروتوكول الربط بين الأنظمة الوسيطية.

روابط خارجية

محاكاة لخوارزمية دكسترا

مراجع

Bauer, Reinhard; Delling, Daniel; Sanders, Peter; Schieferdecker, Dennis; Schultes, Dominik; Wagner, Dorothea (2010). "Combining hierarchical and goal-directed speed-up techniques for Dijkstra's algorithm". J. Experimental Algorithmics. 15.
Sniedovich, M. (2006). "Dijkstra's algorithm revisited: the dynamic programming connexion" . Journal of Control and Cybernetics. 35 (3): 599–620. نسخة محفوظة 17 أبريل 2018 على موقع واي باك مشين.
Mehlhorn, Kurt; Sanders, Peter (2008). "Chapter 10. Shortest Paths" ( كتاب إلكتروني PDF ). Algorithms and Data Structures: The Basic Toolbox. Springer. doi:10.1007/978-3-540-77978-0. .
"Shortest Paths" ( كتاب إلكتروني PDF ). Department of Computer Science at Princeton University. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 25 نوفمبر 201124 أكتوبر 2019.