Three-coloring graphs with no induced seven-vertex path I : the triangle-free case.

In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.