Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −25 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −258 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0100 1101 OR 0010 0010. Чему равно значение результата R в десятичной системе?
0100 1101OR0010 0010
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна r ∨ (p ∧ q)? Нажмите на неё.
r ∨ (p ∧ q)
1(r ∨ p) ∧ (r ∨ q)
2r ∧ (p ∨ q)
3(r ∨ p) ∧ q
4(r ∧ p) ∨ (r ∧ q)
4.Логика высказываний и доказательстваСложная
Рассуждение с посылками a → b; b и выводом a неправильно. Нажмите на строку таблицы истинности, которая является контрпримером.
a → bb∴ a
1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(0, 3, 4, 6, 7, 10). Сколько членов-произведений, N, в ней?
F(A, B, C, D) = Σm(0, 3, 4, 6, 7, 10)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Тактовый сигнал 1 kHz управляет счётчиком по модулю 50. Найдите частоту fout его старшего выхода, который завершает один цикл за один цикл счёта.
fclk = 1 kHzN = 50
fout = kHz
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 7 по модулю 19: число x, для которого 0 < x < 19 и 7·x ≡ 1 (mod 19).
a = 7n = 19
7−1 mod 19 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 5, q = 17 и e = 11. Расшифруйте шифртекст c = 44: найдите сообщение m.
p = 5q = 17e = 11c = 44
m =
9.Алгоритмы и сложностьСредняя
Каково решение рекуррентного соотношения T(n) = 2T(n/2) + O(1)?
AO(n²)
BO(n log n)
CO(log n)
DO(n)
10.Алгоритмы и сложностьСложная
В чём разница между неразрешимой и трудноразрешимой задачей?
AОба термина означают, что у задачи вообще нет алгоритма
BТрудноразрешимые задачи нельзя решить никаким алгоритмом, а неразрешимым нужно лишь экспоненциальное время
CНеразрешимые задачи лежат в NP, а трудноразрешимые — в P
DУ неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
11.Структуры данныхСредняя
Какую структуру данных использует выполняющаяся программа для отслеживания активных вызовов функций и их локальных переменных?
AОчередь памяти кучи
BХеш-таблицу функций
CДвоичное дерево поиска кадров
DСтек вызовов
12.Структуры данныхСложная
Динамический массив удваивается при заполнении. Почему многие реализации уменьшают его, только когда он заполнен на четверть, а не наполовину?
AЧтобы избежать повторных изменений размера, когда push и pop чередуются вблизи границы
BПотому что распределитель памяти может освобождать память только четвертями блока
CЧтобы массив оставался отсортированным
DПотому что уменьшение вдвое при половинном заполнении привело бы к потере элементов
13.Теория графовСредняя
Связный граф имеет 15 вершин и 23 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 15|E| = 23
k =
14.Теория графовСложная
Сколько существует замкнутых маршрутов длины 2, начинающихся и заканчивающихся в E? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 2
N =
15.Базы данных и SQLСредняя
В таблице orders 5 строк, каждая ссылается на существующего клиента. В таблице customers 3 строки. Сколько строк вернёт INNER JOIN по customer_id?
A8
B3
C15
D5
16.Базы данных и SQLСложная
Чего требует правило журнализации с упреждающей записью (WAL)?
AКаждый запрос должен быть занесён в журнал до разбора
BЗапись журнала об изменении должна попасть на устойчивый носитель раньше изменённой страницы данных
CЖурнал записывается только после сбоя
DСтраницы данных должны записываться раньше журнала
17.Компьютерные сетиСредняя
Сколько адресов узлов можно использовать в подсети IPv4 /26?
A62
B30
C126
D64
18.Компьютерные сетиСложная
Каков максимальный блок передачи (MTU) полезной нагрузки стандартного Ethernet?
A1500 байт
B64 байта
C9000 байт в любой сети
D65535 байт
19.Подсети IPv4Средняя
Сеть 192.168.15.0/24 разделена на подсети /25, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x широковещательного адреса подсети 2?
192.168.15.0/24/25подсеть 2 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.151.227/29. Каков четвёртый октет x последнего используемого адреса узла в его подсети?
10.20.151.227/29
x =
3Растворы
1.Системы счисления
Ответ: U = 231
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
25 = 0001 1001
инвертировано: 1110 0110
+1 → 1110 0111
Прочитайте как беззнаковое
1110 0111₂ = 256 − 25 = 231
Ответ
U = 231
2.Системы счисления
Ответ: R = 111
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
OR даёт 1 там, где хотя бы один бит равен 1.
0100 1101
OR 0010 0010
= 0110 1111
Значение результата
0110 1111₂ = 111
Ответ
R = 111
3.Логика высказываний и доказательства
Ответ: (r ∨ p) ∧ (r ∨ q)
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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).
r ∨ (p ∧ q) ≡ (r ∨ p) ∧ (r ∨ q)
Проверка по таблице истинности
p = 1, q = 1, r = 1: 1 | 1 1 1 1
p = 1, q = 1, r = 0: 1 | 1 0 1 0
p = 1, q = 0, r = 1: 1 | 1 1 0 1
p = 1, q = 0, r = 0: 0 | 0 0 0 0
p = 0, q = 1, r = 1: 1 | 1 1 1 1
p = 0, q = 1, r = 0: 0 | 0 0 0 0
p = 0, q = 0, r = 1: 1 | 1 0 0 0
p = 0, q = 0, r = 0: 0 | 0 0 0 0
Ответ
(r ∨ p) ∧ (r ∨ q)
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: a = 0, b = 1
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Посылки и вывод по строкам
a = 1, b = 1: 1 1 | 1
a = 1, b = 0: 0 0 | 1
a = 0, b = 1: 1 1 | 0
a = 0, b = 0: 1 0 | 0
Контрпример
a = 0, b = 1
Ответ
a = 0, b = 1
Рассуждение такой формы выглядит как правильное правило, но одной строки достаточно, чтобы показать, что это не так.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 4
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
A′C′D′
A′CD
A′BD′
AB′CD′
Минимальная форма SOP
F = A′C′D′ + A′CD + A′BD′ + AB′CD′
N = 4
Ответ
N = 4
Существует другая группировка того же размера; в ней то же число членов и литералов.
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: fout = 0,02 kHz
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Деление частоты
fout = 1 kHz / 50 = 0,02 kHz
Ответ
fout = 0,02 kHz
7.Теория чисел и модульная арифметика
Ответ: 7−1 mod 19 = 11
Обратные элементы и сравнения: у 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·7 (mod 19).
r = 19, t = 0
r = 7, q = 2, t = 1
r = 5, q = 1, t = −2
r = 2, q = 2, t = 3
r = 1, q = 2, t = −8
Обратная матрица
1 ≡ −8·7 (mod 19)
x = 11
проверка: 7·11 = 77 = 4·19 + 1
Ответ
7−1 mod 19 = 11
8.Теория чисел и модульная арифметика
Ответ: m = 14
Степени по модулю и 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 = 85, φ(n) = 64
d = 11−1 mod 64 = 35
Расшифровка многократным возведением в квадрат
35 = 32 + 2 + 1
441 ≡ 44 (mod 85)
442 ≡ 66 (mod 85)
444 ≡ 21 (mod 85)
448 ≡ 16 (mod 85)
4416 ≡ 1 (mod 85)
4432 ≡ 1 (mod 85)
4435 ≡ 44·66·1 ≡ 14 (mod 85)
Сообщение
m = 14
проверка: 1411 mod 85 = 44
Ответ
m = 14
9.Алгоритмы и сложность
Ответ: D · O(n)
Почему это ответ
По основной теореме nlog₂ 2 = n доминирует над постоянной работой, поэтому T(n) = Θ(n), как при поиске максимума делением пополам.
Ответ
D · O(n)
10.Алгоритмы и сложность
Ответ: D · У неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
Почему это ответ
У проблемы остановки вообще нет алгоритма; NP-трудную задачу, например TSP, можно решить перебором, только не за известное полиномиальное время.
Ответ
D · У неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
11.Структуры данных
Ответ: D · Стек вызовов
Почему это ответ
Каждый вызов помещает в стек кадр (push), а каждый возврат его извлекает (pop), поэтому самый последний вызов завершается первым.
Ответ
D · Стек вызовов
12.Структуры данных
Ответ: A · Чтобы избежать повторных изменений размера, когда push и pop чередуются вблизи границы
Почему это ответ
Уменьшение при половинном заполнении в такой последовательности могло бы вызывать изменение размера на каждой операции; промежуток между 1/4 и полным заполнением сохраняет амортизированную стоимость O(1).
Ответ
A · Чтобы избежать повторных изменений размера, когда push и pop чередуются вблизи границы
13.Теория графов
Ответ: k = 9
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
15 − 1 = 14
Рёбра для удаления
k = 23 − 14 = 9
Ответ
k = 9
14.Теория графов
Ответ: N = 4
Степени: степень вершины — это число рёбер, которые в ней сходятся. У каждого ребра два конца, поэтому степени в сумме дают удвоенное число рёбер: Σ deg(v) = 2|E| (лемма о рукопожатиях). Следовательно, число вершин нечётной степени чётно. У Kn имеется n(n − 1)/2 рёбер, у k-регулярного графа на n вершинах nk/2, а у дерева на n вершинах n − 1 ребро.
Матрица смежности
A: 0 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 1
F: 0 0 0 1 1 0
Общие соседи
(M²)EE = 0·0 + 1·1 + 1·1 + 1·1 + 0·0 + 1·1 = 4
Ответ
N = 4
15.Базы данных и SQL
Ответ: D · 5
Почему это ответ
Каждый заказ находит ровно одного соответствующего клиента, поэтому соединение возвращает по одной строке на заказ: 5 строк.
Ответ
D · 5
16.Базы данных и SQL
Ответ: B · Запись журнала об изменении должна попасть на устойчивый носитель раньше изменённой страницы данных
Почему это ответ
Запись журнала первой позволяет СУБД после сбоя повторить зафиксированную работу и отменить незафиксированную, обеспечивая атомарность и долговечность.
Ответ
B · Запись журнала об изменении должна попасть на устойчивый носитель раньше изменённой страницы данных
17.Компьютерные сети
Ответ: A · 62
Почему это ответ
В подсети /26 6 бит узла: 2⁶ = 64 адреса, за вычетом адреса сети и широковещательного адреса остаётся 62 узла.
Ответ
A · 62
18.Компьютерные сети
Ответ: A · 1500 байт
Почему это ответ
Стандартный Ethernet переносит до 1500 байт полезной нагрузки; более крупные IP-пакеты должны фрагментироваться или использовать определение MTU пути (path MTU discovery).
Ответ
A · 1500 байт
19.Подсети IPv4
Ответ: x = 255
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).
Размер блока
27 = 128
Подсеть номер 2
сеть: (2 − 1)·128 = 128
широковещательный: 128 + 128 − 1 = 255
Ответ
x = 255
20.Подсети IPv4
Ответ: x = 230
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).