Ориентированный гиперграф, оргиперграф

Ориентированный гиперграф, оргиперграф (Directed hypergraph) - пара [math]\displaystyle{ (N,E) }[/math], где [math]\displaystyle{ N }[/math] --- непустое множество вершин, [math]\displaystyle{ E }[/math] --- множество гипердуг; гипердуга [math]\displaystyle{ e }[/math] определяется как упорядоченная пара [math]\displaystyle{ (T,h) }[/math] с [math]\displaystyle{ T \subseteq N, \; T \neq \emptyset, \; h \in N }[/math]; [math]\displaystyle{ h }[/math] называется началом гипердуги [math]\displaystyle{ e }[/math] и обозначается [math]\displaystyle{ Head(e) }[/math], [math]\displaystyle{ T }[/math] называется концом [math]\displaystyle{ e }[/math] и обозначается [math]\displaystyle{ Tail(e) }[/math].

Литература

[WG'94]