درخت پوشای کمینه: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
R0stam (بحث | مشارکت‌ها)
جز ویرایش به وسیلهٔ ابزار خودکار ابرابزار
R0stam (بحث | مشارکت‌ها)
بدون خلاصۀ ویرایش
خط ۱:
'''درخت پوشای کمینه''' یا درخت فراگیر مینیمم در [[گراف|گراف‌های]] ارزش دار (وزن دار) ساخته می‌شود.
 
فرض کنید گراف یک گراف همبند باشد (یعنی بین هردو رأس متمایز آن یک مسیر وجود داشته باشد) منظور از یک درخت پوشا از این گراف درختی است که شامل همه رئوس این گراف باشد ولی فقط بعضی از یال‌های آنرا دربر گیرد. منظور از درخت پوشای مینیمم (برای گراف همبند وزن دار) درختی است که بین درخت‌های پوشای آن گراف، مجموع وزن یال‌های آن، کمترین مقدار ممکن باشد. برای به دست آوردن درخت پوشای بهینه یک گراف جهت دار متصل می‌توانمی توان از الگوریتم‌های متفاوتی استفاده نمود. سه الگوریتم معروف پیدا کردن درخت پوشای کمینه عبارتند از :
[[الگوریتم کروسکال]]
[[الگوریتم پریم]]
خط ۷:
 
== الگوریتم کروسکال ==
در الگوریتم کراسکال یال‌های گراف را به ترتیب صعودی مرتب می‌کنیممی کنیم. از اولین (کوچکترین) یال شروع کرده و هر یال را به گراف اضافه می‌کنیممی کنیم به شرط اینکه دور در گراف ایجاد نگردد. این روال را آنقدر ادامه می‌دهیممی دهیم تا درخت پوشای بهینه تشکیل گردد.
 
این الگوزیتم نیزمشابه الگوریتم پریم برای یافتن درخت پوشای کمینهٔکمینه ی یک گراف به کارمی رود. دراین الگوریتم ابتدایال هاازکمترین وزن به بیشترین وزن مرتب می گردندسپس یال هابه ترتیب انتخاب شده واگریالی ایجادحلقه کندوکنارگذاشته می‌شود.می شود.عملیات هنگامی خاتمه می یابدکه تمام رأس هابه هم وصل شوندیااینکه تعدادیال‌هایتعدادیال های موجوددرF برابرn-1 شودکه n تعدادرأس‌هاتعدادرأس ها است. که دربعضی کتابها بانام راشال مطرح شده است. شکل زیر مراحل کاررابرای یک گراف فرضی نشان می‌دهدمی دهد.
 
بیشترزمان درالگوریتم کروسکال مربوط به مرتب سازی یالهاست. پس اگرتعدادیال e باشدزمان این الگوریتم ازمرتبه (e lg e) Ѳ خواهدبود.
 
نکته : اگرe نزدیک به کران پایین باشدیعنی گراف نسبتاخلوت بوده ویال کمی داشته است. الگوریتم کروسکال ازمرتبه روبه رو است :
 
(n lg n) Ѳ = (e lg e) Ѳ
خط ۱۹:
واگرe نزدیک به کران بالا باشد یعنی گراف نسبتاپرباشدویالهای زیادی داشته باشد:
 
(n2 lg n) Ѳ = (n2.2 lg n) Ѳ = (n2 lg n2) Ѳ = (e lg e) Ѳ
 
پس اگرگرافی یالهای کمی داردبهتراست ازروش کروسکال واگریالهای زیادی دارد بهتراست ازروش پریم استفاده کنیم.
 
{{چپ‌چین}}
<source lang="cpp">
1 function Kruskal(G)
2 for each vertex v in G do
خط ۳۴:
8 // edge u,v is the minimum weighted route from/to v
9 (u,v) ← Q.removeMin()
10 // prevent cycles in T. add u,v only if T does not already contain a path between u and v.
11 // Note that the cluster contains more than one vertex only if an edge containing a pair of
12 // the vertices has been added to the tree.
خط ۴۸:
 
