دانشنامهی المپیاد کامپیوتر ایران
فرض کنید H=(V, E) یک ابرگراف k-منتظم باشد که k \geq 4 و |E| \leq \frac{4^{k-1}}{3^k}.
ثابت کنید یک رنگآمیزی از رئوس H با 4 رنگ وجود دارد که هر یال حداقل یک رأس از هر رنگ داشته باشد.
