192
правки
Изменения
м
Нет описания правки
{{Определение
|definition =
'''Гиперграф''' — такое обобщение неориентированного графа, когда
ребрами могут служить произвольные подмножества заданного множества вершин, а не только двухвершинные и одновершинные.
Обыкновенный граф есть частный случай гиперграфа <tex>(X, U; R)</tex>, когда
<tex>X \ne {\O}</tex>, <tex>\forall u \in U(|Х(u)| = 2)</tex> и <tex>\forall u, v \in U [u \ne v] \Rightarrow [X(u) \ne X(v)]</tex>, а неориентированный граф общего вида — это гиперграф, удовлетворяющий условиям <tex>X \ne {\O}</tex> и <tex>\forall u \in U ((1 \leqslant |X(u)| \leqslant 2)^2)</tex>.
