Гипергра́ф — обобщение графа, в котором каждым ребром могут соединяться не только две вершины, но и любые подмножества множества вершин.
С математической точки зрения, гиперграф представляет собой пару , где — непустое множество объектов некоторой природы, называемых вершинами гиперграфа, а — семейство непустых (необязательно различных) подмножеств множества , называемых рёбрами гиперграфа.
Трансверсалью гиперграфа является множество , содержащее непустое пересечение с каждым ребром. Такая трансверсаль будет минимальной, если никакое её подмножество само не является трансверсалью гиперграфа.
Литература
В. А. Емеличев, О. И. Мельников, В. И. Сарванов, Р. И. Тышкевич.Глава XI: Гиперграфы // Лекции по теории графов. — М.: Наука, 1990. — С. 298—315. — 384 с. — ISBN 5-02-013992-0.
И. А. Головинский. Методы анализа топологии коммутационных схем электрических сетей // Электричество. — 2005. — № № 3. — С. 10—18.