二分图的一些概念

什么是二分图

若图G的结点集V(G)可以分成两个非空子集 V₁和V₂，并且图G的任意边xy关联的两个结点 x、y分别属于这两个子集，则图G是二分图。
所有的树都是二分图。从树中任取一个结点为树根，着上白色，然后将根的所有孩子着上黑色，将下一层再着白色，继续此过程直到所有结点都着色。
用着色法或标记法可以检测一个给定的图是不是十分图。
偶数个结点的圈是二分图，而奇数个结点的圈不是二分图。所以如果图中含有奇圈，就不是二分图。其实这是一个定理： 图G是二分图当且仅当图G不含奇圈。

二分图的阶数指什么？

图中结点的总数。

说二分图是平衡的或偏斜的，是什么含义？

设二分图G两个子集合为V₁和V₂，若两个集合的基数（元素的个数）不等，设V₁的基数较大。则若|V₁| = |V₂|，则称G是平衡的。若|V₁| - |V₂| = 1，则称G是准平衡的。则若|V₁| - |V₂| ≥2，则称G是偏斜的。

什么是图的匹配？

图的匹配M是由一些边组成的集合，其中任何两条边都不关联（没有公共端点）。

什么是完全匹配和完美匹配？

设X、Y是二分图G的两个部分。若X中每个结点都关联于匹配M中的一条边，那我们称M是从X到Y的一个完全匹配。此时ÿ