נתון מערך ממוין בגודל <math>\ n</math>, ויש למצוא את מקומו של איבר מסוים במערך. במעבר סדרתי על איברי המערך נמצא את מיקום האיבר ב[[סיבוכיות]] <math>\ O(n)</math>. חיפוש בינארי מאפשר למצוא את מיקום האיבר בסיבוכיות של <math>\ O(log(n))</math>, כלומר ביעילות גבוהה במידה ניכרת.
