Подсчитайте различные переменные: в таблице истинности 2ⁿ строк, и начинается она со строки, где все переменные равны 1.
Отведите каждой подформуле отдельный столбец и заполняйте столбцы изнутри наружу.
Применяйте правило каждой связки: → равно 0 только для 1 → 0, ↔ равно 1, когда обе части совпадают.
Для эквивалентностей сравнивайте последние столбцы строка за строкой; для рассуждения смотрите только на строки, в которых все посылки равны 1.
Чтобы отрицать высказывание с квантором, переносите ¬ внутрь, меняйте ∀ и ∃ местами и отрицайте внутреннюю формулу.
Цифровая логика: вентили, карты Карно и триггеры
Основные вентили
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
Правила булевой алгебры
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
Законы де Моргана
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
Порядок на карте Карно
00, 01, 11, 10 (Gray code)
Группа из 2ᵏ клеток
теряет k переменных
Мультиплексор 4 в 1
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
Триггеры
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
Счётчики
n-разрядный: 2ⁿ состояний; по модулю N: наименьшее n, при котором 2ⁿ ≥ N; fout = fclk/N
Асинхронный счётчик
fmax = 1/(n·tpd)
Кольцевой счётчик и счётчик Джонсона
n и 2n состояний
Метод
Для схемы идите от входов к выходу вентиль за вентилем и записывайте значение на каждом проводе или запишите её выражение и заполните таблицу истинности.
Для упрощения поставьте единицы (и безразличные состояния как X) на карту Карно со строками и столбцами в коде Грея: 00, 01, 11, 10.
Покройте единицы как можно меньшим числом как можно больших групп по 1, 2, 4, 8 или 16 клеток, с переходом через края; каждая группа — один член-произведение из переменных, которые остаются постоянными. Для формы POS группируйте нули.
Для триггеров и счётчиков считывайте входы на каждом активном фронте тактового сигнала, записывайте состояние после каждого фронта и помните, что n-разрядный счётчик возвращается к началу после 2ⁿ состояний.
Теория чисел и модульная арифметика
Деление с остатком
a = q·n + r, 0 ≤ r < n
Евклид
gcd(a, b) = gcd(b, a mod b)
Наименьшее общее кратное
lcm(a, b) = a·b/gcd(a, b)
Обратная матрица
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Линейное сравнение
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Функция Эйлера
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Ферма
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n
Метод
Сначала приведите каждое число по модулю n; остатки лежат от 0 до n − 1.
Для НОД делите с остатком по алгоритму Евклида; последний ненулевой остаток и есть НОД.
Для обратного элемента запустите расширенный алгоритм и возьмите коэффициент при a; если он отрицательный, прибавьте n.
Решайте a·x ≡ b умножением на a⁻¹; два сравнения объединяйте, записывая x = r₁ + m₁k.
Для степеней запишите показатель в двоичном виде и многократно возводите в квадрат; в RSA d = e⁻¹ mod φ(n), где φ(n) = (p − 1)(q − 1).
Теория графов
Лемма о рукопожатиях
Σ deg(v) = 2|E|
Полные графы
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Регулярный граф
|E| = n·k/2
Дерево и лес
|E| = n − 1, |E| = n − c
Листья дерева
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Эйлер
цикл: все степени чётные; путь: ровно две нечётные степени
Гамильтоновы циклы в Kn
(n − 1)!/2
Обновление в алгоритме Дейкстры
d(v) = min(d(v), d(u) + w(u, v))
Маршруты длины L
(Mᴸ)ij
Метод
Запишите степень каждой вершины; сумма степеней равна удвоенному числу рёбер.
В задачах об эйлеровых путях проверьте, что граф связный, и посчитайте вершины нечётной степени.
Для деревьев используйте n − 1 ребро и лемму о рукопожатиях.
В алгоритме Дейкстры ведите таблицу предварительных расстояний и на каждом шаге фиксируйте нефиксированную вершину с наименьшим расстоянием.
Для минимального остовного дерева отсортируйте рёбра по весу и пропускайте каждое ребро, замыкающее цикл (Краскал), либо растите одно дерево из начальной вершины (Прим).
Подсети IPv4
Узлы в подсети
2(32 − prefix) − 2 (/31: 2, /32: 1)
Размер блока
256 − (mask octet)
Адрес сети
IP AND маска
Широковещательный адрес
IP OR (NOT маска): все биты узла равны 1
Подсети из n заимствованных битов
2n
2Тренировочные задачи
1.Системы счисленияСредняя
Установите биты так, чтобы они хранили −55 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −558 bit
U =
2.Системы счисленияСложная
Несжатое изображение имеет размер 1024 × 768 пикселей и 16 бит на пиксель. Сколько памяти M оно занимает, в KiB (1 KiB = 1024 байта)?
1024 × 768 px16 bit/px1 KiB = 1024 B
M = KiB
3.Логика высказываний и доказательстваСредняя
Является ли (r → p) ↔ (¬p → ¬r) тавтологией, противоречием или нейтральной формулой? Нажмите на ваш ответ.
(r → p) ↔ (¬p → ¬r)
1тавтология
2противоречие
3нейтральная формула
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((s → r) ↔ q) → (p ↔ (p ∨ s)) истинно? Обозначим это число N.
((s → r) ↔ q) → (p ↔ (p ∨ s))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
Упростите F = A′B′C + BC + AB′C′ + A′BC′ до минимальной формы «сумма произведений». Сколько литералов, L, содержит упрощённое выражение?
F = A′B′C + BC + AB′C′ + A′BC′
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Найдите минимальную форму SOP для F(A, B, C, D) = Σm(3, 9, 11, 12, 15) + d(7, 10), где d обозначает безразличные состояния. Сколько литералов, L, она содержит?
F(A, B, C, D) = Σm(3, 9, 11, 12, 15) + d(7, 10)
L =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 57 по модулю 61: число x, для которого 0 < x < 61 и 57·x ≡ 1 (mod 61).
a = 57n = 61
57−1 mod 61 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 17, q = 37 и e = 5. Расшифруйте шифртекст c = 377: найдите сообщение m.
p = 17q = 37e = 5c = 377
m =
9.Алгоритмы и сложностьСредняя
Какое жадное правило в задаче о выборе заявок всегда даёт максимальное число непересекающихся заявок?
AВыбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
BВыбрать заявку, которая начинается раньше всех
CСначала выбрать заявку с наименьшим числом пересечений, затем повторить с совместимыми
DСначала выбрать самую короткую заявку
10.Алгоритмы и сложностьСложная
Какое утверждение об o-нотации (o малое) верно?
An² = o(n)
Bn = o(n), поскольку каждая функция есть o малое от самой себя
Cn = o(n²), но n не является o(n)
D2n = o(n), потому что 2n растёт медленно
11.Структуры данныхСредняя
Какой метод разрешения коллизий хранит конфликтующие ключи в списке в той же корзине?
AЛинейное пробирование
BКвадратичное пробирование
CДвойное хеширование
DМетод цепочек (separate chaining)
12.Структуры данныхСложная
Узел АВЛ-дерева разбалансирован, потому что правое поддерево его левого потомка стало слишком высоким (случай левый–правый). Какое исправление применяется?
AЛевый поворот в левом потомке, затем правый поворот в узле
BПравый поворот в левом потомке, затем левый поворот в узле
CОдиночный левый поворот в узле
DОдиночный правый поворот в узле
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 7|E| = 12
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Алгоритм Прима строит минимальное остовное дерево, начиная с вершины F. Нажмите на ребро, которое он добавляет под номером 3.
начало: Fk = 3
1ребро AC
2ребро BC
3ребро BD
4ребро CE
5ребро DE
6ребро DF
7ребро EF
8ребро BE
15.Базы данных и SQLСредняя
Какое утверждение о HAVING верно?
AОно должно стоять перед WHERE в операторе SELECT
BЕго нельзя использовать с GROUP BY
CОно сортирует результаты
DВ нём можно использовать агрегатные функции для фильтрации групп
16.Базы данных и SQLСложная
Почему NATURAL JOIN считается рискованным в рабочих запросах?
AОн игнорирует первичные и внешние ключи и оставляет только строки с NULL
BЕго не поддерживает ни одна база данных
CОн соединяет по всем столбцам с одинаковыми именами, поэтому новый столбец может незаметно изменить результат
DОн всегда возвращает декартово произведение
17.Компьютерные сетиСредняя
Почему коммутатор иногда отправляет кадр на все порты, кроме того, на который он пришёл?
AКадр слишком велик для одного порта
BКоммутатор работает как маршрутизатор
CУ кадра неверная контрольная сумма IP, и его должен проверить каждый узел
DMAC-адреса получателя ещё нет в его таблице адресов
18.Компьютерные сетиСложная
Чего сам по себе достигает обмен ключами Диффи — Хеллмана и в чём его слабость?
AОн аутентифицирует обоих пользователей по паролям, но требует центрального сервера
BОн подписывает сертификаты веб-сайтов, но работает только с короткими ключами
CОн согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
DОн напрямую шифрует основной объём данных по открытому каналу, но слишком медленный для больших файлов и видео
19.Подсети IPv4Средняя
Подсеть использует маску 255.255.252.0. Сколько в ней пригодных адресов узлов H?
255.255.252.0
H =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.154.116/25. Каково последнее число (четвёртый октет) x широковещательного адреса его подсети?
10.20.154.116/25
x =
3Растворы
1.Системы счисления
Ответ: U = 201
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
55 = 0011 0111
инвертировано: 1100 1000
+1 → 1100 1001
Прочитайте как беззнаковое
1100 1001₂ = 256 − 55 = 201
Ответ
U = 201
2.Системы счисления
Ответ: M = 1536 KiB
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Биты и байты
1024·768·16 = 12582912 bit = 1572864 B
Переведите в KiB
1572864/1024 = 1536 KiB
Ответ
M = 1536 KiB
3.Логика высказываний и доказательства
Ответ: тавтология
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 1 в каждой строке, противоречие равно 0 в каждой строке, а нейтральная формула (contingency) — ни то ни другое. Полезные законы: законы де Моргана, ¬(a ∧ b) ≡ ¬a ∨ ¬b и ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (контрапозиция); ¬(a → b) ≡ a ∧ ¬b; а также законы дистрибутивности, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
Таблица истинности по строкам
p = 1, r = 1: r → p = 1, ¬p = 0, ¬r = 0, ¬p → ¬r = 1, (r → p) ↔ (¬p → ¬r) = 1
p = 1, r = 0: r → p = 1, ¬p = 0, ¬r = 1, ¬p → ¬r = 1, (r → p) ↔ (¬p → ¬r) = 1
p = 0, r = 1: r → p = 0, ¬p = 1, ¬r = 0, ¬p → ¬r = 0, (r → p) ↔ (¬p → ¬r) = 1
p = 0, r = 0: r → p = 1, ¬p = 1, ¬r = 1, ¬p → ¬r = 1, (r → p) ↔ (¬p → ¬r) = 1
Классификация
(r → p) ↔ (¬p → ¬r): 1, 1, 1, 1
1 в каждой строке: тавтология.
Ответ
тавтология
4.Логика высказываний и доказательства
Ответ: N = 14
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
s → r; (s → r) ↔ q; p ∨ s; p ↔ (p ∨ s); ((s → r) ↔ q) → (p ↔ (p ∨ s))
Разбиение по p
p = 1: 8
p = 0: 6
N = 8 + 6 = 14
Ответ
N = 14
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 9
Булева алгебра: правила, упрощающие выражения: X + X′ = 1 и X·X′ = 0, X + X = X, поглощение X + X·Y = X, правило склеивания X·Y + X·Y′ = X, X + X′Y = X + Y и теорема о консенсусе XY + X′Z + YZ = XY + X′Z. Законы де Моргана превращают (X·Y)′ в X′ + Y′ и (X + Y)′ в X′·Y′. Карта Карно применяет эти правила графически: каждая группа из двух соседних клеток — это одно применение XY + XY′ = X.
Минтермы выражения
A′B′C → m(1)
BC → m(3, 7)
AB′C′ → m(4)
A′BC′ → m(2)
Сгруппируйте и прочитайте
F = BC + A′C + A′B + AB′C′
Посчитайте литералы
L = 9
Ответ
L = 9
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 9
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
CD, AB′D, AB′C, ABC′D′
Минимальное покрытие
F = CD + AB′D + ABC′D′
L = 9
Ответ
L = 9
7.Теория чисел и модульная арифметика
Ответ: 57−1 mod 61 = 15
Обратные элементы и сравнения: у a есть обратный по модулю n ровно тогда, когда НОД(a, n) = 1. Расширенный алгоритм Евклида записывает 1 = s·n + t·a, откуда a⁻¹ ≡ t (mod n). Сравнение a·x ≡ b (mod n) при НОД(a, n) = 1 имеет решение x ≡ a⁻¹·b. Два сравнения x ≡ r₁ (mod m₁) и x ≡ r₂ (mod m₂) со взаимно простыми модулями имеют одно решение по модулю m₁·m₂ (китайская теорема об остатках). Функция Эйлера φ(n) считает числа от 1 до n, взаимно простые с n: φ(n) = n·∏(1 − 1/p).
Расширенный алгоритм Евклида
Каждый остаток r записывается как r ≡ t·57 (mod 61).
r = 61, t = 0
r = 57, q = 1, t = 1
r = 4, q = 14, t = −1
r = 1, q = 4, t = 15
Обратная матрица
1 ≡ 15·57 (mod 61)
x = 15
проверка: 57·15 = 855 = 14·61 + 1
Ответ
57−1 mod 61 = 15
8.Теория чисел и модульная арифметика
Ответ: m = 12
Степени по модулю и RSA: вычисляйте aᵏ mod n многократным возведением в квадрат: запишите k в двоичном виде, возводите в квадрат, приводите по модулю после каждого шага и перемножайте те степени, чей бит равен 1. Ферма: aᵖ⁻¹ ≡ 1 (mod p) для простого p, не делящего a, поэтому показатель можно приводить по модулю p − 1. RSA: выберите простые p и q, n = p·q и φ(n) = (p − 1)(q − 1); открытый показатель e взаимно прост с φ(n), а закрытый показатель d = e⁻¹ mod φ(n). Шифруйте как c = mᵉ mod n и расшифровывайте как m = cᵈ mod n.
Закрытый показатель
n = 629, φ(n) = 576
d = 5−1 mod 576 = 461
Расшифровка многократным возведением в квадрат
461 = 256 + 128 + 64 + 8 + 4 + 1
3771 ≡ 377 (mod 629)
3772 ≡ 604 (mod 629)
3774 ≡ 625 (mod 629)
3778 ≡ 16 (mod 629)
37716 ≡ 256 (mod 629)
37732 ≡ 120 (mod 629)
37764 ≡ 562 (mod 629)
377128 ≡ 86 (mod 629)
377256 ≡ 477 (mod 629)
377461 ≡ 377·625·16·562·86·477 ≡ 12 (mod 629)
Сообщение
m = 12
проверка: 125 mod 629 = 377
Ответ
m = 12
9.Алгоритмы и сложность
Ответ: A · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
Почему это ответ
Оптимальность выбора по самому раннему времени окончания доказывается аргументом обмена; для остальных правил есть контрпримеры.
Ответ
A · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
10.Алгоритмы и сложность
Ответ: C · n = o(n²), но n не является o(n)
Почему это ответ
f = o(g) означает, что f(n) / g(n) стремится к 0; n / n² стремится к 0, а n / n = 1 — нет.
Ответ
C · n = o(n²), но n не является o(n)
11.Структуры данных
Ответ: D · Метод цепочек (separate chaining)
Почему это ответ
Метод цепочек хранит для каждой корзины связный список (или другую структуру); открытая адресация ищет другую свободную ячейку в самой таблице.
Ответ
D · Метод цепочек (separate chaining)
12.Структуры данных
Ответ: A · Левый поворот в левом потомке, затем правый поворот в узле
Почему это ответ
Первый поворот превращает случай левый–правый в случай левый–левый, который затем исправляет правый поворот в несбалансированном узле.
Ответ
A · Левый поворот в левом потомке, затем правый поворот в узле
13.Теория графов
Ответ: Эйлеров цикл
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Прима
1. EF (13)
2. DE (2)
3. BD (16)
4. CE (17)
5. AC (8)
номер ребра 3
BD
Ответ
ребро BD
15.Базы данных и SQL
Ответ: D · В нём можно использовать агрегатные функции для фильтрации групп
Почему это ответ
HAVING фильтрует группы после агрегации и может ссылаться на агрегатные функции; WHERE так не может.
Ответ
D · В нём можно использовать агрегатные функции для фильтрации групп
16.Базы данных и SQL
Ответ: C · Он соединяет по всем столбцам с одинаковыми именами, поэтому новый столбец может незаметно изменить результат
Почему это ответ
Естественное соединение сопоставляет все одноимённые столбцы, например не связанные между собой "name" или "created_at"; явное предложение ON или USING безопаснее.
Ответ
C · Он соединяет по всем столбцам с одинаковыми именами, поэтому новый столбец может незаметно изменить результат
17.Компьютерные сети
Ответ: D · MAC-адреса получателя ещё нет в его таблице адресов
Почему это ответ
Для неизвестного одноадресного (unicast) адреса коммутатор рассылает кадр лавинно (flooding). Когда получатель ответит, коммутатор узнает его порт по MAC-адресу источника.
Ответ
D · MAC-адреса получателя ещё нет в его таблице адресов
18.Компьютерные сети
Ответ: C · Он согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
Почему это ответ
Алгоритм Диффи — Хеллмана позволяет двум сторонам получить одинаковый секрет, который подслушивающие не могут вычислить. Злоумышленник посередине может провести отдельные обмены с каждой стороной, если значения не подписаны или не аутентифицированы иным способом.
Ответ
C · Он согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
19.Подсети IPv4
Ответ: H = 1022
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).
Длина префикса
255.255.252.0 = /22
Используемые узлы
210 − 2 = 1022
Ответ
H = 1022
20.Подсети IPv4
Ответ: x = 127
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).