II. Mođ hình Máng Suy dieên
Boơ sung giạ thiêt:
„ Trong trường hợp khođng theơ xác định được B, thì caăn cho theđm đieău kieơn gì đeơ có theơ xác định được B.
° Ký hieơu bài toán xác định B từ A là:
2.3 Moơt sô khái nieơm và ký hieơu
Đái Hĩc Quôc Gia TP.HCM, 2001
ª Định nghĩa:
„ Moơt luaơt suy dieên u v được được gĩi là áp dúng
được tređn A khi u A.
„ Moơt quan heơ suy dieên được gĩi là áp dúng được tređn A
khi nó xác định moơt luaơt suy dieên áp dúng được tređn A.
„ Dãy D = f1, f2, ..., fk các quan heơ suy dieên (hay luaơt suy dieên) cụa máng suy dieên (M,F) được nói là áp
dúng được tređn taơp A khi và chư khi ta có theơ laăn lượt
áp dúng được các quan heơ f1, f2, ..., fk xuât phát từ giạ
thiêt A.
ª Ký hieơu:
„ Với D = f1, f2, ..., fk , đaịt:
„ A0 = A, A1 = A0 M(f1), . . . , Ak = Ak-1 M(fk),
„ và ký hieơu Ak là D(A).
„ Có theơ nói raỉng D(A) là sự mở roơng cụa taơp A nhờ áp
dúng dãy quan heơ D.
„ Ví dú:
Trong máng suy dieên cho moơt hình chữ nhaơt, với A = b1, b2 và D = f1: S = b1 * b2; f2: p = 2*(b1+b2)
ª Định nghĩa lời giại:
„ D = f1, f2, ..., fk là moơt lời giại cụa bài toán A B khi laăn lượt áp dúng các quan heơ fi (i=1,...,k) xuât phát
từ giạ thiêt A thì sẽ suy ra được các biên thuoơc B. Nói
cách khác D là moơt lời giại cụa bài toán khi D(A) B.
„ Bài toán A B là giại được khi nó có moơt lời giại.
„ Lời giại f1, f2, ..., fk được gĩi là lời giại tôt nêu
khođng theơ bỏ bớt moơt sô bước tính toán trong quá trình giại, tức là khođng theơ bỏ bớt moơt sô quan heơ trong lời giại.
„ Lời giại ngaĩn nhât:ù có sô bước suy dieên thâp nhât.