از منظور f(x) باقی مانده عدد x در تقسیم بر ۲ است. برای مثال f(15)=1. فرض کنید دو عدد صحیح a و b را داریم. الگوریتم زیر را اجرا می کنیم:
به چند طریق می توانیم اعداد آغازین الگوریتم (a, b) را با شرط 1≤a<b≤20 انتخاب کنیم، طوری که الگوریتم پس از تعدادی مرحله با پایان برسد؟
راهنمایی
با حالتبندی روی زوج یا فرد بودن عدد بزرگتر می توانید بررسی کنید که اگر a بزرگتر از b شود، دو عدد هرگز برابر نخواهند شد و الگوریتم به پایان نمیرسد.