гиперграф

Гипергра́ф — обобщение графа, в котором каждым ребром могут соединяться не только две вершины, но и любые подмножества множества вершин. С математической точки зрения, гиперграф представляет собой пару , где — непустое множество объектов некоторой природы, называемых вершинами гиперграфа, а — семейство непустых (необязательно различных) подмножеств множества , называемых рёбрами гиперграфа. Гиперграфы применяются, в частности, при моделировании электрических цепей. Трансверсалью гиперграфа является множество , содержащее непустое пересечение с каждым ребром. Такая трансверсаль будет минимальной, если никакое её подмножество само не является трансверсалью гиперграфа.