Proposition

Let be a Graph. Then:

Proof

Greedy

Proposition

Let be a connected graph and . Then:

Proof

Order vertices of into such that:

  • 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.