IMO mock 3, 6
$n\ge 2$ натурал тоо. Энгийн төгсгөлөг $G$ графын ирмэг бүр хамгийн олондоо $n$ ширхэг циклд харъяалагддаг бол $G$ графын оройнуудыг $n+1$ өнгөөр зөв будаж болно гэж батал. Аль ч ирмэгийн хоёр орой ялгаатай өнгөөр будагдсан будалтыг зөв будалт гэдэг.
Бодсон: 2