二分图的相关概念

http://blog.sina.com.cn/s/blog_13161a9390102v6oi.html

• 二分图:
• 二分图又称二部图，是图论中的一种特殊模型。设G=(V,E)是一个无向图，如果顶点V可以分割为两个互不相交的子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(iin A, j in B), 则称图G是二分图。
• 匹配：
• 给定一个二分图，在G的一个子图G’中，如果G’的边集中的任意两条边都不依附于同一个顶点，则称G’的边集为G的一个匹配
• 最大匹配：
• 在所有的匹配中，边数最多的那个匹配就是二分图的最大匹配了
• 顶点覆盖：
• 在顶点集合中，选取一部分顶点，这些顶点能够把所有的边都覆盖了。这些点就是顶点覆盖集
• 最小顶点覆盖：
• 在所有的顶点覆盖集中，顶点数最小的那个叫最小顶点集合。
• 独立集：
• 在所有的顶点中选取一些顶点，这些顶点两两之间没有连线，这些点就叫独立集
• 最大独立集：
• 在左右的独立集中，顶点数最多的那个集合
• 路径覆盖：
• 在图中找一些路径，这些路径覆盖图中所有的顶点，每个顶点都只与一条路径相关联。
• 最小路径覆盖：
• 在所有的路径覆盖中，路径个数最小的就是最小路径覆盖了。

http://www.cppblog.com/baby-fly/archive/2009/07/27/91344.html?opt=admin

• 独立集：任意两点都不相连的顶点的集合
• 独立数：独立集中顶点的个数
• 完全子图：任意两点都相连的顶点的集合
• 最大完全数：最大完全子图中顶点的个数
  

最大完全数=原图的补图的最大独立数
最大独立数=顶点数-最大匹配数