在计算机科学中，一个图就是一些顶点的集合，这些顶点通过一系列边结对（连接）。顶点用圆圈表示，边就是这些圆圈之间的连线。顶点之间通过边连接。 如果图的边没有方向性，则被成为无向图。

集合$$ X $$的划分是$$ X $$的非空子集的集合，使得$$ X $$的所有元素都包含且只包含在这些子集中的一个。等价的说，集合$$ P $$是$$ X $$的划分，如果 $$ (1) $$ $$ P $$的所有成员都是$$ X $$的子集，且不是空集； $$ (2) $$ $$ P $$的所有成员的并集即为$$ X $$； $$ (3) $$ $$ P ...