Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −60 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −608 bit
U =
2.Системы счисленияСложная
Какое наименьшее (самое отрицательное) целое число N можно записать в 32-битном дополнительном коде?
32 bit
N =
3.Логика высказываний и доказательстваСредняя
Вы хотите доказать (p ∧ q) → r от противного. Какое утверждение вы предполагаете в начале? Нажмите на него.
(p ∧ q) → r
1¬(p ∧ q) ∧ r
2¬(p ∧ q) → ¬r
3(p ∧ q) ∧ ¬r
4¬(p ∧ q) ∧ ¬r
4.Логика высказываний и доказательстваСложная
Какое утверждение эквивалентно ¬∀x (F(x) → G(x)), если отрицание перенесено полностью внутрь? Нажмите на него.
¬∀x (F(x) → G(x))
1∀x (F(x) ∧ ¬G(x))
2∃x (F(x) ∧ ¬G(x))
3∃x (F(x) → ¬G(x))
4∃x (¬F(x) ∧ G(x))
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(1, 3, 4, 6, 8, 9, 11, 14, 15). Сколько всего литералов, L, она содержит (переменная со штрихом считается одним литералом)?
F(A, B, C, D) = Σm(1, 3, 4, 6, 8, 9, 11, 14, 15)
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Кольцевой счётчик построен из 8 D-триггеров, последний выход подан обратно на первый вход, и он начинает с единственной 1. Через сколько различных состояний, N, он проходит?
n = 8
N =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 57 по модулю 83: число x, для которого 0 < x < 83 и 57·x ≡ 1 (mod 83).
a = 57n = 83
57−1 mod 83 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 13, q = 41 и e = 13. Расшифруйте шифртекст c = 55: найдите сообщение m.
p = 13q = 41e = 13c = 55
m =
9.Алгоритмы и сложностьСредняя
Каково решение рекуррентного соотношения T(n) = 2T(n/2) + O(1)?
AO(log n)
BO(n log n)
CO(n)
DO(n²)
10.Алгоритмы и сложностьСложная
Кратчайшие простые пути можно найти за полиномиальное время. Что известно о поиске самого длинного простого пути между двумя вершинами в произвольном графе?
AЭто NP-трудная задача
BОна неразрешима
CЕё можно решить алгоритмом Дейкстры с отрицательными весами
DОна всегда решается за O(V + E)
11.Структуры данныхСредняя
Как в кольцевой очереди, хранящейся в массиве ёмкостью n, вычисляется следующая позиция после индекса i?
A(i + 1) mod n
B2i + 1
Ci + 1
D(i − 1) mod n
12.Структуры данныхСложная
Какую проблему линейного пробирования в основном уменьшает двойное хеширование?
AНеобходимость в хеш-функции
BСтоимость O(n) чтения значения по ключу
CНеобходимость хранить ключи в таблице
DПервичную кластеризацию, при которой образуются длинные серии занятых ячеек
13.Теория графовСредняя
У дерева 3 вершин степени 3, 2 вершин степени 4, 3 вершин степени 5, 3 вершин степени 2, а все остальные его вершины — листья (степень 1). Сколько у него листьев, L?
3 × deg 32 × deg 43 × deg 53 × deg 2
L =
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 6|E| = 8
W =
15.Базы данных и SQLСредняя
Что делает ROLLBACK TO SAVEPOINT s1?
AУдаляет точку сохранения и все таблицы, изменённые с тех пор
BЗавершает транзакцию и фиксирует всё
CОтменяет всю транзакцию с самого начала
DОтменяет изменения, сделанные после точки сохранения s1, оставляя транзакцию открытой
16.Базы данных и SQLСложная
Два дежурных врача каждый проверяют, что другой ещё на дежурстве, а затем оба одновременно снимаются с дежурства. Какую аномалию здесь всё ещё допускает изоляция снимков (snapshot isolation)?
AАсимметрию записи (write skew)
BГрязное чтение
CГрязную запись
DНеповторяемое чтение в пределах одной транзакции
17.Компьютерные сетиСредняя
Какой метод доступа к среде использовал классический разделяемый (полудуплексный) Ethernet?
ACSMA/CA
BTDMA
CПередача маркера
DCSMA/CD
18.Компьютерные сетиСложная
Каков максимальный блок передачи (MTU) полезной нагрузки стандартного Ethernet?
A65535 байт
B64 байта
C9000 байт в любой сети
D1500 байт
19.Подсети IPv4Средняя
Отделу нужно 1335 адресов узлов в одной подсети. Какова наибольшая длина префикса p (наименьшая подсеть), которой достаточно?
1335 hosts
p =
20.Подсети IPv4Сложная
Узел имеет адрес 172.20.1.98/17. Чему равен третий октет x широковещательного адреса его подсети?
172.20.1.98/17
x =
3Растворы
1.Системы счисления
Ответ: U = 196
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
60 = 0011 1100
инвертировано: 1100 0011
+1 → 1100 0100
Прочитайте как беззнаковое
1100 0100₂ = 256 − 60 = 196
Ответ
U = 196
2.Системы счисления
Ответ: N = −2,147 × 10⁹
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Самое отрицательное значение
−231 = −2147483648
Ответ
N = −2147483648
3.Логика высказываний и доказательства
Ответ: (p ∧ q) ∧ ¬r
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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 = p ∧ q, b = r
Отрицание импликации
¬(a → b) ≡ a ∧ ¬b = (p ∧ q) ∧ ¬r
Ответ
(p ∧ q) ∧ ¬r
Если предположение приводит к противоречию, импликация должна быть истинной.
4.Логика высказываний и доказательства
Ответ: ∃x (F(x) ∧ ¬G(x))
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Перенесите отрицание внутрь
¬∀x (F(x) → G(x)) ≡ ∃x (F(x) ∧ ¬G(x))
Ответ
∃x (F(x) ∧ ¬G(x))
Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 11
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
B′D
A′BD′
AB′C′
ABC
Минимальная форма SOP
F = B′D + A′BD′ + AB′C′ + ABC
L = 11
Ответ
L = 11
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 8
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Обратные элементы и сравнения: у 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 83).
r = 83, t = 0
r = 57, q = 1, t = 1
r = 26, q = 2, t = −1
r = 5, q = 5, t = 3
r = 1, q = 5, t = −16
Обратная матрица
1 ≡ −16·57 (mod 83)
x = 67
проверка: 57·67 = 3819 = 46·83 + 1
Ответ
57−1 mod 83 = 67
8.Теория чисел и модульная арифметика
Ответ: m = 68
Степени по модулю и 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 = 533, φ(n) = 480
d = 13−1 mod 480 = 37
Расшифровка многократным возведением в квадрат
37 = 32 + 4 + 1
551 ≡ 55 (mod 533)
552 ≡ 360 (mod 533)
554 ≡ 81 (mod 533)
558 ≡ 165 (mod 533)
5516 ≡ 42 (mod 533)
5532 ≡ 165 (mod 533)
5537 ≡ 55·81·165 ≡ 68 (mod 533)
Сообщение
m = 68
проверка: 6813 mod 533 = 55
Ответ
m = 68
9.Алгоритмы и сложность
Ответ: C · O(n)
Почему это ответ
По основной теореме nlog₂ 2 = n доминирует над постоянной работой, поэтому T(n) = Θ(n), как при поиске максимума делением пополам.
Ответ
C · O(n)
10.Алгоритмы и сложность
Ответ: A · Это NP-трудная задача
Почему это ответ
Самый длинный простой путь длины V − 1 — гамильтонов путь, а это NP-полная задача; однако на ориентированных ациклических графах она решается за линейное время.
Ответ
A · Это NP-трудная задача
11.Структуры данных
Ответ: A · (i + 1) mod n
Почему это ответ
Операция взятия по модулю переводит индекс n − 1 обратно в 0, поэтому массив используется повторно без сдвига элементов.
Ответ
A · (i + 1) mod n
12.Структуры данных
Ответ: D · Первичную кластеризацию, при которой образуются длинные серии занятых ячеек
Почему это ответ
Линейное пробирование делает шаг 1, поэтому серии занятых ячеек растут и сливаются; двойное хеширование использует второй хеш для размера шага, так что разные ключи проходят разные последовательности.
Ответ
D · Первичную кластеризацию, при которой образуются длинные серии занятых ячеек
13.Теория графов
Ответ: L = 18
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Лемма о рукопожатиях для дерева
L + 38 = 2(L + 11) − 2
L = 18
Ответ
L = 18
Короткий путь: L = 2 + Σ (d − 2) по вершинам степени d ≥ 3.
14.Теория графов
Ответ: W = 30
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
DE (1): берём
EF (2): берём
AB (5): берём
BD (9): берём
BE (11): пропускаем, замыкает цикл
AC (13): берём
Суммарный вес
W = 1 + 2 + 5 + 9 + 13 = 30
Ответ
W = 30
15.Базы данных и SQL
Ответ: D · Отменяет изменения, сделанные после точки сохранения s1, оставляя транзакцию открытой
Почему это ответ
Точка сохранения отмечает место внутри транзакции; откат к ней отменяет последующую работу, а более ранние изменения остаются ожидающими до COMMIT.
Ответ
D · Отменяет изменения, сделанные после точки сохранения s1, оставляя транзакцию открытой
16.Базы данных и SQL
Ответ: A · Асимметрию записи (write skew)
Почему это ответ
При изоляции снимков обе транзакции видят старое состояние и меняют разные строки, поэтому конфликт записи не обнаруживается; сериализуемая изоляция предотвращает это.
Ответ
A · Асимметрию записи (write skew)
17.Компьютерные сети
Ответ: D · CSMA/CD
Почему это ответ
Множественный доступ с контролем несущей и обнаружением коллизий: станции прекращают передачу при обнаружении коллизии и повторяют её после случайной задержки (backoff). В полнодуплексном коммутируемом Ethernet коллизий нет.
Ответ
D · CSMA/CD
18.Компьютерные сети
Ответ: D · 1500 байт
Почему это ответ
Стандартный Ethernet переносит до 1500 байт полезной нагрузки; более крупные IP-пакеты должны фрагментироваться или использовать определение MTU пути (path MTU discovery).
Ответ
D · 1500 байт
19.Подсети IPv4
Ответ: p = 21
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Необходимые биты узла
210 − 2 = 1022 < 1335
211 − 2 = 2046 ≥ 1335 → h = 11
Длина префикса
p = 32 − 11 = 21
Ответ
p = /21
20.Подсети IPv4
Ответ: x = 127
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).