En teoría de grafos un grafo bipartito (o bipartido) completo es aquel grafo bipartito en el que todos los vértices de la partición formula_1 están conectados a todos los vértices de la partición formula_2 y viceversa.