Гіперграф

Гіпергра́ф — узагальнення графу, в якому ребром називається не пара вершин графу, а довільна підмножина вершин графу.

гіперграф з вершинами $V=\{v_{1},v_{2},v_{3},v_{4},v_{5},v_{6},v_{7}\}$, та ребрами $E=\{e_{1},e_{2},e_{3},e_{4}\}$ $=\{\{v_{1},v_{2},v_{3}\},\{v_{2},v_{3}\},$ $\{v_{3},v_{5},v_{6}\},\{v_{4}\}\}$.

Математично, гіперграф являє собою пару $\ (V,E)$, де

$\ V$ — непорожня множина об'єктів деякої природи, які називають вершинами гіперграфу,

$\ E$ — сімейство непорожніх підмножин множини $\ V$, які називають ребрами гіперграфу.