Запитання з тегом «heuristics»

3
Вимірювання складності екземплярів SAT
З огляду на екземпляр SAT, я хотів би мати можливість оцінити, наскільки важко буде вирішити екземпляр. Один із способів - запустити існуючі вирішувачі, але такий вид перемагає мету оцінки складності. Другим способом може бути пошук співвідношення пропозицій до змінних, як це робиться для фазових переходів у випадковому SAT, але я …

1
Коли використовувати SAT проти обмеження задоволення?
Якщо у мене є складна проблема, один із стандартних підходів - це висловити це як екземпляр SAT і спробувати запустити на ньому SAT-рішення. Інший стандартний підхід - це висловити це як проблему задоволення обмежень та спробувати використовувати вирішувач CSP. Вони відчувають себе якось невиразно схожими на те, які проблеми можуть …

2
Як допустима евристика забезпечує оптимальне рішення?
Використовуючи A * (або будь-який інший алгоритм пошуку найкращого шляху), ми говоримо, що використовуваний евристик повинен бути допустимим , тобто він ніколи не повинен переоцінювати фактичну довжину шляху рішення (або рухається). Як допустима евристика забезпечує оптимальне рішення? Я бажаю шукати інтуїтивно зрозуміле пояснення. Якщо ви хочете, ви можете пояснити, використовуючи …

2
Початкова температура в алгоритмі імітованого відпалу
Я провів кілька тестувань різних початкових температур у своєму алгоритмі імітаційного відпалу і помітив, що стартова температура впливає на продуктивність алгоритму. Чи є спосіб розрахунку хорошої початкової температури?

1
Як послідовність означає, що евристика також допустима?
Евристична функція h ( n )h(n)h (n) - це ... Послідовно, якщо орієнтовна вартість від вузла до цілі не більша, ніж ступінчаста вартість його наступника плюс розрахункова вартість від наступника до мети.n 'нnnн'n′n' Допустимо, якщо ніколи не завищує справжню вартість до стану мети.h ( n )h(n)h(n) У підручнику мого курсу …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.