Podstawy informatyki: zestaw na powtórkę

Wzory, najważniejsze kroki metod dla każdego tematu i 20 zadań do ćwiczenia, z pełnymi rozwiązaniami na końcu.

Nowe zadaniaWróć do przedmiotu

W oknie drukowania wybierz „Zapisz jako PDF”, aby zachować kopię na swoim urządzeniu.

1Wzory i metody

Systemy liczbowe

Wagi pozycji
dwójkowy 2k, ósemkowy 8k, szesnastkowy 16k
Na dziesiętny
Σ dk·bk
Z dziesiętnego
dziel przez podstawę, czytaj reszty od dołu do góry
Szesnastkowy ↔ dwójkowy
jedna cyfra szesnastkowa = 4 bity
Kod uzupełnień do dwóch (U2)
odwróć bity i dodaj 1

Rachunek zdań i dowody

Wiersze tablicy prawdy
2ⁿ
Implikacja
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Zaprzeczenie implikacji
¬(p → q) ≡ p ∧ ¬q
Równoważność
p ↔ q ≡ (p → q) ∧ (q → p)
Prawa de Morgana
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Prawa rozdzielności
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Zaprzeczanie kwantyfikatorów
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Metoda

  1. Policz różne zmienne: tablica prawdy ma 2ⁿ wierszy, a zaczyna się od samych jedynek.
  2. Każdej podformule daj osobną kolumnę i wypełniaj kolumny od wewnątrz na zewnątrz.
  3. Stosuj regułę każdego spójnika: → jest 0 tylko dla 1 → 0, ↔ jest 1, gdy obie strony się zgadzają.
  4. Przy równoważnościach porównaj końcowe kolumny wiersz po wierszu; przy wnioskowaniu patrz tylko na wiersze, w których każda przesłanka jest równa 1.
  5. Aby zaprzeczyć zdaniu z kwantyfikatorem, przesuń ¬ do środka, zamień ∀ i ∃ oraz zaprzecz formule wewnętrznej.

Logika cyfrowa: bramki, mapy Karnaugha i przerzutniki

Podstawowe bramki
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
Reguły algebry Boole’a
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
Prawa de Morgana
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
Kolejność na mapie Karnaugha
00, 01, 11, 10 (Gray code)
Grupa 2ᵏ komórek
traci k zmiennych
Multiplekser 4-do-1
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
Przerzutniki
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
Liczniki
n-bitowy: 2ⁿ stanów; mod-N: najmniejsze n z 2ⁿ ≥ N; fout = fclk/N
Licznik asynchroniczny (ripple)
fmax = 1/(n·tpd)
Liczniki pierścieniowy i Johnsona
n i 2n stanów

Metoda

  1. Dla układu przechodź od wejść do wyjścia bramka po bramce i zapisuj wartość na każdym przewodzie albo zapisz jego wyrażenie i wypełnij tablicę prawdy.
  2. Przy upraszczaniu wpisz jedynki (a stany nieokreślone jako X) na mapę Karnaugha z wierszami i kolumnami w kodzie Graya: 00, 01, 11, 10.
  3. Pokryj jedynki jak najmniejszą liczbą jak największych grup po 1, 2, 4, 8 lub 16 komórek, zawijając przez brzegi; każda grupa to jeden iloczyn ze zmiennych, które pozostają stałe. Dla postaci POS grupuj zera.
  4. Przy przerzutnikach i licznikach odczytuj wejścia przy każdym aktywnym zboczu zegara, zapisuj stan po każdym zboczu i pamiętaj, że n-bitowy licznik zawija się po 2ⁿ stanach.

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

  1. Najpierw zredukuj każdą liczbę modulo n; reszty leżą między 0 a n − 1.
  2. Aby znaleźć NWD, dziel wielokrotnie algorytmem Euklidesa; ostatnia niezerowa reszta jest NWD.
  3. Aby znaleźć element odwrotny, uruchom rozszerzony algorytm i zachowaj współczynnik przy a; dodaj n, jeśli jest ujemny.
  4. Rozwiąż a·x ≡ b, mnożąc przez a⁻¹; dwie kongruencje połącz, zapisując x = r₁ + m₁k.
  5. Przy potęgach zapisz wykładnik binarnie i wielokrotnie podnoś do kwadratu; w RSA d = e⁻¹ mod φ(n), gdzie φ(n) = (p − 1)(q − 1).

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

  1. Zapisz stopień każdego wierzchołka; suma stopni jest równa dwukrotności liczby krawędzi.
  2. W zadaniach o grafach eulerowskich sprawdź, czy graf jest spójny, i policz wierzchołki o nieparzystym stopniu.
  3. Dla drzew użyj n − 1 krawędzi i lematu o uściskach dłoni.
  4. W algorytmie Dijkstry prowadź tabelę tymczasowych odległości i w każdej rundzie zatwierdzaj niezatwierdzony wierzchołek o najmniejszej odległości.
  5. 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).

