الگوریتم فلوید-وارشال
در علوم کامپیوتر الگوریتم فلوید-وارشال (به انگلیسی: Floyd–Warshall algorithm) یک الگوریتم تحلیل گراف برای پیدا کردن کوتاهترین مسیر در یک گراف جهت دار و وزن دار میباشد. با یکبار اجرای این الگوریتم کوتاهترین مسیر بین همهٔ جفت راسها پیدا خواهد شد. الگوریتم فلوید-وارشال به نام استفن وارشال و رابرت فلوید نامگذاری شدهاست. این الگوریتم یک مثال از برنامهنویسی پویا میباشد. در این الگوریتم، ابتدا ماتریس مجاورت برای نقاط گراف نوشته شده و در مرحلهٔ بعد با استفاده از یک راس واسطه، کوتاهترین فاصله بین نقاط را محاسبه کرده و ماتریس را با مقادیر جدید بازنویسی میکند. پس از آن دو نقطه به عنوان واسطه انتخاب شده و ماتریس جدید به دست میآید. با تکرار این روند الگوریتم به پایان رسیده و در نهایت ماتریسی ایجاد شده که کوتاهترین مسیر بین تمامی نقاط را محاسبه کردهاست. بدیهی است که کوتاهترین مسیر بین مبدأ و مقصد را میتوان به راحتی از ماتریس تشکیل شدهاستخراج نمود.
رده | مسئله یافتن کوتاهترین مسیر (برای گرافهای وزندار) |
---|---|
ساختمان داده | گراف (ساختار داده) |
کارایی بدترین حالت | |
کارایی بهترین حالت | |
کارایی متوسط | |
پیچیدگی فضایی |
الگوریتم
الگوریتم وارشال همهٔ مسیرهای ممکن در یک گراف، بین هر جفت از راس هارا مقایسه میکند. این الگوریتم قادر است این کار را تنها با مقایسه انجام دهد. این ملاحظه قابل توجهی میباشد که در یک گراف یال وجود داشته باشد وهر ترکیبی از یالها چک شده باشد. یک گراف با راسهای که i از ۱ تا N میباشد را در نظر بگیرید. علاوه بر این یک تابع به نام (shortestPath(i,j،k را در نظر بگیرید که کوتاهترین مسیر ممکن از i تا j را با استفاده از راسهای ۱ تا k که به عنوان راسهای میانی در امتداد مسیر میباشند را برمیگرداند.
هم اکنون این تابع داده شدهاست. هدف ما پیدا کردن کوتاهترین مسیر از هر i تا هر j تنها با استفاده از راسهای ۱ تا 1+k میباشد. دو کاندیدا برای این مسیر وجود دارد:
۱- کوتاهترین مسیری که فقط از راسهای موجود در مجموعه ی(k,........ ,1) استفاده میکند.
۲- تعدادی مسیر که از i تا 1+k و سپس از 1+k تا j میروند وجود دارد که این مسیر بهتر میباشد.
ما میدانیم که بهترین مسیر از i تا j که فقط از راسهای بین ۱ تا k+1 استفاده میکند توسط (ShortestPath(i,j،k تعریف شدهاست و واضح است که اگر یک مسیر بهتر از i تا1+k و از 1+k تا j وجود داشته باشد بنابراین طول مسیر بین i,j از الحاق کوتاهترین مسیر از i تا 1+k و کوتاهترین مسیر از 1+k تا j بدست میآید؛ بنابراین تابع (ShortestPath(i,j،k را در در فرمول بازگشتی زیر ارائه میدهیم:
این رابطه قلب الگوریتم وارشال میباشد این الگوریتم در اولین محاسبه (ShortestPath(i,j،۱ را برای همهٔ جفتهای (i ,j) پیدا میکند و سپس از این برای پیدا کردن (Shortestpath(i,j،۲ برای همهٔ جفتهای (i ,j) استفاده میشود و این روال تا زمانی که k=N شود ادامه مییابد و ما میتوانیم کوتاهترین مسیر بین جفتهای (i,j) را با استفاده از راسهای میانی پیدا کنیم.
شبه کد
1 let dist be a |V| × |V| array of minimum distances initialized to ∞ (infinity) 2 for each edge (u,v) 3 dist[u][v] ← w(u,v) // the weight of the edge (u,v) 4 for each vertex v 5 dist[v][v] ← 0 6 for k from 1 to |V| 7 for i from 1 to |V| 8 for j from 1 to |V| 9 if dist[i][j] > dist[i][k] + dist[k][j] 10 dist[i][j] ← dist[i][k] + dist[k][j] 11 end if
تحلیل
در هر مرحلهی برای یافتن تمامی مقدار ها (برای های بزرگتر از ۰ و تمامی ها) با استفاده از مقادیر نیاز به عملیات داریم. با توجه به این که ما با مقداردهی اولیه شروع میکنیم و سپس دنبالهٔ
, , ,
را محاسبه میکنیم، مجموع تعداد عملیاتهای مورد نیاز ما برابر با خواهد بود. در نتیجه پیجدگی محاسباتی این الگوریتم از خواهد بود.
تحلیل دستی با یک مثال
در این تصویر مشاهده میکنید که چگونه توسط استخراج ماتریس مجاورت(D0) از گراف روابط وزن دار الگوریتم فلوید وارشال را به صورت دستی در چهار مرحله اعمال کرده ایم.
کاربردها
الگوریتم وارشال برای حل مسایل زیر میتواند استفاده شود.
- کوتاهترین مسیرها در گرافهای جهت دار
- بستار متعدی گرافهای جهت دار
- در فرمول عمومی الگوریتم وارشال گراف بی وزن میباشد و توسط یک ماتریس مجاورت نمایش داده شدهاست.
- وارون سازی یک ماتریس حقیقی
- تست کردن اینکه آیا یک گراف بی جهت، دو قسمتی میباشد یا خیر.
- محاسبه سریع شبکههای راهیاب
پیادهسازیها
پیادهسازی این الگوریتم در زبانهای برنامهنویسی مختلفی وجود دارد.
- برای پرل در کتابخانه Graph
- برای جاوااسکریپت در کتابخانه Cytoscape
- برای سی پلاسپلاس در کتابخانه boost::graph
- برای سی شارپ در کتابخانه QuickGraph
- برای جاوا در کتابخانه Apache Commons Graph
۶- برای متلب در بسته Matlab_bgl
منابع
- مقدمهای بر الگوریتمها - پدیدآورنده: تامس کورمن، چارلز لیزرسان، رونالد دیوست، کلیفورد اشتاین - گروه مهندسی-پژوهشی خوارزمی (مترجم) - ناشر: درخشش
- ویکیپدیای انگلیسی