Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −103 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −1038 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1110 0011 OR 0001 1011. Чему равно значение результата R в десятичной системе?
1110 0011OR0001 1011
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна ¬(p ↔ q)? Нажмите на неё.
¬(p ↔ q)
1¬p ↔ ¬q
2p ↔ ¬q
3p ∧ ¬q
4¬p ∨ ¬q
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((¬q → s) → p) → (r ∧ p) истинно? Обозначим это число N.
((¬q → s) → p) → (r ∧ p)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «произведение сумм» (POS) для F(A, B, C, D) = Σm(4, 8, 11, 15). Сколько членов-сумм (множителей), N, в ней?
F(A, B, C, D) = Σm(4, 8, 11, 15)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный счётчик Джонсона Q₃Q₂Q₁Q₀ начинает с 0000. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀), а Q₃ получает инверсию Q₀. Укажите состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа после 11 фронтов тактового сигнала.
Q₃Q₂Q₁Q₀ = 000011
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 8 по модулю 11: число x, для которого 0 < x < 11 и 8·x ≡ 1 (mod 11).
a = 8n = 11
8−1 mod 11 =
8.Теория чисел и модульная арифметикаСложная
Зашифруйте сообщение m = 238 открытым ключом RSA (n, e) = (341, 7). Найдите шифртекст c.
n = 341e = 7m = 238
c =
9.Алгоритмы и сложностьСредняя
Быстрая сортировка всегда берёт в качестве опорного первый элемент. На каком входе проявляется её поведение в худшем случае?
AНа массиве в случайном порядке
BНа уже отсортированном массиве
CНа массиве, все элементы которого различны
DНа массиве длины 2
10.Алгоритмы и сложностьСложная
Алгоритм динамического программирования Хелда–Карпа точно решает задачу коммивояжёра. Каково время его работы для n городов?
AO(n!)
BO(2n²)
CO(n² 2ⁿ)
DO(n³)
11.Структуры данныхСредняя
Сколько времени занимает поиск слова длины L в префиксном дереве (trie) с фиксированным алфавитом?
AO(log n), где n — число слов
BO(n), где n — число слов
CO(L), независимо от числа хранимых слов
DO(L × n)
12.Структуры данныхСложная
Какому свойству должно удовлетворять красно-чёрное дерево?
AУ каждого красного узла должны быть красные потомки, поэтому красные узлы всегда образуют непрерывные цепочки до листьев
BКаждый узел должен быть красным
CКорень должен быть красным
DКаждый путь от узла до его листьев-потомков содержит одинаковое число чёрных узлов
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 6|E| = 7
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
С помощью алгоритма Дейкстры найдите длину d(F) кратчайшего пути от A до F во взвешенном графе.
начало: Aконец: F
d(F) =
15.Базы данных и SQLСредняя
Студенты могут посещать много курсов, а на курсах много студентов. Как это моделируется в таблицах?
AСтолбцом внешнего ключа course_id в таблице студентов, указывающим на courses
BОбъединением студентов и курсов в одну таблицу
CСвязующей таблицей с внешними ключами и на студентов, и на курсы
DСписком id курсов, хранящимся в одном столбце
16.Базы данных и SQLСложная
Почему SELECT dept, name, COUNT(*) FROM emp GROUP BY dept недопустим в стандартном SQL?
Aname не группируется и не агрегируется, поэтому у него нет единственного значения в группе
BCOUNT(*) нельзя использовать вместе с GROUP BY
CВ GROUP BY нужно перечислить все столбцы таблицы
Ddept должен находиться внутри агрегатной функции
17.Компьютерные сетиСредняя
Какое поле заголовка IPv4 не даёт пакетам бесконечно циркулировать в петле маршрутизации?
AТип обслуживания
BКонтрольная сумма заголовка
CВремя жизни (TTL)
DИдентификация
18.Компьютерные сетиСложная
Что контролирует окно приёма (rwnd) в соединении TCP?
AРазмер заголовка каждого IP-пакета
BСколько неподтверждённых данных может отправить отправитель с учётом буфера получателя
CТайм-аут повторной передачи, вычисляемый по измеренному времени кругового обхода каждого сегмента
DКоличество открытых портов
19.Подсети IPv4Средняя
Отделу нужно 1000 адресов узлов в одной подсети. Какова наибольшая длина префикса p (наименьшая подсеть), которой достаточно?
1000 hosts
p =
20.Подсети IPv4Сложная
У маршрутизатора есть маршруты к сетям: 10.100.42.0/24, 10.100.43.0/24, 10.100.44.0/24. Какова наибольшая длина префикса p одного суммарного маршрута, охватывающего их все?
10.100.42.0/24 … 10.100.44.0/24
p =
3Растворы
1.Системы счисления
Ответ: U = 153
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
103 = 0110 0111
инвертировано: 1001 1000
+1 → 1001 1001
Прочитайте как беззнаковое
1001 1001₂ = 256 − 103 = 153
Ответ
U = 153
2.Системы счисления
Ответ: R = 251
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
OR даёт 1 там, где хотя бы один бит равен 1.
1110 0011
OR 0001 1011
= 1111 1011
Значение результата
1111 1011₂ = 251
Ответ
R = 251
3.Логика высказываний и доказательства
Ответ: p ↔ ¬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) равно 1 ровно тогда, когда a и b различаются, то есть a ↔ ¬b.
¬(p ↔ q) ≡ p ↔ ¬q
Проверка по таблице истинности
p = 1, q = 1: 0 | 1 0 0 0
p = 1, q = 0: 1 | 0 1 1 1
p = 0, q = 1: 1 | 0 1 0 1
p = 0, q = 0: 0 | 1 0 0 1
Ответ
p ↔ ¬q
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: N = 10
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 5
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте нули
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
(C + D′)
(C′ + D)
(A + D′)
(A + B)
(A′ + B′ + D)
Минимальная форма POS
F = (C + D′)(C′ + D)(A + D′)(A + B)(A′ + B′ + D)
N = 5
Ответ
N = 5
Существует другая группировка того же размера; в ней то же число членов и литералов.
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 14
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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·8 (mod 11).
r = 11, t = 0
r = 8, q = 1, t = 1
r = 3, q = 2, t = −1
r = 2, q = 1, t = 3
r = 1, q = 2, t = −4
Обратная матрица
1 ≡ −4·8 (mod 11)
x = 7
проверка: 8·7 = 56 = 5·11 + 1
Ответ
8−1 mod 11 = 7
8.Теория чисел и модульная арифметика
Ответ: c = 259
Степени по модулю и 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.
Многократное возведение в квадрат
7 = 4 + 2 + 1
2381 ≡ 238 (mod 341)
2382 ≡ 38 (mod 341)
2384 ≡ 80 (mod 341)
2387 ≡ 238·38·80 ≡ 259 (mod 341)
Шифртекст
c = 259
Ответ
c = 259
9.Алгоритмы и сложность
Ответ: B · На уже отсортированном массиве
Почему это ответ
На отсортированном входе опорный элемент всегда минимален, поэтому одна часть пуста, а в другой n − 1 элемент, что даёт O(n²).
Ответ
B · На уже отсортированном массиве
10.Алгоритмы и сложность
Ответ: C · O(n² 2ⁿ)
Почему это ответ
Состояний около n 2ⁿ, и каждое вычисляется за O(n); это экспоненциально, но намного быстрее перебора всех (n − 1)! обходов.
Ответ
C · O(n² 2ⁿ)
11.Структуры данных
Ответ: C · O(L), независимо от числа хранимых слов
Почему это ответ
Каждый символ выбирает одного потомка, поэтому поиск занимает L шагов, сколько бы слов ни содержало дерево.
Ответ
C · O(L), независимо от числа хранимых слов
12.Структуры данных
Ответ: D · Каждый путь от узла до его листьев-потомков содержит одинаковое число чёрных узлов
Почему это ответ
Правила красно-чёрного дерева: узлы красные или чёрные, корень чёрный, потомки красных узлов чёрные, а все пути имеют одинаковую чёрную высоту, что удерживает высоту ≤ 2 log₂(n + 1).
Ответ
D · Каждый путь от узла до его листьев-потомков содержит одинаковое число чёрных узлов
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 ребро.
Алгоритм Дейкстры по шагам
В каждой строке: зафиксированная вершина, её окончательное расстояние и соседи, у которых расстояние улучшается.
A (0): B: 12, C: 15
B (12): D: 24
C (15): G: 18
G (18): E: 23
E (23): F: 33
D (24)
F (33)
Кратчайший путь
A → C → G → E → F
d(F) = 33
Ответ
d(F) = 33
15.Базы данных и SQL
Ответ: C · Связующей таблицей с внешними ключами и на студентов, и на курсы
Почему это ответ
Связь «многие ко многим» требует ассоциативной (связующей) таблицы, например enrolment(student_id, course_id), часто с составным первичным ключом.
Ответ
C · Связующей таблицей с внешними ключами и на студентов, и на курсы
16.Базы данных и SQL
Ответ: A · name не группируется и не агрегируется, поэтому у него нет единственного значения в группе
Почему это ответ
Каждый столбец списка SELECT должен быть в GROUP BY или внутри агрегата (или функционально зависеть от столбцов группировки); иначе значение неоднозначно.
Ответ
A · name не группируется и не агрегируется, поэтому у него нет единственного значения в группе
17.Компьютерные сети
Ответ: C · Время жизни (TTL)
Почему это ответ
Каждый маршрутизатор уменьшает TTL; при нуле пакет отбрасывается и обычно отправляется сообщение ICMP Time Exceeded. В IPv6 это поле называется hop limit.
Ответ
C · Время жизни (TTL)
18.Компьютерные сети
Ответ: B · Сколько неподтверждённых данных может отправить отправитель с учётом буфера получателя
Почему это ответ
Получатель объявляет, сколько свободного места в его буфере; отправитель соответственно ограничивает неподтверждённые данные, предотвращая перегрузку получателя.
Ответ
B · Сколько неподтверждённых данных может отправить отправитель с учётом буфера получателя
19.Подсети IPv4
Ответ: p = 22
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Необходимые биты узла
29 − 2 = 510 < 1000
210 − 2 = 1022 ≥ 1000 → h = 10
Длина префикса
p = 32 − 10 = 22
Ответ
p = /22
20.Подсети IPv4
Ответ: p = 21
Суммирование маршрутов: суммарный маршрут a.b.c.0/p охватывает все сети, у которых первые p битов совпадают. Запишите различающийся октет первой и последней сети в двоичном виде; число общих старших битов плюс биты предшествующих октетов — это наибольший префикс суммарного маршрута.
Сравниваем биты
42 = 00101010
44 = 00101100
общих старших битов: 5
Длина префикса
p = 16 + 5 = 21
Ответ
p = /21
Суммарный маршрут: 10.100.40.0/21 (он также охватывает 5 сеть(и), которых нет в списке).