二分图：
设G是一个无向图，顶点V可分割为两个互不相交的子集（A,B），并且图中的每条边（i,j）所关联的两个顶点分别属于这两个顶点集，则称G为二分图
匹配：
给定一个二分图，在G的一个子图G'中，如果G'的边集中的任意两条边都不依附于同一个顶点，则称G'的边集为G的一个匹配。
最大匹配：
在所有匹配中，边数最多的那个匹配就是二分图的最大匹配。
顶点覆盖：
在顶点集合中，选取一部分顶点，这些顶点能够把所有的边都覆盖，这些点就是顶点覆盖集。
最小顶点覆盖：
在所有顶点覆盖集中，顶点数最小的那个交最小顶点集合。
最小顶点覆盖等于二分图的最大匹配。
独立集：
在所有的顶点中选取一些顶点，这些顶点两两之间没有连线，这些点就叫独立集。
最大独立集：
在所有的独立集中，顶点数最多的那个集合。
最大独立集=|G|-最小顶点覆盖。
路径覆盖：
在图中找一些路径，这些路径覆盖图中所有的顶点，每个顶点都只与一条路径相关联。
最小路径覆盖：
最小路径覆盖=|G|-二分图的最大匹配。