Mencari jalan keluar di dalam labirin (Maze Problem).

Transkripsi

1 Backtracking

2 Definisi Runut-balik (backtracking) adalah algoritma yang berbasis pada DFS untuk mencari solusi persoalan secara lebih efisien. Runut-balik, yang merupakan perbaikan dari algoritma brute-force, secara sistematis mencari solusi persoalan di antara semua kemungkinan solusi yang ada.

3 Dengan metode runut-balik, kita tidak perlu memeriksa semua kemungkinan solusi yang ada. Hanya pencarian yang mengarah ke solusi saja yang selalu dipertimbangkan. Akibatnya, waktu pencarian dapat dihemat. Saat ini algoritma runut-balik banyak diterapkan untuk program games (seperti permainan tictac-toe, menemukan jalan keluar dalam sebuah labirin, catur, dll) dan masalah-masalah pada bidang kecerdasan buatan (artificial intelligence).

4 Mencari jalan keluar di dalam labirin (Maze Problem).

5 Penyelesaian dengan bactracking: Bagi lintasan menjadi sederetan langkah. Sebuah langkah terdiri dari pergerakan satu unit sel pada arah tertentu. Arah yang mungkin: ke atas (up), ke bawah (down), ke kiri (left), ke kanan (right).

6 Garis besar algoritma runut-baliknya: while belum sampai pada tujuan do if terdapat arah yang benar sedemikian sehingga kita belum pernah berpindah ke sel pada arah tersebut then pindah satu langkah ke arah tersebut else backtrack langkah sampai terdapat arah seperti yang disebutkan di atas endif endwhile

7 Bagaimana mengetahui langkah yang mana yang perlu dijejaki kembali? Ada dua solusi untuk masalah ini: pertama, simpan semua langkah yang pernah dilakukan, atau kedua, gunakan rekursi (yang secara implisit menyimpan semua langkah). Rekursi adalah solusi yang lebih mudah.

8 function SolveMaze(input M : labirin) boolean { true jika solusi ditemukan, false jika tidak } Deklarasi arah : integer { up = 1, down, 2, left = 3, right = 4 } Algoritma: if solusi sudah ditemukan then return true else for tiap arah gerakan (up, down, left, right) do move(m, arah) { pindah satu langkah (satu sel) sesuai arah tersebut } if SolveMaze(M) then return true else unmove(m, arah) { backtrack } endif endfor return false endif { semua arah sudah dicoba, tetapi tetap buntu, maka kesimpulannya: tidak ada solusi }

9 in out Contoh runut-balik pada sebuah labirin. Runut-balik diperlihatkan dengan garis putus-putus.

10

11 Constraint satisfaction problems What is a CSP? Finite set of variables V 1, V 2,, V n Finite set of variables C 1, C 2,, C m Nonemtpy domain of possible values for each variable D V1, D V2, D Vn Each constraint C i limits the values that variables can take, e.g., V 1 V 2 A state is defined as an assignment of values to some or all variables. Consistent assignment: assignment does not not violate the constraints.

12 Constraint satisfaction problems An assignment is complete when every value is mentioned. A solution to a CSP is a complete assignment that satisfies all constraints. Some CSPs require a solution that maximizes an objective function. Applications: Scheduling the time of observations on the Hubble Space Telescope, Floor planning, Map coloring, Cryptography

13 Constraint satisfaction problems An assignment is complete when every value is mentioned. A solution to a CSP is a complete assignment that satisfies all constraints. Some CSPs require a solution that maximizes an objective function. Applications: Scheduling the time of observations on the Hubble Space Telescope, Floor planning, Map coloring, Cryptography

14 CSP example: map coloring Variables: WA, NT, Q, NSW, V, SA, T Domains: D i ={red,green,blue} Constraints:adjacent regions must have different colors. E.g. WA NT (if the language allows this) E.g. (WA,NT) {(red,green),(red,blue),(green,red), }

15 CSP example: map coloring Solutions are assignments satisfying all constraints, e.g. {WA=red,NT=green,Q=red,NSW=green,V=red,SA=blue,T=green}

16 Backtracking search Depth-first search Chooses values for one variable at a time and backtracks when a variable has no legal values left to assign. Uninformed algorithm No good general performance (see table p. 143)

17 Backtracking example

18 Backtracking example

19 Backtracking example

20 Backtracking example

21 Improving backtracking efficiency Previous improvements introduce heuristics General-purpose methods can give huge gains in speed: Which variable should be assigned next? In what order should its values be tried? Can we detect inevitable failure early? Can we take advantage of problem structure?

22 Least constraining value Least constraining value heuristic Rule: given a variable choose the least constraining value i.e. the one that leaves the maximum flexibility for subsequent variable assignments.

23 Forward checking Can we detect inevitable failure early? And avoid it later? Forward checking idea: keep track of remaining legal values for unassigned variables. Terminate search when any variable has no legal values.

24 Forward checking Assign {WA=red} Effects on other variables connected by constraints with WA NT can no longer be red SA can no longer be red

25 Forward checking Assign {Q=green} Effects on other variables connected by constraints with WA NT can no longer be green NSW can no longer be green SA can no longer be green MRV heuristic will automatically select NT and SA next, why?

26 Forward checking If V is assigned blue Effects on other variables connected by constraints with WA SA is empty NSW can no longer be blue FC has detected that partial assignment is inconsistent with the constraints and backtracking can occur.

27 Constraint propagation Solving CSPs with combination of heuristics plus forward checking is more efficient than either approach alone. FC checking propagates information from assigned to unassigned variables but does not provide detection for all failures. NT and SA cannot be blue! Constraint propagation repeatedly enforces constraints locally

28 Arc consistency X Y is consistent iff for every value x of X there is some allowed y SA NSW is consistent iff SA=blue and NSW=red

29 Arc consistency X Y is consistent iff for every value x of X there is some allowed y NSW SA is consistent iff NSW=red and SA=blue NSW=blue and SA=??? Arc can be made consistent by removing blue from NSW

30 Arc consistency Arc can be made consistent by removing blue from NSW RECHECK neighbours!! Remove red from V

31 Arc consistency Arc can be made consistent by removing blue from NSW RECHECK neighbours!! Remove red from V Arc consistency detects failure earlier than FC Can be run as a preprocessor or after each assignment. Repeated until no inconsistency remains

32 end