在数学中，超图（Hypergraph）是一种广义上的图，它的一条边可以连接任意数量的顶点。形式上，超图formula_1是一个集合组formula_2，其中formula_3是一个有限集合，该集合的元素被称为"节点"或"顶点"，formula_4是formula_3的非空子集的集合，被称为超边或连接。因此，formula_4是formula_7的一个子集，其中formula_8是formula_3的幂集。尽管图的边各有一对节点，而超边是节点的任意集合，因而能包含任意数量的节点。然而，通常的研究更倾向于每