Гипердерево

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

Литература

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