二分图是图论当中很重要的一个板块，由二分图的匹配与带权匹配可以推广出一般图的匹配与带权匹配。本篇主要会讲到二分图的定义、性质、判定。
一、定义
二分图，又称二部图，英文名叫 Bipartite graph，是图论中的一种特殊模型。
二分图是什么？节点由两个集合组成，且两个集合内部没有边的图。换言之，存在一种方案，将节点划分成满足以上性质的两个集合。
二、性质
那么二分图有什么性质呢？
当且仅当无向图G的每一个环(即回路、圈，英文为circle)的结数均是偶数时，G才是一个二分图。如果无环，相当于每个环的结点数为0，故也视为二分图，即为二分图不存在长度为奇数的环，因为每一条边都是从一个集合走到另一个集合，只有走偶数次才可能回到同一个集合。
如果两个集合中的点分别染成黑色和白色，可以发现二分图中的每一条边都一定是连接一个黑色点和一个白色点。
三、判定
如何判定一个图是不是二分图呢？
换言之，我们需要知道是否可以将图中的顶点分成两个满足条件的集合。
显然，直接枚举答案集合的话实在是太慢了，我们需要更高效的方法。
考虑上文提到的性质，我们可以使用 DFS（图论） 或者 BFS 来遍历这张图。如果发现了奇环，那么就不是二分图，否则是。
四、应用
二分图最大匹配
二分图最大权匹配
一般图最大匹配
一般图最大权匹配
C语言网提供由在职研发工程师或ACM蓝桥杯竞赛优秀选手录制的视频教程，并配有习题和答疑，点击了解：
一点编程也不会写的：零基础C语言学练课程
解决困扰你多年的C语言疑难杂症特性的C语言进阶课程
从零到写出一个爬虫的Python编程课程
只会语法写不出代码？手把手带你写100个编程真题的编程百练课程
信息学奥赛或C++选手的 必学C++课程
蓝桥杯ACM、信息学奥赛的必学课程：算法竞赛课入门课程
手把手讲解近五年真题的蓝桥杯辅导课程