Untuk suatu hubungan, uji setiap sifat pada setiap pasangan dan beri satu contoh penyangkal apabila ia gagal.
Untuk suatu fungsi, kira anak panah yang tiba pada setiap unsur B: paling banyak satu bermaksud fungsi satu-satu, sekurang-kurangnya satu bermaksud fungsi keseluruhan.
Teori graf
Lema jabat tangan
Σ deg(v) = 2|E|
Graf lengkap
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Graf sekata
|E| = n·k/2
Pokok dan hutan
|E| = n − 1, |E| = n − c
Daun sesebuah pokok
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
litar: semua darjah genap; laluan: tepat 2 darjah ganjil
Litar Hamilton dalam Kn
(n − 1)!/2
Kemas kini Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Jalan sepanjang L
(Mᴸ)ij
Kaedah
Tulis darjah setiap bucu; jumlah darjah ialah dua kali bilangan sisi.
Untuk soalan Euler, semak bahawa graf itu bersambung dan kira bucu yang berdarjah ganjil.
Untuk pokok, gunakan n − 1 sisi dan lema jabat tangan.
Untuk Dijkstra, simpan jadual jarak sementara dan tetapkan bucu tidak tetap yang paling kecil dalam setiap pusingan.
Untuk pokok rentang minimum, isih sisi mengikut berat dan langkau setiap sisi yang menutup satu kitaran (Kruskal), atau tumbuhkan satu pokok daripada bucu permulaan (Prim).
Teori nombor & aritmetik modulo
Pembahagian dengan baki
a = q·n + r, 0 ≤ r < n
Euclid
gcd(a, b) = gcd(b, a mod b)
Gandaan sepunya terkecil
lcm(a, b) = a·b/gcd(a, b)
Songsangan
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Kongruen linear
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Fungsi totien 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
Kaedah
Kurangkan setiap nombor modulo n dahulu; baki terletak antara 0 dengan n − 1.
Untuk gcd, bahagi berulang kali dengan algoritma Euclid; baki bukan sifar yang terakhir ialah gcd.
Untuk songsangan, jalankan algoritma lanjutan dan simpan pekali a; tambah n jika ia negatif.
Selesaikan a·x ≡ b dengan mendarab dengan a⁻¹; gabungkan dua kongruen dengan menulis x = r₁ + m₁k.
Untuk kuasa, tulis eksponen dalam perduaan dan kuasa duakan berulang kali; dalam RSA, d = e⁻¹ mod φ(n) dengan φ(n) = (p − 1)(q − 1).
2Soalan latihan
1.Logik proposisi & pembuktianSederhana
Adakah ¬(p ∧ q) ↔ (¬p ∨ ¬q) tautologi, percanggahan atau kontingensi? Klik jawapan anda.
¬(p ∧ q) ↔ (¬p ∨ ¬q)
1tautologi
2percanggahan
3kontingensi
2.Logik proposisi & pembuktianSukar
Hujah dengan premis q ∨ p; q dan kesimpulan ¬p adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.
q ∨ pq∴ ¬p
1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0
3.Set, hubungan & fungsiSederhana
Hubungan R pada {1, 2, 3, 4} dilukis sebagai graf terarah (gelung bermaksud (x, x) ∈ R). Tepat satu daripada empat sifat itu dipenuhi. Klik sifat itu.
Gambar rajah anak panah menunjukkan fungsi f: A → B dengan A = {1, 2, 3, 4} dan B = {a, b, c, d}. Klik penerangan yang sesuai dengan f.
f = {(1, b), (2, d), (3, a), (4, c)}
1satu-satu, bukan keseluruhan
2keseluruhan, bukan satu-satu
3bijektif
4tiada kedua-duanya
5.Teori grafSederhana
Sebuah pokok mempunyai 4 bucu berdarjah 3, 2 bucu berdarjah 4, 2 bucu berdarjah 5, 4 bucu berdarjah 2, dan semua bucu lainnya ialah daun (berdarjah 1). Berapa banyak daun L yang ada padanya?
4 × deg 32 × deg 42 × deg 54 × deg 2
L =
6.Teori grafSukar
Algoritma Dijkstra bermula dari A. Klik bucu yang ditetapkan (dijadikan tetap) dalam pusingan 5; A sendiri ialah pusingan 1.
mula: Apusingan 5
1A
2B
3C
4D
5E
6F
7.Teori nombor & aritmetik moduloSederhana
Cari fungsi totien Euler φ(1352), bilangan integer dari 1 hingga 1352 yang perdana relatif dengan 1352.
Kesetaraan logik: dua formula adalah setara (≡) apabila ia mempunyai nilai yang sama dalam setiap baris jadual kebenaran. Tautologi ialah 1 dalam setiap baris, percanggahan ialah 0 dalam setiap baris, dan kontingensi bukan kedua-duanya. Hukum yang berguna: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b dan ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (kontrapositif); ¬(a → b) ≡ a ∧ ¬b; dan hukum agihan, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
Pengkuantiti dan hujah: ¬∀x P(x) ≡ ∃x ¬P(x) dan ¬∃x P(x) ≡ ∀x ¬P(x). Alihkan penafian ke dalam, tukar setiap pengkuantiti yang dilaluinya, dan nafikan formula di dalam dengan hukum proposisi, seperti ¬(a → b) ≡ a ∧ ¬b. Hujah adalah sah apabila kesimpulan ialah 1 dalam setiap baris yang semua premisnya 1. Satu baris dengan premis benar dan kesimpulan palsu ialah contoh penyangkal dan menunjukkan hujah itu tidak sah.
Premis dan kesimpulan baris demi baris
p = 1, q = 1: 1 1 | 0
p = 1, q = 0: 1 0 | 0
p = 0, q = 1: 1 1 | 1
p = 0, q = 0: 0 0 | 1
Contoh penyangkal
p = 1, q = 1
Jawapan
p = 1, q = 1
Hujah dengan bentuk ini kelihatan seperti peraturan yang sah, tetapi satu baris sudah memadai untuk menunjukkan bahawa ia tidak sah.
3.Set, hubungan & fungsi
Jawapan: refleksif
Hubungan: hubungan R pada set X ialah set pasangan tertib (x, y). R refleksif apabila (x, x) ∈ R untuk setiap x dalam X; simetri apabila (x, y) ∈ R sentiasa disertai (y, x) ∈ R; antisimetri apabila (x, y) dan (y, x) kedua-duanya dalam R hanya jika x = y; dan transitif apabila (x, y) dan (y, z) dalam R memaksa (x, z) ∈ R. Hubungan kesetaraan ialah refleksif, simetri dan transitif, dan membahagikan X kepada kelas terasing.
refleksif
dipenuhi
simetri
gagal: (1, 2) ∈ R, (2, 1) ∉ R
antisimetri
gagal: (1, 4), (4, 1) ∈ R
transitif
gagal: (4, 1), (1, 2) ∈ R, (4, 2) ∉ R
Jawapan
refleksif
4.Set, hubungan & fungsi
Jawapan: bijektif
Fungsi dan pengiraan: fungsi f: A → B memberi setiap unsur A tepat satu imej dalam B. f ialah satu-satu (injektif) apabila unsur berbeza mempunyai imej berbeza, keseluruhan (surjektif) apabila setiap unsur B ialah imej, dan bijektif apabila kedua-duanya benar. Dengan |A| = m dan |B| = n terdapat nᵐ fungsi, n!/(n − m)! fungsi satu-satu (m ≤ n), dan dengan rangkuman–penyisihan Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ fungsi keseluruhan. |𝒫(A)| = 2ᵐ dan |A × B| = m·n.
Satu-satu?
setiap unsur B dicapai paling banyak sekali → satu-satu
Keseluruhan?
setiap unsur B dicapai → keseluruhan
Jawapan
bijektif
Jawapan
bijektif
5.Teori graf
Jawapan: L = 16
Euler, Hamilton dan pokok: graf bersambung mempunyai litar Euler (setiap sisi sekali, kembali ke permulaan) apabila setiap bucu berdarjah genap, dan laluan Euler yang bukan litar apabila tepat dua bucu berdarjah ganjil; laluan itu kemudian bermula dari satu bucu ganjil ke bucu ganjil yang lain. Litar Hamilton melawat setiap bucu sekali; Kn mempunyai (n − 1)!/2 daripadanya. Pokok pada n bucu mempunyai n − 1 sisi, dan graf bersambung dengan m sisi mengekalkan pokok rentang selepas membuang m − n + 1 sisi.
Lema jabat tangan untuk pokok
L + 38 = 2(L + 12) − 2
L = 16
Jawapan
L = 16
Jalan pintas: L = 2 + Σ (d − 2) ke atas bucu berdarjah d ≥ 3.
6.Teori graf
Jawapan: F
Laluan terpendek dan pokok rentang: algoritma Dijkstra menetapkan satu bucu setiap pusingan: bucu tidak tetap yang berjarak sementara paling kecil. Jaraknya kemudian muktamad, dan setiap jiran v mendapat d(v) = min(d(v), d(u) + w(u, v)). Algoritma Kruskal membina pokok rentang minimum dengan mengambil sisi dari ringan ke berat dan melangkau sebarang sisi yang akan menutup kitaran; algoritma Prim menumbuhkan satu pokok daripada bucu permulaan dengan sentiasa menambah sisi teringan yang keluar daripadanya. Pokok rentang n bucu mempunyai n − 1 sisi.
Dijkstra pusingan demi pusingan
1. A (0): B: 2, C: 14
2. B (2): E: 16
3. C (14)
4. E (16): D: 30, F: 26
5. F (26): D: 29
6. D (29)
pusingan 5
F
Jawapan
F
7.Teori nombor & aritmetik modulo
Jawapan: φ(1352) = 624
Songsangan dan kongruen: a mempunyai songsangan modulo n tepat apabila gcd(a, n) = 1. Algoritma Euclid lanjutan menulis 1 = s·n + t·a, dan kemudian a⁻¹ ≡ t (mod n). Kongruen a·x ≡ b (mod n) dengan gcd(a, n) = 1 mempunyai penyelesaian x ≡ a⁻¹·b. Dua kongruen x ≡ r₁ (mod m₁) dan x ≡ r₂ (mod m₂) dengan modulus perdana relatif mempunyai satu penyelesaian modulo m₁·m₂ (teorem baki Cina). φ(n) Euler mengira nombor dari 1 hingga n yang perdana relatif dengan n: φ(n) = n·∏(1 − 1/p).
Faktor perdana
1352 = 23·132
Totien
φ(1352) = φ(8)·φ(169) = 4·156 = 624
Jawapan
φ(1352) = 624
8.Teori nombor & aritmetik modulo
Jawapan: x = 15
Songsangan dan kongruen: a mempunyai songsangan modulo n tepat apabila gcd(a, n) = 1. Algoritma Euclid lanjutan menulis 1 = s·n + t·a, dan kemudian a⁻¹ ≡ t (mod n). Kongruen a·x ≡ b (mod n) dengan gcd(a, n) = 1 mempunyai penyelesaian x ≡ a⁻¹·b. Dua kongruen x ≡ r₁ (mod m₁) dan x ≡ r₂ (mod m₂) dengan modulus perdana relatif mempunyai satu penyelesaian modulo m₁·m₂ (teorem baki Cina). φ(n) Euler mengira nombor dari 1 hingga n yang perdana relatif dengan n: φ(n) = n·∏(1 − 1/p).