Toán học rời rạc: gói ôn nước rút

Bảng công thức, các bước phương pháp chính cho từng chủ đề và 8 bài tập, kèm lời giải đầy đủ ở cuối.

Bài mới Quay lại môn học

Trong cửa sổ in, hãy chọn “Lưu dưới dạng PDF” để giữ một bản trên thiết bị của bạn.

1Công thức và phương pháp

Logic mệnh đề & chứng minh

Các hàng của bảng chân trị: 2ⁿ
Phép kéo theo: p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Phủ định của phép kéo theo: ¬(p → q) ≡ p ∧ ¬q
Phép tương đương: p ↔ q ≡ (p → q) ∧ (q → p)
De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Luật phân phối: p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Phủ định của lượng từ: ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens: p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Phương pháp

Hãy đếm số biến khác nhau: bảng chân trị có 2ⁿ hàng, bắt đầu bằng hàng toàn số 1.
Cho mỗi công thức con một cột riêng và điền các cột từ trong ra ngoài.
Áp dụng quy tắc của từng liên kết: → chỉ bằng 0 khi 1 → 0, ↔ bằng 1 khi hai vế giống nhau.
Với các tương đương, hãy so sánh các cột cuối theo từng hàng; với một suy luận, chỉ xét những hàng mà mọi tiền đề đều bằng 1.
Để phủ định một mệnh đề có lượng từ, hãy đưa ¬ vào trong, đổi ∀ và ∃, rồi phủ định công thức bên trong.

Tập hợp, quan hệ & hàm

Hai tập hợp: |A ∪ B| = |A| + |B| − |A ∩ B|
Ba tập hợp: |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Hiệu và phần bù: A − B = A ∩ B′, |A′| = |U| − |A|
Tập lũy thừa và tích Descartes: |𝒫(A)| = 2^|A|, |A × B| = |A|·|B|
Tập con có k phần tử: C(n, k) = n!/(k!(n − k)!)
Hàm A → B: nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Quan hệ trên n phần tử: 2^n²; reflexive 2^{n² − n}; symmetric 2^n(n+1)/2
Hợp thành: (g ∘ f)(x) = g(f(x))

Phương pháp

Hãy vẽ biểu đồ Venn và xác định từng vùng xem vùng nào thuộc biểu thức tập hợp.
Với bài toán đếm, hãy điền các vùng từ tâm ra ngoài: tất cả các tập, rồi từng cặp, rồi từng tập đơn, rồi phần bên ngoài.
Hãy dùng nguyên lý bao hàm – loại trừ để kiểm tra: |A ∪ B| = |A| + |B| − |A ∩ B|.
Với một quan hệ, hãy kiểm tra từng tính chất trên mọi cặp và đưa ra một phản ví dụ khi tính chất không đúng.
Với một hàm, hãy đếm số mũi tên đến mỗi phần tử của B: nhiều nhất một là đơn ánh, ít nhất một là toàn ánh.

Lý thuyết đồ thị

Bổ đề bắt tay: Σ deg(v) = 2|E|
Đồ thị đầy đủ: |E(K_n)| = n(n − 1)/2, |E(K_m,n)| = m·n
Đồ thị đều: |E| = n·k/2
Cây và rừng: |E| = n − 1, |E| = n − c
Lá của cây: L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler: chu trình: mọi bậc đều chẵn; đường đi: đúng 2 bậc lẻ
Chu trình Hamilton trong K_n: (n − 1)!/2
Cập nhật Dijkstra: d(v) = min(d(v), d(u) + w(u, v))
Đường đi độ dài L: (Mᴸ)_ij

Phương pháp

Hãy ghi bậc của mỗi đỉnh; tổng các bậc bằng hai lần số cạnh.
Với bài Euler, hãy kiểm tra đồ thị liên thông và đếm số đỉnh có bậc lẻ.
Với cây, hãy dùng n − 1 cạnh và bổ đề bắt tay.
Với Dijkstra, hãy lập bảng khoảng cách tạm thời và mỗi vòng chốt đỉnh chưa chốt có giá trị nhỏ nhất.
Với cây khung nhỏ nhất, hãy sắp xếp các cạnh theo trọng số và bỏ qua mọi cạnh tạo thành chu trình (Kruskal), hoặc mở rộng một cây từ một đỉnh xuất phát (Prim).

Lý thuyết số & số học đồng dư

Phép chia có dư: a = q·n + r, 0 ≤ r < n
Euclid: gcd(a, b) = gcd(b, a mod b)
Bội chung nhỏ nhất: lcm(a, b) = a·b/gcd(a, b)
Nghịch đảo: a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Đồng dư tuyến tính: a·x ≡ b → x ≡ a⁻¹·b (mod n)
Hàm phi Euler: φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat: aᵖ⁻¹ ≡ 1 (mod p)
RSA: n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

