定义：
一个点集可以分成两个子集，里面的每条边都连接两个子集中的点，也就是说对于一个子集，里边所有的点都是不相连的

区别二分图，关键是看点集是否能分成两个独立的点集


想这样一个图

如果不仔细看很容易认为不是二分图，但是把位置变换一下就很直观了，所以说二分图的定义是没有漏洞的

无向图G为二分图的充分必要条件是，G至少有两个顶点，且其所有回路的长度均为偶数
且任何无回路的的图均是二分图

二分图的最大匹配：（最大流/匈牙利算法）
二分图的判定：染色法（具体会在例题中具体解释）

性质：
二分图中，点覆盖数是匹配数。
　　（1）二分图的最大匹配数等于最小覆盖数，即求最少的点使得每条边都至少和其中的一个点相关联，很显然直接取最大匹配的一段节点即可。
　　（2）二分图的独立数等于顶点数减去最大匹配数，很显然的把最大匹配两端的点都从顶点集中去掉这个时候剩余的点是独立集，这是|V|-2*|M|，同时必然可以从每条匹配边的两端取一个点加入独立集并且保持其独立集性质。
　　（3）DAG的最小路径覆盖，将每个点拆点后作最大匹配，结果为n-m，求具体路径的时候顺着匹配边走就可以，匹配边i→j’,j→k’,k→l’…构成一条有向路径。
（4）最大匹配数=左边匹配点+右边未匹配点。因为在最大匹配集中的任意一条边，如果他的左边没标记，右边被标记了，那么我们就可找到一条新的增广路，所以每一条边都至少被一个点覆盖。
（5）最小边覆盖=图中点的个数-最大匹配数=最大独立集。