Podsieci IPv4

Hosty na podsieć
2(32 − prefix) − 2 (/31: 2, /32: 1)
Rozmiar bloku
256 − (mask octet)
Adres sieci
IP AND maska
Adres rozgłoszeniowy
IP OR (NOT maska): wszystkie bity hosta równe 1
Podsieci z n pożyczonych bitów
2n

2Zadania do ćwiczenia

1.Systemy liczboweŚredni
wagi w kodzie U21−12816413201608141201

8-bitowy wzór 1110 0110 zapisuje liczbę całkowitą ze znakiem w kodzie uzupełnień do dwóch. Jaka jest jej wartość N dziesiętnie?

1110 01108 bit
N =
2.Systemy liczboweTrudny
32 bit1 px800 px600 pxM = ? KiB

Nieskompresowany obraz ma 800 × 600 pikseli i 32 bitów na piksel. Ile pamięci M zajmuje, w KiB (1 KiB = 1024 bajty)?

800 × 600 px32 bit/px1 KiB = 1024 B
M = KiB
3.Rachunek zdań i dowodyŚredni
¬¬c → ¬(b ∧ a)¬c ∧ ¬(b ∧ a)(b ∧ a) → ¬c¬(b ∧ a) → ¬¬c

Chcesz udowodnić ¬c → (b ∧ a) przez kontrapozycję. Którą implikację udowadniasz zamiast niej? Kliknij ją.

¬c → (b ∧ a)
  1. 1¬¬c → ¬(b ∧ a)
  2. 2¬c ∧ ¬(b ∧ a)
  3. 3(b ∧ a) → ¬c
  4. 4¬(b ∧ a) → ¬¬c
4.Rachunek zdań i dowodyTrudny

Ile z 16 wierszy tablicy prawdy czyni (¬s ↔ (¬r ∧ ¬p)) → ((q ∧ s) ∧ ¬p) prawdziwym? Nazwij tę liczbę N.

(¬s ↔ (¬r ∧ ¬p)) → ((q ∧ s) ∧ ¬p)
N =
5.Logika cyfrowa: bramki, mapy Karnaugha i przerzutnikiŚredni
MUX0I0​1I1​1I2​1I3​ABS1​S0​F

Multiplekser 4-do-1 ma wejścia wyboru S₁ = A i S₀ = B, a wejścia danych podłączone do I₀ = 0, I₁ = 1, I₂ = 1, I₃ = 1. Dla ilu z 8 kombinacji A, B i C wyjście F = 1? Znajdź N.

I₀ = 0I₁ = 1I₂ = 1I₃ = 1
N =
6.Logika cyfrowa: bramki, mapy Karnaugha i przerzutnikiTrudny
DQ3​Q3​DQ2​Q2​DQ1​Q1​DQ0​Q0​CLKJOHNSON

4-bitowy licznik Johnsona Q₃Q₂Q₁Q₀ startuje od 0000. Przy każdym zboczu zegara bity przesuwają się o jedno miejsce w prawo (Q₃ → Q₂ → Q₁ → Q₀), a Q₃ dostaje negację Q₀. Podaj stan Q = Q₃Q₂Q₁Q₀ jako liczbę dziesiętną po 6 zboczach zegara.

