2.6 Kecerdasan Exhaustive Search
2.6.1 Backtracking Backtracking
merupakan perbaikan dari algoritma brute-force exhaustive search. Pada exhaustive search, semua kemungkinan solusi dieksplorasi satu per satu.
Backtracking , hanya pilihan yang mengarah ke solusi yang dieksplorasi, pilihan yang
tidak mengarah ke solusi tidak dipertimbangkan lagi , Memangkas pruning simpul- simpul yang tidak mengarah ke solusi. Backtracking didasarkan pada pengamatan
bahwa hal tersebut sering dapat menolak solusi dengan melihat hanya sebagian kecil dari itu. Misalnya, jika contoh SAT berisi klausa x1
∨x2, kemudian semua tugas dengan x1=x=0 yaitu,false dapat langsung dihilangkan.Untuk menempatkan dengan
berbeda, dengan cepat memeriksa dan membuat tugas parsial ini, Berikut adalah bagaimana hal itu dilakukan. Mempertimbangkan
φ formula Booleanw,x,y,z specified dengan set persyaratan w∨x∨y∨z, w∨x, x∨y, y∨z, z∨w, w∨z.
Dasgupta, et al. 2006.
Lebih secara abstraknya, algoritma backtracking yang memerlukan tes yang terlihat di subproblem dan cepat menyatakan salah satu dari tiga hasil:
a. kegagalan: subproblem telah tidak
b. ada solusi.
c. sukses: solusi untuk subproblem ditemukan. ketidakpastian.
2.6.2 Branch-and-bound Branch-and-bound
memiliki defenisi yang sama dengan backtracking, namunbranch- and-bound
ruang solusi dibangun dengan skema Breadth-First Search BFS. Prinsip yang sama dapat generalized dari pencarian masalah seperti SAT untuk optimasi
masalah. Untuk kepastian, katakanlah memiliki masalah minimalisasi; maksimalisasi akan mengikuti pola yang sama. Pada kenyataannya, akan menjadi
fixed seluruh algoritma. Sub problem sesuai adalah untuk studi penyelesaian terbaik dari tour, yaitu
pelengkap jalan termurah dengan menengah node V−S.
Pemberitahuan bahwa masalah awal adalah bentuk [,{},] untuk setiap ∈V Oleh karena
itu, biaya adalah sedikitnya jumlah dari berikut: a.
tepiringandariuntukV−S. b.
ringan tepi dari b ke V − S. c.
minimal mencakup pohon V − S. Dasgupta, et al. 2006.
Universitas Sumatera Utara
2.7 Mempercepat Metode Exhaustive Search
Kategori