Nessa coloração, os três primeiros vértices receberam a cor 1, os vértices v4 a v7 receberam a cor 2 e os demais vértices a cor 3. Considere o seguinte algoritmo sequencial de coloração de grafos modificado: Entrada: um grafo G com uma lista de vértices v1, v2, …, vp e um número K de cores utilizadas na coloração prévia do grafo. Saída: uma coloração f: V(G) → { 1, 2, … } dos vértices de G 01. para cadai ∈{ 1, 2, …, p } 02. se f(vi) tem cor igual a algum adjacente vj com j < i então 03. f(vi) ← o próximo número cor que não tenha sido usado em algum vizinho de vi e que respeite o valor limite K. 04. fim se 05. fim para 06. Retornar a coloração de vértices f Assinale a alternativa que indica uma proposição verdadeira a respeito da aplicação do algoritmo de coloração de grafos modificado sobre o grafo previamente colorido apresentado.