پوشش گرهی
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. |
در نظریه گراف ، پوشش راسی ( پوشش گرهای ) در یک گراف ، زیرمجموعه ای از رئوس است که که همهٔ یالهای این گراف را میپوشاند. در این جا پوشش یک یال یعنی آن که دست کم یکی از گرههای دو سر یال در این زیرمجموعه باشد. اندازهٔ پوششی گرهای برابر است با شمار گرههای درون این مجموعه. برای نمونه، شکل زیر دارای یک پوشش گرهای ، به اندازهٔ ۲ است.
پرسمان یافتن پوشش گرهای کمینه به یافتن پوششی گرهای میپردازد که کمترین شمار گرهها را دربرداشته باشد. این پرسمان انپی کامل است، از این روی رایانش چنین زیرمجموعهای دشوار است .این مسئله در علوم کامپیوتر ، یک مسئله بهینه سازی کلاسیک است. پس این پرسمان NP-سخت است درنتیجه اگر P ≠ NP باشد، نمی توان آن را با یک الگوریتم زمان چند جمله ای حل کرد. علاوه بر این، تخمین زدن آن دشوار است - اگر حدس بازی های منحصر به فرد درست باشد، نمی توان آن را تا ضریب کوچکتر از 2 تقریب زد.
تعریف
[ویرایش]برای گرافی بیسو مانند ، زیرمجموعهای پوشش گرهای است اگر برای هر یال یا گره یا گرهٔ یا باشد. دو پوشش گرهای با رنگ قرمز در شکلهای زیر نمایانیده شدهاند.
اندازهٔ پوششی گرهای مانند برابر است با شمار گرههای این زیرمجموعه که با نمایش داده میشود. پوشش گرهای کمینه پوششی است که دارای کمترین گرهها باشد. گرههای سرخ در در دو شکل زیر پوشش گرهای کمینه را برای نمونههای بالا مینمایانند.
نمونهها
[ویرایش]- مجموعهٔ همهٔ گرهها پوشش گرهای است.
- گرههای تطابق (گراف) بیشینهای یک پوشش گرهای را میسازند.
- گراف دوبخشی کامل دارای پوششی گرهای کمینه با اندازه است.
ویژگیها
[ویرایش]- مجموعهای از گرهها پوششی گرهای است اگر و تنها اگر اُسپُران (مکمل) آن مجموعه ناوابسته باشد.
- شمار گرههای گرافی برابر است با اندازهٔ پوشش گرهای کمینه و اندازهٔ مجموعهٔ ناوابسته بیشینهٔ این گراف (Gallai).
پرسمانهای رایانشی
[ویرایش]پرسمان پوشش گرهای کمینه پرسمانی بهینهسازی است که به یافتن پوششی گره با کمترین اندازه برای یک گراف میپردازد. اگر گرهها وزندار باشند، پوشش گرهای وزندار کمینه زیرمجموعهای از گرههاست که کمترین وزن را روی-هم-رفته داشته باشند.
پرسمان پوشش گرهای پرسمانی تصمیمگیری است: آیا پوشش گرهای با اندازهای دست بالا در گرافی هست.
پرسمان پوشش گرهٔ انپی کامل و یکی از پرسمانهای ۲۱ پرسمان انپی-کامل کارپ است.
برنامهنویسی درست
[ویرایش]برای برنامهنویسی درست، اگر هر گرهٔ در گراف وزن دربرداشته باشد، پرسمان پوشش گرهای مانند برنامهٔ درست (integer program) زیر نوشته میشود:
بنداشتها:
گافِ دُرُست (integral gap) برای این برنامه، ۲ است؛ بنابراین، واهلش این برنامه تقریبی با کروند (فاکتور)-۲ برای پرسمان پوشش گرهای کمینه به دست خواهد داد. همچنین، واهلش برنامهٔ درست بالا نیم-دُرُست (half integral) است؛ از این روی، در یک پاسخ بهین، هر درآیهٔ ارزش یا یا (optimal) خواهد داشت.
الگوریتم رزین
[ویرایش]پرسمان پوشش گرهای انپی کامل است. از این روی، الگوریتمی دقیق با زمانی بهینه برای این پرسمان نخواهیم داشت. ریچارد کارپ انپی کامل بودن این پرسمان را با کاهش از پرسمان گروهک نشان داده است. پرسمان پوشش گرهای حتی برای گراف مکعبی[۱] و گراف مسطح[۲] با درجهٔ کمتر از ۳ انپی کامل میماند.
کونیگ نشان داده است که پوشش گرهای کمینه و جورسازی بیشینه در گرافی دوبخشی همارز هستند. از این روی میتوان پاسخ بهین را در زمانی چندجملهای به دست آورد.
همچنین، پاسخ بهین را برای درختها میتوان در زمانی چندجملهای یافت.[۳]
الگوریتم تقریب
[ویرایش]البته در ادامه الگوریتم تقریب زیر را برای این مسئله بیان میداریم. الگوریتم، گراف بدون جهت را به عنوان ورودی میگیرد و یک پوشش گرهٔ را برمیگرداند که تضمین میشود اندازه آن بیش از دو برابر پوشش گرهٔ بهینه نیست:
الگوریتم
[ویرایش]شکل ۲ عملکرد- را تشریح میکند. متغیر حاوی پوشش گرهٔ در حال ساخت است. خط ۱، را برابر با مجموعه تهی قرار میدهد. خط ۲ ، را برابر با کپی مجموعه یال گراف قرار میدهد. حلقه در خطوط ۳ تا ۶ مکرراً یال را از انتخاب میکند، نقاط انتهای آن و را به اضافه میکند، و تمام یالهایی را از حذف میکند که توسط یا پوشش میشود. زمان اجرای الگوریتم است که از لیست همجواری برای نمایش استفاده میشود.
بازبُردها
[ویرایش]- ↑ (Garey، Johnson و Stockmeyer 1974)
- ↑ (Garey و Johnson 1977); (Garey و Johnson 1979), pp. 190 and 195.
- ↑ Schulz, A (CS Stack Exchange). "Correctness-Proof of a greedy-algorithm for minimum vertex cover of a tree". Retrieved 8 July 2014.
{{cite web}}
: Check date values in:|date=
(help)
- معرفی بر الگوریتمها en:CLRS
- معرفی بر الگوریتمها ترجمه: جعفرنژاد قمی
- Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs، author: Demaine