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ớiQuay 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

  1. 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.
  2. 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.
  3. Á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.
  4. 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.
  5. Để 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ử
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Hợp thành
(g ∘ f)(x) = g(f(x))

Phương pháp

  1. 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.
  2. 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.
  3. Hãy dùng nguyên lý bao hàm – loại trừ để kiểm tra: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. 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.
  5. 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(Kn)| = n(n − 1)/2, |E(Km,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 Kn
(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

  1. Hãy ghi bậc của mỗi đỉnh; tổng các bậc bằng hai lần số cạnh.
  2. Với bài Euler, hãy kiểm tra đồ thị liên thông và đếm số đỉnh có bậc lẻ.
  3. Với cây, hãy dùng n − 1 cạnh và bổ đề bắt tay.
  4. 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.
  5. 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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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
abca ∨ ¬c¬(a ∨ ¬c)(b → (¬a → c)) ∧ ¬(a ∨ ¬c)111?110?101?100?011?010?001?000?

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

(b → (¬a → c)) ∧ ¬(a ∨ ¬c)
N =
2.Logic mệnh đề & chứng minhKhó
∀x (A(x) → ¬B(x))∀x (A(x) ∧ ¬B(x))∃x (A(x) ∧ ¬B(x))∃x (¬A(x) ∧ B(x))

Phát biểu nào tương đương với ¬∀x (A(x) → B(x)), khi phép phủ định đã được đưa hoàn toàn vào trong? Hãy nhấp vào nó.

¬∀x (A(x) → B(x))
  1. 1∀x (A(x) → ¬B(x))
  2. 2∀x (A(x) ∧ ¬B(x))
  3. 3∃x (A(x) ∧ ¬B(x))
  4. 4∃x (¬A(x) ∧ B(x))
3.Tập hợp, quan hệ & hàmTrung bình
1234phản xạđối xứngphản đối xứngbắc cầu

Quan hệ R trên {1, 2, 3, 4} được vẽ dưới dạng đồ thị có hướng (một khuyên nghĩa là (x, x) ∈ R). Đúng một trong bốn tính chất thỏa mãn. Hãy nhấp vào nó.

R = {(1, 1), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (4, 3), (4, 4)}
  1. 1phản xạ
  2. 2đối xứng
  3. 3phản đối xứng
  4. 4bắc cầu
4.Tập hợp, quan hệ & hàmKhó

Trên X = {1, 2, …, 14} quan hệ x ~ y đúng khi x ≡ y (mod 3). Lớp tương đương [9] có bao nhiêu phần tử?

X = {1, …, 14}x ~ y ⟺ 3 | (x − y)
|[9]| =
5.Lý thuyết đồ thịTrung bình
ABCDEFChu trình EulerĐường đi Euler, không có chu trìnhkhông phải cả hai

Đồ 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| = 6|E| = 7
  1. 1Chu trình Euler
  2. 2Đường đi Euler, không có chu trình
  3. 3không phải cả hai
6.Lý thuyết đồ thịKhó
1111371285511ABCDEFG

Hãy dùng thuật toán Dijkstra để tìm độ dài d(F) của đường đi ngắn nhất từ A đến F trong đồ thị có trọng số.

bắt đầu: Akết thúc: F
d(F) =
7.Lý thuyết số & số học đồng dưTrung bình

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

a = 38n = 83
38−1 mod 83 =
8.Lý thuyết số & số học đồng dưKhó

Hãy dùng bình phương lặp để tìm 31114 mod 67.

a = 31k = 114n = 67
31114 mod 67 =

3Dung dịch

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

Đáp số: N = 2

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

a = 1, b = 1, c = 1: ¬a = 0, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 0, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0
a = 1, b = 1, c = 0: ¬a = 0, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 1, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0
a = 1, b = 0, c = 1: ¬a = 0, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 0, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0
a = 1, b = 0, c = 0: ¬a = 0, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 1, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0
a = 0, b = 1, c = 1: ¬a = 1, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 0, a ∨ ¬c = 0, ¬(a ∨ ¬c) = 1, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 1
a = 0, b = 1, c = 0: ¬a = 1, ¬a → c = 0, b → (¬a → c) = 0, ¬c = 1, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0
a = 0, b = 0, c = 1: ¬a = 1, ¬a → c = 1, b → (¬a → c) = 1, ¬c = 0, a ∨ ¬c = 0, ¬(a ∨ ¬c) = 1, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 1
a = 0, b = 0, c = 0: ¬a = 1, ¬a → c = 0, b → (¬a → c) = 1, ¬c = 1, a ∨ ¬c = 1, ¬(a ∨ ¬c) = 0, (b → (¬a → c)) ∧ ¬(a ∨ ¬c) = 0

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

(b → (¬a → c)) ∧ ¬(a ∨ ¬c): 0, 0, 0, 0, 1, 0, 1, 0
N = 2

Đáp số

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

Đáp số: ∃x (A(x) ∧ ¬B(x))

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ệ.

Đưa phép phủ định vào trong

¬∀x (A(x) → B(x)) ≡ ∃x (A(x) ∧ ¬B(x))

Đáp số

∃x (A(x) ∧ ¬B(x))

Các phương án còn lại hoặc giữ nguyên một lượng từ, hoặc đổi thứ tự các lượng từ, hoặc phủ định sai công thức bên trong.

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

Đáp số: phản xạ

Quan hệ: một quan hệ R trên tập X là một tập các cặp có thứ tự (x, y). R phản xạ khi (x, x) ∈ R với mọi x thuộc X; đối xứng khi (x, y) ∈ R luôn đi kèm (y, x) ∈ R; phản đối xứng khi (x, y) và (y, x) cùng thuộc R chỉ nếu x = y; và bắc cầu khi (x, y) và (y, z) thuộc R kéo theo (x, z) ∈ R. Một quan hệ tương đương là phản xạ, đối xứng và bắc cầu, và chia X thành các lớp rời nhau.

phản xạ

thỏa mãn

đối xứng

không thỏa mãn: (1, 4) ∈ R, (4, 1) ∉ R

phản đối xứng

không thỏa mãn: (2, 3), (3, 2) ∈ R

bắc cầu

không thỏa mãn: (1, 4), (4, 3) ∈ R, (1, 3) ∉ R

Đáp số

phản xạ
4.Tập hợp, quan hệ & hàm

Đáp số: |[9]| = 4

Quan hệ: một quan hệ R trên tập X là một tập các cặp có thứ tự (x, y). R phản xạ khi (x, x) ∈ R với mọi x thuộc X; đối xứng khi (x, y) ∈ R luôn đi kèm (y, x) ∈ R; phản đối xứng khi (x, y) và (y, x) cùng thuộc R chỉ nếu x = y; và bắc cầu khi (x, y) và (y, z) thuộc R kéo theo (x, z) ∈ R. Một quan hệ tương đương là phản xạ, đối xứng và bắc cầu, và chia X thành các lớp rời nhau.

Lớp

[9] = {3, 6, 9, 12}
|[9]| = 4

Đáp số

|[9]| = 4
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; Kn 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) = 1, deg(B) = 2, deg(C) = 2, deg(D) = 3, deg(E) = 4, deg(F) = 2

Các đỉnh lẻ

A, D → 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ố: d(F) = 22

Đườ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.

Dijkstra từng vòng

Mỗi dòng: đỉnh được chốt, khoảng cách cuối cùng của nó, và các đỉnh kề có khoảng cách được cải thiện.

A (0): C: 11
C (11): E: 14, G: 16
E (14): D: 21, F: 22
G (16): B: 21
B (21)
D (21)
F (22)

Đường đi ngắn nhất

A → C → E → F
d(F) = 22

Đáp số

d(F) = 22
7.Lý thuyết số & số học đồng dư

Đáp số: 38−1 mod 83 = 59

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·38 (mod 83).

r = 83, t = 0
r = 38, q = 2, t = 1
r = 7, q = 5, t = −2
r = 3, q = 2, t = 11
r = 1, q = 3, t = −24

Nghịch đảo

1 ≡ −24·38 (mod 83)
x = 59
kiểm tra: 38·59 = 2242 = 27·83 + 1

Đáp số

38−1 mod 83 = 59
8.Lý thuyết số & số học đồng dư

Đáp số: 31114 mod 67 = 9

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.

Số mũ nhị phân

114 = 11100102 = 64 + 32 + 16 + 2

Bình phương lặp

311 ≡ 31 (mod 67)
312 ≡ 23 (mod 67)
314 ≡ 60 (mod 67)
318 ≡ 49 (mod 67)
3116 ≡ 56 (mod 67)
3132 ≡ 54 (mod 67)
3164 ≡ 35 (mod 67)

Nhân các lũy thừa cần thiết

31114 ≡ 23·56·54·35 ≡ 9 (mod 67)

Đáp số

31114 mod 67 = 9

ExamProblems · examproblems.com/courses/discrete-mathematics