Oi lá abaixo é o pseudo código para a minha implementação de pesquisa binária:

<code>Input: (A[0...n-1], K)
begin
   l ← 0; r ← n-1
   while l ≤ r do
      m ← floor((l+r)/2)
      if K > A[m] then l ← m+1
      else if K < A[m] then r ← m-1 else return m
      end if 
   end while
   return -1 // key not found
end
</code>

Eu estava apenas querendo saber como calcular o número de comparações que essa implementação faria no pior caso para uma matriz ordenada de tamanho n?

O número de comparações = lg n + 1? ou algo diferente?