تابع آکرمان

در سال ۱۹۲۰ ویلهلم آکرمان و گابریل سودن، دو ریاضیدان دانشجوی داوید هیلبرت بر روی مبانی محاسبات مطالعه می‌کردند. سودن با تابع نه چندان معروفی که به نام خود ثبت کرد شناخته می‌شود. که این تابع از نوع بازگشتی چند ضابطه‌ای بوده.

مدتی بعد و به‌طور مستقل در سال ۱۹۲۸ آکرمان تابع بازگشتی خود که چندضابطه‌ای بود را ارائه داد.آکرمان ثابت کرد که ((A)) ((تابع آکرمان)) یک تابع بازگشتی است که یک رایانه یا پردازشگر با حافظه بی‌کران می‌تواند آن را محاسبه کند. اما یک تابع بازگشتی درجه اول مانند فاکتوریل یا تابع جمع نیست.

 تعریف 
تابع آکرمان برای دو عدد صحیح و نا منفی m و n به صورت زیر تعریف می‌شود.

 ویژگی‌ها 

ممکن است در نگاه اول نتوان به راحتی جواب تابع آکرمان را تشخیص داد. در هر مرحله دو رویداد ممکن است رخ دهد:
 m کاهش میابد.
 m ثابت می‌ماند و n تا وقتی که به صفر برسد کاهش میابد و از آنجا m یک واحد کاهش میابد.
پس به هر حال m پس از طی مراحل محدودی به صفر می‌رسد و تابع آکرمان به جواب نهایی خواهد رسید. البته در هر مرحله که m یک واحد کاهش میابد n شاید تا چندین واحد افزایش یابد.
برای مقادیر کوچک m مانند ۱ و ۲ و ۳ تابع آکرمان با افزایش n نسبتاً کند رشد می‌کند. اما برای mهای بزرگ تر یا مساوی ۴ سریع تر رشد می‌کند. به طوری که19728^A(۴٬۲)=۲*۱۰
و رشد تابع(۳٬۴)=A با هر مقیاس تعداد اندازه‌گیری غیرقابل اندازه‌گیری است. که بسیار بیشتر از تخمین تعداد کل اتم‌های جهان یعنی (۸۰^۱۰) است.داده ساختارها و اگوریتم‌ها نوشته دکتر محمد قدسی چاپ اول سال 1388 انتشارات فاطمی ص391

+ مقادیر  A(m, n) m\n ۰ ۱ ۲ ۳ ۴ n ۰ 1  2  3  4  5   ۱ 2  3  4  5  6   ۲ 3  5  7  9  11   ۳ 5  13  29  61  125   ۴ ۱۳  ۶۵۵۳۳ 265536 − ۳   

 مثال 

 بیان تک متغیره 
تابع (f(n)=A(m,n را تعریف می‌کنیم که این تابع با افزایش m nو n به صورت توام و یکسان تغییر می‌کنند و می‌توان آن را یک تابع بازگشتی تک پارامتری تصور کرد. که از هر تابع بازگشتی تک ضابطه مانند فاکتوریل یا جمع سریع تر رشد می‌کند.

 معکوس تابع آکرمان 
معکوس تابع آکرمان را به صورت زیر تعریف می‌کنیم:

 تابع قدر مطلق می‌باشد:

تابع معکوس آکرمان رشد بسیار کمی دارد. تابع معکوس آکرمان را به صورت تک متغیره نیز می‌توان تعریف کرد.

 پی‌نوشت‌ها 

 منابع 


رده:اعداد صحیح بزرگ
رده:توابع خاص
رده:حساب
رده:نظریه بازگشت
رده:نظریه محاسبات