Q₃Q₂Q₁Q₀ = 00006
Q =
7.Teoria liczb i arytmetyka modularnaŚredni

Znajdź element odwrotny do 16 modulo 23: liczbę x, dla której 0 < x < 23 oraz 16·x ≡ 1 (mod 23).

a = 16n = 23
16−1 mod 23 =
8.Teoria liczb i arytmetyka modularnaTrudny

41 jest liczbą pierwszą. Użyj małego twierdzenia Fermata, aby znaleźć 2754034 mod 41.

p = 41k = 54034
2754034 mod 41 =
9.Algorytmy i złożonośćŚredni

Jaka jest złożoność czasowa obliczania n-tej liczby Fibonacciego za pomocą tablicy wypełnianej wstępująco (bottom-up)?

  1. AO(n²)
  2. BO(n)
  3. CO(log n)
  4. DO(2ⁿ)
10.Algorytmy i złożonośćTrudny

Najkrótsze ścieżki proste można znaleźć w czasie wielomianowym. Co wiadomo o znajdowaniu najdłuższej ścieżki prostej między dwoma wierzchołkami w ogólnym grafie?

  1. AJest nierozstrzygalne
  2. BJest NP-trudne
  3. CZawsze jest rozwiązywalne w O(V + E)
  4. DMożna je rozwiązać algorytmem Dijkstry z wagami o przeciwnym znaku
11.Struktury danychŚredni

W binarnym kopcu minimalnym przechowywanym w tablicy (indeksowanie od 0) dzieci węzła o indeksie i znajdują się na pozycjach:

  1. Ai + 1 i i + 2
  2. B2i i 2i + 1
  3. C2i + 1 i 2i + 2
  4. Di/2 i i/2 + 1
12.Struktury danychTrudny

Które operacje w O(log n) obsługuje drzewo Fenwicka (binary indexed tree) zbudowane nad tablicą n liczb?

  1. AZapytania o sumy prefiksowe i aktualizacje pojedynczych elementów
  2. BWstawianie elementów na dowolnej pozycji
  3. CSortowanie tablicy i wyszukiwanie binarne
  4. DZnajdowanie mediany w O(1)
13.Teoria grafówŚredni
ABCDEFCykl EuleraŚcieżka Eulera, bez cykluani jedno, ani drugie

Czy graf spójny ma cykl Eulera, ścieżkę Eulera, która nie jest cyklem, czy żadne z nich? Kliknij odpowiedź.

|V| = 6|E| = 7
  1. 1Cykl Eulera
  2. 2Ścieżka Eulera, bez cyklu
  3. 3ani jedno, ani drugie
14.Teoria grafówTrudny
ABCDE

Ile jest marszów zamkniętych o długości 2, które zaczynają się i kończą w C? Marsz może powtarzać wierzchołki i krawędzie. Nazwij tę liczbę N.

M = macierz sąsiedztwaL = 2
N =
15.Bazy danych i SQLŚredni

Widok (view) w SQL to:

  1. ARodzaj indeksu
  2. BEkran w kliencie bazy danych służący do przeglądania tabel
  3. CZapisane zapytanie, które działa jak wirtualna tabela
  4. DKopia tabeli na dysku
16.Bazy danych i SQLTrudny

Tabela employee(emp_id, dept_id, dept_name) ma klucz emp_id oraz dept_id → dept_name. Które stwierdzenie jest poprawne?

  1. ANie jest w 1NF
  2. BNie jest w 2NF
  3. CJest w 2NF, ale nie w 3NF
  4. DJest w BCNF, a więc również w 3NF
17.Sieci komputeroweŚredni

Dlaczego przełącznik czasem wysyła ramkę na wszystkie porty oprócz tego, z którego przyszła?

  1. ADocelowego adresu MAC nie ma jeszcze w jego tablicy adresów
  2. BPrzełącznik działa jako router
  3. CRamka ma błędną sumę kontrolną IP i musi zostać sprawdzona przez każdego hosta
  4. DRamka jest za duża dla jednego portu
18.Sieci komputeroweTrudny

