图论概念总结

对于图G（V，E），有以下概念：

1。匹配

无向图的边集E的一个子集。在这个子集中，任意两条边都没有公共顶点且不包含自环。一个点被匹配，当且仅当，与该点相关联的一条边在匹配集中。

匹配集的大小：匹配集中边的数目。

极大匹配：如果一个匹配集不是其他匹配的子集，或者说，再添加任意一条边生成的集合不是匹配集。

最大匹配：匹配集中边的数目最多的匹配。

完备匹配：一个匹配覆盖了所有的顶点。

2.覆盖

顶点覆盖：无向图的点集V的一个子集。在这个子集中，边集E的每一条边都至少有一个端点在这个子集中。

顶点覆盖集的大小：顶点覆盖集中顶点的数目。

极小顶点覆盖：如果其他顶点覆盖都不是这个顶点覆盖的子集，或者，从集合中去掉任何一个点生成的集合不是顶点覆盖。

最小顶点覆盖：顶点覆盖集中点的数目最少的集合。

边覆盖：无向图的边集E的一个子集。在这个子集中，点集V的每个点都与集合中至少一条边相关联。

边覆盖的大小：边覆盖中边的数目。

极小边覆盖：如果其他边覆盖都不是这个边覆盖的子集，或者，从集合中去掉任何一个边生成的集合不是边覆盖。

最小边覆盖：边覆盖中边的数目最少的集合。

3.独立集

无向图的点集E的一个子集。在这个子集中，任意两点不相邻，即不存在一条边连接独立集中的任意两个点，或者说，任意一条边最多有一个端点在独立集中。

独立集的大小：独立集中点的数目。

极大独立集：如果一个独立集不是其他独立集的子集，或者说，再添加任意一个点生成的集合不是独立集。

最大独立集：独立集中点的数目最多的集合。

4.团

无向图点集E的一个子集。在这个子集中，任意两个点都有边相邻。

团的大小：团中点的数目。

极大团：如果一个团不是其他团的子集，或者说，极大图中添加任何一个点生成的集合不是团。

最大团：团中点的数目最多的集合。

定量关系：

1.不存在孤立点的图，|最大匹配| + |最小边覆盖| = |V|

2.|最小顶点覆盖| +|最大独立集| = |V|

3.任意一个顶点覆盖的补集，一定是独立集。

4.二分图中，|最小顶点覆盖| = |最大匹配|

5.最大团 = 补集的最大独立集