سلام.
این سوال رو میشه با تکرار یا جایگذاری هم حل کرد، که بنظرم هم ساده هست.
روش به این صورت هست:
T(n)=T(n−2)2Log(n)
T(n)=T(n−4)2Log(n−2)2Log(n)
T(n)=T(n−6)2Log(n−4)2Log(n−2)2Log(n)
T(n)=T(n−8)2Log(n−6)2Log(n−4)2Log(n−2)2Log(n)
...
به همین صورت ادامه میدیم ، بصورت زیر مرتب میشه و از ۲ فاکتور میگیریم:
2[Log(n)Log(n−2)Log(n−4)Log(n−6)Log(n−8)...]
نکته : لگاریتم خاصیتی داره به این صورت Logaxy=LogaxLogay این یعنی که میشه بصورت زیر نوشت:
2Log[n×(n−2)×(n−4)×(n−6)×(n−8)×...]
باید راهی پیدا کنیم که لگاریتم رو بصورت منظمی در بیاریم، بصورتی که بشه با همون رابطه اصلی برابری کرد، اما چیزهایی رو بتونیم بهش اضافه یا کم کنیم:
2[Logn×(n−1)×(n−2)×(n−3)×(n−4)×(n−5)×...(n−1)×(n−3)×(n−5)×...]
همونطور که میبینید از تو قاعده ابتدایی طوری عمل کردیم که بشه بصورت فاکتوریل قضیه رو حل کرد، توچه کنید که تو صورت و مخرج عناصر اضافی باهم خواهند رفت و با قضیه بالایی برابر خواهد ماند:
نکته: لگاریتم خاصیتی داره به این صورت Logaxy=Logax−Logay یعنی میشه بصورت زیر نوشت:
2[Logn!−Log(n−1)×(n−3)×(n−5)×...]
نکته : طبق خاصیت گفته شده در کتاب ها، Logn!=nLogn است. پس در نتیجه از سطر بالایی میتوان نتیجه گرفت که :
T(n)=Θ(nLogn)
این سوال رو کتاب پارسه هم حل کرده اما با جزئیات کمتر.
اگر جایی مبهم بود بگید بیشتر توضیح میدم.