Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −115 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −1158 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1111 1000 << 1. Чему равно значение результата R в десятичной системе?
1111 1000<< 1
R =
3.Логика высказываний и доказательстваСредняя
В скольких из 8 строк таблицы истинности (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) истинно? Обозначим это число N.
(p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q))
N =
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((r ∨ p) ∧ (q ∧ s)) ↔ ((¬r ∨ q) ↔ p) истинно? Обозначим это число N.
((r ∨ p) ∧ (q ∧ s)) ↔ ((¬r ∨ q) ↔ p)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(1, 6, 9, 10, 12, 13, 14, 15). Сколько всего литералов, L, она содержит (переменная со штрихом считается одним литералом)?
F(A, B, C, D) = Σm(1, 6, 9, 10, 12, 13, 14, 15)
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Найдите минимальную форму SOP для F(A, B, C, D) = Σm(3, 7, 10, 12, 13, 14) + d(0, 2, 6), где d обозначает безразличные состояния. Сколько членов-произведений, N, в ней?
Каково решение рекуррентного соотношения T(n) = T(n/2) + O(1)?
AO(1)
BO(n log n)
CO(n)
DO(log n)
10.Алгоритмы и сложностьСложная
Как алгоритм Беллмана–Форда обнаруживает цикл отрицательного веса, достижимый из источника?
AОн проверяет, есть ли ребро с отрицательным весом
BОн дважды запускает алгоритм Дейкстры и сравнивает два полученных результата расстояний
CПосле V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
DОн подсчитывает циклы поиском в глубину
11.Структуры данныхСредняя
Приложению нужен быстрый поиск, а также вывод ключей в отсортированном порядке и запросы по диапазону. Какая структура подходит лучше всего?
AНеотсортированный связный список
BСбалансированное двоичное дерево поиска
CХеш-таблица
DСтек
12.Структуры данныхСложная
Какое утверждение о пирамидальной сортировке (heapsort) верно?
AОна устойчива и требует O(n) дополнительной памяти
BЕй нужно двоичное дерево поиска как дополнительное хранилище, поэтому она использует O(n) дополнительной памяти
CОна сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
DОна работает за O(n) на любых входных данных
13.Теория графовСредняя
У дерева 4 вершин степени 4, а все остальные его вершины — листья (степень 1). Сколько у него листьев, L?
4 × deg 4
L =
14.Теория графовСложная
Сколько существует замкнутых маршрутов длины 2, начинающихся и заканчивающихся в B? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 2
N =
15.Базы данных и SQLСредняя
Какое утверждение о HAVING верно?
AВ нём можно использовать агрегатные функции для фильтрации групп
BОно сортирует результаты
CЕго нельзя использовать с GROUP BY
DОно должно стоять перед WHERE в операторе SELECT
16.Базы данных и SQLСложная
Какая оконная функция (window function) присваивает строкам в каждом разделе (partition) номера 1, 2, 3, ... без повторов?
ACOUNT()
BDENSE_RANK()
CRANK()
DROW_NUMBER()
17.Компьютерные сетиСредняя
Какой бит чётности добавляется к битам данных 1011001 при проверке на чётность (even parity)?
A2
B0
C1
D4
18.Компьютерные сетиСложная
Узлы в VLAN 10 и VLAN 20 на одном коммутаторе не могут обмениваться данными. Что нужно?
AОдинаковый MAC-адрес на обоих узлах
BБолее длинный кабель между узлами
CМаршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
DКонцентратор, подключённый к обеим VLAN
19.Подсети IPv4Средняя
Сеть 172.18.0.0/16 разделена на равные подсети с префиксом /22. Сколько получается подсетей N?
172.18.0.0/16/22
N =
20.Подсети IPv4Сложная
Узел имеет адрес 172.20.193.21/20. Чему равен третий октет x широковещательного адреса его подсети?
172.20.193.21/20
x =
3Растворы
1.Системы счисления
Ответ: U = 141
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
115 = 0111 0011
инвертировано: 1000 1100
+1 → 1000 1101
Прочитайте как беззнаковое
1000 1101₂ = 256 − 115 = 141
Ответ
U = 141
2.Системы счисления
Ответ: R = 240
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг влево на 1 перемещает каждый бит на 1 позиций влево; биты, выходящие за левый край, теряются, а справа входят нули.
1111 1000 << 1
= 1111 0000
Значение результата
1111 0000₂ = 240
Ответ
R = 240
3.Логика высказываний и доказательства
Ответ: N = 7
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Таблица истинности по строкам
p = 1, q = 1, r = 1: p → r = 1, r ∨ q = 1, p ∧ q = 1, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 1, q = 1, r = 0: p → r = 0, r ∨ q = 1, p ∧ q = 1, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 0
p = 1, q = 0, r = 1: p → r = 1, r ∨ q = 1, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 1, q = 0, r = 0: p → r = 0, r ∨ q = 0, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 0, ¬((r ∨ q) ∨ (p ∧ q)) = 1, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 0, q = 1, r = 1: p → r = 1, r ∨ q = 1, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 0, q = 1, r = 0: p → r = 1, r ∨ q = 1, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 0, q = 0, r = 1: p → r = 1, r ∨ q = 1, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 1, ¬((r ∨ q) ∨ (p ∧ q)) = 0, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
p = 0, q = 0, r = 0: p → r = 1, r ∨ q = 0, p ∧ q = 0, (r ∨ q) ∨ (p ∧ q) = 0, ¬((r ∨ q) ∨ (p ∧ q)) = 1, (p → r) ∨ ¬((r ∨ q) ∨ (p ∧ q)) = 1
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 11
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
B′C′D
BCD′
ACD′
AB
Минимальная форма SOP
F = B′C′D + BCD′ + ACD′ + AB
L = 11
Ответ
L = 11
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
CD′, A′C, ABD′, ABC′
Минимальное покрытие
F = CD′ + A′C + ABC′
N = 3
Ответ
N = 3
7.Теория чисел и модульная арифметика
Ответ: 23−1 mod 29 = 24
Обратные элементы и сравнения: у 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·23 (mod 29).
r = 29, t = 0
r = 23, q = 1, t = 1
r = 6, q = 3, t = −1
r = 5, q = 1, t = 4
r = 1, q = 5, t = −5
Обратная матрица
1 ≡ −5·23 (mod 29)
x = 24
проверка: 23·24 = 552 = 19·29 + 1
Ответ
23−1 mod 29 = 24
8.Теория чисел и модульная арифметика
Ответ: x = 14
Обратные элементы и сравнения: у 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).
Разделите на НОД
gcd(4, 38) = 2
2x ≡ 9 (mod 19)
Решите упрощённое сравнение
2−1 ≡ 10 (mod 19) → x ≡ 14 (mod 19)
Решения по модулю 38
x ∈ {14, 33}
x = 14
Ответ
x = 14
9.Алгоритмы и сложность
Ответ: D · O(log n)
Почему это ответ
Задача на каждом шаге уменьшается вдвое при постоянной работе на шаг, поэтому шагов около log₂ n.
Ответ
D · O(log n)
10.Алгоритмы и сложность
Ответ: C · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
Почему это ответ
Все истинные кратчайшие расстояния находятся за V − 1 раундов; если ребро ещё можно улучшить, значит, существует отрицательный цикл.
Ответ
C · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
11.Структуры данных
Ответ: B · Сбалансированное двоичное дерево поиска
Почему это ответ
Сбалансированное BST даёт поиск за O(log n) и хранит ключи упорядоченными, поэтому симметричный обход и запросы по диапазону просты; хеш-таблица разбрасывает ключи.
Ответ
B · Сбалансированное двоичное дерево поиска
12.Структуры данных
Ответ: C · Она сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
Почему это ответ
Heapsort строит max-кучу и n раз извлекает максимум в том же массиве; обмены на большие расстояния могут менять порядок равных ключей.
Ответ
C · Она сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
13.Теория графов
Ответ: L = 10
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Лемма о рукопожатиях для дерева
L + 16 = 2(L + 4) − 2
L = 10
Ответ
L = 10
Короткий путь: L = 2 + Σ (d − 2) по вершинам степени d ≥ 3.
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 0 1
E: 0 1 1 0 0 1
F: 0 0 0 1 1 0
Общие соседи
(M²)BB = 1·1 + 0·0 + 1·1 + 1·1 + 1·1 + 0·0 = 4
Ответ
N = 4
15.Базы данных и SQL
Ответ: A · В нём можно использовать агрегатные функции для фильтрации групп
Почему это ответ
HAVING фильтрует группы после агрегации и может ссылаться на агрегатные функции; WHERE так не может.
Ответ
A · В нём можно использовать агрегатные функции для фильтрации групп
16.Базы данных и SQL
Ответ: D · ROW_NUMBER()
Почему это ответ
ROW_NUMBER выдаёт уникальные последовательные номера; RANK оставляет пропуски после равных значений; DENSE_RANK — нет.
Ответ
D · ROW_NUMBER()
17.Компьютерные сети
Ответ: B · 0
Почему это ответ
В 1011001 четыре единичных бита — уже чётное число, поэтому бит чётности равен 0. При проверке на нечётность он был бы равен 1.
Ответ
B · 0
18.Компьютерные сети
Ответ: C · Маршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
Почему это ответ
VLAN изолированы на уровне 2, поэтому трафик между ними нужно маршрутизировать, например маршрутизатором на транковом канале («router on a stick») или коммутатором уровня 3.
Ответ
C · Маршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
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).
Заимствованные биты
22 − 16 = 6
Число подсетей
N = 26 = 64
Ответ
N = 64
В каждой подсети /22 210 − 2 = 1022 адресов узлов.
20.Подсети IPv4
Ответ: x = 207
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).