En teoría de grafos, un grafo bipartito es un grafo "G"=("N","E") cuyos vértices se pueden separar en dos conjuntos disjuntos "U" y "V", es decir, tal que se cumple: