在数学中,超图(Hypergraph)是一种广义上的图。不同于普通图的一条边只能连接两个顶点,超图的一条边可以连接任意数量的顶点。理论上,超图是一个集合组,其中是一个有限集合,该集合的元素被称为节点或顶点,是的非空子集的集合,被称为超边或连接。因此,是的一个子集,其中是的幂集。
尽管图的边各有一对节点,而超边是节点的任意集合,因而能包含任意数量的节点。然而,通常的研究更倾向于每个超边连接的节点数相同的超图:k-均匀超图(每个超边都连接了k个节点)。因此,2-均匀超图就是图,3-均匀超图就是三元组的集合,依此类推。