基础知识
二分图
【定义】图论中的一种特殊模型。若能将无向图G=(V,E)的顶点V划分为两个交集为空的顶点集,并且任意边的两个端点都分属于两个集合,则称图G为一个为二分图。
【解释】一张图要是二分图,需要满足以下几个要求:
(1) 无向图。 意思就是没有方向,一旦AB俩人有连线,就说明俩人相互喜欢,配对成功,不存在A单方面喜欢B的情况。
(2) 交集为空。意思就是男的是一个集合,女的是一个集合。不存在男生集合里混入女生的情况。
(3) 任意边的两个端点分属于两个集合。意思就是,男的只能和女的配对。任何男的不能和男的配对,任何女的不能和女的配对。
满足上述条件就是二分图。
以下情况分别是非二分图和二分图。
![图1 二分图和非二分图](https://i-blog.csdnimg.cn/blog_migrate/20444a20a50cec043eb870e066ea8811.png)
匹配
【定义】在G的一个子图M中,