В этой головоломке есть все виды недопустимых эвристик. Недопустимая эвристика просто должна переоценить количество шагов, которые необходимо предпринять для решения данной головоломки, и поэтому одна простая недопустимая эвристика будет
h(S) = infinity
Поскольку любая головоломка, которая может быть решена, может быть решена менее чем за бесконечность, эвристика недопустима.
Гораздо более хитрым и интересным вопросом было бы то, что хороших допустимых эвристик существует, поскольку они требуют от вас максимально возможного значения, которое не переоценивает расстояние. Для этого у меня нет хорошего ответа. : -)