For each vertex , let be the maximum number of vertices in a directed path ending at . These numbers lie between one and .
If is an edge, a longest graph path ending at cannot already contain , since that would give a directed cycle on appending . Appending it therefore creates a graph path ending at , so . Adjacent vertices consequently receive different colours. Hence
Acyclicity is exactly what justifies extending the graph path without repeating a vertex.

Articles by others on the same topic (0)

There are currently no matching articles.