دانشنامهی المپیاد کامپیوتر ایران
فرض کنید G یک گراف دوبخشی با افراز مضاعف X و Y است. ثابت کنید که ماکسیمم اندازه یک تطابق در G برابر است با: |X| - Max_{S\subseteq X}\Big\{|S|-|N(S)|\Big\}