Prove que os componentes de um grafo G são todos caminhos ou ciclos se e somente se

𝚫(G) ≤ 2.

Seja 𝐺 um grafo tal que todo componente de 𝐺 é um caminho ou um ciclo, e seja 𝑣 um

vértice de 𝐺.

• Se 𝑣 pertence a um componente induzido por um passeio trivial, então 𝛿𝐺 (𝑣) = 0.

• Se 𝑣 pertence a um componente induzido por um caminho não trivial 𝑃, então 𝛿𝐺 (𝑣) = 1,

se 𝑣 é uma das pontas de 𝑃, ou 𝛿𝐺 (𝑣) = 2, se é um vértice interno de 𝑃.

• Se 𝑣 pertence a um componente induzido por um ciclo, então 𝛿𝐺 (𝑣) = 2

Logo, como todo componente de 𝐺 é um caminho ou ciclo, Δ(𝐺) ≤ 2.

Não é necessário detalhar essa primeira parte tanto assim, para falar a verdade. É bastante imediato que
cada vértice em um caminho ou ciclo tem no máximo dois vizinhos. A outra direção da equivalência é que requer
um pouco de convencimento.
Após terminar essa prova, eu considerei substituir a parte anterior por algo como:
Seja 𝐺 um grafo. Se 𝑣 ∈ 𝑉 (𝐺) pertence a um componente de 𝐺 induzido por um passeio ou ciclo, tem-se
𝛿𝐺 (𝑣) ≤ 2. Portanto, se todo componente de um grafo 𝐺 é um caminho ou ciclo, então Δ(𝐺) ≤ 2.
Mas decidi manter a versão mais longa. Na dúvida, é melhor optar pela explicação mais detalhada. O
objetivo de uma prova é, essencialmente, convencer os outros que a conclusão está correta. Quanto mais claro,
melhor.
Seja agora 𝐺 um grafo com um componente 𝐶 que não é induzido por um passeio ou
um ciclo, e seja 𝑃 um passeio maximal em 𝐶.
Se existe um vértice 𝑣 em 𝑉 (𝐶) −𝑉 (𝑃), como 𝑃 é maximal, 𝑣 não é vizinho de nenhuma
das pontas de 𝑃 em 𝐺. Logo, há algum vértice em 𝑉 (𝐺) com pelo menos três vizinhos em 𝐺:
seu sucessor em 𝑃, seu antecessor em 𝑃, e 𝑣.
Se, por outro lado, não existe um vértice em 𝑣 em 𝑉 (𝐶) − 𝑉 (𝑃), deve existir alguma
aresta 𝑎 em 𝐸 (𝐶) − 𝐸 (𝑃) que incide sobre algum vértice interno de 𝑃. Caso contrário:

• ou 𝐸 (𝐶) − 𝐸 (𝑃) seria vazio e, portanto, 𝑃 geraria 𝐶, o que contradiz a hipótese.

• ou 𝐸 (𝐶) − 𝐸 (𝑃) teria uma única aresta que junta as pontas de 𝑃 e, portanto, 𝐶 seria
induzido por um ciclo, o que também contradiz a hipótese.

O vértice interno de 𝑃 no qual 𝑎 incide tem pelo menos três vizinhos em 𝐺: seu
antecessor em 𝑃, seu sucessor em 𝑃, e a outra ponta de 𝑎.
Logo, Δ(𝐺) ≥ 3.
Portanto, os componentes de um grafo 𝐺 são todos caminhos ou ciclos se e somente se
Δ(𝐺 ≤ 2.