匹配：一个图中选出一些边来使得任意边所连接的顶点不同，
最大匹配：边数最多的匹配
最大权匹配：边权最大的匹配
完美匹配：所有节点都包括的匹配
覆盖：无向图的一个顶点子集，使得边集中任意一条边都至少一个顶点在这个子集中
最小边覆盖：点最少的覆盖
最小边覆盖数=最大匹配数
独立集：一个无向图中不存在一条边连接独立集中的两个点
最大独立集：最大的独立集
最大独立集数与最小边覆盖数互补
