IV. Lời giại tôi ưu
ª Định nghĩa:
4.3 Tìm lời giại tôi ưu
4.3 Tìm lời giại tôi ưu
ª Vân đeă: tìm lời giại tôi ưu cho bài toán H → G tređn moơt máng suy dieên có trĩng sô (A, D, w).
ª Tiêp caơn: thuaơt giại A*.
⇒ caăn có moơt bieơu dieên thích hợp cho khođng gian tráng thái cụa bài toán cũng như cho yeđu caău cụa bài toán.
° Khođng gian tráng thái:Khođng gian tráng thái:
• Với moêi luaơt r mà ta có theơ áp dúng tređn H đeơ suy ra những thuoơc tính mới sẽ dăn tới moơt taơp thuoơc tính mới
H’ = H ∪ goal(r).Ta nói raỉng r là moơt cánh nôi từ đưnh H đên đưnh H’.
• Như thê, taơp hợp goăm tât cạ các taơp con (hay đưnh) H’
cụa A sao cho có moơt dãy S goăm các luaơt (hay cánh) thỏa mãn đieău kieơn H’ = S(H), cùng với các cánh trong các dãy S sẽ cho ta moơt khođng gian tráng thái cụa bài toán có dáng đoă thị. Hơn nữa đoă thị naăy có trĩng sô được định nghĩa bởi: trĩng sô cụa cánh r (tức là moơt luaơt suy dieên) là w(r). Đoă thị có trĩng sô naăy sẽ được ký hieơu là Graph(H→G).
° Meơnh đeă:Meơnh đeă:
• (1) Moơt dãy S goăm các luaơt là moơt lời giại cụa
bài toán H → G khi và chư khi S là moơt loơ trình tređn đoă thị Graph(H→G) nôi từ H đên S(H) và S(H) ⊃ G.
(2) Đoơ dài cụa moơt loơ trình S tređn đoă thị Graph(H→G) là w(S), trĩng sô cụa danh sách luaơt S tređn máng (A, D, w).
• Suy ra: vieơc tìm lời giại tôi ưu cho bài toán H→G tương đương với vieơc tìm moơt đường đi ngaĩn nhât tređn đoă thị Graph(H→G) từ H đên moơt đưnh múc tieđu H’ thỏa
đieău kieơn H’ chứa G.
• Đôi với moêi đưnh N tređn đoă thị, đaịt
• h(N) = min {w(r) | hypothesis(r) ⊂ N}
• Giá trị h(N) naăy có theơ xem là moơt ước lượng cho loơ trình từ N đên moơt đưnh múc tieđu.