Algoritma pencarian biner: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
EmausBot (bicara | kontrib)
k Bot: Migrasi 31 pranala interwiki, karena telah disediakan oleh Wikidata pada item d:Q243754
Bramar2 (bicara | kontrib)
Penambahan link divide and conquer (ID)
Tag: Suntingan perangkat seluler Suntingan peramban seluler Tugas pengguna baru Disarankan: tambahkan pranala
 
(17 revisi perantara oleh 14 pengguna tidak ditampilkan)
Baris 1:
Sebuah '''algoritmaalgoritme 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 [[algoritmaBagi dan atasi|algoritme divide and conquer]] (atau lebih khusus algoritmaalgoritme decrease and conquer) dan sebuah [[pencarian dikotomi]] (lebih rinci di [[AlgoritmaAlgoritme pencarian]]).
 
== AlgoritmaAlgoritme ==
Penerapan terbanyak dari pencarian biner adalah untuk mencari sebuah nilai tertentu dalam sebuah [[AlgoritmaAlgoritme pengurutan|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
'''return''' mid
Baris 21:
'''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 algoritmaalgoritme [[algoritmaalgoritme in-place|in-place]]:
 
'''function''' binarySearch(a, value, left, right)
'''while''' left ≤ right
mid := floor((right-left)/2)+left
'''if''' a[mid] = value
'''return''' mid
'''if''' value < a[mid]
right := mid-1
'''else
left := mid+1
'''return''' ''not found''
 
Pada kedua kasus, algoritmaalgoritme akan berakhir karena paa setiap pemanggilan rekursif atau pengulangan, jangkauan indeks <code>right</code> dikurang <code>left</code> akan selalu mengecil, dan akhirnya pasti akan menjadi negatif.
 
Pencarian biner adalah sebuah [[algoritmaalgoritme logaritmik]] dan bekerja dalam waktu [[notasi O besar|O]](log n). Secara khusus, <math>1 + log_2N</math> 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.
 
== Contoh ==
Sebuah contoh aksi pencarian biner adalah sebuah permainan tebak-tebakan dimana seorang pemain harus menebak sebuah [[Bilangan asli|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? (Ya)
* Apakah angka lebih besar dari 12? (Tidak)
* Apakah angka lebih besar dari 10? (Ya)
* Apakah angkatangka lebih besar dari 11? (Tidak)
 
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 <math>\lceil\log_2 N\rceil</math> 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 algoritmaalgoritme 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
Baris 68:
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 Wikipedia—pertanyaanya di revisi mana? Kita menghadapai paling banyak 500 opersi pembandingan, atau 9 pembandingan dengan pemilahan biner (2 pangkat 9, yaitu 512).
Baris 75:
 
== Penerapan pada [[teori kompleksitas komputasi|teori kompleksitas]] ==
Seandainya kita tidak mengetahui sebuah jangkauan yang tetap tempat dari bilangan ''k''berada, kita masih dapat menentukan nilainya dengan mengajukan <math>2\lceil\log_2k\rceil</math> 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 (kompleksitas)|reduksi]]'', dan karena disebabkan reduksi ini maka kebanyakan teoris kompleksitas berkonsentrasi pada [[permasalahan keputusan]], algoritmaalgoritme-algoritmaalgoritme 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(''n''<sup>2</sup>). Kemudian, dengan memanfaatkan pencarian biner, kita dapat menemukan (batas atas) determinan tersebut dalam waktu O(''n''<sup>2</sup>log ''d''), dimana ''d'' adalah determinan; sebagai catatan, d bukanlah ukuran dari masukan tetapi ukuran dari keluaran.
Baris 92:
* [[Donald Knuth]]. ''The Art of Computer Programming'', Volume 3: ''Sorting and Searching'', Third Edition. Addison-Wesley, 1997. ISBN 0-201-89685-0. Section 6.2.1: Searching an Ordered Table, pp.409–426.
 
[[Kategori:AlgoritmaAlgoritme]]
[[Kategori:AlgoritmaAlgoritme Pencarian]]