Grafo bipartito

Ejemplo de grafo bipartito.

En teora de grafos, un grafo bipartito es un grafo G=(N,E) cuyos vrtices se pueden separar
en dos conjuntos disjuntos U y V, es decir, tal que se cumple:

de manera que las aristas slo pueden conectar vrtices de un conjunto con vrtices del
otro; es decir:

no existe ningunaarista
ni

Los grafos bipartitos suelen representarse grficamente con dos columnas (o filas) de
vrtices y las aristas uniendo vrtices de columnas (o filas) diferentes.
Los dos conjuntos U y V pueden ser pensados como un coloreo del grafo con dos
colores: si pintamos los vrtices en U de azul y los vrtices de V de verde obtenemos
un grafo de dos colores donde cada arista tiene un vrtice azul y el otro verde. Por
otro lado, si un grfico no tiene la propiedad de que se puede colorear con dos colores
no es bipartito.
Un grafo bipartito con la particin de los vrtices en U y V suele denotarse G =
(U, V, E). Si |U| =|V|, esto es, si los dos subconjuntos tiene la misma cantidad de
elementos o cardinalidad, decimos que el grafo bipartito G es balanceado.

Ejemplos[editar]

Todo grafo sin ciclos con cantidad de nodos impar es bipartito. Como
consecuencia de esto:
Todo rbol es bipartito.
Los grafos cclicos con un nmero par de vrtices son bipartitos.
Todo grafo planar donde todas las caras tienen un nmero par de aristas es
bipartito.