16. http://blogthuthuat.com
Đinh Mạnh Tường Trang 16
R1 : a d, e, f
R2 : a d, k
R3 : a g, h
R4 : d b, c
R5 : f i
R6 : f c, j
R7 : k e, l
R8 : k h
TËp c¸c tr¹ng th¸i kÕt thóc (c¸c bµi to¸n s¬ cÊp) lµ T = {b, c, e, j, l}.
Kh«ng gian tr¹ng th¸i trªn cã thÓ biÓu diÔn bëi ®å thÞ vµ/hoÆc trong h×nh 1.9.
Trong ®å thÞ ®ã, c¸c ®Ønh, ch¼ng h¹n a1, a2, a3 ®-îc gäi lµ ®Ønh vµ, c¸c ®Ønh ch¼ng h¹n a,
f, k ®-îc gäi lµ ®Ønh hoÆc. Lý do lµ, ®Ønh a1 biÓu diÔn tËp c¸c bµi to¸n {d, e, f} vµ a1
®-îc gi¶i quyÕt nÕu d vµ e vµ f ®-îc gi¶i quyÕt. Cßn t¹i ®Ønh a, ta cã c¸c to¸n tö R1, R2,
R3 quy bµi to¸n a vÒ c¸c bµi to¸n con kh¸c nhau, do ®ã a ®-îc gi¶i quyÕt nÕu hoÆc a1 =
{d, e, f}, hoÆc a2 = {d, k}, hoÆc a3 = {g, h} ®-îc gi¶i quyÕt.
Ng-êi ta th-êng sö dông ®å thÞ vµ/hoÆc ë d¹ng rót gän. Ch¼ng h¹n, ®å thÞ vµ/hoÆc
trong h×nh 1.9 cã thÓ rót gän thµnh ®å thÞ trong h×nh 1.10. Trong ®å thÞ rót gän nµy, ta sÏ
nãi ch¼ng h¹n d, e, f lµ c¸c ®Ønh kÒ ®Ønh a theo to¸n tö R1, cßn d, k lµ c¸c ®Ønh kÒ a theo
to¸n tö R2.