څه موده وړاندې زما او زما د یوه ښه ملګري تر منځ خبرې وشوې چې لاندې جملې یې اوریدلې وې:
- د پروګرام کونکو شمیر به په دوامداره توګه وده وکړي - ځکه چې د کوډ اندازه مخ په ډیریدو ده، او ډیر او ډیری پراختیا کونکي په دوامداره توګه د دې ملاتړ ته اړتیا لري.
- مګر کوډ زوړ کیږي، ځینې یې نور ملاتړ نه کوي. دا حتی ممکنه ده چې یو ډول توازن شتون ولري.
یو څو ورځې وروسته د دوی په یادولو سره ، ما حیران شو چې ایا د کوډ ساتل ، د وخت په تیریدو سره ډیرو سرچینو ته اړتیا لري ، په نهایت کې د نوي فعالیت پراختیا فلج کولی شي ، یا دا به د پروګرام کونکو شمیر کې نامحدود زیاتوالي ته اړتیا ولري؟ د ریاضیاتو تحلیل او توپیري معادلو په کیفیت سره د پراختیا په اړه د مالتړ مقدار انحصار ارزولو او پوښتنو ته د ځوابونو موندلو کې مرسته وکړه.
یوه پوښتنه. ایا د ټولو پرمختیایي سرچینو "خوراک" ملاتړ کولی شي؟
د پروګرام کونکو ټیم په پام کې ونیسئ په کوم کې چې د ګډون کوونکو شمیر ثابت وي. د دوی د کاري وخت شریکول () د نوي کوډ په جوړولو کې مصرف کیږي، او د وخت پاتې برخه ملاتړ ته ځي. د ماډل په انګیرنو کې، موږ داسې انګیرو چې د فعالیت لومړی ډول موخه د کوډ حجم زیاتول دي، او دویمه موخه یې د دې بدلول دي (د غلطیو سمول) او د کوډ په حجم باندې د پام وړ اغیزه نلري.
راځئ چې اشاره وکړو د کوډ ټوله اندازه چې تر هغه وخت پورې لیکل شوې . فرض کړئ د کوډ لیکلو سرعت متناسب دی ، موږ ترلاسه کوو:
دا طبیعي ده چې فرض کړئ چې د کوډ ساتلو لپاره د کار لګښتونه د هغې حجم سره متناسب دي:
او یا
د کوم ځای څخه
موږ یو توپیري مساوات ترلاسه کوو چې په اسانۍ سره مدغم کیدی شي. که د وخت په لومړیو شیبو کې د کوډ مقدار صفر وي نو بیا
په فعالیت او . او دا پدې معنی ده چې د وخت په تیریدو سره د نوي فعالیت وده صفر ته وده او د ملاتړ لپاره د ټولو سرچینو لیږد کې تدریجي کمښت.
که څه هم، که د وخت په اوږدو کې کوډ متروک شي او ملاتړ یې بند شي، بیا د کوډ مقدار چې په یو وخت کې ملاتړ ته اړتیا لري لا دمخه برابر دی بیا
а د متقابل استدلال سره د توپیر مساوي حل دی [1]:
د داسې معادلې حل په ځانګړي ډول د ارزښتونو په ټاکلو سره ټاکل کیږي "د وخت له پیل څخه مخکې" . ځکه چې کوډ لا تر اوسه د وخت په لومړیو شیبو کې نه و لیکل شوی، زموږ په قضیه کې په .
راځئ چې یو څو مثالونه وګورو. موږ به وخت په کلونو کې اندازه کړو، او د کوډ اندازه به په زرګونو لینونو کې. بیا د دې لپاره د لسیزو د ترتیب ارزښتونه د منلو وړ دي، موږ به 50 او 100 واخلو. یعني، په یو کال کې پراختیایی ټیم به په ترتیب سره د کوډ پنځوس او سل زره کرښې لیکي. لپاره د منلو وړ ارزښتونه کیدی شي: , , . دا پدې مانا ده چې پراختیایی ټیم کولی شي د هغه کوډ مقدار مالتړ وکړي چې دا په کال کې لیکي، ایا دا څلورمه، نیمه، یا بشپړ وخت وي. د کوډ د اوسط ژوند په توګه، موږ به لاندې ارزښتونه تنظیم کړو: 1، 2 او 4 کاله. په عددي توګه د مساواتو حل کول، موږ د فعالیت د چلند مثالونه ترلاسه کوو د ځینې پیرامیټرو ترکیبونو لپاره .
د فعالیت چلند لکه څنګه چې کوډ عمر لري، دا بدل شوی. فعالیت نور یوازینی نه دی، مګر د وخت په تیریدو سره بدلونونه "آرام" کیږي، او یو تمایل شتون لري. یو څه دوامداره ارزښت ته. ګرافونه ښیې: ډیر , и ، دا دی، د کوډ عمر ورو، د نوي کوډ پرمختګ ګړندی او د کوډ کیفیت ټیټ دی، د نوي فعالیت پراختیا لپاره به لږې سرچینې پاتې شي. لږ ترلږه یو مثال درکوم په کوم کې صفر ته نږدې "سنګل شوی" مګر دا د خورا ضعیف پرمختیا کیفیت شاخصونو او کوډونو انتخاب ته اړتیا لري چې د اوږدې مودې لپاره عمر نلري. حتی په ټیټ کیڼ ګراف کې، د نوي فعالیت لپاره د پام وړ سرچینې پاتې دي. له همدې امله، د لومړۍ پوښتنې سم ځواب دا دی: په نظري توګه - هو، دا ممکنه ده؛ په عملي توګه - په سختۍ سره.
هغه پوښتنې چې ځواب نه شي موندلی:
- ایا دا رښتیا ده په یو څه حد پورې اړه لري دټولو لپاره ؟ که د ټولو لپاره نه وي، نو د کومو لپاره؟
- که یو حد شتون ولري، د هغې ارزښت څنګه پورې اړه لري ?
دویمه پوښتنه. ایا د کوډ ساتنه کولی شي د پروګرام کونکو په شمیر کې د نامحدود ودې لامل شي؟
راځئ چې اشاره وکړو د پروګرامرانو شمیر چې د نوي کوډ په جوړولو کې ښکیل دي. لکه څنګه چې پورته، - د وخت په اوږدو کې د لیکل شوي کوډ مقدار . بیا
د کوډ ملاتړ بوخت وساتئ پروګرامونکي د عمر کوډ په پام کې نیولو سره،
د کوم ځای څخه
که بیا وروسته
په دې توګه، د دویمې پوښتنې ځواب منفي دی: که چیرې د نوي کوډ جوړونکو شمیر محدود وي، نو د زوړ کوډ په شرایطو کې، ملاتړ نشي کولی د پروګرام کونکو په شمیر کې د نامحدود زیاتوالي لامل شي.
پایلې
هغه ماډلونه چې په پام کې نیول شوي د "نرم" ریاضيیک ماډلونه دي [2]. دوی خورا ساده دي. په هرصورت، د پیرامیټر ارزښتونو باندې د سمولو پایلو انحصار د هغه څه سره مطابقت لري چې د ریښتیني سیسټمونو لپاره تمه کیږي، دا د ماډلونو کافي او د لوړ کیفیت اټکلونو ترلاسه کولو لپاره کافي دقت په ګټه خبرې کوي.
سرچینې
1. Elsgolts L.E., Norkin S.B. د انحراف استدلال سره د توپیري مساواتو تیورۍ پیژندنه. مسکو. د خپرونو کور "ساینس". ۱۹۷۱.
2. آرنولډ V.I. "سخت" او "نرم" ریاضيیک ماډلونه. مسکو. د خپرونو کور MCNMO. ۲۰۰۴.
سرچینه: www.habr.com