نظریه رایانشپذیری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
LetsDoItBot (بحث | مشارکتها) تمیزکاری، + ویرایش با ماژول ابرابزار با استفاده از AWB |
Yamaha5Bot (بحث | مشارکتها) تمیزکاری با ویرایشگر خودکار فارسی |
||
خط ۱۳:
== نظریه پیچیدگی ==
[[نظریه پیچیدگی]]، نه تنها با این موضوع که آیا مسئلهٔ مطرح شده بر روی کامپیوتر قابل حل هست یا نه؛ بلکه با این موضوع که چقدر مسئله میتواند به صورت کارآمد حل شود، در ارتباط است. دو جنبهٔ مهم در این نظریه مطرح است: پیچیدگی زمان و پیچیدگی فضا. یعنی برای حل مسئله چند پله باید طی شود و به چقدر حافظه نیاز است.
برای تحلیل این که یک الگوریتم به چقدر زمان و حافظه نیاز دارد، دانشمندان کامپیوتر زمان و حافظهای را که برای حل یک مسئله مورد نیاز است، به عنوان یک تابع از سایز ورودی مسئله بیان میکنند. برای مثال پیدا کردن یک عدد خاص در یک لیست بلند از اعداد دشوارتر میشود هنگامی که تعداد اعداد افزایش مییابد.. اگر n عدد در لیست وجود داشته باشد که مرتب نشده باشند
== حساب لامبدا ==
خط ۲۵:
== توابع بازگشتی مو ==
یک محاسبه به صورت یک تابع بازگشتی مو است، اگر دنبالهٔ تعریف شدهٔ آن، متغیرهای ورودی و یک دنبالهٔ توابع بازگشتی همراه با ورودیها و خروجیهای آن مشخص باشند؛ بنابراین اگر در تعریف دنبالهٔ بازگشتی تابع <math>f(x)</math>، توابع <math>g(x)</math> و <math>h(x,y)</math> وجود داشته باشند، در نتیجه عباراتی به شکل g(۵)=۷
؛ الگوریتم مارکف
یک سیستم رشتهای با قابلیت دوباره نویسی، که از قوانین گرامری شکلی برای به کار انداختن رشتهها استفاده میکند.
|