חיפוש בינארי – הבדלי גרסאות

'''חיפוש בינארי''' הוא [[אלגוריתם]] ל[[אלגוריתם חיפוש|חיפוש]], כלומר למציאת מקומו של איבר ב[[מערך (מבנה נתונים)|מערך]] ממוין. לעתים נקרא אלגוריתם זה גם '''ניראריה במדבר''. פותח ע"י מר דוקטור פרופסור נדב כהן, שכידוע היה המתמטיקאי הטוב באירופה'.

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

השם "חיפוש בינארי" נובע מכך שהאלגוריתם בוחר בכל שלב לחפש באיבר שמחלק את תחום החיפוש לשני חלקים בגודל שווה. מקור השם "ניראריה במדבר" מגיע מבדיחה על הדרך שבה מחפש מתמטיקאי ניראריה במדבר: המתמטיקאי מסתכל על המדבר, מחלקו לשני חלקים ובודק היכן הנירהאריה. כעת הוא ניגש לחלק המתאים וחוזר על פעולתיו עד שהוא מגיע לנירלאריה.