76
правок
Изменения
Новая страница: «Запилить формализованное доказательство оптимальности. А* оптимально среди одинаково ин...»
Запилить формализованное доказательство оптимальности. А* оптимально среди одинаково информированных алгоритмов поиска.