Phương pháp

Trước hết hãy rút gọn mọi số theo modulo n; số dư nằm trong khoảng từ 0 đến n − 1.
Với ước chung lớn nhất, hãy chia liên tiếp theo thuật toán Euclid; số dư khác 0 cuối cùng chính là ước chung lớn nhất.
Với số nghịch đảo, hãy chạy thuật toán Euclid mở rộng và lấy hệ số của a; cộng n nếu nó âm.
Giải a·x ≡ b bằng cách nhân với a⁻¹; kết hợp hai đồng dư bằng cách viết x = r₁ + m₁k.
Với lũy thừa, hãy viết số mũ ở dạng nhị phân và bình phương liên tiếp; trong RSA, d = e⁻¹ mod φ(n) với φ(n) = (p − 1)(q − 1).

2Bài tập

1.Logic mệnh đề & chứng minhTrung bình

Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) đúng? Gọi số này là N.

¬(((q ∧ r) → (r → p)) ↔ (p ∧ q))

N =

2.Logic mệnh đề & chứng minhKhó

Cho các tiền đề b ∨ c; ¬b ∨ a. Kết luận nào suy ra từ chúng? Hãy nhấp vào nó.

b ∨ c¬b ∨ a

1b ∨ a
2c ∨ a
3c ∧ a
4¬c

3.Tập hợp, quan hệ & hàmTrung bình

Trong một nhóm 37 học sinh, 22 học sinh nói tiếng Pháp (F), 14 học sinh nói tiếng Đức (G) và 18 học sinh nói tiếng Tây Ban Nha (S). 3 học sinh nói tiếng Pháp và Đức, 11 nói tiếng Pháp và Tây Ban Nha, 7 nói tiếng Đức và Tây Ban Nha, và 2 nói cả ba thứ tiếng. Có bao nhiêu thuộc đúng hai trong ba tập? Gọi số đó là n.

|U| = 37

n =

4.Tập hợp, quan hệ & hàmKhó

Sơ đồ mũi tên cho thấy một hàm f: A → B với A = {1, 2, 3, 4} và B = {a, b, c, d}. Hãy nhấp vào mô tả phù hợp với f.

f = {(1, b), (2, c), (3, d), (4, a)}

1đơn ánh, không toàn ánh
2toàn ánh, không đơn ánh
3song ánh
4không phải cả hai

5.Lý thuyết đồ thịTrung bình

Đồ thị liên thông có chu trình Euler, đường đi Euler không phải chu trình, hay không có cái nào? Hãy nhấp vào đáp án của bạn.

|V| = 5|E| = 6

1Chu trình Euler
2Đường đi Euler, không có chu trình
3không phải cả hai

6.Lý thuyết đồ thịKhó

Hãy tìm tổng trọng số W của một cây khung nhỏ nhất của đồ thị có trọng số.

|V| = 6|E| = 8

W =

7.Lý thuyết số & số học đồng dưTrung bình

Hãy tìm nghịch đảo của 28 theo modulo 37: số x với 0 < x < 37 và 28·x ≡ 1 (mod 37).

a = 28n = 37

28⁻¹ mod 37 =

8.Lý thuyết số & số học đồng dưKhó

Hãy mã hóa thông điệp m = 791 bằng khóa công khai RSA (n, e) = (1073, 23). Hãy tìm bản mã c.

n = 1073e = 23m = 791

c =

3Dung dịch

1.Logic mệnh đề & chứng minh

Đáp số: N = 5

Bảng chân trị: một công thức có n biến khác nhau có 2ⁿ hàng, mỗi hàng ứng với một tổ hợp giá trị chân trị (1 = đúng, 0 = sai). Hãy làm từ trong ra ngoài và cho mỗi công thức con một cột riêng. ¬a đảo giá trị; a ∧ b bằng 1 chỉ khi cả hai đều bằng 1; a ∨ b bằng 0 chỉ khi cả hai đều bằng 0; a → b bằng 0 chỉ khi a = 1 và b = 0; a ↔ b bằng 1 khi hai vế bằng nhau.

Bảng chân trị từng hàng

p = 1, q = 1, r = 1: q ∧ r = 1, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 1, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 1, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 0

p = 1, q = 1, r = 0: q ∧ r = 0, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 1, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 1, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 0

p = 1, q = 0, r = 1: q ∧ r = 0, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 0, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 1

p = 1, q = 0, r = 0: q ∧ r = 0, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 0, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 1

