Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −70 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −708 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1101 1101 OR 1111 0000. Чему равно значение результата R в десятичной системе?
1101 1101OR1111 0000
R =
3.Логика высказываний и доказательстваСредняя
Является ли q ∧ ¬q тавтологией, противоречием или нейтральной формулой? Нажмите на ваш ответ.
q ∧ ¬q
1тавтология
2противоречие
3нейтральная формула
4.Логика высказываний и доказательстваСложная
Даны посылки q → r; r → p; ¬p. Какой вывод из них следует? Нажмите на него.
q → rr → p¬p
1p
2¬q ∧ p
3¬q
4q
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
Упростите F = A′C + ABC + A′B′C′ до минимальной формы «сумма произведений». Сколько литералов, L, содержит упрощённое выражение?
F = A′C + ABC + A′B′C′
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный сдвиговый регистр Q₃Q₂Q₁Q₀ содержит 1100. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀, Q₀ теряется), а последовательный вход поступает в Q₃. Последовательный вход равен 0, 1, 0, 1, 0 на 5 фронтах. Укажите итоговое состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа.
Q₃Q₂Q₁Q₀ = 11000, 1, 0, 1, 0
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 18 по модулю 29: число x, для которого 0 < x < 29 и 18·x ≡ 1 (mod 29).
a = 18n = 29
18−1 mod 29 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 19, q = 37 и e = 23. Расшифруйте шифртекст c = 116: найдите сообщение m.
p = 19q = 37e = 23c = 116
m =
9.Алгоритмы и сложностьСредняя
Какое жадное правило в задаче о выборе заявок всегда даёт максимальное число непересекающихся заявок?
AВыбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
BСначала выбрать самую короткую заявку
CСначала выбрать заявку с наименьшим числом пересечений, затем повторить с совместимыми
DВыбрать заявку, которая начинается раньше всех
10.Алгоритмы и сложностьСложная
В чём разница между неразрешимой и трудноразрешимой задачей?
AТрудноразрешимые задачи нельзя решить никаким алгоритмом, а неразрешимым нужно лишь экспоненциальное время
BУ неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
CОба термина означают, что у задачи вообще нет алгоритма
DНеразрешимые задачи лежат в NP, а трудноразрешимые — в P
11.Структуры данныхСредняя
Сколько памяти занимают списки смежности для графа с V вершинами и E рёбрами?
AO(E²)
BO(V × E)
CO(V + E)
DO(V²)
12.Структуры данныхСложная
Почему из стандартного фильтра Блума нельзя просто удалить элементы, обнулив их биты?
AЭти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
BУдаление повысило бы долю ложноположительных результатов до 100%
CФильтры Блума хранят элементы целиком, и их невозможно снова найти после хеширования
DБиты фильтра Блума нельзя менять после создания
13.Теория графовСредняя
Сколько различных гамильтоновых циклов, H, в полном графе K8? Циклы, отличающиеся только начальной вершиной или направлением, считаются одним и тем же.
K8
H =
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 7|E| = 11
W =
15.Базы данных и SQLСредняя
Какое свойство ACID гарантирует, что зафиксированные изменения переживут сбой системы?
AСогласованность (Consistency)
BАтомарность (Atomicity)
CДолговечность (Durability)
DИзолированность (Isolation)
16.Базы данных и SQLСложная
Какой алгоритм соединения оптимизатор часто выбирает для соединения по равенству двух больших таблиц без полезных индексов?
AБитовое соединение по первичному ключу
BСоединение вложенными циклами с обращениями к индексу
CХеш-соединение (hash join)
DПерекрёстное соединение
17.Компьютерные сетиСредняя
Какой из этих диапазонов является частным диапазоном адресов IPv4?
A192.168.0.0/16
B100.0.0.0/8
C200.1.1.0/24
D8.8.8.0/24
18.Компьютерные сетиСложная
Зачем была введена опция масштабирования окна TCP (window scale)?
AUDP нужен был способ управлять скоростью отправки на перегруженных путях
BБез неё TCP не мог обнаруживать потерянные сегменты на протяжённых каналах
C16-битное поле окна ограничивает окно 65,535 байтами, что слишком мало для быстрых протяжённых путей
D32-битное поле окна было слишком большим и занимало лишнее место в заголовке каждого отправленного сегмента TCP
19.Подсети IPv4Средняя
Сеть 10.101.0.0/20 разделена на равные подсети с префиксом /26. Сколько получается подсетей N?
10.101.0.0/20/26
N =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.179.170/29. Каково последнее число (четвёртый октет) x широковещательного адреса его подсети?
10.20.179.170/29
x =
3Растворы
1.Системы счисления
Ответ: U = 186
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
70 = 0100 0110
инвертировано: 1011 1001
+1 → 1011 1010
Прочитайте как беззнаковое
1011 1010₂ = 256 − 70 = 186
Ответ
U = 186
2.Системы счисления
Ответ: R = 253
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
OR даёт 1 там, где хотя бы один бит равен 1.
1101 1101
OR 1111 0000
= 1111 1101
Значение результата
1111 1101₂ = 253
Ответ
R = 253
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).
Таблица истинности по строкам
q = 1: ¬q = 0, q ∧ ¬q = 0
q = 0: ¬q = 1, q ∧ ¬q = 0
Классификация
q ∧ ¬q: 0, 0
0 в каждой строке: противоречие.
Ответ
противоречие
4.Логика высказываний и доказательства
Ответ: ¬q
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Строки, в которых все посылки истинны
p = 0, q = 0, r = 0: p = 0, ¬q ∧ p = 0, ¬q = 1, q = 0
Вывод
¬q (дважды modus tollens)
Ответ
¬q
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 4
Булева алгебра: правила, упрощающие выражения: 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′C → m(1, 3)
ABC → m(7)
A′B′C′ → m(0)
Сгруппируйте и прочитайте
F = BC + A′B′
Посчитайте литералы
L = 4
Ответ
L = 4
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 5
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Состояние после каждого фронта
1100 → 0110 → 1011 → 0101 → 1010 → 0101
Десятичное значение
0101₂ = 5
Ответ
Q = 5
7.Теория чисел и модульная арифметика
Ответ: 18−1 mod 29 = 21
Обратные элементы и сравнения: у 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·18 (mod 29).
r = 29, t = 0
r = 18, q = 1, t = 1
r = 11, q = 1, t = −1
r = 7, q = 1, t = 2
r = 4, q = 1, t = −3
r = 3, q = 1, t = 5
r = 1, q = 3, t = −8
Обратная матрица
1 ≡ −8·18 (mod 29)
x = 21
проверка: 18·21 = 378 = 13·29 + 1
Ответ
18−1 mod 29 = 21
8.Теория чисел и модульная арифметика
Ответ: m = 224
Степени по модулю и 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.
Ответ: A · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
Почему это ответ
Оптимальность выбора по самому раннему времени окончания доказывается аргументом обмена; для остальных правил есть контрпримеры.
Ответ
A · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
10.Алгоритмы и сложность
Ответ: B · У неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
Почему это ответ
У проблемы остановки вообще нет алгоритма; NP-трудную задачу, например TSP, можно решить перебором, только не за известное полиномиальное время.
Ответ
B · У неразрешимой задачи нет алгоритма для всех входов; у трудноразрешимой он есть, но слишком медленный
11.Структуры данных
Ответ: C · O(V + E)
Почему это ответ
У каждой вершины есть список, а каждое ребро встречается один раз (ориентированный граф) или дважды (неориентированный), что даёт O(V + E).
Ответ
C · O(V + E)
12.Структуры данных
Ответ: A · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
Почему это ответ
Обнуление общего бита сделало бы другой элемент якобы отсутствующим; считающие фильтры Блума (counting Bloom filters) хранят счётчики вместо битов, чтобы разрешить удаление.
Ответ
A · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
13.Теория графов
Ответ: H = 2520
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Посчитайте
H = (8 − 1)!/2 = 5040/2 = 2520
Ответ
H = 2520
14.Теория графов
Ответ: W = 46
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
AB (3): берём
CE (4): берём
GD (7): берём
DF (9): берём
EF (10): берём
GE (11): пропускаем, замыкает цикл
DE (12): пропускаем, замыкает цикл
GB (13): берём
Суммарный вес
W = 3 + 4 + 7 + 9 + 10 + 13 = 46
Ответ
W = 46
15.Базы данных и SQL
Ответ: C · Долговечность (Durability)
Почему это ответ
Долговечность означает, что после фиксации транзакции её результаты сохраняются, обычно благодаря записи журнала на устойчивый носитель.
Ответ
C · Долговечность (Durability)
16.Базы данных и SQL
Ответ: C · Хеш-соединение (hash join)
Почему это ответ
Хеш-соединение строит хеш-таблицу по одному входу и проверяет её строками другого, что хорошо работает для больших соединений по равенству без индексов.
Ответ
C · Хеш-соединение (hash join)
17.Компьютерные сети
Ответ: A · 192.168.0.0/16
Почему это ответ
Частные диапазоны — 10.0.0.0/8, 172.16.0.0/12 и 192.168.0.0/16; они не маршрутизируются в публичном интернете.
Ответ
A · 192.168.0.0/16
18.Компьютерные сети
Ответ: C · 16-битное поле окна ограничивает окно 65,535 байтами, что слишком мало для быстрых протяжённых путей
Почему это ответ
Исходный заголовок допускает не более 65,535 байт неподтверждённых данных. Масштабирование окна умножает это значение на степень двойки, чтобы можно было заполнить пути с большим произведением пропускной способности на задержку.
Ответ
C · 16-битное поле окна ограничивает окно 65,535 байтами, что слишком мало для быстрых протяжённых путей
19.Подсети IPv4
Ответ: N = 64
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).
Заимствованные биты
26 − 20 = 6
Число подсетей
N = 26 = 64
Ответ
N = 64
В каждой подсети /26 26 − 2 = 62 адресов узлов.
20.Подсети IPv4
Ответ: x = 175
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).