8127

Методы информированного поиска. Поиск сначала лучший. A*-поиск.

Лекция

Информатика, кибернетика и программирование

Методы информированного поиска. Поиск сначала лучший. A*-поиск. Методы не информированного (слепого) поиска в большинстве случаев неэффективны. Эффективность поиска может быть повышена за счет использования дополнительны...

Русский

2013-02-04

316.08 KB

3 чел.

Методы информированного поиска. Поиск сначала лучший. A*-поиск.

Методы неинформированного (слепого) поиска в большинстве случаев неэффективны. Эффективность поиска может быть повышена за счет использования дополнительных специфичных для данного класса задач значений.

Поиск сначала лучший. (Best-First SeachBFS).

В обобщенном алгоритме поиска единственным местом, где можно использовать дополнительные знания об особенностях задачи является функция построения очереди: Function BFS(problem, Eval-Fn). Она определяет следующую вершину для раскрытия.

Соответствующие значения обеспечиваются оценочной функцией. Эта функция возвращает число, отражающее желательность раскрытия вершины. Поиск, при котором  первой раскрывается вершина с максимальной оценкой, называется BFS. На базе общего обобщенного поиска General-Seach, функция BFS реализована следующим образом:

Quening-Fn построение очереди вершин, ожидающих раскрытия. Упорядочивает вершины в соответствии с Eval-Fn;

–после этого вызывается функция обобщенного поиска General-Seach(problem, Queuing-Fn), которой передается вершина упорядоченного поиска.

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

Жадный поиск. Минимизация оценочной стоимости.

Простейшей стратегией BFS является минимизация оценочной стоимости достижения цели, при этом первой раскрывается вершина, состояние которой оценивается как ближайшее к целевому состоянию.

Для большинства задач стоимость достижения цели из некоторого состояния может только оцениваться, но не может быть определена точно. Поэтому функция, вычисляющая оценки стоимости, является эвристической, ее принято обозначать h(n), где nвершина в дереве.

BFS, использующий функцию h для выбора следующей вершины, называется жадным поиском (Greedy).

function Greedy-Seach(Problem) returns solution or failure 

return BFS(Problem, h).

Требование к h: в целевом состоянии h(n)=0.

Рассмотрим идею жадного поиска на примере:


Будем рассматривать эвристический подход на примере поиска маршрута из A в F. Для задач поиска маршрута хорошей эвристической функцией является расстояние  до цели по прямой  Straight-Line-Distance. Hsld(n) –в качестве эвристической функции используется расстояние по прямой. Значение Hsld может быть вычислено по значению координат на карте. В следующей таблице укажем расстояние по прямой от пункта F до разных пунктов:

A

366

 F

M

L

Q

E

N

P

S

J

K

T

C

H

G

D

I

O

R

B


При выборе пути из D предпочтение было отдано вершине Е, так как она ближе по прямой до пункта F (цели) чем вершина G. Однако дальнейшее движение через пункт G к H и F позволяет получить более короткий путь или путь меньшей стоимости в целевое состояние. Действительно 99+211=310 > 80+97+101=278. Таким образом данная эвристическая функция не обеспечивает поиск оптимального пути. Это является следствием того, что стратегия выбирает самый выгодный ей шаг не учитывая дальнейших шагов. В целом жадный поиск как правило находит решение быстро, хотя оно не всегда является оптимальным. Жадный поиск аналогичен поиску в глубину, так как стремится двигаться к цели одним путем и возвращается лишь когда заходит в тупик. Временная сложность жадного поиска O(bm), где mмаксимальная глубина пространства поиска. Так как все вершины сохраняются в памяти , то емкостная сложность такая же как и временная. Тем не менее в конкретных задачах емкость или время может быть существенно сокращены от хорошей эвристической функции.

А* поиск.

Жадный поиск стремится минимизировать оценочную стоимость до цели h(n), что позволяет в ряде случаев повысить эффективность поиска, однако жадный поиск не является ни оптимальным, ни полным.

С другой стороны поиск по стоимости или по критерию стоимости минимизирует стоимость пути до текущего состояния g(n) и является полным и оптимальным, однако часто оказывается неэффективным. Естественно совместить эти два подхода или стратегии, чтобы использовать их преимущества. Сделать это очень просто введя аддитивную оценочную стоимость:

f(n) = g(n) +h(n)

Поскольку g(n) –это стоимость пути от начальной вершины до текущей n, а h(n) –это оценочная стоимость самого дешевого, минимального пути из n до цели, то f(n) представляет собой оценочную стоимость самого дешевого пути, проходящего через n. Стратегия, использующая такую целевую функцию, является полной и оптимальной при следующем простом ограничении на функцию h:

  1.  Функция  h не должна переоценивать или завышать стоимость достижения цели. Такая функция называется допустимой или приемлемой в теории поиска.
  2.  Если h является приемлемой, то f(n) никогда не переоценивает реальную стоимость лучшего решения, проходящего через вершину n.

BFS поиск, использующий функцию f в качестве оценочной и допустимой называется A* поиск.

Function A* - Search (Problem) return BFS(Problem, g+h)

Расстояние по прямой является примером допустимой (приемлемой) функцией для задачи поиска пути. Рассмотрим реализацию A* поиска на примере (см. предыдущий граф).

