According to this link (see point $15$), Matt DeVos and David Wood can prove that every digraph in which each vertex has an out-neighbour has a good $4$-colouring (I am using their terminology).
Tony Huynh
- 32.1k
- 11
- 112
- 187