- ارسال ها
- 362
- لایک ها
- 74
- امتیاز
- 28
پاسخ : ماراتن ترکیبیات
من نمیدونم از فرض2k-2 چه استفاده ای کردی؟
خب
منم بعد عمر ی اومدم
می خوام اثباتم رو بذارم که ببینید درسته یا نه:
خب استقرا می زنیم
حکم به ازای n=2
درسته
فرض کنیم که واسه n<=k
هم درسته می خوایم واسه n=k+1
اثبات کنیم
خب گراف رو در نظرمی کیریم
خب یه راس ور می داریم که به حداقل دو تا راس متمایز یال داشته باشه
****************************
اگه چنین راسی نباشه
یا رئوس گراف بعضیاشون تنهان
یا فقط یه یال دارن
یا جفت جفت با دویال بهم وصلن
که در این حالات مسئله حله
****************************
خب اگه گراف نا همبند باشه باز هر مولفه چون تو فرض استقرا می یوفته
مسئله حل می شه
پس فرض کنیم گراف همبنده
خب حالا از اون راسی که اول گفته شد شروع به پیمایش گراف می کنیم به صورت کاملا کیلویی و از رو ی یال ها به طوری که به راس تکراری نریم (DFS میزنیم)
خب به یه زیردرخت فراگیر از درخت می رسیم
حالا این درخت این خاصیت رو داره که هیچ دو راسی که تو دوتا شا خه از گراف هستن (هر شاخه از اولین راس نشئت می گیره .شاخه های تو خود شاخه اصلییا مهم نی)
تو گراف اصلی بهم وصل نیستن
چون از هر راس به تمام همسایه های دیده نشده اش می ریم پس غیر راس اول همسایه های هر راس تو شاخه خود اون راس است
حالا اگه یه راسی باشه که به این راسی که ماتوشیم وصل باشه ولی قبلا دیده شده باشه و ما از اون به این راس حاضر نیمده باشیم
یعنی این که این دو تا راس تویه شاخه نیستن
در حالی که می دونیم وقتی به یه راسی میرسیم تمام همسایه هاش رو میبینم
پس این حالت به وجود نمیاد
این همه حرف زدم که بگم دور ها تو گراف فقط تو هر شاخه هستن
و دوری نداریم که از دو یا بیشتر شاخه استفاده کنه
حالا یکی از شاخه هارو میگیرم چون اون شرط تعداد یال هارو داره پس اگه با یال های نداشتش در نظرش بگیریم بدون بقیه گراف تو فرض استقرا صدق می کنه
و بقیه گراف هم به همین صورت تو فرض استقرا صدق می کنه
پس حکم اثبات میشه
منم بعد عمر ی اومدم
می خوام اثباتم رو بذارم که ببینید درسته یا نه:
خب استقرا می زنیم
حکم به ازای n=2
درسته
فرض کنیم که واسه n<=k
هم درسته می خوایم واسه n=k+1
اثبات کنیم
خب گراف رو در نظرمی کیریم
خب یه راس ور می داریم که به حداقل دو تا راس متمایز یال داشته باشه
****************************
اگه چنین راسی نباشه
یا رئوس گراف بعضیاشون تنهان
یا فقط یه یال دارن
یا جفت جفت با دویال بهم وصلن
که در این حالات مسئله حله
****************************
خب اگه گراف نا همبند باشه باز هر مولفه چون تو فرض استقرا می یوفته
مسئله حل می شه
پس فرض کنیم گراف همبنده
خب حالا از اون راسی که اول گفته شد شروع به پیمایش گراف می کنیم به صورت کاملا کیلویی و از رو ی یال ها به طوری که به راس تکراری نریم (DFS میزنیم)
خب به یه زیردرخت فراگیر از درخت می رسیم
حالا این درخت این خاصیت رو داره که هیچ دو راسی که تو دوتا شا خه از گراف هستن (هر شاخه از اولین راس نشئت می گیره .شاخه های تو خود شاخه اصلییا مهم نی)
تو گراف اصلی بهم وصل نیستن
چون از هر راس به تمام همسایه های دیده نشده اش می ریم پس غیر راس اول همسایه های هر راس تو شاخه خود اون راس است
حالا اگه یه راسی باشه که به این راسی که ماتوشیم وصل باشه ولی قبلا دیده شده باشه و ما از اون به این راس حاضر نیمده باشیم
یعنی این که این دو تا راس تویه شاخه نیستن
در حالی که می دونیم وقتی به یه راسی میرسیم تمام همسایه هاش رو میبینم
پس این حالت به وجود نمیاد
این همه حرف زدم که بگم دور ها تو گراف فقط تو هر شاخه هستن
و دوری نداریم که از دو یا بیشتر شاخه استفاده کنه
حالا یکی از شاخه هارو میگیرم چون اون شرط تعداد یال هارو داره پس اگه با یال های نداشتش در نظرش بگیریم بدون بقیه گراف تو فرض استقرا صدق می کنه
و بقیه گراف هم به همین صورت تو فرض استقرا صدق می کنه
پس حکم اثبات میشه