The constraint in Line 3 prohibits assigning the same color to vertices x {\displaystyle x} and y {\displaystyle y} if there is an edge connecting them.
Ограничение в строке 3 запрещает назначать один и тот же цвет к вершине x {\displaystyle x} и y {\displaystyle y} если существует ребро, соединяющее их.