En teoría de grafos, un grafo bipartito completo es un grafo bipartito en el que todos los vértices de uno de los subconjuntos de la partición están conectados a todos los vértices del segundo subconjunto, y viceversa.

[1]​ Este concepto se puede generalizar al de grafo s-bipartito completo, como un grafo cuyo conjunto de vértices se puede particionar en s subconjuntos, de modo que todos los pares de vértices pertenecientes a subconjuntos diferentes son adyacentes.

[1]​ Un grafo bipartito completo

{\displaystyle G:=(V_{1}\cup V_{2},E)\,}

es un grafo bipartito tal que

Es decir, un grafo bipartito completo está formado por dos conjuntos disjuntos de vértices y todas las posibles aristas que unen esos vértices.

[1]​ El grafo completo bipartito con particiones de tamaño

m , n

{\displaystyle K_{m,n}\,}

m , n

{\displaystyle K_{m,n}\,}

, se verifica:[cita requerida]