Изменения

Обход в ширину

20 байт добавлено, 11:08, 16 ноября 2013

→‎Корректность

{{Утверждение

|statement=

В очереди поиска в ширину расстояние вершин доя <tex>s</tex> монотонно неубывает.

|proof=

Докажем это утверждение индукцией по числу выполненных алгоритмом шагов.

1679

правок