Я розкрию відповідь Юваля Філіуса , надавши інтерпретацію, засновану на проблемах оптимізації багатоцільової .
Одноцільна оптимізація та наближення
В інформатиці ми часто вивчаємо проблеми оптимізації з однією ціллю (наприклад, мінімізуємо f ( x ) з певним обмеженням). Підтверджуючи, скажімо, повноту NP, звичайно враховувати відповідну бюджетну проблему . Наприклад, у задачі про максимальну кліку мета полягає в тому, щоб максимально збільшити кардинальність кліки, а бюджетна проблема - це проблема вирішення питання про те, чи існує кліка розміром принаймні k , де k надається як частина входу до проблема.
Коли неможливо ефективно обчислити оптимальне рішення, як у випадку проблеми з максимальною клікою, ми шукаємо алгоритм наближення , функцію, яка виводить рішення в межах мультиплікативного коефіцієнта оптимального рішення. Ви також можете розглянути алгоритм наближення бюджетної задачі - функцію, яка видає рішення, що задовольняє f ( x ) ≥ ck у випадку задачі про максимізацію, де c - число менше одиниці. У цій ситуації рішення може порушити жорстке обмеження f ( x ) ≥ k , але "тяжкість" порушення обмежена c .
Багатоцільова оптимізація та двокритеріальна апроксимація
У деяких випадках ви можете оптимізувати дві цілі одночасно. Наводячи приблизний приклад, я можу захотіти збільшити свій "дохід", мінімізуючи свою "вартість". У такій ситуації не існує єдиного оптимального значення, оскільки існує компроміс між двома цілями; Для отримання додаткової інформації дивіться статтю Вікіпедії про ефективність Pareto .
Одним із способів перетворення двоцільної задачі оптимізації в однообективну оптимізаційну задачу (для якої ми можемо міркувати про оптимальне значення цільової функції) є розгляд двох проблем обмеження , по одній для кожної мети. Якщо проблема полягає в тому, щоб одночасно максимізувати f ( x ), мінімізуючи g ( x ), першою проблемою обмеження є мінімізація g ( x ) з урахуванням обмеження f ( x ) ≥ k , де k задається як частина входу до ця одноцільна проблема оптимізації. Друга проблема обмеження визначається аналогічно.
Алгоритм наближення двокритерій ( α , β ) для першої задачі обмеження - це функція, яка приймає бюджетний параметр k як вхідний і виводить рішення x таке, що
- f(x)≥αk
- g(x)≤βg(x∗)
x∗
- f(x)≥αf(x∗)
- g(x)≤βℓ
Іншими словами, алгоритм наближення двокритерій є одночасно апріксимацією бюджетної проблеми в першій цілі та задачею оптимізації у другій цілі. (Це визначення було адаптовано з четвертої сторінки " Субмодулярна оптимізація з субмодулярною обкладинкою та субмодулярними обмеженнями рюкзака ", Iyer and Bilmes, 2013.)
Нерівності перемикають напрямки, коли цілі переключаються з максимуму на мінімум або навпаки.