有关图的一些性质

匹配：一个图中选出一些边来使得任意边所连接的顶点不同，

最大匹配：边数最多的匹配

最大权匹配：边权最大的匹配

完美匹配：所有节点都包括的匹配

覆盖：无向图的一个顶点子集，使得边集中任意一条边都至少一个顶点在这个子集中

最小边覆盖：点最少的覆盖

最小边覆盖数=最大匹配数

独立集：一个无向图中不存在一条边连接独立集中的两个点

最大独立集：最大的独立集

最大独立集数与最小边覆盖数互补