آرایهی $a$ با $n$ عنصر به صورت صعودی مرتب شده است. میخواهیم ببینیم که آیا عنصر $x$ در آرایهي $a$ وجود دارد یا خیر. برای این کار الگوریتم زیر را پیشنهاد میکنیم:
آیا این الگوریتم برای تمام مقادیر $x$ درست کار میکند؟
پاسخ
به عنوان مثال اگر اعداد ما ۴٬۱۰٬۲۰ و ۲ بوده و $x=20$ باشد به سادگی قابل بررسی است که این ااگوریتم در خروجی خود عدد $x=20$ را عضوی از آرایهی $a$ معرفی نخواهد کرد.