Thông tin tài liệu
BAO ÑOÙNG TRUYEÀN
Bao ñoùng truyeàn cuûa quan heä R laø
quan heä truyeàn nhoû nhaát chöùa R.
Thuaät toaùn :
Kieåm tra tính truyeàn.
Neáu vi phaïm thì boå xung phaàn töû vi phaïm vaøo quan heä.
Laëp laïi cho ñeán khi khoâng coøn phaàn töû naøo vi phaïm.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Thí duï :
Tìm bao ñoùng truyeàn cuûa R :
R = {(a, b), (b, d), (a, c), (d, f)}.
Kieåm tra tính truyeàn treân R.
(a, b) + (b, d) → theâm vaøo (a, d).
Kieåm tra tính truyeàn treân R∪{(a, d)}.
(a, d) + (d, f) → theâm vaøo (a, f).
…
(_,_)
(_,_)
(a,b) (_,_) R
(_,_)
(b,d)
(a,d)
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Kyù hieäu :
R1 = R,
R2 = R : R,
Rn = Rn-1 : R.
Bao ñoùng truyeàn cuûa R laø :
∞
C(R) = R.n
1
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Bieåu dieãn quan heä baèng taäp hôïp :
R = {(1,2), (2,3), (2,6), (3,5), (4,1), (5,7), (6,1),(8,3), (8,7)}.
Bieåu dieãn quan heä baèng ñoà thò höõu höôùng :
Bieåu dieãn quan heä baèng ma traän :
1
1 2 3 4 5 6 7 8
2
8
1 0 1 0 0 0 0 0 0
3
7
4
5
6
2 0 0 1 0 0 1 0
3 0 0 0 0 1 0 0
4 1 0 0 0 0 0 0
5 0 0 0 0 0 0 1
6 1 0 0 0 0 0 0
7 0 0 0 0 0 0 0
Nguyễn
8 0 0Quang
1 0 0Châu
0 1
0
0
0
0
0
0
- 0Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Tích Boolean cuûa 2 ma traän.
Qui öôùc : 0∧1 = 0, 0∧0 = 0, 1∧1 = 1, 1∨1 = 1, 0∨1 = 1, 0∨0 = 0
(0∧1) ∨ (1∧0) ∨ (1∧1) 0= 11
(0∧1) ∨ (1∧1) ∨ (1∧1) 1= 10
(0∧1) ∨ (1∧0) ∨ (1∧0) 1= 01
1
0
0
0
1
1
1
0
1
1
0
1
1
1
1
1
0
0
1 1 0
1
0
1 1 1
0
1 1 1
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Quan heä R treân taäp mieàn trò coù n phaàn töû thì
bao ñoùng truyeàn cuûa R laø :
C(R) = R1 ∪ R2 ∪ … ∪ Rn
Bieåu dieãn quan heä R baèng ma traän nhò phaân M(R)
Ta coù M(R : R) = M(R) M(R)
Kyù hieäu M(R) M(R) = M(R)2.
M(C(R)) = M(R) ⊕ M(R)2 ⊕ M(R)3 ⊕ … ⊕ M(R)n.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
BAO ÑOÙNG TRUYEÀN
Tìm bao ñoùng truyeàn cuûa quan heä R
R = {(a, a), (a, c), (b, b), (c, a), (c, b)}.
1
M(R) = 0
1
1
0
1
0
1
1
0
1
1
1
0
0
1
1
0 ⊕ 0
0
1
M(R)2 =
1
1
1
1
0
1
1
0 ⊕
1
1 1 1
M(R)3 = 0 1 0
1 1 1
1 1
1 0
1 1
1
0
1
1
1
1
1
0
1
=
1
0
1
1
1
1
1
0
1
Quang
Châu - Khoa
Bao ñoùng truyeàn cuûa R laø R Nguyễn
∪ {(a, b),
(c, c)}.
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Khaùi nieäm ñænh trong cuûa ñöôøng coù höôùng AB.
3
2
1
5
4
B
A
1
1
A
2
2
3
B
3
B
4
A
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
R laø quan heä treân taäp n phaàn töû a1, … , an.
Thuaät toaùn Warshall xaây döïng chuoãi ma traän W0, W1, … , Wn.
W0 = M(R) (ma traän nhò phaân cuûa R)
W1 = [wij]
vôùi wij = 1 neáu coù moät ñöôøng ñi töø ai ñeán aj sao cho
moïi ñænh trong cuûa noù thuoäc taäp {a1}, ngöôïc laïi wij = 0.
W2 = [wij]
vôùi wij = 1 neáu coù moät ñöôøng ñi töø ai ñeán aj sao cho
moïi ñænh trong cuûa noù thuoäc taäpNguyễn
{a1, a2},Quang
ngöôïcChâu
laïi w-ij =
0.
Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä R = {(1, 1), (1, 3), (2, 2), (3, 1), (3, 2)}
1 2 3
1
3
2
1
1
1
0
1
W0 = 2
0
1
0
3
1
1
0
1
2
1
1
0
1
W2 = 2
0
1
0
1
Quang
1 Nguyễn
1
3 Châu
1 1- Khoa
1
CNTT ĐHCN TpHCM
1
1
0
1
0
1
0
1
1
1
1
2
3
1
1
1
1
W3 = 2
0
1
0
W1 =
s
WARSHALL ALGORITHM
Boå ñeà :
Taäp ñænh ñang khaûo saùt {v1, … , vk} cuûa ma traän.
Wk = [vij]
Wk+1 = [wij]
vôùi wij = vij ∨ (vik ∧ vkj).
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
W0 = [xij] W1 = [yij]
vôùi bij = xij ∨ (xi1 ∧ x1j).
y11 = x11 ∨ (x11 ∧ x11) = 1 ∨ (0 ∧ 0) = 1.
y12 = x12 ∨ (x11 ∧ x12) = 0 ∨ (1 ∧ 0) = 0.
y13 = x13 ∨ (x11 ∧ x13) = 1 ∨ (0 ∧ 0) = 1.
W0 =
1 0 1
0 1 0
1 1 0
W1 =
1 0 1
0 1 0
1 1 1
y21 = x21 ∨ (x21 ∧ x11) = 0 ∨ (0 ∧ 1) = 0.
y22 = x22 ∨ (x21 ∧ x12) = 1 ∨ (1 ∧ 1) = 1.
y23 = x23 ∨ (x21 ∧ x13) = 0 ∨ (0 ∧ 1) = 0.
y31 = x31 ∨ (x31 ∧ x11) = 1 ∨ (1 ∧ 0) = 1.
y32 = x32 ∨ (x31 ∧ x12) = 1 ∨ (1 ∧ 1) = 1. Nguyễn Quang Châu - Khoa
y = x ∨ (x ∧ x ) = 0 ∨ (1 ∧ 1) = 1. CNTT ĐHCN TpHCM
33
33
31
13
s
WARSHALL ALGORITHM
W1 = [xij] W2 = [yij]
vôùi bij = xij ∨ (xi2 ∧ x2j).
y11 = ………. = 1.
y12 = x12 ∨ (x12 ∧ x22) = 0 ∨ (0 ∧ 1) = 0.
y13 = ……… = 1.
W1 =
1 0 1
0 1 0
1 1 1
W2 =
1 0 1
0 1 0
1 1 1
y21 = x21 ∨ (x22 ∧ x21) = 0 ∨ (1 ∧ 0) = 0.
y22 = ……… = 1.
y23 = x23 ∨ (x22 ∧ x23) = 0 ∨ (1 ∧ 0) = 0.
y31 = …….. = 1.
y32 = …….. = 1.
y33 = …….. = 1.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
W2 = [xij] W3 = [yij]
vôùi bij = xij ∨ (xi3 ∧ x3j).
y11 = ………. = 1.
y12 = x12 ∨ (x13 ∧ x32) = 0 ∨ (1 ∧ 1) = 1.
y13 = ……… = 1.
W2 =
1 0 1
0 1 0
1 1 1
W3 =
1 1 1
0 1 0
1 1 1
y21 = x21 ∨ (x23 ∧ x31) = 0 ∨ (0 ∧ 1) = 0.
y22 = ……… = 1.
y23 = x23 ∨ (x23 ∧ x33) = 0 ∨ (0 ∧ 1) = 0.
y31 = …….. = 1.
y32 = …….. = 1.
y33 = …….. = 1.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
1
2
3
4
5
6
7
8
1
0
1
0
0
0
0
0
0
2
0
0
1
0
0
1
0
0
3
0
0
0
0
1
0
0
0
4
1
0
0
0
0
0
0
0
5
0
0
0
0
0
0
1
0
6
1
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
0
0
1
0
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
w1 → {1} : (4, 2) (6, 2)
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
1
2
3
4
5
6
7
8
1
0
1
0
0
0
0
0
0
2
0
0
1
0
0
1
0
0
3
0
0
0
0
1
0
0
0
4
1
1
0
0
0
0
0
0
5
0
0
0
0
0
0
1
0
6
1
1
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
0
0
1
0
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
1
2
3
4
5
6
7
8
1
0
1
1
0
0
1
0
0
2
0
0
1
0
0
1
0
0
3
0
0
0
0
1
0
0
0
4
1
1
1
0
0
1
0
0
5
0
0
0
0
0
0
1
0
6
1
1
1
0
0
1
0
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
0
0
1
0
w2 → {1, 2} : (4, 3) (6, 3) (1, 6) (1, 3) (4, 6) (6, 6)
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
w3 → {1, 2, 3} : (6, 5) (4, 5) (1, 5) (2, 5)
1
2
3
4
5
6
7
8
1
0
1
1
0
1
1
0
0
2
0
0
1
0
1
1
0
0
3
0
0
0
0
1
0
0
0
4
1
1
1
0
1
1
0
0
5
0
0
0
0
0
0
1
0
6
1
1
1
0
1
1
0
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
0
0
1
0
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
1
2
3
4
5
6
7
8
1
0
1
1
0
1
1
1
0
2
0
0
1
0
1
1
1
0
3
0
0
0
0
1
0
1
0
4
1
1
1
0
1
1
1
0
5
0
0
0
0
0
0
1
0
6
1
1
1
0
1
1
1
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
1
0
1
0
w4 → {1, 2, 3, 4} :
Nguyễn Quang Châu - Khoa
(4,
7) (6, 7) (8, 5)
(2,
7)
(3,
7)
w5 → {1, 2, 3, 4, 5} : (1, 7)
CNTT ĐHCN TpHCM
s
WARSHALL ALGORITHM
Quan heä :
2
1
3
4
5
W0 =
W1 =
8
W2 =
W3 =
7 W =
4
W5 =
6
W6 =
W7 =
W8 =
1
2
3
4
5
6
7
8
1
1
1
1
0
1
1
1
0
2
1
1
1
0
1
1
1
0
3
0
0
0
0
1
0
1
0
4
1
1
1
0
1
1
1
0
5
0
0
0
0
0
0
1
0
6
1
1
1
0
1
1
1
0
7
0
0
0
0
0
0
0
0
8
0
0
1
0
1
0
1
0
(6, 7) Quang Châu - Khoa
w6 → {1, 2, 3, 4, 5, 6} : (1, 1) (2, 1) (2, 2)Nguyễn
CNTT ĐHCN TpHCM
s
QUAN HEÄ TÖÔNG ÑÖÔNG
Phaûn hoài.
Ñoái xöùng.
Truyeàn.
Thí duï :
* Quan heä song song giöõa caùc ñöôøng thaúng.
* Quan heä modulo.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ TÖÔNG ÑÖÔNG
Laáy X = {1, 2, 3, 4, 5, 6, 7, 8}.
R = {(1,1), (2,2), (1,2), (6,1), (2,6), (3,5), (8,7), (3,3),
(4,4), (2,1), (1,6), (5,5), (6,6), (5,3), (6,2), (7,8),
(7,7), (8,8)}.
Chöùng minh quan heä R laø quan heä töông ñöông.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ TÖÔNG ÑÖÔNG
R = {(1,1), (2,2), (1,2), (6,1), (2,6), (3,5), (8,7), (3,3), (4,4),
(2,1), (1,6), (5,5), (6,6), (5,3), (6,2), (7,8), (7,7), (8,8)}.
Phaûn hoài : chöùa ñöôøng cheùo.
Ñoái xöùng :
(1, 2) coù (2, 1),
(6, 1) coù (1, 6),
(2, 6) coù (6, 2),
….
Truyeàn :
(1, 2) + (2, 6) → (1, 6),
(1, 2) + (2, 1) → (1, 1), … .
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
TAÄP SOÁ NGUYEÂN Z
Chia ñuùng :
m chia ñuùng cho n neáu m = kn vôùi k ∈ Z.
Kyù hieäu n | m.
Thí duï :
2 | 8,
3 | 12,
15 | 45.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
TAÄP SOÁ NGUYEÂN Z
Ñònh lyù :
Laáy a, b laø 2 soá nguyeân vôùi b > 0 thì coù duy nhaát 2 soá
nguyeân q, r sao cho :
a = bq + r, vôùi 0 ≤ r < b.
Thí duï :
a = 25, b = 3 thì q = 8, r = 1 ñeå cho 25 = 3×8 +1.
a = 19, b = 5 thì q = 3, r = 4 ñeå cho 19 = 5×3 + 4.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
TAÄP SOÁ NGUYEÂN Z
Tính chaát :
1. Neáu b | a vaø c | b
thì c | a,
vôùi bc ≠ 0.
2. Neáu b | a
thì bc | ac,
vôùi bc ≠ 0.
3. Neáu c | d vaø c | e
thì c | (d + e),
vôùi bc ≠ 0.
Chöùng minh :
1. b | a vaø c | b → a = kb vaø b = hc → a = (kh)c → c | a.
2. b | a → a = kb → ac = kbc → bc | ac.
3. c | d vaø c | e → d = mc vaø e = nc → c | (d + e).
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
SOÁ NGUYEÂN TOÁ
Soá nguyeân toá laø :
soá nguyeân (≠ 0, 1) chæ coù 2 öôùc soá laø 1 vaø chính noù.
Thí duï :
13 laø soá nguyeân toá vì chæ coù 1 vaø 13 laø öôùc soá cuûa 13.
15 khoâng laø soá nguyeân toá vì ngoaøi 1, 15 coøn 3 vaø 5 cuøng laø
öôùc soá cuûa 15.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
SOÁ NGUYEÂN TOÁ
Vaøi soá nguyeân toá :
2, 3, 5, 7, 11, 13, 17, 19, 23, … .
2127
−
1
170141183460469231731687303715884105727
laø soá nguyeân toá coù 39 chöõ soá.
244497 − 1 laø soá nguyeân toá coù 13395 chöõ soá.
=
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
SOÁ NGUYEÂN TOÁ
Tính chaát :
* Neáu p laø thöøa soá nguyeân toá nhoû nhaát cuûa n
thì p ≤ n hoaëc p = n.
* n laø nguyeân toá ↔ n khoâng chia ñuùng cho caùc
soá ngtoá ≤ n.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
SOÁ NGUYEÂN TOÁ
Tính chaát :
Moïi soá nguyeân ñeàu ñöôïc phaân tích thaønh
tích caùc soá nguyeân toá.
Söï phaân tích naøy duy nhaát.
Thí duï :
1008 = 24327.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
SOÁ NGUYEÂN TOÁ
Ñònh lyù :
Coù voâ haïn soá nguyeân k ñeå (4k+3) laø nguyeân toá.
Ñònh lyù (Dirichlet) :
Coù voâ haïn soá nguyeân k ñeå (ak+b) laø nguyeân toá,
vôùi a, b nguyeân toá cuøng nhau vaø a ≥ 1.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ MODULO
Quan heä modulo n treân soá nguyeân Z ñöôïc ñònh nghóa nhö sau :
n | (x − y),
hay
x = y mod (n),
hay
x = y + kn, vôùi k ∈ Z.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ MODULO
Thí duï :
Quan heä modulo 7 treân soá nguyeân Z :
3 vaø 17 coù quan heä modulo 7 vôùi nhau
vì 17 − 3 = 2×7
32 vaø 17 khoâng quan heä modulo 7 vôùi nhau
vì 32 −17 ≠ k × 7.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ MODULO
Modulo laø quan heä töông ñöông.
Phaûn hoài
x = x + 0n, vôùi 0 ∈ Z → x mod(n) x.
Ñoái xöùng
x mod(n) y hay y = x + (−k)n → y mod(n) x.
Truyeàn
x mod(n) y vaø y mod(n) z,
hay x = y + kn vaø y = z + k'n.
x = z + k'n + kn = z + (k' + k)n → x mod(n) z.
Vaäy modulo n laø quan heä töông ñöông.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
QUAN HEÄ MODULO
Caùc phaàn töû coù quan heä modulo (5) vôùi nhau :
1
0
6
−14
3
8
5
12
2
7
9
4
−6
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
LÔÙP TÖÔNG ÑÖÔNG
Lôùp töông ñöông cuûa phaàn töû a treân quan heä töông ñöông R.
a/R = {x | (∀x) (a, x) ∈ R}
Thí duï :
Modulo 5 coù caùc lôùp töông ñöông :
{0, 5, −5, 10, −10, 15, −15, … }
laáy pt ñaïi dieän 0.
{1, 6, −4, 11, −9, 16, −14, … }
laáy pt ñaïi dieän 1.
{2, 7, −3, 12, −8, 17, −13, … }
laáy pt ñaïi dieän 2.
{3, 8, −2, 13, −7, 18, −12, … }
laáy pt ñaïi dieän 3.
{4, 9, −1, 14, −6, 19, −11, … }
laáy pt ñaïi dieän 4.
Z5 = { 0 , 1 , 2 , 3 , 4 }.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
LÔÙP TÖÔNG ÑÖÔNG
Cho quan heä töông ñöông R treân taäp X.
* Caùc lôùp töông ñöông caùch bieät nhau.
X bò caét thaønh nhöõng maûnh rôøi nhau bôûi quan heä R.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
PHAÂN HOAÏCH
Phaân hoaïch treân taäp X laø caét X thaønh nhöõng maûnh rôøi nhau.
* Moãi phaân hoaïch treân taäp X xaùc ñònh moät quan heä töông
ñöông S coù caùc lôùp töông ñöông truøng vôùi caùc maûnh caét.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
PHAÂN HOAÏCH
Thí duï :
X = {a, b, c, d, e, f, g, h}.
Caét X thaønh caùc maûnh nhö sau : {a, e, f}, {b, h}, {g}, {c, d}.
Quan heä R phaûn hoài neân R phaûi chöùa ∆.
{a, e, f} laø lôùp töông ñöông neân :
(a, e), (a, f), (e, f), (e, a), (f, a), (f, e) ∈ R.
{b, h} laø lôùp töông ñöông cuûa R neân :
(b, h), (h, b) ∈ R.
{c, d} laø lôùp töông ñöông cuûa R neân :
(c, d), (d, c) ∈ R.
Vaäy R = ∆ ∪ {(a,e), (a,f), (e,f), (e,a), (f,a), (f,e), (b,h), (h,b),
Nguyễn Quang Châu - Khoa
(c,d), (d,c)}.
CNTT ĐHCN TpHCM
s
TÖÔNG ÑÖÔNG HOÙA QUAN HEÄ
Thí duï :
Laøm cho quan heä R trôû thaønh töông ñöông.
R = {(a, e), (a, f), (e, a), (b, h), (h, b), (c, d), (d, c)}.
Caùch 1.
Phaûn hoài :
Boå sung theâm ∆.
Ñoái xöùng :
Boå sung theâm (f, a).
Truyeàn :
Boå sung theâm (e, f) do (e, a) + (a, f).
Ñoái xöùng :
Boå sung theâm (f, e).
Truyeàn :
Ñaõ truyeàn.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
TÖÔNG ÑÖÔNG HOÙA QUAN HEÄ
Thí duï :
R = {(a, e), (a, f), (e, a), (b, h), (h, b), (c, d), (d, c)}.
Caùch 2.
Caùc lôùp öông ñöông : {a, e, f}, {b, h}, {c, d}.
Xaây döïng quan heä töông ñöông töø caùc lôùp treân.
{a, e, f} → (a, e), (a, f), (e, f), (e, a), (f, a), (f, e).
{b, h} → (b, h), (h, b).
{c, d} → (c, d), (d, c).
Caùch naøy traùnh phaûi xaây döïng tính truyeàn.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
ÖÙNG DUÏNG CUÛA Q.H T.Ñ
Taïo khaùi nieäm môùi (ñaët teân pt ñaïi dieän).
Quan heä song song → khaùi nieäm "phöông".
Thu nhoû kích thöôùc taäp hôïp (choïn pt ñaïi dieän).
Taäp Zp.
Xaây döïng taäp hôïp môùi.
Xaây döïng taäp Z baèng quan heä töông ñöông
R = {((m, n), (m+1, n+1)) | (∀m, n) m, n ∈ N}
treân taäp tích N × N.
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
LYÙ THUYEÁT TAÄP HÔÏP
HEÁT
CHÖÔNG
Nguyễn Quang Châu - Khoa
CNTT ĐHCN TpHCM
s
[...]... x + (−k)n → y mod(n) x Truyền x mod(n) y và y mod(n) z, hay x = y + kn và y = z + k'n x = z + k'n + kn = z + (k' + k)n → x mod(n) z Vậy modulo n là quan hệ tương đương Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s QUAN HỆ MODULO Các phần tử có quan hệ modulo (5) với nhau : 1 0 6 −14 3 8 5 12 2 7 9 4 −6 Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s LỚP TƯƠNG ĐƯƠNG Lớp tương đương của phần tử a trên quan hệ... (1,2), (6,1), (2,6), (3,5), (8,7), (3,3), (4,4), (2,1), (1,6), (5,5), (6,6), (5,3), (6,2), (7,8), (7,7), (8,8)} Phản hồi : chứa đường chéo Đối xứng : (1, 2) có (2, 1), (6, 1) có (1, 6), (2, 6) có (6, 2), … Truyền : (1, 2) + (2, 6) → (1, 6), (1, 2) + (2, 1) → (1, 1), … Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s TẬP SỐ NGUYÊN Z Chia đúng : m chia đúng cho n nếu m = kn với k ∈ Z Ký hiệu n | m Thí dụ : 2 |... 0 1 0 6 1 1 1 0 1 1 1 0 7 0 0 0 0 0 0 0 0 8 0 0 1 0 1 0 1 0 (6, 7) Quang Châu - Khoa w6 → {1, 2, 3, 4, 5, 6} : (1, 1) (2, 1) (2, 2)Nguyễn CNTT ĐHCN TpHCM s QUAN HỆ TƯƠNG ĐƯƠNG Phản hồi Đối xứng Truyền Thí dụ : * Quan hệ song song giữa các đường thẳng * Quan hệ modulo Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s QUAN HỆ TƯƠNG ĐƯƠNG Lấy X = {1, 2, 3, 4, 5, 6, 7, 8} R = {(1,1), (2,2), (1,2), (6,1), ...BAO ĐÓNG TRUYỀN Thí dụ : Tìm bao đóng truyền R : R = {(a, b), (b, d), (a, c), (d, f)} Kiểm tra tính truyền R (a, b) + (b, d) → thêm vào (a, d) Kiểm tra tính truyền R∪{(a, d)} (a,... CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Ký hiệu : R1 = R, R2 = R : R, Rn = Rn-1 : R Bao đóng truyền R : ∞ C(R) = R.n Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Biểu diễn quan hệ tập... 1 1 1 1 0 1 1 1 1 Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Quan hệ R tập miền trò có n phần tử bao đóng truyền R : C(R) = R1 ∪ R2 ∪ … ∪ Rn Biểu diễn quan hệ R ma trận nhò phân
Ngày đăng: 01/10/2015, 14:26
Xem thêm: Silde bài giảng cấu trúc rời rạc phần dao động truyền , Silde bài giảng cấu trúc rời rạc phần dao động truyền