Jump to content

Локальный поиск (оптимизация)

В информатике локальный поиск это эвристический метод решения вычислительно сложных задач оптимизации . Локальный поиск можно использовать для решения задач, которые можно сформулировать как поиск решения, максимизирующего критерий среди ряда возможных решений . Алгоритмы локального поиска переходят от решения к решению в пространстве решений-кандидатов ( пространстве поиска ), применяя локальные изменения, пока не будет найдено решение, считающееся оптимальным, или пока не истечет ограниченное время.

Алгоритмы локального поиска широко применяются для решения многочисленных сложных вычислительных задач, включая проблемы информатики (особенно искусственного интеллекта ), математики , исследования операций , инженерии и биоинформатики . Примерами алгоритмов локального поиска являются WalkSAT , 2-оптический алгоритм для задачи коммивояжера и алгоритм Метрополиса-Гастингса . [1]

Хотя иногда можно заменить градиентным спуском алгоритм локального поиска , градиентный спуск не относится к тому же семейству: хотя это итеративный метод локальной оптимизации , он полагается на градиент целевой функции , а не на явное исследование пространства решений. .

Примеры [ править ]

Некоторые проблемы, связанные с применением локального поиска:

  1. Задача вершинного покрытия , в которой решением является вершинное покрытие графа . , и цель состоит в том, чтобы найти решение с минимальным количеством узлов
  2. Задача коммивояжера , в которой решением является цикл, содержащий все узлы графа, и целью является минимизация общей длины цикла.
  3. Булева проблема выполнимости , в которой возможным решением является истинное присваивание, а цель состоит в том, чтобы максимизировать количество предложений, которым удовлетворяет это присваивание; в этом случае окончательное решение полезно только в том случае, если оно удовлетворяет всем пунктам
  4. Задача планирования работы медсестер , решением которой является распределение медсестер по сменам , удовлетворяющее всем установленным ограничениям.
  5. Проблема кластеризации k-медоидов и другие связанные с ней проблемы размещения объектов , для которых локальный поиск предлагает наиболее известные коэффициенты аппроксимации с точки зрения наихудшего случая.
  6. Задача нейронных сетей Хопфилда, для решения которой необходимо найти стабильные конфигурации в сети Хопфилда .

Описание [ править ]

Большинство задач можно сформулировать в терминах пространства и цели поиска несколькими различными способами. Например, для задачи коммивояжера решением может быть маршрут, охватывающий все города, и цель состоит в том, чтобы найти кратчайший маршрут. Но решение также может быть путем, а цикличность является частью цели.

Алгоритм локального поиска начинается с решения-кандидата, а затем итеративно переходит к соседнему решению; окрестность - это набор всех потенциальных решений, которые отличаются от текущего решения в минимально возможной степени. Для этого необходимо отношение соседства определить в пространстве поиска. Например, окрестность вершинного покрытия — это другое вершинное покрытие, отличающееся только одним узлом. Для логической выполнимости соседями логического присваивания являются те, у которых есть единственная переменная в противоположном состоянии. Для одной и той же задачи может быть определено несколько различных окрестностей; локальная оптимизация с окрестностями, включающая изменение до k компонентов решения, часто называется k-opt .

Обычно каждое решение-кандидат имеет более одного соседнего решения; выбор того, какой из них выбрать, осуществляется с использованием только информации о решениях в окрестности текущего задания, отсюда и название локального поиска. Когда выбор соседнего решения осуществляется путем выбора решения, локально максимизирующего критерий, то есть жадного поиска, метаэвристика получает название « восхождение на холм» .Когда улучшающихся соседей нет, локальный поиск застревает в локально оптимальной точке .Эту проблему локального оптимума можно решить, используя перезапуски (повторяющийся локальный поиск с разными начальными условиями), рандомизацию или более сложные схемы, основанные на итерациях, таких как итерационный локальный поиск , в памяти, например оптимизация реактивного поиска, на стохастических модификациях без памяти. , как имитация отжига .

Локальный поиск не дает гарантии того, что любое заданное решение является оптимальным. Поиск может прекратиться по истечении заданного времени или когда лучшее решение, найденное на данный момент, не улучшилось за заданное количество шагов. Локальный поиск — это алгоритм в любое время :он может вернуть допустимое решение, даже если он был прерван в любой момент после нахождения первого действительного решения. Локальный поиск обычно является приближенным или неполным алгоритмом , поскольку поиск может остановиться, даже если найденное на данный момент лучшее решение не является оптимальным. Это может произойти, даже если произойдет завершение, потому что текущее лучшее решение не может быть улучшено, поскольку оптимальное решение может находиться далеко от окрестности решений, пересекаемых алгоритмом.

Шуурман и Саути предлагают три показателя эффективности локального поиска (глубина, мобильность и охват): [2]

  • глубина: стоимость текущего (лучшего) решения;
  • мобильность: возможность быстро перемещаться в разные области поискового пространства (при этом стоимость остается низкой);
  • охват: насколько систематично поиск охватывает пространство поиска, максимальное расстояние между любым неисследованным заданием и всеми посещенными заданиями.

Они предполагают, что алгоритмы локального поиска работают хорошо не потому, что у них есть некоторое понимание пространства поиска, а потому, что они быстро перемещаются в перспективные регионы и исследуют пространство поиска на малых глубинах настолько быстро, широко и систематически, насколько это возможно.

См. также [ править ]

Локальный поиск — это подполе:

Поля локального поиска включают в себя:

Пространства поиска с действительными значениями [ править ]

Существует несколько методов для выполнения локального поиска в с действительным знаком пространствах поиска :

Ссылки [ править ]

  1. ^ «12LocalSearch.key» (PDF) .
  2. ^ Д. Шурманс и Ф. Саути. Характеристики локального поиска неполных процедур SAT. AI J., 132(2):121–150, 2001.

Библиография [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 2517ed569be1db76b74c3b84e17d0810__1710864240
URL1:https://arc.ask3.ru/arc/aa/25/10/2517ed569be1db76b74c3b84e17d0810.html
Заголовок, (Title) документа по адресу, URL1:
Local search (optimization) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)