1679
правок
Изменения
→Корректность
{{Утверждение
|statement=
В алгоритме поиска в ширину очередь всегда содержит сначала некоторое количество вершин с расстоянием k, а потом некоторое количество вершин с расстоянием k + 1(возможно, нулевое).
|proof=
Докажем это утверждение индукцией по числу выполненных алгоритмом шагов.
