二部图又称双分图、二分图，偶图，指顶点可以分成两个不相交的集使得在同一个集内的顶点不相邻（没有共同边）的图。
图G=<V，E>，如果V1∪V2=V，V1∩V2=Φ，对于每个(x，y)∈E，皆有x∈V1，y∈V2，或x∈V2，y∈V1，则称G为二部图 (或偶图)。
