پوشش گره‌ای

پوشش گره‌ای برای یک گراف زیرمجموعه‌ای از گره‌هاست که همه یال‌های این گراف را می‌پوشاند. در این جا پوشش یک یال یعنی آن که دست کم یکی از گره‌های دو سر یال در این زیرمجموعه باشد. اندازه پوششی گره‌ای برابر است با شمار گره‌های درون این مجموعه. برای نمونه، در شکل ۱ دارای پوشش گره به اندازه ۲ است.
پرسمان پوشش گره‌ای کمینه به یافتن پوششی گره‌ای می‌پردازد که کم‌ترین شمار گره‌ها را دربرداشته باشد. این پرسمان ان‌پی کامل است، از این روی رایانش چنین زیرمجموعه‌ای دشوار است.
تعریف
برای گرافی بی‌سو مانند ، زیرمجموعه‌ای پوشش گره‌ای است اگر برای هر یال یا گره یا گره یا باشد. دو پوشش گره‌ای با رنگ قرمز در شکل‌های زیر نمایانیده شده‌اند.
پوشش گره‌ای
اندازه پوششی گره‌ای مانند برابر است با شمار گره‌های این زیرمجموعه که با نمایش داده می‌شود. پوشش گره‌ای کمینه پوششی است که دارای کم‌ترین گره‌ها باشد. گره‌های سرخ در در دو شکل زیر پوشش گره‌ای کمینه را برای نمونه‌های بالا می‌نمایانند.
alt=Minimum-vertex-cover.svg
نمونه‌ها
مجموعه همه گره‌ها پوشش گره‌ای است.
گره‌های تطابق (گراف) بیشینه‌ای یک پوشش گره‌ای را می‌سازند.
گراف دوبخشی کامل دارای پوششی گره‌ای کمینه با اندازه است.
ویژگی‌ها
مجموعه‌ای از گره‌ها پوششی گره‌ای است اگر و تنها اگر اسپران (مکمل) آن مجموعه ناوابسته باشد.
شمار گره‌های گرافی برابر است با اندازه پوشش گره‌ای کمینه و اندازه مجموعه ناوابسته بیشینه این گراف (Gallai).
پرسمان‌های رایانشی
پرسمان پوشش گره‌ای کمینه پرسمانی بهینه‌سازی است که به یافتن پوششی گره با کمترین اندازه برای یک گراف می‌پردازد. اگر گره‌ها وزن‌دار باشند، پوشش گره‌ای وزن‌دار کمینه زیرمجموعه‌ای از گره‌هاست که کمترین وزن را روی-هم-رفته داشته باشند.
پرسمان پوشش گره‌ای پرسمانی تصمیم‌گیری است: آیا پوشش گره‌ای با اندازه‌ای دست بالا در گرافی هست.
پرسمان پوشش گره ان‌پی کامل و یکی از پرسمان‌های ۲۱ پرسمان ان‌پی-کامل کارپ است.
برنامه‌نویسی درست
برای برنامه‌نویسی درست، اگر هر گره در گراف وزن دربرداشته باشد، پرسمان پوشش گره‌ای مانند برنامه درست (integer program) زیر نوشته می‌شود:
\min{
\sum_{v \in V{
c(v) x_v
بنداشت‌ها:
گاف درست (integral gap) برای این برنامه، ۲ است؛ بنابراین، واهلش (relaxation) این برنامه تقریبی با کروند (فاکتور)-۲ برای پرسمان پوشش گره‌ای کمینه به دست خواهد داد. هم‌چنین، واهلش برنامه درست بالا نیم-درست (half integral) است؛ از این روی، در یک پاسخ بهین، هر درآیه ارزش یا یا (optimal) خواهد داشت.
الگوریتم رزین
پرسمان پوشش گره‌ای ان‌پی کامل است. از این روی، الگوریتمی رزین (exact algorithm) با زمانی بهینه برای این پرسمان نخواهیم داشت. ریچارد کارپ ان‌پی کامل بودن این پرسمان را با کاهش از پرسمان گروهک نشان داده است. پرسمان پوشش گره‌ای حتی برای گراف مکعبی و گراف مسطح با درجه کم‌تر از ۳ ان‌پی کامل می‌ماند.
کونیگ نشان داده است که پوشش گره‌ای کمینه و جورسازی بیشینه در گرافی دوبخشی هم‌ارز هستند. از این روی می‌توان پاسخ بهین را در زمانی چندجمله‌ای به دست آورد.
هم‌چنین، پاسخ بهین را برای درخت‌ها می‌توان در زمانی چندجمله‌ای یافت.
الگوریتم تقریب
البته در ادامه الگوریتم تقریب زیر را برای این مسئله بیان می‌داریم. الگوریتم، گراف بدون جهت را به عنوان ورودی می‌گیرد و یک پوشش گره را برمی‌گرداند که تضمین می‌شود اندازه آن بیش از دو برابر پوشش گره بهینه نیست:
الگوریتم
شکل ۲ عملکرد- را تشریح می‌کند. متغیر حاوی پوشش گره در حال ساخت است. خط ۱، را برابر با مجموعه تهی قرار می‌دهد. خط ۲ ، را برابر با کپی مجموعه یال گراف قرار می‌دهد. حلقه در خطوط ۳ تا ۶ مکررا یال را از انتخاب می‌کند، نقاط انتهای آن و را به اضافه می‌کند، و تمام یال‌هایی را از حذف می‌کند که توسط یا پوشش می‌شود. زمان اجرای الگوریتم است که از لیست همجواری برای نمایش استفاده می‌شود.
پرونده:Vertex-problem1.PNG
بازبردها
معرفی بر الگوریتم‌ها
معرفی بر الگوریتم‌ها ترجمه: جعفرنژاد قمی
Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs، author: Demaine