Мне было интересно, если у этой проблемы есть имя:
Для простого графа, ребра которого окрашены в красный, синий и зеленый цвета, , существует ли раскраска вершин такая, что каждое ребро имеет конечную точку с тем же цветом?
Кроме того, известно, что это NP-полная?
Это также можно рассматривать как особый случай CSP (или обобщение 2SAT), где каждое ограничение является дизъюнкцией 2 переменных, которые могут принимать одно из трех значений, и нет двух ограничений на одну и ту же пару переменных.