p = 0, q = 1, r = 1: q ∧ r = 1, r → p = 0, (q ∧ r) → (r → p) = 0, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 1, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 0

p = 0, q = 1, r = 0: q ∧ r = 0, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 0, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 1

p = 0, q = 0, r = 1: q ∧ r = 0, r → p = 0, (q ∧ r) → (r → p) = 1, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 0, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 1

p = 0, q = 0, r = 0: q ∧ r = 0, r → p = 1, (q ∧ r) → (r → p) = 1, p ∧ q = 0, ((q ∧ r) → (r → p)) ↔ (p ∧ q) = 0, ¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)) = 1

Đếm các hàng có giá trị 1

¬(((q ∧ r) → (r → p)) ↔ (p ∧ q)): 0, 0, 1, 1, 0, 1, 1, 1

N = 5

Đáp số

N = 5

2.Logic mệnh đề & chứng minh

Đáp số: c ∨ a

Lượng từ và suy luận: ¬∀x P(x) ≡ ∃x ¬P(x) và ¬∃x P(x) ≡ ∀x ¬P(x). Đưa phép phủ định vào trong, đổi mọi lượng từ mà nó đi qua, và phủ định công thức bên trong bằng các luật logic mệnh đề, chẳng hạn ¬(a → b) ≡ a ∧ ¬b. Một suy luận hợp lệ khi kết luận bằng 1 ở mọi hàng mà tất cả tiền đề đều bằng 1. Chỉ một hàng có tiền đề đúng mà kết luận sai là một phản ví dụ và cho thấy suy luận không hợp lệ.

Các hàng có mọi tiền đề đúng

a = 1, b = 1, c = 1: b ∨ a = 1, c ∨ a = 1, c ∧ a = 1, ¬c = 0

a = 1, b = 1, c = 0: b ∨ a = 1, c ∨ a = 1, c ∧ a = 0, ¬c = 1

a = 1, b = 0, c = 1: b ∨ a = 1, c ∨ a = 1, c ∧ a = 1, ¬c = 0

a = 0, b = 0, c = 1: b ∨ a = 0, c ∨ a = 1, c ∧ a = 0, ¬c = 0

Kết luận

c ∨ a (độ phân giải)

Đáp số

c ∨ a

3.Tập hợp, quan hệ & hàm

Đáp số: n = 15

Tập hợp và biểu đồ Venn: A ∪ B gồm các phần tử thuộc A hoặc B (hoặc cả hai), A ∩ B gồm các phần tử thuộc cả hai, A − B gồm các phần tử của A không thuộc B, và phần bù A′ là mọi thứ trong U không thuộc A. Trong biểu đồ Venn, mọi biểu thức tập hợp là hợp của các vùng, nên hãy đếm theo từng vùng. Nguyên lý bao hàm – loại trừ: |A ∪ B| = |A| + |B| − |A ∩ B|, và |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

Phần giữa và các cặp

F ∩ G ∩ S: 2

F ∩ G chỉ: 3 − 2 = 1

F ∩ S chỉ: 11 − 2 = 9

G ∩ S chỉ: 7 − 2 = 5

Các tập đơn

F chỉ: 22 − 1 − 9 − 2 = 10

G chỉ: 14 − 1 − 5 − 2 = 6

S chỉ: 18 − 9 − 5 − 2 = 2

Đáp số

1 + 9 + 5 = 15

Đáp số

n = 15

4.Tập hợp, quan hệ & hàm

Đáp số: song ánh

Hàm và phép đếm: một hàm f: A → B cho mỗi phần tử của A đúng một ảnh trong B. f là đơn ánh (một-một) khi các phần tử khác nhau có ảnh khác nhau, toàn ánh (lên) khi mọi phần tử của B đều là một ảnh, và song ánh khi cả hai điều kiện đều đúng. Với |A| = m và |B| = n có nᵐ hàm, n!/(n − m)! hàm đơn ánh (m ≤ n), và theo nguyên lý bao hàm – loại trừ có Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ hàm toàn ánh. |𝒫(A)| = 2ᵐ và |A × B| = m·n.

Đơn ánh?

mỗi phần tử của B được chạm tới nhiều nhất một lần → đơn ánh

Toàn ánh?

mọi phần tử của B đều được chạm tới → toàn ánh

Đáp số

song ánh

Đáp số

song ánh

5.Lý thuyết đồ thị

Đáp số: Đường đi Euler, không có chu trình

