حدس کنوث (Knuth’s Conjecture)

دانشمند معروف علوم کامپیوتر آمریکایی، دونالد کنوث (Donald Knuth)، حدسی را مطرح کرده است که بر اساس آن می‌توان با عدد 3 شروع کرد و با به‌کارگیری ترکیبی از توابع فاکتوریل، ریشه‌ی دوم و جزء صحیح، هر عدد طبیعی دلخواه را به دست آورد. این توابع را به صورت توابع تودرتو با ورودی 3 به کار می‌بریم. هر کدام از این توابع را می‌توان چند بار به کار برد. خروجی نهایی یک عدد صحیح است.

الگوریتم

الگوریتم توصیف دقیق، گام‌به‌گام و موشکافانه‌ی روش حل یک مسئله است که به زبانی ساده و قابل‌فهم بیان می‌گردد. به عبارت دقیق‌تر، الگوریتم مجموعه‌ای باپایان از رهنمودهاست که مشخص می‌سازد چه گام‌هایی باید برداشته شود تا پاسخ یک مسئله را بیابیم. 

حل مسئله

انسان در زندگی روزمره‌ی خود با مسئله‌های گوناگونی سر و کار دارد و تلاش‌های او برای حل مسئله به پشرفت و ترقی انجامیده است. مسئله می‌تواند ماهیتی ریاضی یا غیرریاضی داشته باشد. برخی از مسئله‌ها ساده‌اند و پیش‌پاافتاده و به راحتی می‌توان آنها را حل کرد؛ اما برخی دیگر پیچیده و غامض هستند و حل آنها ممکن است زمان‌بر باشد.