تابع آکرمان - ویکی‌پدیا، دانشنامهٔ آزاد

ویلهلم آکرمان (1896-1942)، ریاضی‌دان آلمانی

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

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

تعریف

[ویرایش]

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

ویژگی‌ها

[ویرایش]

ممکن است در نگاه اول نتوان به راحتی جواب تابع آکرمان را تشخیص داد. در هر مرحله دو رویداد ممکن است رخ دهد:

  1. m کاهش میابد.
  2. m ثابت می‌ماند و n تا وقتی که به صفر برسد کاهش میابد و از آنجا m یک واحد کاهش میابد.

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

مقادیر A(mn)
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 به صورت توام و یکسان تغییر می‌کنند و می‌توان آن را یک تابع بازگشتی تک پارامتری تصور کرد. که از هر تابع بازگشتی تک ضابطه مانند فاکتوریل یا جمع سریع تر رشد می‌کند.

معکوس تابع آکرمان

[ویرایش]

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

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

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

پی‌نوشت‌ها

[ویرایش]
  1. داده ساختارها و اگوریتم‌ها نوشته دکتر محمد قدسی چاپ اول سال 1388 انتشارات فاطمی ص391

منابع

[ویرایش]