https://mascari4615.github.io/posts/K-Graph-Coloring/