Quel est le nom du problème? (graphique de partitionnement en trois couvertures)

9

Je me demandais si ce problème avait un nom:

Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?g=(V,BRg)c:V{B,R,g}

Est-ce également connu pour être NP-complet?


Cela peut également être considéré comme un cas spécial de CSP (ou une généralisation de 2SAT) où chaque contrainte est une disjonction de 2 variables qui pourraient prendre l'une des trois valeurs, et il n'y a pas deux contraintes sur la même paire de variables.

RB
la source

Réponses:

6

vvR,vB,vg¬vR¬vB,¬vR¬vg,¬vB¬vgvR,vB,vg(v,w)RvRwR

Yuval Filmus
la source