Exhaustive search adalah

n  teknik pencarian solusi secara solusi brute force untuk masalah yang melibatkan pencarian elemen dengan sifat khusus;

n  biasanya di antara objek-objek kombinatorik seperti permutasi, kombinasi, atau himpunan bagian dari sebuah himpunan.

Langkah-langkah metode exhaustive search:

  1. Enumerasi (list) setiap solusi yang mungkin dengan cara yang sistematis.
  2. Evaluasi setiap kemungkinan solusi satu per satu, mungkin saja beberapa kemungkinan solusi yang tidak layak dikeluarkan, dan simpan solusi terbaik yang ditemukan sampai sejauh ini (the best solusi found so far).
  1. Bila pencarian berakhir, umumkan solusi terbaik (the winner)

Meskipun algoritma exhaustive secara teoritis menghasilkan solusi, namun waktu atau sumberdaya yang dibutuhkan dalam pencarian solusinya sangat besar.

CONTOH 1:

1.  Travelling Salesperson Problem  (TSP)

n  Persoalan: Diberikan n buah kota serta diketahui jarak antara setiap kota satu sama lain. Temukan perjalanan (tour) terpendek yang melalui setiap kota lainnya hanya sekali dan kembali lagi ke kota asal keberangkatan.

n  Persoalan TSP tidak lain adalah menemukan sirkuit Hamilton dengan bobot minimum.

Algoritma exhaustive search untuk persoalan TSP:

  1. Enumerasikan (list) semua sirkuit Hamilton dari graf lengkap dengan n buah simpul.
  1. Hitung (evaluasi) bobot setiap sirkuit Hamilton yang ditemukan pada langkah 1.
  1. Pilih sirkuit Hamilton yang mempunyai bobot terkecil.

TSP dengan n = 4, simpul awal = a

 

 

 

 

 

Rute perjalananan terpendek adalah

a®c®b®d®a

a®d®b®c®a

dengan bobot = 32.

n  Untuk n buah simpul semua rute perjalanan yang mungkin dibangkitkan dengan permutasi dari n – 1 buah simpul.

n  Permutasi dari n – 1 buah simpul adalah

(n – 1)!

n  Pada contoh di atas, untuk n = 6 akan terdapat

(4 – 1)! = 3! = 6

buah rute perjalanan.

n  Jika diselesaikan dengan metode exhaustive search, maka kita harus mengenumerasi sebanyak (n – 1)! buah sirkuit  Hamilton, menghitung setiap bobotnya, dan memilih sirkuit Hamilton dengan bobot terkecil.

n  Kompleksitas waktu algoritma exhaustive search untuk persoalan TSP sebanding dengan (n – 1)! dikali dengan waktu untuk menghitung bobot setiap sirkuit Hamilton.

n  Menghitung bobot setiap sirkuit Hamilton membutuhkan waktu O(n), sehingga kompleksitas waktu algoritma exhaustive search untuk persoalan TSP adalah O(n × n!).

Perbaikan: setengah dari rute perjalanan adalah hasil pencerminan dari setengah rute yang lain, yakni dengan mengubah arah rute perjalanan

1 dan 6

2 dan 4

3 dan 5

n  maka dapat dihilangkan setengah dari jumlah permutasi (dari 6 menjadi 3).

n  Ketiga buah sirkuit Hamilton yang dihasilkan adalah seperti gambar di bawah ini:

 

 

 

n  Dengan demikian, untuk graf dengan n buah simpul, kita hanya perlu mengevaluasi sirkuit Hamilton sebanyak

(n – 1)!/2 buah.

n  Untuk ukuran  masukan yang besar, algoritma exhaustive search menjadi sangat tidak mangkus.

n  Pada persoalan TSP misalnya, untuk jumlah simpul n = 20 akan terdapat (19!)/2 = 6 ´ 1016 sirkuit Hamilton yang harus dievaluasi satu per satu.

n  Sayangnya, untuk persoalan TSP tidak ada algoritma lain yang lebih baik daripada algoritma exhaustive search.

n  Jika anda dapat menemukan algoritma yang mangkus untuk TSP, anda akan menjadi terkenal dan kaya! Algoritma yang mangkus selalu mempunyai kompleksitas waktu dalam orde polinomial.

CONTOH 2:

  1/0 Knapsack

Persoalan: Diberikan n buah objek dan sebuah knapsack dengan kapasitas bobot K. Setiap objek  memiliki properti bobot (weigth) wi dan keuntungan(profit) pi.

Bagaimana memilih memilih objek-objek yang dimasukkan ke dalam knapsack sedemikian sehingga memaksimumkan keuntungan. Total bobot objek yang dimasukkan ke dalam knapsack tidak boleh melebihi kapasitas knapsack.

n  Persoalan 0/1 Knapsack dapat kita pandang sebagai mencari himpunan bagian (subset) dari keseluruhan objek yang muat ke dalam knapsack dan memberikan total keuntungan terbesar.

n  Solusi persoalan dinyatakan sebagai vektor n-tupel:

                    X = {x1, x2, …, xn}

                                xi = 1 jika objek ke-i dimasukkan ke

