1. Bi t畉p t狸m ph畛 t畛i thi畛u c畛a t畉p ph畛 thu畛c hm + C坦 l畛i gi畉i
T狸m ph畛 t畛i thi畛u c畛a t畉p ph畛 thu畛c hm: T = {ABH CK, A D, C E, BGH F, F AD, E F, BH E}
========== Bi Lm ==========
1. T叩ch v畉 ph畉i c畛a c叩c thu畛c t鱈nh hm thnh c叩c thu畛c t鱈nh 董n l畉:
ABH C
ABH K
A D
C E
BGH F
F A
F D
E F
BH E
2. Lo畉i b畛 c叩c thu畛c t鱈nh d動 th畛a ph鱈a b棚n tr叩i c畛a m畛i thu畛c t鱈nh hm:
2.1. X辿t ABH C
- Lo畉i A trong ABH C: Ta c坦 (BH)+ = (BHEFADK) ch畛a A, n棚n A d動 th畛a.
- Lo畉i B trong ABH C: Ta c坦 (AH)+ = (AHD) kh担ng ch畛a B, n棚n B kh担ng d動 th畛a.
- Lo畉i H trong ABH C: Ta c坦 (AB)+ = (ABD) kh担ng ch畛a H, n棚n H kh担ng d動 th畛a.
-> K畉t qu畉: T = {BH C, ABH K, A D, BGH F, F A, F D, E F, BH E}
2.2. X辿t ABH K
- Lo畉i A trong ABH K: Ta c坦 (BH)+ = (BHEFADK) ch畛a A, n棚n A d動 th畛a.
- Lo畉i B trong ABH K: Ta c坦 (AH)+ = (AHD) kh担ng ch畛a B, n棚n B kh担ng d動 th畛a.
- Lo畉i H trong ABH K: Ta c坦 (AB)+ = (ABD) kh担ng ch畛a H, n棚n H kh担ng d動 th畛a.
-> K畉t qu畉: T = {BH C, BH K, A D, BGH F, F A, F D, E F, BH E}
2.3. X辿t BGH F
- Lo畉i B trong BGH F: Ta c坦 (GH)+ = (GH) kh担ng ch畛a B, n棚n B kh担ng d動 th畛a.
- Lo畉i G trong BGH F: Ta c坦 (BH)+ = (BHEFDACK) kh担ng ch畛a G, n棚n G kh担ng d動 th畛a.
- Lo畉i H trong BGH F: Ta c坦 (BG)+ = (BG) kh担ng ch畛a H, n棚n H kh担ng d動 th畛a.
-> K畉t qu畉: T = {BH C, BH K, A D, BGH F, F A, F D, E F, BH E}
2.4. X辿t BH E
- C畉 B v H 畛u kh担ng d動 th畛a.
-> Gi畛 nguy棚n.
3. Lo畉i b畛 c叩c ph畛 thu畛c hm d動 th畛a: T = {BH C, BH K, A D, BGH F, F A, F D, E F, BH E}
3.1. Th畛 lo畉i b畛 BH C:
Ta c坦: (BH)+ = (BHEFDAK) kh担ng ch畛a C, n棚n BH C kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
3.2. Th畛 lo畉i b畛 BH K:
2. Ta c坦: (BH)+ = (BHCEFDA) kh担ng ch畛a K, n棚n BH K kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
3.3. Th畛 lo畉i b畛 A D:
Ta c坦: (A)+ = (A) kh担ng ch畛a D, n棚n A D kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
3.4. Th畛 lo畉i b畛 BGH F:
Ta c坦: (BGH)+ = (BHEFDAKC) ch畛a F n棚n BGH F d動 th畛a.
-> K畉t qu畉: T = {BH C, BH K, A D, F A, F D, E F, BH E}
3.5. Th畛 lo畉i b畛 F A:
Ta c坦: (F)+ = (FD) kh担ng ch畛a A, n棚n kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
3.6. Th畛 lo畉i b畛 F D:
Ta c坦: (F)+ = (FAD) ch畛a D, n棚n d動 th畛a.
-> K畉t qu畉: T = {BH C, BH K, A D, F A, E F, BH E}
3.7. Th畛 lo畉i b畛 E F:
Ta c坦: (E)+ = (E) kh担ng ch畛a F, n棚n kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
3.8. Th畛 lo畉i b畛 BH E:
Ta c坦: (BH)+ = (BHCK) kh担ng ch畛a E, n棚n kh担ng d動 th畛a.
-> K畉t qu畉 gi畛 nguy棚n.
========= K畉t qu畉 cu畛i c湛ng ===============
T = {BH C, BH K, A D, F A, E F, BH E}
1. BH C
2. BH K
3. A D
4. F A
5. E F
6. BH E