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