دانشنامهی المپیاد کامپیوتر ایران
ثابت کنید به ازای هر گراف سه منتظم دو بخشی G، مجموعه S از دورها در G وجود دارد به صورتی که هر یال G دقیقا در دو دور از S باشد.