Гіперграф

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

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

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

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

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