حساب کاربری
​
زمان تقریبی مطالعه: 4 دقیقه
لینک کوتاه

پوشش مجموعه

فهرست

  • ۱ تعریف
  • ۲ مسئله
  • ۳ الگوریتم تقریب حریصانه
  • ۴ منابع

تعریف

مسئله پوشش مجموعه، یک مسئله بهینه‌سازی است که بسیاری از مسئله‌های انتخاب منابع را مدل‌سازی می‌کند. مسئله تصمیم‌گیری متناظر آن، مسئله NP کامل پوشش مجموعه را تعمیم می‌دهد و در نتیجه NP سخت است. الگوریتم تقریبی که برای اداره کردن مسئله پوشش راس ارائه شد، در این جا به کار نمی‌رود. و در نتیجه باید روش دیگری را به کار گیریم. روش اکتشافی حریصانه‌ای را با نسبت تقریب لگاریتمی بررسی می کنیم. یعنی هر چه اندازه نمونه بزرگتر می‌شود، اندازه جواب تقریبی ممکن است نسبت به اندازه جواب بهینه رشد کند. چون، تابع لگاریتمی، خیلی کند رشد می‌کند، این الگوریتم تقریب ممکن است نتایج مفیدی ارائه ندهد.

مسئله

نمونهٔ ( X , F ) {\displaystyle (X,F)}

از مسئلهٔ پوشش مجموعه، شامل مجموعهٔ متناهی X و خانوادهٔ F از زیرمجموعه‌های X است . به‌طوری‌که هر عنصر X متعلق به حداقل یک زیرمجموعه در F است:( اگر S   ∈ F {\displaystyle S\ \in F}
را برابر با p بگیریم)

X   =   ⋃ p S {\displaystyle X\ =\ \bigcup _{p}S}

می گوییم زیرمجموعه S ∈ F {\displaystyle S\in F}

، عناصرش را می پوشاند. مسئله، یافتن می نیمم اندازهٔ A   ⊆ F {\displaystyle A\ \subseteq F}
است که اعضای آن، تمام X را می پوشاند: (اگر S   ∈ A {\displaystyle S\ \in A}
را برابر با q بگیریم)

معادله ۱ X   =   ⋃ q S {\displaystyle X\ =\ \bigcup _{q}S}

می گوییم هر A که در معادله ۱ صدق می‌کند، X را می پوشاند. شکل ۱ مسئلهٔ پوشش مجموعه را شرح می‌دهد. اندازهA به صورت تعداد مجموعه‌های موجود در آن تعریف شد، نه تعداد عناصر موجود در این مجموعه ها. در شکل ۱، اندازه پوشش مجموعه می نیمم، ۳ است.

مسئله پوشش مجموعه، انتزاع بسیاری از مسئله‌های ترکیبی است. به عنوان مثال ساده، فرض کنید X مجموعه‌ای از مهارت‌های مورد نیاز برای حل یک مسئله است و مجموعه‌ای از افراد برای کار کردن بر بروی این مسئله وجود دارد. می خواهیم کمیته‌ای تشکیل دهیم که شامل کمترین تعداد ممکن از افراد باشد، به‌طوری‌که برای هر مهارت مورد نیاز در X، عضوی از کمیته دارای آن مهارت باشد. در نسخهٔ تصمیم‌گیری مسئلهٔ پوشش مجموعه، می پرسیم که آیا پوششی با اندازه K وجود دارد یا خیر؟ k پارامتر دیگری است که در نمونه مسئله مشخص شده‌است. نسخه تصمیم‌گیری این مسئله، NP کامل است.

الگوریتم تقریب حریصانه

روش حریصانه، در هر مرحله، مجموعهٔ S را انتخاب می‌کند که بزرگ‌ترین تعداد عناصر باقی مانده‌ای را که پوشش داده نشدند، پوشش می‌دهد:

G r e e d y − S e t − C o v e r {\displaystyle Greedy-Set-Cover}

A   ← ∅ {\displaystyle A\ \leftarrow \varnothing }

w h i l e   U   ≠ ∅ {\displaystyle while\ U\ \neq \varnothing }

d o   S e l e c t   a n   S   ∈ F   t h a t   m a x i m i z e s   | S   ⋂ U   | {\displaystyle do\ Select\ an\ S\ \in F\ that\ maximizes\ \left|S\ \bigcap U\ \right\vert }

U   ← U − S {\displaystyle U\ \leftarrow U-S}

A   ← A   ⋃ { S } {\displaystyle A\ \leftarrow A\ \bigcup \left\{S\right\}}

r e t r u n A {\displaystyle retrunA}

در مثال شکل ۱، Greedy-Set-Cover، مجموعه‌های S 1 {\displaystyle S_{1}}

، S 4 {\displaystyle S_{4}}
، S 5 {\displaystyle S_{5}}
، S 3 {\displaystyle S_{3}}
(را به همین ترتیب) به A اضافه می‌کند.

این الگوریتم به صورت زیر کار می‌کند. مجموعه U در هر مرحله شامل مجموعهٔ عناصر باقی ماندهٔ پوشش نداده است. مجموعهٔ A شامل پوشش در حال ساخت است. خط ۴، مرحله تصمیم‌گیری حریصانه است. یک زیرمجموعه S انتخاب شد که بیشترین عناصر ممکن پوشش داده نشده را پوشش می‌دهد (به‌طوری‌که گره‌ها به دلخواه شکسته شدند). پس از انتخاب S، عناصر آن از U، و S در A قرار می‌گیرد. وقتی الگوریتم خاتمه می یابد، مجموعه A حاوی زیرخانواده‌ای از F است که X را می پوشاند.

الگوریتم Greedy-Set-Cover می‌تواند به آسانی پیاده‌سازی شود تا در زمان چندجمله‌ای بر حسب t   =   | X | {\displaystyle t\ =\ \left|X\right\vert }

و w   =   | F | {\displaystyle w\ =\ \left|F\right\vert }
اجرا گردد. چون تعداد تکرارهای حلقه در خطوط ۳ تا ۶ از بالا توسط می نیمم m   = min ( t , f ) {\displaystyle m\ =\min(t,f)}
محدود می‌شود، و بدنهٔ حلقه می‌تواند طوری پیاده‌سازی شود که در زمان O ( t w ) {\displaystyle O(tw)}
اجرا گردد، پیاده‌سازی وجود دارد که در زمان O ( t w m ) {\displaystyle O(twm)}
اجرا می گردد. البته می‌توان نشان داد که الگوریتم حریصانه، پوشش مجموعه‌ای را برمی گرداند که چندان بزرگتر از پوشش مجموعه بهینه نیست.

منابع

  • معرفی بر الگوریتم‌ها [۱]
  • معرفی بر الگوریتم‌ها ترجمه : جعفرنژادقمی
  • Algorithmic construction of sets for k-restrictions author: Noga Alon
  • A Threshold of ln n {\displaystyle n}
    for Approximating Set Cover author: Uriel Feige
  • On the hardness of approximating minimization problems author: Carsten Lund
آخرین نظرات
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.