sebuah algoritma pencarian biner (atau pemilahan biner) adalah sebuah teknik untuk menemukan nilai tertentu dalam sebuah larik (array) linear, dengan menghilangkan setengah data pada setiap langkah, dipakai secara luas tetapi tidak secara ekslusif dalam ilmu komputer.
sebuah pencarian biner mencari nilai tengah (median), melakukan sebuah pembandingan untuk menentukan apakah nilai yang dicari ada sebelum atau sesudahnya, kemudian mencari setengah sisanya dengan cara yang sama.
sebuah pencarian biner adalah salah satu contoh dari algoritma divide and conquer (atau lebih khusus algoritma decrease and conquer) dan sebuah pencarian dikotomi (lebih rinci di algoritma pencarian).
penerapan terbanyak dari pencarian biner adalah untuk mencari sebuah nilai tertentu dalam sebuah list terurut.
jika dibayangkan, pencarian biner dapat dilihat sebagai sebuah permainan tebak-tebakan, kita menebak sebuah bilangan, atau nomor tempat, dari daftar (list) nilai.
pencarian diawali dengan memeriksa nilai yang ada pada posisi tengah list;
oleh karena nilai-nilainya terurut, kita mengetahui apakah nilai terletak sebelum atau sesudah
nilai yang di tengah tersebut, dan pencarian selanjutnya dilakukan terhadap setengah bagian
dengan cara yang sama.
berikut ini adalah pseudocode sederhana yang menentukan indeks (posisi)
dari nilai yang diberikan dalam sebuah list berurut, a berada antara left dan right :
function binarysearch(a, value, left, right)
if right < left
return not found
mid := floor((right-left)/2)+left
if a[mid] = value
if value < a[mid]
return binarysearch(a, value, left, mid-1)
return binarysearch(a, value, mid+1, right)
karena pemanggilan fungsi di atas adalah rekursif ekor, fungsi tersebut dapat dituliskan sebagai sebuah pengulangan (loop), hasilnya adalah algoritma in-place:
function binarysearch(a, value, left, right)
while left  right
mid := floor((right-left)/2)+left
if a[mid] = value
if value < a[mid]
right := mid-1
left := mid+1
return not found
pada kedua kasus, algoritma akan berakhir karena paa setiap pemanggilan rekursif atau pengulangan, jangkauan indeks right dikurang left akan selalu mengecil, dan akhirnya pasti akan menjadi negatif.
pencarian biner adalah sebuah algoritma logaritmik dan bekerja dalam waktu o(log n).
secara khusus, pengulangan yang diperlukan untuk menghasilkan jawaban.
hal ini dianggap lebih cepat dibandingkan sebuah pencarian linear.
pencarian biner dapat diimplementasikan dengan rekursi atau iterasi, seperti yang terlihat di atas, walaupun pada kebanyakan bahasa pemrograman akan lebih elegan bila dinyatakan secara rekursif.
sebuah contoh aksi pencarian biner adalah sebuah permainan tebak-tebakan dimana seorang pemain harus menebak sebuah bilangan bulat positif yang dipilih oleh pemain lain di antara 1 dan n, dengan memanfaatkan jawaban pertanyaan berupa ya dan tidak.
misalnya n adalah 16 dan angka yang dipilih adalah 11, permainan dapat berjalan sebagai berikut.
apakah angka lebih besar dari 8?
apakah angka lebih besar dari 12?
apakah angka lebih besar dari 10?
apakah angkat lebih besar dari 11?
sehingga, angka tersebut pasti 11.
pada setiap langkah, kita memilih sebuah angka yang tepat berada di tengah-tengah jangkauan nilai-nilai yang mungkin.
sebagai contoh, saat kita mengetahui angka tersebut lebih besar dari 8, tetapi lebih kecil atau sama dengan 12, kita mengetahui untuk memilih angka di tengah-tengah jangkauan [9, 12] (pada kasus ini 10 adalah yang optimal).
paling banyak ada pertanyaan yang dibutuhkan untuk mendapatkan angka tersebut, karena setiap pertanyaan menghilangkan setengah dari ruang pencarian.
sebagai catatan bahwa dibutuhkan kurang dari satu pertanyaan (iterasi) untuk algoritma umum, karena angka tersebut dibatasi oleh sebuah jangkauan tertentu.
walaupun angka yang kita tebak sangat banyak, pada kasus tidak ada batas atas n, kita masih dapat
menemukan angka paling banyak dalam langkah (dimana k adalah angka
yang dipilih (yang tidak diketahui)), caranya adalah dengan pertama-tama menemukan sebuah batas atas
sebaai contoh, jika angka tersebut adalah 11, kita dapat menggunakan
urutan tebakan sebagai berikut untuk menemukannya:
apakah angka lebih besar dari 1?
apakah angka lebih besar dari 2?
apakah angka lebih besar dari 4?
apakah angka lebih besar dari 8?
apakah angka lebih besar dari 16?
(tidak, n=16, lakukan seperti di atas)
(kita mengetahui angka tersebut lebih besar dari 8)
apakah angka lebih besar dari 12?
apakah angka lebih besar dari 10?
apakah angka lebih besar dari 11?
satu penerapan sederhan, pada sistem kendali revisi, dimungkinkan memanfaatkan sebuah pencarian biner untuk melihat pada revisi mana sebuah cuplikan isi ditambahkan ke sebuah file.
dengan mudah kita lakukan sebuah pencarian biner terhadap seluruh history versi; jika isi tidak ada dalam suatu versi, suatu saat kemudian pasti akan muncul, dan jika ada pasti muncul di versi tersebut atau versi berikutnya.
cara ini lebih cepat dibandingkan dengan memeriksa setiap perbedaan antar versi.
ada beberapa hal yang tidak terkait dengan komputer dimana sebuah pemilahan biner adalah cara tercepat untuk mengisolasi sebuah solusi yang dicari.
pada pemecahan sebuah permasalah dengan banyak kemungkinan penyebab, kita dapat mengubah setengah sangkaan, kita lihat apakah permasalahan masih terjadi dan tentukan bagian setengah berikutnya; ubah setengah sangkaan sisanya, dan seterusnya.
contoh nyata lainnya: pada satu revisi di antara 500 revisi terakhir, sebuah paragraf penting terhapus dari sebuah artikel wikipediapertanyaanya di revisi mana?
kita menghadapai paling banyak 500 opersi pembandingan, atau 9 pembandingan dengan pemilahan biner (2 pangkat 9, yaitu 512).
penerapan pada teori kompleksitas
seandainya kita tidak mengetahui sebuah jangkauan yang tetap tempat dari bilangan kberada, kita masih dapat menentukan nilainya dengan mengajukan pertanyaan ya/tidak dalam bentuk "apakah k lebih besar dari x?" untuk beberapa bilangan x.
sebagai konsekuensi sederhana dari cara ini, jika kita dapat menjawab pertanyaan "apakah nilai bilangan bulat k lebih besar dari nilai yang diberikan?" pada suatu waktu kemudian kita dapat menemukan nilai dari bilangan tersebut sama lamanya ditambah dengan faktor log k.
hal ini disebut sebuah reduksi, dan karena disebabkan reduksi ini maka kebanyakan teoris kompleksitas berkonsentrasi pada permasalahan keputusan, algoritma-algoritma yang mengasihlan jawaban sederhana berupa ya/tidak.
sebagai contoh, anggap kita dapat menjawab "apakah matriks n x n ini memiliki determinan lebih besar dari k?" dalam waktu o(n2).
kemudian, dengan memanfaatkan pencarian biner, kita dapat menemukan (batas atas) determinan tersebut dalam waktu o(n2log d), dimana d adalah determinan; sebagai catatan, d bukanlah ukuran dari masukan tetapi ukuran dari keluaran.
pencarian biner seragam
notasi o besar
nist dictionary of algorithms and data structures: binary search
tim bray. on the goodness of binary search. a short essay on the advantages of binary search and some java sample code.
sparknotes: binary search.
simplified overview of binary search.
mathworld: binary search
the art of computer programming, volume 3: sorting and searching, third edition.
section 6.2.1: searching an ordered table, pp.409426.