https://9dok.org/document/q2n9x7x2-average-complexity-backtrack-search-coloring-sparse-random-graphs.html