$$G=CN[sum,p(3,1),p(3,3)] $$ $$ mul=PR[Z,G] $$

$$ poly=CN[sum,CN[mul,p(1,1),p(1,1)],CN[sum,p(1,1),const(2)]] $$

این سوال برای این که یه بازگشتی میخواست و بازگشتی دو تا متغیر داره یه متغیر رو همینجوری الکی اضافه کردم برای کسانی که ابهام دارند x=n بگیرین

$$fact(n)=fac(x,n)$$

$$ fac=PR[const(1),g] $$ $$ g=CN[mul,CN[inc,p(3,2)],p(3,3)] $$

اول منهای یک رو تعریف میکنیم :

$$dec=CN[PR[Z,P(3,2)],Z,P(1,1)]$$

یه جورایی قضیه رو دور زدیم توی بازگشتی اونو بر گردوندیم

حالا منها رو تعریف میکنیم برای اون یه تابع بازگشتی تعریف میکنیم که

x,y

رو میگیره اگه x>y x-y

رو پس میده در غیر این صورت صفر میده بعد پس منها میشه جمع f(x,y)+f(y,x)a

$$ mi=PR[P(2,1),CN[dec,P(3,3)]] $$

$$ men(x,y)=mi(x,y)+mi(y,x) $$

$$ men=CN[sum,CN[mi,P(2,1),P(2,2)],CN[mi,P(2,2),P(2,1)]] $$

خوب میدونیم که عدد کوچیکه میشه

((a+b)+abs(a-b))/2

$$DobarabareMin=CN[sum,CN[men,P(2,1),P(2,2)],CN[sum,P(2,1),P(2,2)]$$

الان یه مشکل داریم اونم اینه که دو برابر مین رو در اوردیم

پس نصف رو هم مینویسیم

$$ div=pr[z,cn[sum,p33,cn[cn[pr[z,cn[yek2,p33]],z,p11],p32]] $$

پس مین میشه:

$$ min=CN[div,CN[DobarabareMin,P(2,1),P(2,2)]] $$

من اینجوری نوشتم:

$$ poly = CN[inc, CN[inc, CN[sum, p(1,1), CN[mul,p(1,1), p(1,1)]]]] $$ فک کنم این بشه جوابش :)))))

از زمان ابتدایی یادمونه که عدد کوچیکه میانگین منهای نصف اختلاف بوده و بزرگه میانگین +نصف فاصله(تو سوالای قد مریم و مینا و...)

حالا برای پیاده سازی این ایده نیاز به تابع های زیر داریم:

1- تابع جمع(که داریم)

2- تابع اختلاف دو عدد

3- تابع تقسیم به دو.

(البته می دونم میشه خیلی ساده ترش کرد ولی فعلااین از ما برمیاد!)

چند تا تابع کمکی که برای حل زیر مساله ها کمک می کنه:

1- منهای یک که برای صفرهم صفر میده(چون فرهاد عدد منفی دوس نداره!) yek=cn[pr[z,p32],z,p11]

2- فاصله با یک که برای صفر یک میده(قدرمطلق)yek2=cn[pr[const1,p32],x,p11]

هرجا تعداد ورودی ها با تابع نمی خوند از cnکمک گرفتم .

برای تقسیم به دو بازگشتی مینوسیم که هربار با باقسمانده به دو جمع می کنه.پس به باقیمانده به دو هم نیاز داریم:

bagh=cn[pr[z,cn[yek2,p33]],z,p11]

nesf=pr[z,cn[sum,p33,cn[bagh,p32]]

برای فاصله دوعدد که سخت ترین جاش بود:

ببین یه تابع بازگشتی تعریفمیکنیم که اینطوری کارمیکنه : ایکس و ایگرگ رو بهش می دیم بعد ایگرگ تا از ایکس کم می کنه و اگه عدد منفی شد صفر روبر می گردونه .حالا اگه مقدار تابع رو برای ایکس و ایگرگ با مقدارش برای ایگرگ و ایکس جمع کنیم اختلاف دوعدد به دست میاد به همین سادگی!!اینم تعریفش:

tt=pr[p21,cn[yek,p33]

t=cn[sum,tt,cn[tt,p22,p21]=sum(tt(x,y),tt(y,x);

خوب دیگه اینا رو سرجمع می کنیم میشه: [تصویر]

min(x,y)=? yek=CN[PR[z,P32],z,P11]; yek2=CN[PR[CONST1,P32],z,P11]; tt=PR[P11,CN[yek,P33]]; t=CN[sum,tt,CN[tt,P22,P21]=SUM(tt(x,y),tt(y,x)); bagh=CN[PR[z,CN[yek2,P33]],z,P11]; nesf=PR[z,CN[sum,P33,CN[bagh,P32]]; min=CN[nesf,CN[tt,sum,tt]];:)