dalam knapsack,

  xi = 0 jika objek ke-i tidak

dimasukkan.

 

Formulasi secara matematis:

 

 

 

 

 

 

n  Algoritma exhaustive search untuk persoalan 0/1 Knapsack:

1.  Enumerasikan (list) semua himpunan

bagian dari himpunan dengan n objek.

2. Hitung (evaluasi) total keuntungan dari

setiap himpunan bagian dari langkah 1.

3. Pilih himpunan bagian yang memberikan

total keuntungan terbesar.

Contoh: n = 4.

w1 = 2;    p1 = 20

w2 = 5;    p2 = 30

w3 = 10;  p3 = 50

w4 = 5;    p4 = 10

Kapasitas knapsack K = 16

Langkah-langkah pencarian solusi 0/1 Knapsack secara exhaustive search dirangkum dalam tabel di bawah ini:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  •    Himpunan bagian objek yang memberikan keuntungan maksimum

adalah {2, 3} dengan total keuntungan adalah 80.

  •    Solusi: X = {0, 1, 1, 0}

n  Berapa banyak himpunan bagian dari sebuah himpunan dengan n elemen? Jawabnya adalah 2n.

Waktu untuk menghitung total bobot objek yang dipilih = O(n)

Sehingga, Kompleksitas algoritma exhaustive search untuk persoalan 0/1 Knapsack = O(n. 2n).

n  TSP dan 0/1 Knapsack, adalah contoh persoalan eksponensial. Keduanya digolongkan sebagai persoalan NP (Non-deterministic Polynomial), karena tidak mungkin dapat ditemukan algoritma polinomial untuk memecahkannya.

CONTOH 3:

n  Di dalam bidang kriptografi, exhaustive search merupakan  teknik yang digunakan penyerang untuk menemukan kunci enkripsi dengan cara mencoba semua kemungkinan kunci.

Serangan semacam ini dikenal dengan nama exhaustive key search attack atau brute force attack.

n  Contoh:  Panjang kunci enkripsi pada algoritma DES (Data Encryption Standard) = 64 bit.

Dari 64 bit tersebut, hanya 56 bit yang digunakan (8 bit paritas lainnya tidak dipakai).

n  Jumlah kombinasi kunci yang harus dievaluasi oleh pihak lawan adalah sebanyak

(2)(2)(2)(2)(2) … (2)(2) = 256  =

7.205.759.403.7927.936

n  Jika untuk percobaan dengan satu kunci memerlukan waktu 1 detik, maka untuk jumlah kunci sebanyak itu diperlukan waktu komputasi kurang lebih selama  228.4931.317 tahun!

n  Meskipun algoritma exhaustive search tidak mangkus, namun –sebagaimana ciri algoritma brute force pada umumnya– nilai plusnya terletak pada keberhasilannya yang selalu menemukan solusi (jika diberikan waktu yang cukup).

Mempercepat Algoritma Exhaustive Search

  • Agoritma exhaustive search dapat diperbaiki kinerjanya sehingga tidak perlu melakukan pencarian terhadap semua kemungkinan solusi.
  • Salah satu teknik yang digunakan untuk mempercepat pencarian solusi adalah teknik heuristik (heuristic).
  • Teknik heuristik digunakan untuk mengeliminasi beberapa kemungkinan solusi tanpa harus mengeksplorasinya secara penuh.  Selain itu, teknik heuristik juga membantu memutuskan kemungkinan solusi mana yang pertama kali perlu dievaluasi.
  • Heuristik adalah seni dan ilmu menemukan (art and science of discovery). Kata heuristik diturunkan dari Bahasa Yunani yaitu “eureka” yang berarti “menemukan” (to find atau to discover).
  • Matematikawan Yunani yang bernama Archimedes yang melontarkan kata “heureka“, dari sinilah kita menemukan kata “eureka” yang berarti “I have found it.”
  • Heuristik berbeda dari algoritma karena heuristik berlaku sebagai panduan (guideline), sedangkan algoritma adalah urutan langkah-langkah penyelesaian.
  • Heuristik mungkin tidak selalu memberikan hasil yang diinginkan, tetapi secara ekstrim ia bernilai pada pemecahan masalah.
  • Heuristik yang bagus dapat secara dramatis mengurangi waktu yang dibutuhkan untuk memecahkan masalah dengan cara mengeliminir kebutuhan untuk mempertimbangkan kemungkinan solusi yang tidak perlu.

 

  • Dalam bidang ilmu komputer, heuristik adalah teknik yang dirancang untuk memecahkan masalah dengan mengabaikan apakah solusi yang dihasilkan dapat dibuktikan (secara matematis) benar, tapi biasanya menghasilkan solusi yang bagus.

 

  • Heuristik tidak menjamin selalu dapat memecahkan masalah, tetapi seringkali memecahkan masalah dengan cukup baik untuk kebanyakan masalah, dan seringkali pula lebih cepat daripada pencarian solusi secara lengkap.  Sudah sejak lama heuristik digunakan secara intensif di dalam bidang intelijensia buatan (artificial intelligence).