Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −3 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −38 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1100 1111 OR 1111 0000. Чему равно значение результата R в десятичной системе?
1100 1111OR1111 0000
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна c → b? Нажмите на неё.
c → b
1¬b → ¬c
2¬c → ¬b
3b → c
4¬b ∧ ¬c
4.Логика высказываний и доказательстваСложная
Рассуждение с посылками q → r; r и выводом q неправильно. Нажмите на строку таблицы истинности, которая является контрпримером.
q → rr∴ q
1q = 1, r = 1
2q = 1, r = 0
3q = 0, r = 1
4q = 0, r = 0
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
У мультиплексора 4 в 1 адресные входы S₁ = A и S₀ = B, а информационные входы подключены так: I₀ = 0, I₁ = C, I₂ = 0, I₃ = C′. Для скольких из 8 комбинаций A, B и C выход F = 1? Найдите N.
I₀ = 0I₁ = CI₂ = 0I₃ = C′
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
3-разрядный двоичный вычитающий счётчик начинает с 7 (в десятичном виде, Q = 111). Какое значение Q (в десятичном виде) он покажет после 19 тактовых импульсов?
Q0 = 719n = 3
Q =
7.Теория чисел и модульная арифметикаСредняя
Решите 23x ≡ 42 (mod 73). Укажите решение x, для которого 0 < x < 73.
23x ≡ 42 (mod 73)
x =
8.Теория чисел и модульная арифметикаСложная
59 — простое число. Используйте малую теорему Ферма, чтобы найти 2019385 mod 59.
Алгоритм динамического программирования Хелда–Карпа точно решает задачу коммивояжёра. Каково время его работы для n городов?
AO(n³)
BO(2n²)
CO(n!)
DO(n² 2ⁿ)
11.Структуры данныхСредняя
Что происходит, когда хеш-таблица выполняет рехеширование после превышения порога коэффициента заполнения?
AВ новый список переполнения в конце таблицы переносятся только конфликтующие ключи
BСуществующие ключи сортируются на месте
CВыделяется таблица большего размера, и каждый ключ вставляется заново
DСамые старые ключи удаляются, чтобы освободить место
12.Структуры данныхСложная
Чем radix-дерево (сжатое префиксное дерево) лучше обычного trie?
AОно сливает цепочки узлов с одним потомком в одно ребро, помеченное строкой
BОно хранит только первую букву каждого слова
CОно сортирует потомков каждого узла по частоте
DОно хранит каждое слово в хеш-таблице в корне вместо отдельных узлов
13.Теория графовСредняя
Связный граф имеет 11 вершин и 12 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 11|E| = 12
k =
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 6|E| = 8
W =
15.Базы данных и SQLСредняя
Какое свойство ACID означает, что параллельные транзакции не видят незавершённых изменений друг друга?
AИзолированность (Isolation)
BДоступность (Availability)
CДолговечность (Durability)
DАтомарность (Atomicity)
16.Базы данных и SQLСложная
Когда расписание параллельных транзакций называют сериализуемым?
AКогда каждой транзакции присваивается порядковый номер
BКогда ни одна транзакция никогда не читает данные
CКогда транзакции выполняются только на одном процессоре
DКогда его результат эквивалентен некоторому последовательному выполнению тех же транзакций
17.Компьютерные сетиСредняя
Браузер получает код состояния HTTP 404. Что он означает?
AНа сервере произошла внутренняя ошибка
BЗапрошенный ресурс не найден
CЗапрос выполнен успешно
DКлиент сначала должен войти в систему
18.Компьютерные сетиСложная
Какой из этих адресов является публичным (не частным по RFC 1918) адресом IPv4?
A172.32.0.1
B10.255.0.1
C192.168.255.1
D172.31.0.1
19.Подсети IPv4Средняя
Сеть 192.168.68.0/24 разделена на подсети /26, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x адреса сети подсети 2?
192.168.68.0/24/26подсеть 2 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.66.7/25. Каково последнее число (четвёртый октет) x широковещательного адреса его подсети?
10.20.66.7/25
x =
3Растворы
1.Системы счисления
Ответ: U = 253
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
3 = 0000 0011
инвертировано: 1111 1100
+1 → 1111 1101
Прочитайте как беззнаковое
1111 1101₂ = 256 − 3 = 253
Ответ
U = 253
2.Системы счисления
Ответ: R = 255
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
OR даёт 1 там, где хотя бы один бит равен 1.
1100 1111
OR 1111 0000
= 1111 1111
Значение результата
1111 1111₂ = 255
Ответ
R = 255
3.Логика высказываний и доказательства
Ответ: ¬b → ¬c
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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).
Закон
Импликация эквивалентна своей контрапозиции ¬b → ¬a, а не обратному утверждению b → a и не противоположному ¬a → ¬b.
c → b ≡ ¬b → ¬c
Проверка по таблице истинности
b = 1, c = 1: 1 | 1 1 1 0
b = 1, c = 0: 1 | 1 0 0 0
b = 0, c = 1: 0 | 0 1 1 0
b = 0, c = 0: 1 | 1 1 1 1
Ответ
¬b → ¬c
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: q = 0, r = 1
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Посылки и вывод по строкам
q = 1, r = 1: 1 1 | 1
q = 1, r = 0: 0 0 | 1
q = 0, r = 1: 1 1 | 0
q = 0, r = 0: 1 0 | 0
Контрпример
q = 0, r = 1
Ответ
q = 0, r = 1
Рассуждение такой формы выглядит как правильное правило, но одной строки достаточно, чтобы показать, что это не так.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 2
Мультиплексор: мультиплексор 2ⁿ в 1 передаёт на выход один из своих информационных входов; адресные входы, читаемые как двоичное число, выбирают, какой именно. Для мультиплексора 4 в 1 с адресами S₁S₀ = AB: F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Если подключить информационные входы к 0, 1, C или C′, мультиплексор реализует любую функцию от A, B и C, что — распространённый способ построить логику на одной микросхеме.
Выражение выхода
F = A′BC + ABC′
Строки с F = 1
ABC = 011, 110
N = 2
Ответ
N = 2
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 4
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Полные циклы
Каждые 8 импульсов возвращают счётчик в то же состояние.
19 = 2·8 + 3
Значение после оставшихся импульсов
Q = (7 − 3) mod 8 = 4
Q = 100₂
Ответ
Q = 4
7.Теория чисел и модульная арифметика
Ответ: x = 5
Обратные элементы и сравнения: у 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).
Обратный к 23
r = 73, t = 0
r = 23, q = 3, t = 1
r = 4, q = 5, t = −3
r = 3, q = 1, t = 16
r = 1, q = 3, t = −19
23−1 ≡ 54 (mod 73)
Решите
x ≡ 54·42 = 2268 ≡ 5 (mod 73)
проверка: 23·5 = 115 ≡ 42 (mod 73)
Ответ
x = 5
8.Теория чисел и модульная арифметика
Ответ: 2019385 mod 59 = 26
Степени по модулю и 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.
Приведите показатель
19385 mod 58 = 13
2019385 ≡ 2013 (mod 59)
Малая степень
2013 mod 59 = 26
Ответ
2019385 mod 59 = 26
9.Алгоритмы и сложность
Ответ: A · O(n)
Почему это ответ
Есть n уровней с постоянной работой на каждом, как при рекурсивном суммировании массива.
Ответ
A · O(n)
10.Алгоритмы и сложность
Ответ: D · O(n² 2ⁿ)
Почему это ответ
Состояний около n 2ⁿ, и каждое вычисляется за O(n); это экспоненциально, но намного быстрее перебора всех (n − 1)! обходов.
Ответ
D · O(n² 2ⁿ)
11.Структуры данных
Ответ: C · Выделяется таблица большего размера, и каждый ключ вставляется заново
Почему это ответ
Поскольку индекс вычисляется по модулю размера таблицы, все ключи нужно заново хешировать в новую, большую таблицу; при удвоении это остаётся O(1) амортизированно.
Ответ
C · Выделяется таблица большего размера, и каждый ключ вставляется заново
12.Структуры данных
Ответ: A · Оно сливает цепочки узлов с одним потомком в одно ребро, помеченное строкой
Почему это ответ
Сжатие путей без ветвлений уменьшает число узлов и расход памяти, сохраняя поиск по префиксу.
Ответ
A · Оно сливает цепочки узлов с одним потомком в одно ребро, помеченное строкой
13.Теория графов
Ответ: k = 2
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
11 − 1 = 10
Рёбра для удаления
k = 12 − 10 = 2
Ответ
k = 2
14.Теория графов
Ответ: W = 35
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
DF (3): берём
AB (4): берём
BE (5): берём
BD (8): берём
EF (9): пропускаем, замыкает цикл
CE (15): берём
Суммарный вес
W = 3 + 4 + 5 + 8 + 15 = 35
Ответ
W = 35
15.Базы данных и SQL
Ответ: A · Изолированность (Isolation)
Почему это ответ
Изолированность разделяет параллельные транзакции; уровни изоляции определяют, насколько строго это соблюдается.
Ответ
A · Изолированность (Isolation)
16.Базы данных и SQL
Ответ: D · Когда его результат эквивалентен некоторому последовательному выполнению тех же транзакций
Почему это ответ
Сериализуемость — главный критерий корректности параллельного выполнения: результат чередования должен совпадать с результатом некоторого порядка выполнения по одной.
Ответ
D · Когда его результат эквивалентен некоторому последовательному выполнению тех же транзакций
17.Компьютерные сети
Ответ: B · Запрошенный ресурс не найден
Почему это ответ
404 Not Found означает, что на сервере нет ресурса по этому URL. 200 — OK, 401 — Unauthorized, а 500 — Internal Server Error.
Ответ
B · Запрошенный ресурс не найден
18.Компьютерные сети
Ответ: A · 172.32.0.1
Почему это ответ
172.16.0.0/12 охватывает адреса от 172.16.0.0 до 172.31.255.255, поэтому 172.32.0.1 лежит вне его. Остальные три находятся в частных диапазонах.
Ответ
A · 172.32.0.1
19.Подсети IPv4
Ответ: x = 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 = 64
Подсеть номер 2
сеть: (2 − 1)·64 = 64
широковещательный: 64 + 64 − 1 = 127
Ответ
x = 64
20.Подсети IPv4
Ответ: x = 127
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).