گراف معادل مسئله رو میکشیم.
بین دوستا یال ها رو میکشیم و راسهارو به رنگ قرمز یا «آبی و یال های متناظر با رئوس همرنگ را سیاه و متناظر با رئوس ناهمرنگ را سفید میکنیم.در هر گام یال های سیاه رو به افزایشاند و از آنجا که تعداد یالها متناهی است زمانی میرسد که همه یال ها سیاهند!(ناوردایی)