Gráfico bipartito
Gráfico bipartito: un gráfico cuyos vértices se pueden dividir en dos conjuntos para que cada borde conecte el vértices de diferentes conjuntos.
A menudo, en el contexto de gráficos bipartitos, se utiliza el concepto de colores vértices. Dividir un gráfico en dos partes se llama colorear sus vértices con dos colores diferentes. Cada borde debe conectar vértices de un color diferente.
DFS
.
Algoritmo
Comenzamos a pintar desde un vértice arbitrario, que pintamos en un color arbitrario.
Al pasar a lo largo de cada borde, pinte el siguiente vértice en el color opuesto.
Si, al iterar sobre los vértices vecinos, encontramos un vértice que ya está pintado del mismo color que el actual, entonces hay un ciclo impar en el gráfico, lo que significa que no es bipartito.