二分图
什么是二分图
二分图的一个等价定义:不含有(含奇数条边的环)的图。图1是一个二分图。为了清晰,我们都把它画成图2的形式。
无向图G为二分图的充分必要条件是,G至少有两个顶点,且其所有回路的长度均为偶数。
匹配
在图论中一个匹配是一个边的集合,其中任意两条边都没有公共顶点。例如,图3中红色的边。(匹配有很多种)。
我们定义匹配点、匹配边、未匹配点、未匹配边,它们的含义非常显然。例如图3中1,4,5,7为匹配点,其他顶点为未匹配点:1-5,4-7为匹配边,其他为非匹配边。
最大匹配&完美匹配
最大匹配:一个图所有的匹配中,所匹配的边数最多的匹配,称为这个图的最大匹配。图4是一个最大匹配。
完美匹配:如果一个图的某个匹配中,所有的顶点都是匹配点,那么它就是一个完美匹配。图4是一个完美匹配。显然,完美匹配一定是一个最大匹配&#x