Los vértices de \(C_6\) se alternan entre \(A\) y \(B\) al recorrer el ciclo, y como 6 es par se cierra sin conflicto. \(C_5\), \(K_3\) y \(K_4\) contienen ciclos impares.
Un grafo bipartito es un grafo \(G=(V,E)\) cuyos vértices se reparten en dos conjuntos disjuntos \(A\) y \(B\) de modo que cada arista \(e\in E\) une un vértice de \(A\) con uno de \(B\).
\[V=A\cup B,\quad A\cap B=\varnothing,\quad |e\cap A|=1\ \text{ para toda } e\in E\]