Гипердерево: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Гипердерево''' (''[[Hypertree]]'') - [[Гиперграф]] <math>H = (V,{\varepsilon})</math> есть ''гипердерево'' тогда и только тогда, когда его ''[[граф]] инциденций'' является [[дерево|деревом]]. Под графом инциденций <math>G(H)</math> <math>H = (V,{\varepsilon})</math> подразумевается [[двудольный граф]], [[вершина|вершины]] которого суть элементы множества  
'''Гипердерево''' (''[[Hypertree]]'') [[Гиперграф]] <math>H = (V,{\varepsilon})</math> есть ''гипердерево'' тогда и только тогда, когда его ''[[граф]] инциденций'' является [[дерево|деревом]]. Под графом инциденций <math>G(H)</math> <math>H = (V,{\varepsilon})</math> подразумевается [[двудольный граф]], [[вершина|вершины]] которого суть элементы множества  
<math>V \cup {\varepsilon}</math>  с долями <math>V</math> и <math>{\varepsilon }</math>, а [[ребро]] <math>(v,E)</math> существует тогда и только тогда, когда <math>v \in E</math>.
<math>V \cup {\varepsilon}</math>  с долями <math>V</math> и <math>{\varepsilon }</math>, а [[ребро]] <math>(v,E)</math> существует тогда и только тогда, когда <math>v \in E</math>.
==Литература==
==Литература==
[Евстигнеев/97]
* [Евстигнеев/97]

Текущая версия от 12:49, 8 декабря 2010

Гипердерево (Hypertree) — Гиперграф [math]\displaystyle{ H = (V,{\varepsilon}) }[/math] есть гипердерево тогда и только тогда, когда его граф инциденций является деревом. Под графом инциденций [math]\displaystyle{ G(H) }[/math] [math]\displaystyle{ H = (V,{\varepsilon}) }[/math] подразумевается двудольный граф, вершины которого суть элементы множества [math]\displaystyle{ V \cup {\varepsilon} }[/math] с долями [math]\displaystyle{ V }[/math] и [math]\displaystyle{ {\varepsilon } }[/math], а ребро [math]\displaystyle{ (v,E) }[/math] существует тогда и только тогда, когда [math]\displaystyle{ v \in E }[/math].

Литература

  • [Евстигнеев/97]