A graph in which the vertices can be partitioned into two subsets V1 and V2, so that no two vertices in V1 are joined and no two vertices in V2 are joined. The complete bipartite graph Km,n is the bipartite graph with m vertices in V1 and n vertices in V2, with every vertex in V1 joined to every vertex in V2 by a single edge.