Po seřazení pole jakým algoritmem/metodou hledání lze použít k rychlejšímu nalezení uživatele podle ID než lineárním vyhledáváním?