проблема окрашивания графа