https://123dok.net/document/yd7j6xgy-maximization-coloring-problems-on-graphs-with-few-p4s.html