Hay phat bi~u bai toan tim duang di ng~n nh~t trong khong gian tr;lng thai.. Xac dinh ham danh gia tr;lngthai feu va neu y tuemg cua thu~t toan A*?. Cho khong gian tr;lngthai duQ'cmo ta
Trang 1DE THI TRI TUt NHAN T.:\0
Cho K49CA - CB ThO'igian: 120 phiit Call 1.
a Hay phat bi~u bai toan tim duang di ng~n nh~t trong khong gian tr(;lng thai
Xac dinh ham danh gia tr(;lngthai feu) va neu y tuemg cua thu~t toan A*?
b Cho khong gian tr(;lngthai duQ'cmo ta b&i d6 thi dinh huang sau
.Trong do, S Ia tr(;lngthai ban d~u, F Ia tr(;lngthai dich, s6 ghi c(;lnh
cung Ia dQ dai cua cung, s6 ghi trong dinh Ia danh gia th~p khoang cach tu dinh do t6i dich
Hay xay d\ffig cay tim kiSm theo thu~t toan A *, chi ra thu t\1'cac dinh
da phit triSn
Hay chi ra duang di ng~n nh~t tu S dSn F va dQ dai cua duang di do
G-.,
l
Call 2 Cho cO'so'tri thuc (CSTT) g6m cae diu tuy~n sau:
lDvlBvC
A vlE BvE ,
Trang 2trong do A, B, C, D, E la cac ky hi~u m~nh d~.
B~ng phuong phap ph~mchUng va su d\lng lu~t phan giai, hay chUng minh r~ng cong thtl'c sau:
D=>C 1ah~ qua logic cua CSTT tren
Cau 3.
a Hay dua vao cac vi tir c~n thi(h, bi~u dien cau sau day thanh cong thuc trong logic vi ttl' :
« Co mQt bai hat ma mQi sinh vien d~u bi~t »
b .Chu~n hoa cong thuc nh~n dugc a cau a d~ dua v~ cac cau tuy~n.
Cau 4.
a Cho cac thong tin sau :
MQisinh vien co b6 chai co vua cling chai co vua.
B6 An chaico vua.
T~t ca cac b~n cua Ba d~u 1asinh vien.
An va Lan la b~n cua Ba.
tin da chotren.
b Su d\lng phuong phap suy di@nlui d~ tim ra cac cau tra loi cho cau
hoi : « Ai chai co vua ? »
i!