Изменения

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

2 байта убрано, 11:08, 16 ноября 2013

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

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

|statement=

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

|proof=

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

1679

правок