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