Komputer dociera do drukarek we własnej podsieci, ale do niczego poza nią. Jego adres IP i maska są poprawne. Jaka jest najbardziej prawdopodobna usterka?

  1. ABrak lub błędna brama domyślna
  2. BBłędne ustawienie serwera DNS
  3. CZduplikowany adres MAC w internecie
  4. DZa małe okno TCP
19.Podsieci IPv4Średni
/24 → /2511111111111111111111111110000000bity siecibity hosta

Sieć 192.168.100.0/24 podzielono na podsieci /25, ponumerowane 1, 2, 3, … od najniższego adresu (podsieć 1 zaczyna się od .0). Jaki jest czwarty oktet x adresu sieci podsieci 2?

192.168.100.0/24/25podsieć 2 (podsieć 1 zaczyna się od .0)
x =
20.Podsieci IPv4Trudny
ostatni oktet = 104012816413201618040201siećhost

Host ma adres 10.20.200.104/27. Jaki jest czwarty oktet x ostatniego użytecznego adresu hosta w jego podsieci?

10.20.200.104/27
x =

3Roztwory

1.Systemy liczbowe

Odpowiedź: N = −26

Pozycyjne systemy liczbowe: każda cyfra jest warta swoją wartość razy potęgę podstawy. W systemie dwójkowym pozycje są warte 1, 2, 4, 8, 16, …, w szesnastkowym 1, 16, 256, …, a A–F oznaczają 10–15. W 8-bitowym kodzie uzupełnień do dwóch skrajny lewy bit jest wart −128 zamiast +128; tak zapisuje się liczby ujemne.

Dodaj wagi

Pozostałe bity mają swoje zwykłe dodatnie wartości.

−128 + 64 + 32 + 4 + 2 = −26

Odpowiedź

N = −26
2.Systemy liczbowe

Odpowiedź: M = 1875 KiB

Pozycyjne systemy liczbowe: każda cyfra jest warta swoją wartość razy potęgę podstawy. W systemie dwójkowym pozycje są warte 1, 2, 4, 8, 16, …, w szesnastkowym 1, 16, 256, …, a A–F oznaczają 10–15. W 8-bitowym kodzie uzupełnień do dwóch skrajny lewy bit jest wart −128 zamiast +128; tak zapisuje się liczby ujemne.

Bity i bajty

800·600·32 = 15360000 bit = 1920000 B

Zamień na KiB

1920000/1024 = 1875 KiB

Odpowiedź

M = 1875 KiB
3.Rachunek zdań i dowody

Odpowiedź: ¬(b ∧ a) → ¬¬c

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

Części implikacji

a = ¬c, b = b ∧ a

Kontrapozycja

¬b → ¬a = ¬(b ∧ a) → ¬¬c

Odpowiedź

¬(b ∧ a) → ¬¬c

Kontrapozycja jest równoważna zdaniu wyjściowemu, więc jej udowodnienie dowodzi zdania.

4.Rachunek zdań i dowody

Odpowiedź: N = 9

Tablice prawdy: formuła z n różnymi zmiennymi ma 2ⁿ wierszy, po jednym dla każdej kombinacji wartości logicznych (1 = prawda, 0 = fałsz). Pracuj od wewnątrz na zewnątrz i każdej podformule daj osobną kolumnę. ¬a odwraca wartość; a ∧ b jest równe 1 tylko wtedy, gdy oba są równe 1; a ∨ b jest równe 0 tylko wtedy, gdy oba są równe 0; a → b jest równe 0 tylko wtedy, gdy a = 1 i b = 0; a ↔ b jest równe 1, gdy obie strony są równe.

Kolumny

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

Podział względem p

p = 1: 4
p = 0: 5
N = 4 + 5 = 9

Odpowiedź

N = 9
5.Logika cyfrowa: bramki, mapy Karnaugha i przerzutniki

Odpowiedź: N = 6

Multiplekser: multiplekser 2ⁿ-do-1 przekazuje na wyjście jedno ze swoich wejść danych; linie wyboru, odczytane jako liczba binarna, wskazują które. Dla multipleksera 4-do-1 z wejściami wyboru S₁S₀ = AB: F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Podłączenie wejść danych do 0, 1, C lub C′ sprawia, że multiplekser realizuje dowolną funkcję A, B i C, co jest częstym sposobem budowania logiki w jednym układzie scalonym.

