برای اینکه جو یه خورده علمی شه:

استاد عزیز گراف، بعد از یه ترم تمرین گلاب دادن، تصمیم گرفته که آخر ترمی جبران کنه! تمرینای قبلی همه با استقرایی، اکسترمالی چیزی حل می‌شد. ولی این آخری: اثباتی که من براش دارم و الان نوشته‌م (دقیق باید بنویسیم) پنج صفحه شده!

مسئله اینه (اگه دوست داشتید فکر کنید، ان‌شاالله بعداً ایده‌ی اصلی اثبات رو می‌گم):

ثابت کنید گراف G با 2k+1 رأس یه دور فرده، اگر و فقط اگر:

بزرگترین مجموعه مستقل رأسی در G سایزش k باشه و به ازای هر دو رأسی که از G حذف کنیم، سایز بزرگترین مجموعه مستقل رأسی در گراف باقیمونده باز هم k باشه.

یه طرفش خیلی بدیهیه! اگه ابهامی یا سؤالی در موردش داشتین، ایمیل بزنین. اگه راه حلی هم دارین خوشحال می‌شم بدونم.

(همون‌طور کی می‌بینین، در راستای عدم آزادی بیان کامنت‌دونی تعطیل شده!)