Gráf jólszínezett formulája?

Hogyan lehet leírni azt formulával, hogy egy gráf jólszínezett-e? (három színnel új ki lehet színezni, hogy az egymás melletti csúcsok nem lehetnek ugyanolyan színűek)

pl így gondolom:

ha minden csúcsnak van pontosan 1 színe, akkor így írjuk le:

P1.....Pn piros

F1.....Fn fehér

Z1.....Zn zöld

(/\ az "és"-t jelöli a halmazelméletben)

.______....______....______........______

(P1/\F1)/\(P1/\Z1)/\(F1/\Z1)/\....(Pn/\Fn)