tsdima, теорию я читал крайне давно...
Кажется, еще в студенчестве.
Поэтому, по только памяти, без ссылок на первоисточники:

Так вот, во время перебора, чем лучше оценочная ф-я, тем меньший объем перебора требуется.
Это - ясный перец, вроде.
Но, самое главное, там ТЕОРЕМА есть (это тебе - не баб щупать ):
если твоя оценочная ф-ия НЕ БОЛЬШЕ реального значения полученного потом результата, то ПЕРВОЕ, найденное таким перебором (начиная с минимального значения оценочной в буфере) решение, ДЕЙСТВИТЕЛЬНО будет минимальным для целевой.

Поэтому, сомнения в минимальности достигаемого результата - с негодованием отвергаю

Ну и плюс к тому.... Фантазировать можно: типа количество разворотов поменьше бы...