二部图和匈牙利算法

二部图

二部图的定义：设$G$是一个图，若$V(G)$有一个划分：$V(G)=V_1\bigcup V_2$，使得<$V_1$><$V_2$>都是空图，那么称图$G$是一个双图，或二部图，或二分图。
简单来说，就是在图中切上一刀，就能使所有点变成孤立的，如下图沿着红线切一刀。
判定二分图一般使用标号法，即将一个顶点和与之相邻的顶点标为不同，若此过程可以一直进行下去，则为二分图。