Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −19 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −198 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1100 1100 XOR 0001 0100. Чему равно значение результата R в десятичной системе?
1100 1100XOR0001 0100
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна c ∧ (a ∨ b)? Нажмите на неё.
c ∧ (a ∨ b)
1(c ∨ a) ∧ (c ∨ b)
2(c ∧ a) ∨ (c ∧ b)
3c ∨ (a ∧ b)
4(c ∧ a) ∨ b
4.Логика высказываний и доказательстваСложная
Какое утверждение эквивалентно ¬∃x (A(x) ∧ B(x)), если отрицание перенесено полностью внутрь? Нажмите на него.
¬∃x (A(x) ∧ B(x))
1∃x (A(x) → ¬B(x))
2∀x (A(x) ∧ ¬B(x))
3∀x (A(x) → ¬B(x))
4∃x (¬A(x) ∧ ¬B(x))
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
У мультиплексора 4 в 1 адресные входы S₁ = A и S₀ = B, а информационные входы подключены так: I₀ = 1, I₁ = C, I₂ = 1, I₃ = C. Для скольких из 8 комбинаций A, B и C выход F = 1? Найдите N.
I₀ = 1I₁ = CI₂ = 1I₃ = C
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный двоичный суммирующий счётчик начинает с 1 (в десятичном виде, Q = 0001). Какое значение Q (в десятичном виде) он покажет после 42 тактовых импульсов?
Q0 = 142n = 4
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите наименьшее положительное целое x, для которого x ≡ 5 (mod 9) и x ≡ 7 (mod 11).
x ≡ 5 (mod 9)x ≡ 7 (mod 11)
x =
8.Теория чисел и модульная арифметикаСложная
13 — простое число. Используйте малую теорему Ферма, чтобы найти 2846649 mod 13.
p = 13k = 46649
2846649 mod 13 =
9.Алгоритмы и сложностьСредняя
Какова амортизированная временная сложность добавления элемента в конец динамического массива, который удваивает свою ёмкость при заполнении?
AO(1)
BO(n)
CO(n²)
DO(log n)
10.Алгоритмы и сложностьСложная
Какова амортизированная стоимость инкремента двоичного счётчика, если один инкремент может изменить много битов?
AO(n log n) на инкремент
BO(n) на инкремент
CO(log n) на инкремент
DO(1) на инкремент
11.Структуры данныхСредняя
Чему равно значение постфиксного выражения 3 4 + 2 * ?
A14
B10
C11
D24
12.Структуры данныхСложная
В кольцевом буфере front == rear может означать и «пуст», и «полон». Какой распространённый способ их различить?
AВсегда очищать буфер, когда front равен rear, так что состояние — пустой
BДелать размер буфера степенью двойки
CХранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной
DХранить front и rear в одной переменной
13.Теория графовСредняя
Связный граф имеет 16 вершин и 25 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 16|E| = 25
k =
14.Теория графовСложная
С помощью алгоритма Дейкстры найдите длину d(F) кратчайшего пути от A до F во взвешенном графе.
начало: Aконец: F
d(F) =
15.Базы данных и SQLСредняя
Что означает буква «A» в аббревиатуре ACID?
AАтомарность (Atomicity)
BАгрегация (Aggregation)
CДоступность (Availability)
DТочность (Accuracy)
16.Базы данных и SQLСложная
Есть составной индекс по (last_name, first_name). Какое условие может использовать его наиболее эффективно?
AWHERE last_name = 'Jansen'
BWHERE first_name LIKE '%a'
CWHERE first_name = 'Eva'
DWHERE UPPER(first_name) = 'EVA'
17.Компьютерные сетиСредняя
Браузер получает код состояния HTTP 404. Что он означает?
AКлиент сначала должен войти в систему
BНа сервере произошла внутренняя ошибка
CЗапрос выполнен успешно
DЗапрошенный ресурс не найден
18.Компьютерные сетиСложная
Через год закрытый ключ сервера будет похищен. Какое свойство TLS сохранит в безопасности записанные сегодня сеансы?
AПрямая секретность (forward secrecy) за счёт эфемерного обмена ключами Диффи — Хеллмана
BСжатие данных перед шифрованием
CИспользование более длинного доменного имени
DДвукратная отправка сертификата
19.Подсети IPv4Средняя
Сеть 192.168.10.0/24 нужно разделить как минимум на 4 одинаковых подсетей. Если занять как можно меньше битов, сколько используемых узлов H будет в каждой подсети?
192.168.10.0/244 subnets
H =
20.Подсети IPv4Сложная
У маршрутизатора есть маршруты к сетям: 10.195.58.0/24, 10.195.59.0/24, 10.195.60.0/24, 10.195.61.0/24, 10.195.62.0/24. Какова наибольшая длина префикса p одного суммарного маршрута, охватывающего их все?
10.195.58.0/24 … 10.195.62.0/24
p =
3Растворы
1.Системы счисления
Ответ: U = 237
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
19 = 0001 0011
инвертировано: 1110 1100
+1 → 1110 1101
Прочитайте как беззнаковое
1110 1101₂ = 256 − 19 = 237
Ответ
U = 237
2.Системы счисления
Ответ: R = 216
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
XOR даёт 1 там, где два бита различаются.
1100 1100
XOR 0001 0100
= 1101 1000
Значение результата
1101 1000₂ = 216
Ответ
R = 216
3.Логика высказываний и доказательства
Ответ: (c ∧ a) ∨ (c ∧ b)
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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).
Закон
∧ дистрибутивно относительно ∨: a ∧ (b ∨ c) ≡ (a ∧ b) ∨ (a ∧ c).
c ∧ (a ∨ b) ≡ (c ∧ a) ∨ (c ∧ b)
Проверка по таблице истинности
a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 0 | 1 0 1 1
a = 1, b = 0, c = 1: 1 | 1 1 1 1
a = 1, b = 0, c = 0: 0 | 0 0 0 0
a = 0, b = 1, c = 1: 1 | 1 1 1 1
a = 0, b = 1, c = 0: 0 | 0 0 0 1
a = 0, b = 0, c = 1: 0 | 1 0 1 0
a = 0, b = 0, c = 0: 0 | 0 0 0 0
Ответ
(c ∧ a) ∨ (c ∧ b)
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: ∀x (A(x) → ¬B(x))
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Перенесите отрицание внутрь
¬∃x (A(x) ∧ B(x)) ≡ ∀x (A(x) → ¬B(x))
Ответ
∀x (A(x) → ¬B(x))
Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 6
Мультиплексор: мультиплексор 2ⁿ в 1 передаёт на выход один из своих информационных входов; адресные входы, читаемые как двоичное число, выбирают, какой именно. Для мультиплексора 4 в 1 с адресами S₁S₀ = AB: F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Если подключить информационные входы к 0, 1, C или C′, мультиплексор реализует любую функцию от A, B и C, что — распространённый способ построить логику на одной микросхеме.
Выражение выхода
F = A′B′ + A′BC + AB′ + ABC
Строки с F = 1
ABC = 000, 001, 011, 100, 101, 111
N = 6
Ответ
N = 6
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 11
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. D копирует свой вход (Q⁺ = D); T переключается при T = 1; JK сохраняет состояние при 00, сбрасывает при 01, устанавливает при 10 и переключает при 11. n-разрядный двоичный счётчик имеет 2ⁿ состояний и считает по модулю 2ⁿ; счётчик по модулю N считает 0, 1, …, N − 1 и возвращается к 0, и ему нужно наименьшее число триггеров n, при котором 2ⁿ ≥ N. Каждый разряд асинхронного счётчика делит частоту пополам, поэтому последний выход счётчика по модулю N работает на частоте fclk/N. У счётчика Джонсона из n триггеров 2n состояний, у кольцевого счётчика n.
Полные циклы
Каждые 16 импульсов возвращают счётчик в то же состояние.
42 = 2·16 + 10
Значение после оставшихся импульсов
Q = (1 + 10) mod 16 = 11
Q = 1011₂
Ответ
Q = 11
7.Теория чисел и модульная арифметика
Ответ: x = 95
Обратные элементы и сравнения: у 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).
Первое сравнение
x = 5 + 9k
Второе сравнение
5 + 9k ≡ 7 (mod 11) → 9k ≡ 2 (mod 11)
k ≡ 5·2 ≡ 10 (mod 11)
Результат
x = 5 + 9·10 = 95
x = 95
проверка: 95 mod 9 = 5, 95 mod 11 = 7
Ответ
x = 95
8.Теория чисел и модульная арифметика
Ответ: 2846649 mod 13 = 6
Степени по модулю и 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.
Приведите показатель
46649 mod 12 = 5
2846649 ≡ 285 (mod 13)
Малая степень
285 mod 13 = 6
Ответ
2846649 mod 13 = 6
9.Алгоритмы и сложность
Ответ: A · O(1)
Почему это ответ
Копирование всех элементов происходит только на степенях двойки; если распределить эти затраты на все добавления, средняя стоимость одного добавления постоянна.
Ответ
A · O(1)
10.Алгоритмы и сложность
Ответ: D · O(1) на инкремент
Почему это ответ
За n инкрементов бит i меняется около n / 2ⁱ раз, поэтому всего меньше 2n изменений, в среднем O(1) на каждый.
Ответ
D · O(1) на инкремент
11.Структуры данных
Ответ: A · 14
Почему это ответ
Помещаем 3 и 4, + даёт 7; помещаем 2, * даёт 7 × 2 = 14.
Ответ
A · 14
12.Структуры данных
Ответ: C · Хранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной
Почему это ответ
Со счётчиком «пуст» означает count = 0, а «полон» — count = ёмкость; при одной свободной ячейке «полон» определяется как (rear + 1) mod n == front.
Ответ
C · Хранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной
13.Теория графов
Ответ: k = 10
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
16 − 1 = 15
Рёбра для удаления
k = 25 − 15 = 10
Ответ
k = 10
14.Теория графов
Ответ: d(F) = 32
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
В каждой строке: зафиксированная вершина, её окончательное расстояние и соседи, у которых расстояние улучшается.
A (0): B: 11, C: 7
C (7): E: 20
B (11): D: 12
D (12): E: 17
E (17): F: 32
F (32)
Кратчайший путь
A → B → D → E → F
d(F) = 32
Ответ
d(F) = 32
15.Базы данных и SQL
Ответ: A · Атомарность (Atomicity)
Почему это ответ
ACID: атомарность, согласованность, изолированность, долговечность (atomicity, consistency, isolation, durability). Атомарность означает, что транзакция выполняется полностью или не выполняется вовсе.
Ответ
A · Атомарность (Atomicity)
16.Базы данных и SQL
Ответ: A · WHERE last_name = 'Jansen'
Почему это ответ
Составной индекс на B-дереве упорядочен по last_name, а затем по first_name, поэтому поиск по ведущему столбцу работает, а одно лишь first_name не может использовать этот порядок.
Ответ
A · WHERE last_name = 'Jansen'
17.Компьютерные сети
Ответ: D · Запрошенный ресурс не найден
Почему это ответ
404 Not Found означает, что на сервере нет ресурса по этому URL. 200 — OK, 401 — Unauthorized, а 500 — Internal Server Error.
Ответ
D · Запрошенный ресурс не найден
18.Компьютерные сети
Ответ: A · Прямая секретность (forward secrecy) за счёт эфемерного обмена ключами Диффи — Хеллмана
Почему это ответ
При эфемерном (EC)DHE каждый сеансовый ключ выводится из временных значений, которые затем уничтожаются. Долговременный ключ только подписывает обмен, поэтому его последующая кража не позволяет расшифровать старый трафик.
Ответ
A · Прямая секретность (forward secrecy) за счёт эфемерного обмена ключами Диффи — Хеллмана
19.Подсети IPv4
Ответ: H = 62
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Занимаемые биты
22 = 4 ≥ 4 → b = 2, /26
Узлы в подсети
26 − 2 = 62
Ответ
H = 62
20.Подсети IPv4
Ответ: p = 21
Суммирование маршрутов: суммарный маршрут a.b.c.0/p охватывает все сети, у которых первые p битов совпадают. Запишите различающийся октет первой и последней сети в двоичном виде; число общих старших битов плюс биты предшествующих октетов — это наибольший префикс суммарного маршрута.
Сравниваем биты
58 = 00111010
62 = 00111110
общих старших битов: 5
Длина префикса
p = 16 + 5 = 21
Ответ
p = /21
Суммарный маршрут: 10.195.56.0/21 (он также охватывает 3 сеть(и), которых нет в списке).