Изменения

Перейти к: навигация, поиск

Алгоритмы на деревьях

12 байт добавлено, 16:54, 17 декабря 2013
Обоснование корректности
|proof=
Пусть нет, пусть искомое расстояние - есть расстояние между вершина a, b, где b - не является листом.Т.к. b не является листом, то значит её степень > 1 => из неё существует ребро в непосещенную вершину (дважды посетить вершину b мы не можем). Лемма доказана.
 
*gg wp.
}}
Анонимный участник

Навигация