Wie heißt das Problem? (Aufteilung des Diagramms in drei Umschläge)

Ich habe mich gefragt, ob dieses Problem einen Namen hat:

Bei einem einfachen Graphen, dessen Kanten rot, blau und grün gefärbt sind, , gibt es eine Scheitelpunktfärbung c : V → { B , R , G }, so dass jede Kante einen Endpunkt hat mit der gleichen Farbe?$G=(V,B\cup R\cup G)$$c:V\to \{B,R,G\}$

Ist dies auch als NP-vollständig bekannt?

Dies kann auch als Sonderfall von CSP (oder einer Verallgemeinerung von 2SAT) angesehen werden, bei dem jede Einschränkung eine Disjunktion von 2 Variablen ist, die einen von drei Werten annehmen können, und es gibt keine zwei Einschränkungen für dasselbe Variablenpaar.

$v$$v_R,v_B,v_G$$\lnot v_R \lor \lnot v_B,\lnot v_R \lor \lnot v_G, \lnot v_B \lor \lnot v_G$$v_R,v_B,v_G$$(v,w)$$R$$v_R \lor w_R$