Narysuj diagram Venna i rozstrzygnij obszar po obszarze, co należy do wyrażenia na zbiorach.
W zadaniach na zliczanie wypełniaj obszary od środka na zewnątrz: najpierw wszystkie zbiory, potem pary, potem pojedyncze zbiory, na końcu zewnętrze.
Użyj zasady włączeń i wyłączeń do sprawdzenia: |A ∪ B| = |A| + |B| − |A ∩ B|.
Dla relacji sprawdź każdą własność na każdej parze i podaj jeden kontrprzykład, gdy zawodzi.
Dla funkcji policz strzałki wchodzące do każdego elementu B: co najwyżej jedna oznacza różnowartościowość, co najmniej jedna – surjekcję.
Teoria grafów
Lemat o uściskach dłoni
Σ deg(v) = 2|E|
Grafy pełne
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Graf regularny
|E| = n·k/2
Drzewo i las
|E| = n − 1, |E| = n − c
Liście drzewa
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
cykl: wszystkie stopnie parzyste; ścieżka: dokładnie 2 stopnie nieparzyste
Cykle Hamiltona w Kn
(n − 1)!/2
Aktualizacja w algorytmie Dijkstry
d(v) = min(d(v), d(u) + w(u, v))
Marsze o długości L
(Mᴸ)ij
Metoda
Zapisz stopień każdego wierzchołka; suma stopni jest równa dwukrotności liczby krawędzi.
W zadaniach o grafach eulerowskich sprawdź, czy graf jest spójny, i policz wierzchołki o nieparzystym stopniu.
Dla drzew użyj n − 1 krawędzi i lematu o uściskach dłoni.
W algorytmie Dijkstry prowadź tabelę tymczasowych odległości i w każdej rundzie zatwierdzaj niezatwierdzony wierzchołek o najmniejszej odległości.
Dla minimalnego drzewa rozpinającego posortuj krawędzie według wagi i pomijaj każdą krawędź zamykającą cykl (Kruskal) albo rozbudowuj jedno drzewo od wierzchołka startowego (Prim).
Teoria liczb i arytmetyka modularna
Dzielenie z resztą
a = q·n + r, 0 ≤ r < n
Euklides
gcd(a, b) = gcd(b, a mod b)
Najmniejsza wspólna wielokrotność
lcm(a, b) = a·b/gcd(a, b)
Odwrotność
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Kongruencja liniowa
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Funkcja φ Eulera
φ(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
Metoda
Najpierw zredukuj każdą liczbę modulo n; reszty leżą między 0 a n − 1.
Aby znaleźć NWD, dziel wielokrotnie algorytmem Euklidesa; ostatnia niezerowa reszta jest NWD.
Aby znaleźć element odwrotny, uruchom rozszerzony algorytm i zachowaj współczynnik przy a; dodaj n, jeśli jest ujemny.
Rozwiąż a·x ≡ b, mnożąc przez a⁻¹; dwie kongruencje połącz, zapisując x = r₁ + m₁k.
Przy potęgach zapisz wykładnik binarnie i wielokrotnie podnoś do kwadratu; w RSA d = e⁻¹ mod φ(n), gdzie φ(n) = (p − 1)(q − 1).
2Zadania do ćwiczenia
1.Rachunek zdań i dowodyŚredni
Która formuła jest logicznie równoważna (q ∧ r) → p? Kliknij ją.
(q ∧ r) → p
1q → (r → p)
2(q → r) → p
3q ∧ (r → p)
4(q → p) ∧ (r → p)
2.Rachunek zdań i dowodyTrudny
Które zdanie jest równoważne ¬∀x ∀y (R(x, y) → R(y, x)), gdy negację przesunięto całkiem do środka? Kliknij je.
¬∀x ∀y (R(x, y) → R(y, x))
1∃x ∃y (R(x, y) → ¬R(y, x))
2∃x ∃y (R(x, y) ∧ ¬R(y, x))
3∀x ∀y (R(x, y) ∧ ¬R(y, x))
4∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
3.Zbiory, relacje i funkcjeŚredni
W grupie 48 studentów po francusku mówi 29 (F), po niemiecku 20 (G), po hiszpańsku 23 (S). Francuski i niemiecki: 13, francuski i hiszpański: 13, niemiecki i hiszpański: 5, wszystkie trzy języki: 2. Ile elementów należy do dokładnie jednego z trzech zbiorów? Nazwij tę liczbę n.
|U| = 48
n =
4.Zbiory, relacje i funkcjeTrudny
Diagram strzałkowy przedstawia funkcję f: A → B, gdzie A = {1, 2, 3, 4} i B = {a, b, c, d}. Kliknij opis, który pasuje do f.
f = {(1, a), (2, b), (3, b), (4, b)}
1injekcja, nie surjekcja
2surjekcja, nie injekcja
3bijekcja
4ani jedno, ani drugie
5.Teoria grafówŚredni
Czy graf spójny ma cykl Eulera, ścieżkę Eulera, która nie jest cyklem, czy żadne z nich? Kliknij odpowiedź.
|V| = 6|E| = 6
1Cykl Eulera
2Ścieżka Eulera, bez cyklu
3ani jedno, ani drugie
6.Teoria grafówTrudny
Algorytm Kruskala buduje minimalne drzewo rozpinające. Kliknij krawędź, którą dodaje jako krawędź numer 3; pominięte krawędzie się nie liczą.
k = 3
1krawędź AB
2krawędź AC
3krawędź BC
4krawędź BD
5krawędź CE
6krawędź DE
7krawędź BE
7.Teoria liczb i arytmetyka modularnaŚredni
Znajdź element odwrotny do 14 modulo 23: liczbę x, dla której 0 < x < 23 oraz 14·x ≡ 1 (mod 23).
a = 14n = 23
14−1 mod 23 =
8.Teoria liczb i arytmetyka modularnaTrudny
Użyj wielokrotnego podnoszenia do kwadratu, aby znaleźć 1382 mod 22.
a = 13k = 82n = 22
1382 mod 22 =
3Roztwory
1.Rachunek zdań i dowody
Odpowiedź: q → (r → p)
Równoważność logiczna: dwie formuły są równoważne (≡), gdy mają tę samą wartość w każdym wierszu tablicy prawdy. Tautologia jest równa 1 w każdym wierszu, kontradykcja 0 w każdym wierszu, a formuła kontyngentna nie jest ani jednym, ani drugim. Przydatne prawa: prawa de Morgana, ¬(a ∧ b) ≡ ¬a ∨ ¬b oraz ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (kontrapozycja); ¬(a → b) ≡ a ∧ ¬b; oraz prawa rozdzielności, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
Prawo
Prawo eksportacji: (a ∧ b) → c ≡ a → (b → c). Oba są równe 0 tylko wtedy, gdy a = 1, b = 1 i c = 0.
(q ∧ r) → p ≡ q → (r → p)
Sprawdź tablicą prawdy
p = 1, q = 1, r = 1: 1 | 1 1 1 1
p = 1, q = 1, r = 0: 1 | 1 1 1 1
p = 1, q = 0, r = 1: 1 | 1 1 0 1
p = 1, q = 0, r = 0: 1 | 1 1 0 1
p = 0, q = 1, r = 1: 0 | 0 0 0 0
p = 0, q = 1, r = 0: 1 | 1 1 1 0
p = 0, q = 0, r = 1: 1 | 1 0 0 0
p = 0, q = 0, r = 0: 1 | 1 0 0 1
Odpowiedź
q → (r → p)
Kolumny po kresce to opcje w pokazanej kolejności.
2.Rachunek zdań i dowody
Odpowiedź: ∃x ∃y (R(x, y) ∧ ¬R(y, x))
Kwantyfikatory i wnioskowania: ¬∀x P(x) ≡ ∃x ¬P(x) oraz ¬∃x P(x) ≡ ∀x ¬P(x). Przesuń negację do środka, zamień każdy kwantyfikator, który mija, i zaneguj formułę wewnętrzną prawami rachunku zdań, takimi jak ¬(a → b) ≡ a ∧ ¬b. Wnioskowanie jest poprawne, gdy wniosek jest równy 1 w każdym wierszu, w którym wszystkie przesłanki są równe 1. Pojedynczy wiersz z prawdziwymi przesłankami i fałszywym wnioskiem jest kontrprzykładem i pokazuje, że wnioskowanie jest niepoprawne.
Pozostałe opcje albo zostawiają kwantyfikator bez zmian, albo zmieniają kolejność kwantyfikatorów, albo błędnie negują formułę wewnętrzną.
3.Zbiory, relacje i funkcje
Odpowiedź: n = 16
Zbiory i diagramy Venna: A ∪ B zawiera elementy należące do A lub B (lub obu), A ∩ B elementy należące do obu, A − B elementy A, które nie należą do B, a dopełnienie A′ wszystko w U, co nie należy do A. Na diagramie Venna każde wyrażenie na zbiorach jest sumą obszarów, więc zliczaj je obszar po obszarze. Włączenia i wyłączenia: |A ∪ B| = |A| + |B| − |A ∩ B| oraz |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.
Środek i pary
F ∩ G ∩ S: 2
F ∩ G tylko: 13 − 2 = 11
F ∩ S tylko: 13 − 2 = 11
G ∩ S tylko: 5 − 2 = 3
Pojedyncze zbiory
F tylko: 29 − 11 − 11 − 2 = 5
G tylko: 20 − 11 − 3 − 2 = 4
S tylko: 23 − 11 − 3 − 2 = 7
Odpowiedź
5 + 4 + 7 = 16
Odpowiedź
n = 16
4.Zbiory, relacje i funkcje
Odpowiedź: ani jedno, ani drugie
Funkcje i zliczanie: funkcja f: A → B przypisuje każdemu elementowi A dokładnie jeden obraz w B. f jest różnowartościowa (injekcja), gdy różne elementy mają różne obrazy, „na” (surjekcja), gdy każdy element B jest obrazem, i wzajemnie jednoznaczna (bijekcja), gdy zachodzą oba warunki. Dla |A| = m i |B| = n jest nᵐ funkcji, n!/(n − m)! różnowartościowych (m ≤ n) oraz, z zasady włączeń i wyłączeń, Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ funkcji „na”. |𝒫(A)| = 2ᵐ i |A × B| = m·n.
Injekcja?
f(2) = f(3) = b → nie jest injekcją
Surjekcja?
c, d nie dostają strzałki → nie jest surjekcją
Odpowiedź
ani jedno, ani drugie
Odpowiedź
ani jedno, ani drugie
5.Teoria grafów
Odpowiedź: Ścieżka Eulera, bez cyklu
Euler, Hamilton i drzewa: graf spójny ma cykl Eulera (każda krawędź raz, powrót do startu), gdy każdy wierzchołek ma stopień parzysty, oraz ścieżkę Eulera, która nie jest cyklem, gdy dokładnie dwa wierzchołki mają stopień nieparzysty; ścieżka biegnie wtedy od jednego wierzchołka nieparzystego do drugiego. Cykl Hamiltona odwiedza każdy wierzchołek raz; Kn ma ich (n − 1)!/2. Drzewo o n wierzchołkach ma n − 1 krawędzi, a graf spójny o m krawędziach zachowuje drzewo rozpinające po usunięciu m − n + 1 krawędzi.
Ścieżka Eulera zaczyna się w jednym wierzchołku nieparzystym i kończy w drugim.
6.Teoria grafów
Odpowiedź: krawędź BD
Najkrótsze ścieżki i drzewa rozpinające: algorytm Dijkstry zatwierdza jeden wierzchołek na rundę: niezatwierdzony wierzchołek o najmniejszej tymczasowej odległości. Jego odległość jest wtedy ostateczna, a każdy sąsiad v dostaje d(v) = min(d(v), d(u) + w(u, v)). Algorytm Kruskala buduje minimalne drzewo rozpinające, biorąc krawędzie od lekkich do ciężkich i pomijając każdą, która zamknęłaby cykl; algorytm Prima rozbudowuje jedno drzewo od wierzchołka startowego, zawsze dodając najlżejszą krawędź wychodzącą z niego. Drzewo rozpinające o n wierzchołkach ma n − 1 krawędzi.
Algorytm Kruskala
1. BC (3)
2. DE (6)
3. BD (8)
4. AC (9)
numer krawędzi 3
BD
Odpowiedź
krawędź BD
7.Teoria liczb i arytmetyka modularna
Odpowiedź: 14−1 mod 23 = 5
Elementy odwrotne i kongruencje: a ma element odwrotny modulo n dokładnie wtedy, gdy NWD(a, n) = 1. Rozszerzony algorytm Euklidesa zapisuje 1 = s·n + t·a, a wtedy a⁻¹ ≡ t (mod n). Kongruencja a·x ≡ b (mod n) przy NWD(a, n) = 1 ma rozwiązanie x ≡ a⁻¹·b. Dwie kongruencje x ≡ r₁ (mod m₁) i x ≡ r₂ (mod m₂) o względnie pierwszych modułach mają jedno rozwiązanie modulo m₁·m₂ (chińskie twierdzenie o resztach). Funkcja φ(n) Eulera zlicza liczby od 1 do n względnie pierwsze z n: φ(n) = n·∏(1 − 1/p).
Rozszerzony algorytm Euklidesa
Każdą resztę r zapisujemy jako r ≡ t·14 (mod 23).
r = 23, t = 0
r = 14, q = 1, t = 1
r = 9, q = 1, t = −1
r = 5, q = 1, t = 2
r = 4, q = 1, t = −3
r = 1, q = 4, t = 5
Odwrotność
1 ≡ 5·14 (mod 23)
x = 5
sprawdzenie: 14·5 = 70 = 3·23 + 1
Odpowiedź
14−1 mod 23 = 5
8.Teoria liczb i arytmetyka modularna
Odpowiedź: 1382 mod 22 = 15
Potęgi modularne i RSA: oblicz aᵏ mod n przez wielokrotne podnoszenie do kwadratu: zapisz k binarnie, podnoś do kwadratu, redukuj po każdym kroku i mnóż potęgi, których bit jest równy 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) dla liczby pierwszej p niedzielącej a, więc wykładnik można redukować modulo p − 1. RSA: wybierz liczby pierwsze p i q, n = p·q i φ(n) = (p − 1)(q − 1); wykładnik publiczny e jest względnie pierwszy z φ(n), a wykładnik prywatny to d = e⁻¹ mod φ(n). Szyfruj wzorem c = mᵉ mod n, a odszyfrowuj wzorem m = cᵈ mod n.