در دوره آموزش ابتدایی با غرابل اراتستن آشنا می شویم. متاسفانه استفاده از این روش برای تعیین اول بودن یک عدد طبیعی مستلزم زمان محاسبه ای متناسب با خود عدد است. از طرفی، طول عدد ورودی به غربال اراتستن با تعداد ارقام دودویی آن متناسب است و لذا الگوریتمی در پیش داریم که زمان اجرای نمایی دارد. به این ترتیب آیا اصلا می توان درباره اول بودن اعداد خیلی بزرگ تصمیم گرفت؟ تعبیر یاضی این پرسش در چارچوب نظ...