در مورد حل:
منظور از یک جورسازی، زیر مجوعهای از یالهای گراف است به طوری که هیچ راس مشترکی نداشته باشند. فرض کنید M یک جورسازی از گراف G باشد. گوییم راس v از گراف G توسط M اشباع شده است هرگاه یالی از M موجود باشد که v یکی از دو انتهای آن یال باشد.
برای اثبات F را اجتماع یالهای M و N (مطابق فرض مسئله) در نظر گرفته و زیر گراف القایی توسط F را میسازم. اما برای ادامه اثبات نمیتوانم کاری از پیش ببرم.
