Рекуррентная форма

{a₀ > a₁ > … > a_n-1 , b }

если a₀ < b результат – элемента нет с массиве

если a_n-1 > b результат – элемента нет с массиве

{a₀ > a₁ > … > a_n-1 , a₀ >= b >= a_n-1 }

t=целая часть (n/2)

если a_t < b поиск среди элементов a₀ > … > a_t-1

иначе поиск среди элементов a_t > … > a_n-1

{a₀ > a₁ > … > a_n-1 , i, такое что b=a_i или b<>a_i при любом i}