Обсуждение:Алгоритм A*

Запилить формализованное доказательство оптимальности. А* оптимально среди одинаково информированных алгоритмов поиска.