https://9lib.org/document/y96rlpvw-kolorowanie-grafu.html