Az 1-2-3 sejtés [1] szerint minden legalább két élű összefüggő gráf élei megsúlyozhatóak az 1,2,3 számokkal úgy, hogy a csúcsokra az oda illeszkedő élek súlyösszegét írva egy megengedett csúcsszínezést kapunk. A projekt célja a sejtés és néhány kapcsolódó kérdés vizsgálata.