超图

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