https://9dok.net/document/qo5v9ve0-algorithmische-graphentheorie-ws-kapitel-färbungen-walter-unger.html