Особенность A* поиска является то, что f-стоимость любого пути от корня никогда не убывает, такая эвристическая функция, называется монотонной. В тех случаях, когда эвристика не монотонна, для восстановления монотонности используются специальные приемы. Рассмотрим пару вершин n и n1, где nродитель n1.

Пусть  g(n)=3

h(n)=4, следовательно f(n)=7

Предположим, что   g(n1)=4

  h(n1)=2, тогда f(n1)=6

Следовательно, имеется нарушение монотонности. Истинная или реальная стоимость пути по крайней мере равна 7. Для восстановления монотонности используется следующий прием:

 f(n1)=max(f(n), g(n1)+h(n1))

Это равенство называется выравниванием максимального пути. В этом случае функция f называется неубывающей вдоль любого пути. На примере графа (Жадный поиск) видно, что функция f концептуально прочерчивает контур в пространстве состояний, внутри которого находятся вершины, достижимые в пределах соответствующей стоимости. Таким образом, видно как A* поиск фокусируется в направлении целевой вершины. Обозначим f*- стоимость оптимального пути, тогда можно утверждать, что поиск A*:

  1.  Раскрывает все вершины, у которых f(n)<f*
  2.  Может раскрывать некоторые вершины, у которых f(n)=f*

Первое же найденное решение должно быть оптимальным, так как все вершины во всех последовательных контурах будут иметь более высокую f стоимость и следовательно более высокую g стоимость.

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


 

А также другие работы, которые могут Вас заинтересовать

44060. Психологізм творчості Михайла Коцюбинського 475 KB
  Зображення процесів внутрішнього життя героїв у дитячих оповіданнях письменника За об’єкт дослідження обрано дитячу та малу прозу Михайла Коцюбинського Цвіт яблуні Сон Що записано в книгу життя В дорозі Дорогою ціною Дебют Лялечка Ft morgn Харитя Ялинка Маленький грішник Intermezzo як найпоказовішу з погляду психологічного зображення зрілості авторської концепції. Із метою ширшого обґрунтування останньої комплексного розгляду художнього психологізму залучено інформацію про особисте життя...
44061. Расчет преобразовательного агрегата 2.27 MB
  Совместно с американскими специалистами были проанализированы достоинства и недостатки электроэнергетики России и США. Специалисты отрасли умели управлять ЕЭС и знали как её оптимально приспособить к рынку.
44062. Податковий контроль 290 KB
  Визначення поняття методика податкового контролю Податковий контроль властивий будь якій державі. Податковий контроль як один із елементів державного регулювання особливо в умовах нестабільної економічної ситуації має стати об’єктивною передумовою подальшого розвитку підприємств сприяти удосконаленню податкового механізму через вияв економіко організаційного механізму оподаткування. У здійсненні податкового процесу чільне місце посідає саме контроль за формуванням і практичною реалізацією системи оподаткування в...
44063. Вплив соціально-психологічних факторів на мотивації поведінки неформальної молоді 588.5 KB
  В даній роботі виконано завдання щодо виявлення на основі тестування впливу соціальнопсихологічних факторів на мотивації поведінки неформальної молоді. Об’єкт дослідження – поведінка неформальної молоді Предмет дослідження – вплив соціально-психологічних факторів на мотивації поведінки неформальної молоді Мета дослідження – виявити соціальнопсихологічні фактори що впливають на мотивацію поведінки неформ молоді Завдання дослідження: аналіз сучасних досліджень впливу соцпсихол фактор на мотивац повед неформальн молодівизначення...
44064. Конкурентоспособность торговой организации ООО «Первая компьютерная компания» 727 KB
  Организационно-экономическая характеристика предприятия Оценка конкурентоспособности предприятия Предмет исследования – конкурентоспособность торгового предприятия. Исходя из поставленных целей можно сформировать следующие задачи: исследование теоретических и методологических основ оценки конкурентоспособности фирмы; обоснование комплексного подхода к обеспечению конкурентоспособности товара; анализ деятельности сети магазинов Первая компьютерная компания; разработка мероприятий по повышению...
44065. АНАЛИЗ БУХГАЛТЕРСКОЙ ОТЧЕТНОСТИ И ФИНАНСОВЫХ РЕЗУЛЬТАТОВ ХОЗЯЙСТВЕННОЙ ДЕЯТЕЛЬНОСТИ 629 KB
  Анализ финансовых результатов деятельности предприятия Оценка имущественного положения предприятия Оценка ликвидности и платежеспособности вероятности банкротства предприятия Анализ деловой активности и рентабельности предприятия ООО Компания Альянс.
44066. Реалізація засобів моделювання обєкту для MMOPRG засобами Javascript 4.04 MB
  JavaScript - об'єктно-орієнтована скрипкова мова програмування. Являється діалектом мови ECMAScript. JavaScript частіше за все використовується в браузерах як мова сценаріїв для надання інтерактивності веб сторінкам. Тобто за допомогою JavaScript можливо міняти сторінку після того як вона повністю завантажилась у браузер.
44068. Североуральское месторождение бокситов не является исключением ОАО «Севуралбокситруда» 502.5 KB
  Североуральское месторождение бокситов не является исключением ОАО «Севуралбокситруда» - основной поставщик боксита для уральских алюминиевых заводов. В связи с этим развитие ОАО «Севуралбокситруда» придается исключительное знание. Поэтому главным в работе управления «Шахтострой» должно быть максимальное применение высокоиндустриальных и экономических методов строительства, использование новейших достижений науки и техники, применение прогрессивных строительных материалов.