Двоичное дерево: различия между версиями
[непроверенная версия] | [непроверенная версия] |
удалена реклама |
|||
(не показано 20 промежуточных версий 15 участников) | |||
Строка 1: | Строка 1: | ||
'''Двои́чное де́рево''' |
'''Двои́чное де́рево''' (Бинарное дерево) — иерархическая [[структура данных]], в которой каждый узел имеет не более двух потомков (детей). Как правило, первый называется родительским узлом, а дети называются левым и правым наследниками. Двоичное дерево является упорядоченным [[Дерево (теория графов)|ориентированным деревом]]. |
||
Для практических целей обычно используют два подвида |
Для практических целей обычно используют два подвида двоичных деревьев — [[двоичное дерево поиска]] и [[двоичная куча]]. |
||
== Рекурсивное определение == |
== Рекурсивное определение == |
||
Существует следующее рекурсивное определение двоичного дерева (см. [[Форма Бэкуса — Наура|БНФ]]): |
Существует следующее рекурсивное определение двоичного дерева (см. [[Форма Бэкуса — Наура|БНФ]]): |
||
<дерево> ::= ( <данные> <дерево> <дерево> ) | |
<двоичное дерево> ::= ( <данные> <двоичное дерево> <двоичное дерево> ) | null . |
||
То есть двоичное дерево либо является пустым, либо состоит из данных и двух поддеревьев (каждое из которых может быть пустым). Очевидным, но важным для понимания фактом является то, что каждое поддерево в свою очередь тоже является деревом. |
То есть двоичное дерево либо является пустым, либо состоит из данных и двух поддеревьев (каждое из которых может быть пустым). Очевидным, но важным для понимания фактом является то, что каждое поддерево в свою очередь тоже является деревом. |
||
Если у некоторого узла оба поддерева пустые, то он называется листовым узлом (листовой вершиной) или терминальным |
Если у некоторого узла оба поддерева пустые, то он называется листовым узлом (листовой вершиной) или конечным (терминальным) узлом<ref>{{Cite web|url=https://prog-cpp.ru/data-tree/|title=Дерево|accessdate=2019-03-01|archive-date=2019-03-02|archive-url=https://web.archive.org/web/20190302090632/https://prog-cpp.ru/data-tree/|deadlink=no}}</ref>. |
||
Например, показанное справа на рис. 1 дерево |
Например, показанное справа на рис. 1 дерево согласно этой грамматике можно было бы записать так: |
||
{| |
{| |
||
Строка 19: | Строка 19: | ||
(e |
(e |
||
(c |
(c |
||
(a |
(a null null) |
||
null |
|||
) |
) |
||
(g |
(g |
||
null |
|||
(k |
(k null null) |
||
) |
) |
||
) |
) |
||
(s |
(s |
||
(p (o |
(p (o null null) (s null null) ) |
||
(y |
(y null null) |
||
) |
) |
||
) |
) |
||
Строка 37: | Строка 37: | ||
|} |
|} |
||
Каждый узел в дереве задаёт ''поддерево'', корнем которого он является. У вершины <tt>m=(data, left, right)</tt> есть два потомка (левый и правый) <tt>left</tt> и <tt>right</tt> и, соответственно, два поддерева (левое и правое) с корнями <tt>left</tt> и <tt>right</tt>. |
Каждый узел в дереве задаёт ''поддерево'', корнем которого он является. У вершины <tt>m = (data, left, right)</tt> есть два потомка (левый и правый) <tt>left</tt> и <tt>right</tt> и, соответственно, два поддерева (левое и правое) с корнями <tt>left</tt> и <tt>right</tt><ref>{{Cite web|url=http://algolist.manual.ru/ds/btree.php|title=Двоичные деревья поиска: начальные сведения|publisher=algolist.manual.ru|accessdate=2019-03-01|archive-date=2019-07-14|archive-url=https://web.archive.org/web/20190714145450/http://algolist.manual.ru/ds/btree.php|deadlink=no}}</ref>. |
||
== Применение == |
== Применение == |
||
Строка 49: | Строка 49: | ||
* [[Суффиксное дерево]] |
* [[Суффиксное дерево]] |
||
== Примечания == |
|||
{{commonscat|Binary trees}} |
|||
{{примечания}} |
|||
== Ссылки == |
|||
{{Навигация}} |
|||
{{Деревья (структуры данных)}} |
{{Деревья (структуры данных)}} |
Текущая версия от 20:30, 26 февраля 2024
Двои́чное де́рево (Бинарное дерево) — иерархическая структура данных, в которой каждый узел имеет не более двух потомков (детей). Как правило, первый называется родительским узлом, а дети называются левым и правым наследниками. Двоичное дерево является упорядоченным ориентированным деревом.
Для практических целей обычно используют два подвида двоичных деревьев — двоичное дерево поиска и двоичная куча.
Рекурсивное определение
[править | править код]Существует следующее рекурсивное определение двоичного дерева (см. БНФ):
<двоичное дерево> ::= ( <данные> <двоичное дерево> <двоичное дерево> ) | null .
То есть двоичное дерево либо является пустым, либо состоит из данных и двух поддеревьев (каждое из которых может быть пустым). Очевидным, но важным для понимания фактом является то, что каждое поддерево в свою очередь тоже является деревом. Если у некоторого узла оба поддерева пустые, то он называется листовым узлом (листовой вершиной) или конечным (терминальным) узлом[1].
Например, показанное справа на рис. 1 дерево согласно этой грамматике можно было бы записать так:
(m (e (c (a null null) null ) (g null (k null null) ) ) (s (p (o null null) (s null null) ) (y null null) ) ) |
Каждый узел в дереве задаёт поддерево, корнем которого он является. У вершины m = (data, left, right) есть два потомка (левый и правый) left и right и, соответственно, два поддерева (левое и правое) с корнями left и right[2].
Применение
[править | править код]Многие полезные структуры данных основаны на двоичном дереве:
- Двоичное дерево поиска
- Двоичная куча
- АВЛ-дерево
- Красно-чёрное дерево
- Матричное дерево
- Дерево Фибоначчи
- Суффиксное дерево
Примечания
[править | править код]- ↑ Дерево . Дата обращения: 1 марта 2019. Архивировано 2 марта 2019 года.
- ↑ Двоичные деревья поиска: начальные сведения . algolist.manual.ru. Дата обращения: 1 марта 2019. Архивировано 14 июля 2019 года.