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

'''Гипердерево''' (''[[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>.