Proposition
Let
Proof
Greedy
Proposition
Let
Proof
Order vertices of
is connected to is connected to at least one of
(take it as BFS)
Now every vertex has less than edges towards for
Thus a greedy colouring works.
Let
Greedy
Let
Order vertices of