Изменения

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

Коды Прюфера

118 байт добавлено, 19:32, 29 ноября 2015
Нет описания правки
<tex>n = 1</tex> <tex>-</tex> верно.
<br><u>''Индукционный переход:''</u> Пусть для числа <tex>n<br/tex>верно, построим доказательство для <tex>n+1</tex>: 
Пусть у нас есть последовательность: <tex>A = [a_1, a_2, ..., a_{n - 2}].</tex>
Выберем минимальное число <tex>v</tex> не лежащее в <tex>A</tex>. По предыдущей лемме <tex>v</tex> <tex>-</tex> вершина, которую мы удалили первой. Соединим <tex>v</tex> и <tex>a_1</tex> ребром. Выкинем из последовательности <tex>A</tex> число <tex>a_1</tex>. Перенумеруем вершины, для всех <tex>a_i > v</tex> заменим <tex>a_i</tex> на <tex>a_i - 1</tex>. А теперь мы можем применить предположение индукции.

Навигация