Un grafo G es bipartito si puede expresar como formula_23 (es decir, sus vértices son la unión de dos grupos de vértices), bajo las siguientes condiciones: