“…Fertin and Raspaud [7] showed among other results that a(5) ≤ 9 and gave a linear-time algorithm for acyclic 9-coloring of any graph with maximum degree 5. Furthermore, for every fixed r ≥ 3, they gave a fast algorithm that uses at most r(r − 1)/2 colors for acyclic coloring of any graph with maximum degree r. Of course, for large r this is much worse than the upper bound (1.1), but for r < 1000, it is better.…”