Euler, Hamilton và cây: một đồ thị liên thông có chu trình Euler (đi qua mỗi cạnh một lần, trở về điểm đầu) khi mọi đỉnh có bậc chẵn, và có đường đi Euler không phải chu trình khi có đúng hai đỉnh bậc lẻ; khi đó đường đi chạy từ một đỉnh lẻ đến đỉnh lẻ kia. Một chu trình Hamilton thăm mỗi đỉnh một lần; K_n có (n − 1)!/2 chu trình như vậy. Một cây trên n đỉnh có n − 1 cạnh, và một đồ thị liên thông có m cạnh còn lại một cây khung sau khi bỏ m − n + 1 cạnh.

Các bậc

deg(A) = 2, deg(B) = 3, deg(C) = 3, deg(D) = 2, deg(E) = 2

Các đỉnh lẻ

B, C → 2

Đường đi Euler, không có chu trình

Đáp số

Đường đi Euler, không có chu trình

Đường đi Euler bắt đầu ở một đỉnh lẻ và kết thúc ở đỉnh lẻ kia.

6.Lý thuyết đồ thị

Đáp số: W = 42

Đường đi ngắn nhất và cây khung: thuật toán Dijkstra chốt một đỉnh mỗi vòng: đỉnh chưa chốt có khoảng cách tạm thời nhỏ nhất. Khoảng cách của nó khi đó là cuối cùng, và mỗi đỉnh kề v được d(v) = min(d(v), d(u) + w(u, v)). Thuật toán Kruskal xây dựng cây khung nhỏ nhất bằng cách lấy các cạnh từ nhẹ đến nặng và bỏ qua mọi cạnh tạo thành chu trình; thuật toán Prim mở rộng một cây từ một đỉnh xuất phát bằng cách luôn thêm cạnh nhẹ nhất đi ra khỏi cây. Một cây khung của n đỉnh có n − 1 cạnh.

Thuật toán Kruskal

BC (4): lấy

DE (7): lấy

EF (8): lấy

AB (9): lấy

AC (12): bỏ qua, tạo chu trình

BE (14): lấy

Tổng trọng số

W = 4 + 7 + 8 + 9 + 14 = 42

Đáp số

W = 42

7.Lý thuyết số & số học đồng dư

Đáp số: 28⁻¹ mod 37 = 4

Nghịch đảo và đồng dư: a có nghịch đảo theo modulo n đúng khi gcd(a, n) = 1. Thuật toán Euclid mở rộng viết 1 = s·n + t·a, và khi đó a⁻¹ ≡ t (mod n). Một đồng dư a·x ≡ b (mod n) với gcd(a, n) = 1 có nghiệm x ≡ a⁻¹·b. Hai đồng dư x ≡ r₁ (mod m₁) và x ≡ r₂ (mod m₂) với các modulo nguyên tố cùng nhau có một nghiệm theo modulo m₁·m₂ (định lý số dư Trung Hoa). φ(n) của Euler đếm các số từ 1 đến n nguyên tố cùng nhau với n: φ(n) = n·∏(1 − 1/p).

Thuật toán Euclid mở rộng

Mỗi số dư r được viết là r ≡ t·28 (mod 37).

r = 37, t = 0

r = 28, q = 1, t = 1

r = 9, q = 3, t = −1

r = 1, q = 9, t = 4

Nghịch đảo

1 ≡ 4·28 (mod 37)

x = 4

kiểm tra: 28·4 = 112 = 3·37 + 1

Đáp số

28⁻¹ mod 37 = 4

8.Lý thuyết số & số học đồng dư

Đáp số: c = 304

Lũy thừa modulo và RSA: tính aᵏ mod n bằng bình phương lặp: viết k ở dạng nhị phân, bình phương, rút gọn sau mỗi bước và nhân các lũy thừa có bit bằng 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) với số nguyên tố p không chia hết a, nên số mũ có thể được rút gọn theo modulo p − 1. RSA: chọn các số nguyên tố p và q, n = p·q và φ(n) = (p − 1)(q − 1); số mũ công khai e nguyên tố cùng nhau với φ(n), và số mũ bí mật là d = e⁻¹ mod φ(n). Mã hóa bằng c = mᵉ mod n và giải mã bằng m = cᵈ mod n.

Bình phương lặp

23 = 16 + 4 + 2 + 1

791¹ ≡ 791 (mod 1073)

791² ≡ 122 (mod 1073)

791⁴ ≡ 935 (mod 1073)

791⁸ ≡ 803 (mod 1073)

791¹⁶ ≡ 1009 (mod 1073)

791²³ ≡ 791·122·935·1009 ≡ 304 (mod 1073)

Bản mã

c = 304

Đáp số

c = 304

ExamProblems · examproblems.com/courses/discrete-mathematics