Five-coloring a graph in linear time | Hacker News Reader