在數學中,超圖(Hypergraph)是一種廣義上的圖。不同於普通圖的一條邊只能連接兩個頂點,超圖的一條邊可以連接任意數量的頂點。理論上,超圖
是一個集合組
,其中
是一個有限集合,該集合的元素被稱為節點或頂點,
是
的非空子集的集合,被稱為超邊或連接。因此,
是
的一個子集,其中
是
的冪集。
一個超圖的例子,圖示中包含了
和
.
儘管圖的邊各有一對節點,而超邊是節點的任意集合,因而能包含任意數量的節點。然而,通常的研究更傾向於每個超邊連接的節點數相同的超圖:k-均勻超圖(每個超邊都連接了k個節點)。因此,2-均勻超圖就是圖,3-均勻超圖就是三元組的集合,依此類推。