Количество помеченных деревьев — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Количество помеченных деревьев.)
(Количество помеченных деревьев.)
Строка 11: Строка 11:
 
|proof=
 
|proof=
 
Можно доказать формулу двумя способами:
 
Можно доказать формулу двумя способами:
* ''Доказательство 1.'' Так как между помеченными деревьями порядка <tex>n</tex> и последовательностями длины <tex>n - 2</tex> из чисел от <tex>1</tex> до <tex>n</tex> существует биекция, <br> то количество помеченных деревьев = количетсво последовательностей длины <tex>n - 2</tex> из чисел от <tex>1</tex> до <tex>n</tex> = <tex>n^{n - 2}</tex>.
+
* ''Доказательство 1.'' Так как между помеченными деревьями порядка <tex>n</tex> и последовательностями длины <tex>n - 2</tex> из чисел от <tex>1</tex> до <tex>n</tex> существует биекция ([[Коды Прюфера|Код Прюфера]]), <br> то количество помеченных деревьев = количество последовательностей длины <tex>n - 2</tex> из чисел от <tex>1</tex> до <tex>n</tex> = <tex>n^{n - 2}</tex>.
 
* ''Доказательство 2.'' С помощью [[Подсчет числа остовных деревьев с помощью матрицы Кирхгофа |матрицы Кирхгофа]] для полного графа на <tex>n</tex> на вершинах.
 
* ''Доказательство 2.'' С помощью [[Подсчет числа остовных деревьев с помощью матрицы Кирхгофа |матрицы Кирхгофа]] для полного графа на <tex>n</tex> на вершинах.
 
}}
 
}}

Версия 02:02, 9 октября 2010

Помеченное дерево.

Определение:
Помеченное дерево порядка n - дерево порядка [math]n[/math], вершинам которого взаимно однозначно соответствуют числа от 1 до n.


Количество помеченных деревьев.

Теорема (Формула Кэли):
Число помеченных деревьев порядка [math]n[/math] равно [math]n^{n - 2}[/math].
Доказательство:
[math]\triangleright[/math]

Можно доказать формулу двумя способами:

  • Доказательство 1. Так как между помеченными деревьями порядка [math]n[/math] и последовательностями длины [math]n - 2[/math] из чисел от [math]1[/math] до [math]n[/math] существует биекция (Код Прюфера),
    то количество помеченных деревьев = количество последовательностей длины [math]n - 2[/math] из чисел от [math]1[/math] до [math]n[/math] = [math]n^{n - 2}[/math].
  • Доказательство 2. С помощью матрицы Кирхгофа для полного графа на [math]n[/math] на вершинах.
[math]\triangleleft[/math]

См. также