二分图（bipartite graph）的定义是：图的顶点可以划分成两个集合 X,Y，使得（ ）。 A. X 与 Y 之间没有边，而 X 内部、Y 内部的边随意 B. 每一条边的两个端点中，一个在 X、另一个在 Y C. X 与 Y 的顶点数必须相等，且每个点都要有边 D. 图必须连通，并且 X 中每个点都与 Y 中每个点相连