Un grafo es bipartito exactamente cuando no tiene ciclos de longitud impar. Un ciclo de longitud 7 lo impide; los árboles, los ciclos pares y los grafos sin aristas sí son bipartitos.
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\]