فهرست مسائل کولهپشتی
مسئله کولهپشتی، یکی از مسائل مورد مطالعه در بهینه سازی ترکیبیاتی است که در بعضی موارد در زندگی واقعی نیز کاربرد دارد. به همین دلیل تعدادی از حالات خاص یا حالات کلی آن مورد آزمایش قرار گرفتهاست.
چیزی که در تمام نسخههای این مسئله مشترک است، وجود مجموعهای با n عضو است، که هر عضو با اندیس j که ، یک ارزش و وزن دارد. متغیر دودویی تصمیم برای انتخاب کردن اشیا به کار میرود. هدف برداشتن تعدادی از اعضا است، به طوری که ارزش کلشان بیشینه شود و در عین حال بیشینه مجموع وزن اشیا انتخابشده از تجاوز نکند. در حالت کلی، این ضرایب در عددی ضرب میشوند (مقیاس میشوند) تا به اعداد صحیح تبدیل شوند و همیشه فرض میشود که این ضرایب عدد طبیعی هستند.
مسئله کولهپشتی در سادهترین شکل به صورت زیر است:
را بیشینه کنید، به طوریکه ،،.
کلیسازی مستقیم
ویرایشیک شکل رایج این مسئله این است که هر عضو بتواند چندین بار انتخاب شود. مسئله کولهپشتی محدود برای هر عضو ، یک کران بالای (که میتواند یک عدد صحیح مثبت یا بینهایت باشد.) که تعداد دفعاتی است که عضو ام انتخاب شدهاست را مشخص میکند:
را بیشینه کنید، به طوریکه ، و برای هر عددی صحیح است.
مسئله کولهپشتی نامحدود (که گاهی اوقات مسئله کولهپشتی صحیح نیز خوانده میشود) برای تعداد تکرارهای یک عضو کران بالایی قرار نمیدهد:
را بیشینه کنید، به طوریکه و ، برای هر j عددی صحیح است.
در سال 1975 لوکر ثابت کرد که نوع نامحدود مسئله انپی کامل است.[۱] هر دو نوع محدود و نامحدود این مسئله یک FPTAS دارند (در اصل شبیه به همان است که در مسئله کولهپشتی 0-1 استفاده شد).
اگر اعضا در k دسته که با نشان داده میشوند طبقه بندی شوند، و دقیقاً از هر کلاس یک عضو انتخاب شود آنگاه با مسئله کولهپشتی چند گزینه ای روبرو هستیم:
را بیشینه کنید، به طوریکه ؛ ، برای هر و ، برای هر و هر .
اگر برای هر عضو ارزش و وزنش یکسان باشند، با مسئله جمع زیرمجموعه ها روبرو هستیم (اغلب مسئله تصمیم که متناظر با آن است به جای آن داده میشود):
را بیشینه کنید، به طوریکه ، .
اگر n عضو و m کولهپشتی با ظرفیت داشته باشیم،با مسئله کولهپشتی چندگانه روبرو هستیم:
را بیشینه کنید، به طوریکه ، برای هر
و ، برای هر
و ، برای هر و هر .
به عنوان یک حالت خاصِ مسئله کولهپشتی چندگانه، هنگامی که ارزشها با وزنها برابر و همه صندوقها حجم برابر داشته باشند، با مسئله حاصل جمع زیرمجموعههای چندگانه روبرو هستیم:
مسئله کولهپشتی درجه دوم:
را بیشینه کنید، به طوریکه ، برای هر .
مسئله کولهپشتی مجموعه-اجتماع(SUKP):
SUKP توسط Kellerer و همکارانش [۲]( در صفحه 423) همانطور که در ادامه آمده تعریف شدهاست:
مجموعه شامل عضو و شامل عضو داده شده است، هر عضو به یک زیرمجموعه از مجموعه مربوط میشود. برای هر ، عضو ام ارزش نامنفی دارد، و برای هر ، عضو ام وزن نامنفی دارد. وزن کلی یک مجموعه از اعضا برابر با مجموع وزن اعضای متناظر آن در مجموعه است. هدف پیدا کردن زیرمجموعه ای از عضوها است که وزن کلی آن از حجم کولهپشتی بیشتر نشود و ارزش بیشینه را داشته باشد.
محدودیت چندگانه
ویرایشاگر بیشتر از یک محدودیت وجود داشتهباشد (برای مثال هم محدودیت حجمی و هم محدودیت وزنی داشتهباشیم، در حالیکه حجم و وزن هر شی هیچ رابطهای با یکدیگر ندارند)، به مسئلهٔ کولهپشتی با شرایط چندگانه، مسئله کولهپشتی چند بعدی، یا مسئله کولهپشتی m- بعدی میرسیم (توجه کنید که "بُعد" در اینجا هیچ ارتباطی به شکل اشیا ندارد). این مسئله انواع 0-1، محدود و نامحدود دارد که نوع نامحدود آن در زیر نشان داده شدهاست:
را بیشینه کنید، به طوریکه ، برای هر
، برای هر عددی صحیح باشد.
در حدود سال 1980 نشان داده شد که نوع 0-1 مسئله (برای هر ثابت) انپی کامل است و بهطور قویتر FPTAS ندارد مگر اینکه P = NP.[۳][۴]
انواع محدود و نامحدود مسئله نیز (برای هر ثابت) درجه سختی مشابه دارند.[۵]
برای هر ثابت، این مسائل یک زمان اجرای شبه چندجملهای (مشابه مسئله کولهپشتی اصلی) و یک PTAS دارند.[۲]
مسئلههای مشابه کولهپشتی
ویرایشاگر ارزش همهٔ اشیا یک باشد میتوانیم تلاش کنیم تا تعداد اشیایی که کولهپشتی را کاملاً پر میکنند، کمینه کنیم:
را کمینه کنید، به طوریکه و ، .
اگر تعدادی جعبه (با سایز یکسان) داشته باشیم و هدف قرار دادن همهٔ n شی در حداقل تعداد جعبه ممکن باشد به مسللهٔ bin packing (بسته بندی جعبه ها) میرسیم که با متغیرهای شاخص مدل میشود و است اگر و تنها اگر جعبهٔ iم استفاده شود:
را کمینه کنید، به طوریکه ،
و ،
و ،
و ، .
مسئلهٔ cutting stock مشابه مسئلهٔ bin packing است، اما از آنجا که نمونههای عملی انواع کمتری از اعضا دارند، اغلب از فرمول دیگری استفاده میشود. عضو jم مرتبه نیاز است، هر الگویی از اعضا که برای یک کولهپشتی مناسب باشد یک متغیر دارد(m الگو وجود دارد) و الگوی i عضو j را بار استفاده میکند:
را کمینه کنید، به طوریکه برای هر و برای هر .
اگر برای مسئله کولهپشتی چندگزینهای که در آنها چند انتخاب وجود دارد، این محدودیت که در آن سایز هر زیرمجموعه n باشد را اضافه کنیم و محدودیت بر روی وزن کلی را حذف کنیم، به مسئلهٔ assignment میرسیم که مسئلهٔ پیدا کردن یک جور سازی دوبخشی بیشینه نیز است:
را بیشینه کنید، به طوریکه برای هر
و برای هر
و برای هر و برای هر .
در مسئله کولهپشتی با چگالی بیشینه وزن اولیه است و ما تراکم اشیای انتخابی را تا زمانیکه با محدودیتهای ظرفیت مغایرت نداشته باشد، زیاد میکنیم:[۶]
را بیشینه کنید، به طوریکه و ، .
تعداد دیگری مسئلههای مشابه کولهپشتی نیز وجود دارند که البته نسبت به مسئلههای ذکرشده کمتر متداول هستند، شامل:
- مسئله کولهپشتی تو در تو
- مسئله کولهپشتی سقوطکننده
- مسئله کولهپشتی غیرخطی
- مسئله کولهپشتی معکوس پارامتری
سه مسئلهٔ آخر در مرجع کار Kellerer و همکارانش، Knapsack Problems، مورد بحث و بررسی قرار گرفتهاند.[۲]
منابع و ماخذ
ویرایش- ↑ Lueker, G.S. (1975). "Report No. 178, Computer Science Laboratory, Princeton".
{{cite journal}}
: Cite journal requires|journal=
(help);|contribution=
ignored (help) - ↑ ۲٫۰ ۲٫۱ ۲٫۲ Kellerer, Hans and Pferschy, Ulrich and Pisinger, David (2004). Knapsack Problems. اشپرینگر ساینس+بیزینس مدیا. ISBN 3-540-40286-1.
{{cite book}}
: Unknown parameter|unused_data=
ignored (help)نگهداری یادکرد:نامهای متعدد:فهرست نویسندگان (link) - ↑ Gens, G. V. and Levner, E. V. (1979). "Complexity and Approximation Algorithms for Combinatorial Problems: A Survey". Central Economic and Mathematical Institute, Academy of Sciences of the USSR, Moscow.
{{cite news}}
: نگهداری یادکرد:استفاده از پارامتر نویسندگان (link) - ↑ "On the Existence of Fast Approximation Schemes". Nonlinear Programming. Academic Press. 4: 415–437. 1980.
- ↑ Magazine, M. J.; Chern, M.-S. (1984). "A Note on Approximation Schemes for Multidimensional Knapsack Problems". Mathematics of Operations Research. 9 (2): 244–247. doi:10.1287/moor.9.2.244.
- ↑ Cohen, R. and Katzir, L. 2008. The Generalized Maximum Coverage Problem. Inf. Process. Lett. 108, 1 (Sep. 2008), 15-22.
- "Algorithms for Knapsack Problems", D. Pisinger. Ph.D. thesis, DIKU, University of Copenhagen, Report 95/1 (1995).