Wyrażenie wyjścia

F = A′B + AB′ + AB

Wiersze z F = 1

ABC = 010, 011, 100, 101, 110, 111
N = 6

Odpowiedź

N = 6
6.Logika cyfrowa: bramki, mapy Karnaugha i przerzutniki

Odpowiedź: Q = 3

Przerzutniki i liczniki: przerzutnik zmienia stan tylko przy aktywnym zboczu zegara. D kopiuje swoje wejście (Q⁺ = D); T zmienia stan na przeciwny, gdy T = 1; JK utrzymuje stan dla 00, zeruje dla 01, ustawia dla 10 i zmienia stan na przeciwny dla 11. N-bitowy licznik binarny ma 2ⁿ stanów i liczy modulo 2ⁿ; licznik mod-N liczy 0, 1, …, N − 1 i wraca do 0, a potrzebuje tylu przerzutników, ile wynosi najmniejsze n z 2ⁿ ≥ N. Każdy stopień licznika asynchronicznego dzieli częstotliwość przez dwa, więc ostatnie wyjście licznika mod-N pracuje z częstotliwością fclk/N. Licznik Johnsona z n przerzutników ma 2n stanów, licznik pierścieniowy n.

Stan po każdym zboczu

0000 → 1000 → 1100 → 1110 → 1111 → 0111 → 0011

Wartość dziesiętna

0011₂ = 3

Odpowiedź

Q = 3
7.Teoria liczb i arytmetyka modularna

Odpowiedź: 16−1 mod 23 = 13

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·16 (mod 23).

r = 23, t = 0
r = 16, q = 1, t = 1
r = 7, q = 2, t = −1
r = 2, q = 3, t = 3
r = 1, q = 2, t = −10

Odwrotność

1 ≡ −10·16 (mod 23)
x = 13
sprawdzenie: 16·13 = 208 = 9·23 + 1

Odpowiedź

16−1 mod 23 = 13
8.Teoria liczb i arytmetyka modularna

Odpowiedź: 2754034 mod 41 = 32

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.

Zredukuj wykładnik

54034 mod 40 = 34
2754034 ≡ 2734 (mod 41)

Mała potęga

2734 mod 41 = 32

Odpowiedź

2754034 mod 41 = 32
9.Algorytmy i złożoność

Odpowiedź: B · O(n)

Dlaczego to jest odpowiedź

Wypełnienie tablicy od 0 do n wymaga jednego dodawania na element, więc praca jest liniowa zamiast wykładniczej.

Odpowiedź

B · O(n)
10.Algorytmy i złożoność

Odpowiedź: B · Jest NP-trudne

Dlaczego to jest odpowiedź

Najdłuższa ścieżka prosta o długości V − 1 to ścieżka Hamiltona, problem NP-zupełny; w acyklicznych grafach skierowanych jest jednak rozwiązywalne w czasie liniowym.

Odpowiedź

B · Jest NP-trudne
11.Struktury danych

Odpowiedź: C · 2i + 1 i 2i + 2

Dlaczego to jest odpowiedź

W tablicach indeksowanych od 0 lewe dziecko jest pod 2i + 1, prawe pod 2i + 2, a rodzic pod ⌊(i − 1)/2⌋.

Odpowiedź

C · 2i + 1 i 2i + 2
12.Struktury danych

Odpowiedź: A · Zapytania o sumy prefiksowe i aktualizacje pojedynczych elementów

Dlaczego to jest odpowiedź

Drzewo Fenwicka przechowuje sumy częściowe w zakresach wyznaczonych przez młodsze bity każdego indeksu, więc zarówno sumy prefiksowe, jak i aktualizacje punktowe zajmują O(log n).

Odpowiedź

A · Zapytania o sumy prefiksowe i aktualizacje pojedynczych elementów
13.Teoria grafów

Odpowiedź: Cykl Eulera

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.

Stopnie

