Prove que um grafo G é bipartido se e somente se E(G) = 𝜕G (X) para algum X ⊆ V(G) e

que, neste caso, {X, V(G) − X} é uma bipartição de G.

Seja 𝐺 um grafo com bipartição {𝑋, 𝑉 (𝐺) − 𝑋 }. Toda aresta de 𝐺 tem uma ponta em
𝑋 e outra em 𝑉 (𝐺) − 𝑋, caso contrário dois vértices em 𝑋 ou dois vértices em 𝑉 (𝐺) − 𝑋 seriam
vizinhos em 𝐺. Logo, 𝜕𝐺 (𝑋) = 𝜕𝐺 (𝑉 (𝐺) − 𝑋) = 𝐸 (𝐺).
Seja agora 𝐺 um grafo para o qual existe algum 𝑋 ⊆ 𝐸 (𝐺) tal que 𝜕𝐺 (𝑋) = 𝐸 (𝐺). O
conjunto 𝑋 é independente em 𝐺, caso contrário haveria alguma aresta com as duas pontas em
𝑋 e, portanto, não pertencente a 𝜕𝐺 (𝑋). Analogamente, tem-se que 𝑉 (𝐺) − 𝑋 também é um
conjunto independente em 𝐺. Logo, {𝑋, 𝑉 (𝐺) − 𝑋 } é uma bipartição de 𝐺.
Portanto, um grafo 𝐺 admite uma bipartição {𝑋, 𝑉 (𝐺) − 𝑋 } para um 𝑋 ⊆ 𝑉 (𝐺) se e
somente se 𝜕𝐺 (𝑋) = 𝐸 (𝐺).