== الگوریتم پریم ==
در این روش از یک رأس شروع می‌کنیممی کنیم و کمترین یال (یال با کمترین وزن) که از آن می‌گذردمی گذرد را انتخاب می‌کنیممی کنیم. در مرحله بعد یالی انتخاب می‌شود که کمترین وزن را در بین یال‌هایی که از دو گره موجود می‌گذردمی گذرد داشته باشیم. به همین ترتیب در مرحله بعد یالی انتخاب می‌گردد که کمترین وزن را در بین یالهایی که از سه گره موجود می‌گذردمی گذرد داشته باشد. این روال را آنقدر تکرار می‌کنیممی کنیم تا درخت پوشای بهینه حاصل شود. باید توجه کرد که یال انتخابی در هر مرحله در صورتی انتخاب می‌شود که در گراف دور ایجاد نکند. تفاوت روش پریم با روش کراسکال در این است که گراف حاصل در مراحل میانی تشکیل درخت پوشای بهینه در روش پریم همیشه متصل است ولی در الگوریتم کراسکال در آخرین مرحله قطعاً متصل است.
{{چپ‌چین}}
<source lang="cpp">
while latest_addition = remove minimum in Q
set is_in_Q of latest_addition to false
خط ۶۳:
{{پایان چپ‌چین}}
* ممکن است درختهایی که الگوریتم مذکور تولید می‌کنند، از لحاظ شکل ظاهری متفاوت باشند، ولی وزن همهٔ درخت‌ها یکسان است.
* مرتبهٔ زمانی الگوریتم پریم برابر (o(n^2 است. (حلقهٔ while، برای n دفعه و عمل یافتن از میان لبه‌های متصل به یک مجموعه دور خاص n دفعه اتفاق می‌افتد؛می افتد؛ که در مجموع برابر n^2 دفعه می‌شود).
 
== زمان اجرای الگوریتم prim ==
خط ۶۹:
به چگونگی پیاده سازی صف اولویت Q بستگی دارد. اگر Q به صورت min-heap دودویی پیاده‌سازی شود. می‌توانیم از روال BUILD-MIN-HEAP در خطوط ۵-۱ برای مقدار دهی اولیه در زمان(O(V استفاده کنیم. بدنه حلقهwhile، |V| بار اجرا می‌شود. و چون هر عمل EXTRACT-MIN زمان(O(lgV را صرف می‌کند زمان کل برای همه فراخوانی EXTRA-MIN برابر(O(vlogV است. حلقه for در خطوط ۱۱-۸ روی هم رفته (O(E بار اجرا می‌شود چون مجموعه طول همه لیست‌های همجواری برابر ۲|E| می‌باشد. در داخل حلقه for بررسی برای عضویت در Q در خط ۹ می‌تواند در زمان ثابت با نگهداری یک بیت برای هر راس که بیان می‌کند آیا آن راس در Q قرار دارد یا خیر، پیاده سازی می‌شود و وقتی که راس از Q حذف شود بروز رسانی بیت انجام می‌گیرید. انتساب در خط۱۱ شامل یک عمل DECREASE- KEY ضمنی بر روی min-heap است که می‌تواند در min-heap دودویی در زمان(O(lgV پیاده‌سازی شود. بنابراین زمان کل برای الگوریتم Prim برابر(O(VlgV+ ElgV)= O(ElgV است که به طور مجانبی با پیاده‌سازی الگوریتم Kruskal یکسان می‌باشد.
اگر heap فیبوناچی برای پیاده سازی صف اولویت مینیمم Q استفاده شود. زمان اجرای الگوریتم Prim به(O(E+VlgV بهبود می‌یابد.
 
 
 
== الگوریتم سولین ==
در الگوریتم سولین برای هر گره یال با کمترین هزینه که از آن عبور می‌کند را رسم می‌کنیممی کنیم . در مرحله بعد، گراف به مؤلفه‌هایی تقسیم می‌شود و یالی انتخاب می‌گردد که با کمترین هزینه دو مؤلفه گراف را به همدیگر متصل نماید با شرط عدم وجود دور در گراف. آنقدر این مراحل را ادامه می‌دهیممی دهیم تا درخت پوشای کمینه حاصل شود.
{{برنامه‌نویسی-خرد}}
 
== منابع ==