deg(A) = 2, deg(B) = 4, deg(C) = 2, deg(D) = 2, deg(E) = 2, deg(F) = 2

Wierzchołki nieparzyste

0
Cykl Eulera

Odpowiedź

Cykl Eulera
14.Teoria grafów

Odpowiedź: N = 3

Stopnie: stopień wierzchołka to liczba krawędzi, które się w nim stykają. Każda krawędź ma dwa końce, więc stopnie sumują się do dwukrotności liczby krawędzi: Σ deg(v) = 2|E| (lemat o uściskach dłoni). Liczba wierzchołków o nieparzystym stopniu jest zatem parzysta. Kn ma n(n − 1)/2 krawędzi, graf k-regularny o n wierzchołkach ma nk/2, a drzewo o n wierzchołkach ma n − 1 krawędzi.

Macierz sąsiedztwa

A: 0 1 1 0 0
B: 1 0 1 1 0
C: 1 1 0 0 1
D: 0 1 0 0 1
E: 0 0 1 1 0

Wspólni sąsiedzi

(M²)CC = 1·1 + 1·1 + 0·0 + 0·0 + 1·1 = 3

Odpowiedź

N = 3
15.Bazy danych i SQL

Odpowiedź: C · Zapisane zapytanie, które działa jak wirtualna tabela

Dlaczego to jest odpowiedź

Widok przechowuje instrukcję SELECT; odpytanie go wykonuje zapytanie bazowe (widoki zmaterializowane przechowują wynik).

Odpowiedź

C · Zapisane zapytanie, które działa jak wirtualna tabela
16.Bazy danych i SQL

Odpowiedź: C · Jest w 2NF, ale nie w 3NF

Dlaczego to jest odpowiedź

Klucz ma jedną kolumnę, więc 2NF jest spełniona, ale emp_id → dept_id → dept_name to zależność przechodnia, która narusza 3NF.

Odpowiedź

C · Jest w 2NF, ale nie w 3NF
17.Sieci komputerowe

Odpowiedź: A · Docelowego adresu MAC nie ma jeszcze w jego tablicy adresów

Dlaczego to jest odpowiedź

Dla nieznanego adresu unicast przełącznik zalewa (flooding) sieć ramką. Gdy odbiorca odpowie, przełącznik uczy się jego portu z adresu źródłowego MAC.

Odpowiedź

A · Docelowego adresu MAC nie ma jeszcze w jego tablicy adresów
18.Sieci komputerowe

Odpowiedź: A · Brak lub błędna brama domyślna

Dlaczego to jest odpowiedź

Hosty wysyłają pakiety spoza podsieci do bramy domyślnej. Jeśli jest błędna lub jej brak, ruch lokalny nadal działa, ale nic na zewnątrz nie jest osiągalne, nawet po adresie IP.

Odpowiedź

A · Brak lub błędna brama domyślna
19.Podsieci IPv4

Odpowiedź: x = 128

IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).

Rozmiar bloku

27 = 128

Podsieć numer 2

sieć: (2 − 1)·128 = 128
rozgłoszeniowy: 128 + 128 − 1 = 255

Odpowiedź

x = 128
20.Podsieci IPv4

Odpowiedź: x = 126

Podsieci IPv4: adres ma 32 bity. Prefiks /p mówi, ile początkowych bitów wskazuje sieć; pozostałe 32 − p bitów numeruje hosty. Podsieć ma 2³²⁻ᵖ adresów, ale pierwszego (adres sieci) i ostatniego (adres rozgłoszeniowy) nie można przydzielić hostom, więc mieści się 2³²⁻ᵖ − 2 hostów. Wyjątki: /31 (łącze punkt-punkt, RFC 3021) wykorzystuje oba swoje 2 adresy dla hostów, a /32 to jeden adres (pojedynczy host lub loopback).

Rozmiar bloku

25 = 32

Podsieć tego hosta

sieć: ⌊104/32⌋·32 = 96
rozgłoszeniowy: 96 + 32 − 1 = 127
użyteczne hosty: 97 … 126

Odpowiedź

x = 126

ExamProblems · examproblems.com/courses/computer-science-fundamentals