关于图论的一些名词解释
二分图:
顶点集V可分割为两个互不相交的子集,并且图中每条边依附的两个顶点都分属于这两个互不相交的子集
匹配:(两两没有公共点的边集)
给定一个二分图,在G的一个子图G’中,如果G’的边集中的任意两条边都不依附于同一个顶点,则称G’的边集为G的一个匹配
最大匹配:
在所有的匹配中,边数最多的那个匹配就是二分图的最大匹配了
完美匹配:
所有点都是匹配点
未盖点:
不与任何匹配边邻接的点
交替路:
从未盖点出发,依次经过非匹配边,匹配边,非匹配边,匹配边...
增广路:
非匹配边比匹配边多一条,终点为未盖点
顶点覆盖:
在顶点集合中,选取一部分顶点,这些顶点能够把所有的边都覆盖了。这些点就是顶点覆盖集
最小顶点覆盖:
在所有的顶点覆盖集中,顶点数最小的那个叫最小顶点集合。
覆盖集ÿ