Page 84 - 4495
P. 84
елементи видалити з відношення – то обмеження стане стиснутим
(tightened).
Проблема оптимізації
Поряд з класичними методами пошуку можна застосовувати та-
кож додаткові методи дослідження простору рішень. У більшості ви-
падків задача полягає в пошуку одного розв’язку, всіх розв’язків чи
деякого найкращого розв’язку щодо заданого критерію. Пошук таких
розв’язків здійснюється в контексті оптимізаційної проблеми
(optimization problem) (чи більш точно оптимізаційної проблеми задо-
волення обмежень (constraint satisfaction optimization problem))
Означення 5. Цільовою функцією F - вважається функція, що
задає відображення змінних V в деяку впорядковану множину W .
Підмножина мінімальних значеннь W згідно з відношенням впоряд-
кування w вважається цільовою множино відображення.
Як оптимізаційну проблему можна розглядати класичну CSP за-
дачу з введеною цільовою функцією F .
Згідно з такою постановкою оптимізаційної проблеми вважаєть-
ся, що присвоєння є більш бажаним за присвоєння , якщо значен-
ня цільової функції для є меншим від значення для , тобто,
F F .
Оптимальним розв’язком згідно з таким формулюванням вважа-
ється такий розв’язок що не існує жодного розв’зку з меншим зна-
ченням цільової функції.
Часто цільова функція – це вираз, що оцінює дійсні числа і зна-
чення якого потрібно мінімізувати. Проблема максимізації дуже про-
сто трансформується в еквівалентну мінімізаційну проблему простою
заміною цільової функції F на негативну. Однак, наше загальне озна-
чення також включає складені критерії оптимізаційної проблеми. У
такій постановці проблеми впорядкування можливо багато-вимірної
множини W повинно бути означене більш-детально.
Введення означення можливого розв’язку дозволяє розглядати
також суб-оптимальні розв’язки. Такі розв’язки можуть мати значен-
ня цільової функції, що обмежені деяким граничним значенням.
Іноді деякі вимоги (обмеження) можуть бути суперечливими, що
ускладнює вибір будь-якого розв’язку. Після послаблення деяких об-
межень в надобмеженій проблемі, вона може бути трансформована в
оптимізаційну проблему де цільова функція може виражати деяку ін-
терпретацію в плані пошуку найкращого можливого рішення.
84