Вопросы с тегом «heuristics»

Учитывая пример SAT, я хотел бы иметь возможность оценить, насколько сложно будет решить этот случай. Одним из способов является запуск существующих решателей, но такой вид поражает цель оценки сложности. Вторым способом может быть поиск соотношения предложений и переменных, как это делается для фазовых переходов в random-SAT, но я уверен, что …

28 complexity-theory  satisfiability  heuristics 

Если у меня возникла сложная проблема, один из стандартных подходов состоит в том, чтобы выразить его как экземпляр SAT и попробовать запустить на нем решатель SAT. Другой стандартный подход состоит в том, чтобы выразить это как проблему удовлетворения ограничений и попытаться использовать решатель CSP. Эти два понятия как-то смутно схожи …

18 heuristics  sat-solvers  constraint-programming 

При использовании A * (или любого другого лучшего алгоритма поиска пути) мы говорим, что используемая эвристика должна быть допустимой , то есть она никогда не должна переоценивать фактическую длину пути решения (или перемещения). Как допустимая эвристика обеспечивает оптимальное решение? Я предпочтительно ищу интуитивное объяснение. Если вы хотите, вы можете объяснить, …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

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

14 optimization  artificial-intelligence  heuristics 

Эвристическая функция ...h(n)h(n)h (n) Согласованно, если оценочная стоимость от узла до цели не превышает стоимость шага для его преемника плюс расчетную стоимость от преемника до цели.n ′nnnn′n′n' Допустимо, если никогда не переоценивает истинную стоимость состояния цели.h(n)h(n)h(n) В учебнике для моего курса по искусственному интеллекту говорится, что согласованность сильнее допустимости, но …

13 algorithms  shortest-path  heuristics