Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −37 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −378 bit
U =
2.Системы счисленияСложная
Система должна присвоить каждому из 4088 элементов собственный двоичный код одинаковой длины. Какое наименьшее число битов b нужно?
4088
b = bit
3.Логика высказываний и доказательстваСредняя
Является ли (c → b) ↔ (¬b → ¬c) тавтологией, противоречием или нейтральной формулой? Нажмите на ваш ответ.
(c → b) ↔ (¬b → ¬c)
1тавтология
2противоречие
3нейтральная формула
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((¬d ∧ ¬a) ∨ (b ∨ c)) ∨ ¬((b → c) ∧ a) истинно? Обозначим это число N.
((¬d ∧ ¬a) ∨ (b ∨ c)) ∨ ¬((b → c) ∧ a)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
У мультиплексора 4 в 1 адресные входы S₁ = A и S₀ = B, а информационные входы подключены так: I₀ = C′, I₁ = C′, I₂ = 0, I₃ = C′. Для скольких из 8 комбинаций A, B и C выход F = 1? Найдите N.
I₀ = C′I₁ = C′I₂ = 0I₃ = C′
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный сдвиговый регистр Q₃Q₂Q₁Q₀ содержит 1001. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀, Q₀ теряется), а последовательный вход поступает в Q₃. Последовательный вход равен 0, 0, 1, 0 на 4 фронтах. Укажите итоговое состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа.
Q₃Q₂Q₁Q₀ = 10010, 0, 1, 0
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 29 по модулю 53: число x, для которого 0 < x < 53 и 29·x ≡ 1 (mod 53).
a = 29n = 53
29−1 mod 53 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 11 и q = 19 и открытый показатель e = 7. Найдите закрытый показатель d (0 < d < φ(n)).
CЛюбую задачу из NP можно решить за экспоненциальное время
DP не равно NP
11.Структуры данныхСредняя
Сколько памяти занимает матрица смежности графа с V вершинами?
AO(E)
BO(log V)
CO(V + E)
DO(V²)
12.Структуры данныхСложная
Для каждого элемента массива нужно найти следующий больший элемент справа за общее время O(n). Какая структура поможет?
AОчередь, хранящая каждую пару элементов
BСтек, хранящий элементы, ожидающие своего ответа
CХеш-таблица всех элементов
DДвоичное дерево поиска, перестраиваемое для каждого элемента
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 5|E| = 7
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 3; сама A фиксируется на шаге 1.
начало: Aшаг 3
1A
2B
3C
4D
5E
6F
15.Базы данных и SQLСредняя
Что возвращает SELECT name, CASE WHEN grade >= 5,5 THEN 'pass' ELSE 'fail' END FROM results?
AЧисло сдавших и не сдавших студентов
BКаждое имя с меткой 'pass' или 'fail' в зависимости от оценки
CОшибку, потому что CASE нельзя использовать в SELECT
DТолько студентов, сдавших экзамен
16.Базы данных и SQLСложная
Даны функциональные зависимости A → B, B → C и C → D на R(A, B, C, D). Каково замыкание A+?
A{A}
B{A, B}
C{A, B, C, D}
D{A, B, C}
17.Компьютерные сетиСредняя
Что делает ARP?
AНаходит MAC-адрес, соответствующий IP-адресу в локальной сети
BМаршрутизирует пакеты в интернете
CАвтоматически назначает IP-адреса узлам при их подключении к локальной сети
DРазрешает доменные имена
18.Компьютерные сетиСложная
Чего сам по себе достигает обмен ключами Диффи — Хеллмана и в чём его слабость?
AОн согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
BОн подписывает сертификаты веб-сайтов, но работает только с короткими ключами
CОн напрямую шифрует основной объём данных по открытому каналу, но слишком медленный для больших файлов и видео
DОн аутентифицирует обоих пользователей по паролям, но требует центрального сервера
19.Подсети IPv4Средняя
Сеть 192.168.10.0/24 нужно разделить как минимум на 6 одинаковых подсетей. Если занять как можно меньше битов, сколько используемых узлов H будет в каждой подсети?
192.168.10.0/246 subnets
H =
20.Подсети IPv4Сложная
Узел имеет адрес 172.20.154.121/20. Чему равен третий октет x широковещательного адреса его подсети?
172.20.154.121/20
x =
3Растворы
1.Системы счисления
Ответ: U = 219
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
37 = 0010 0101
инвертировано: 1101 1010
+1 → 1101 1011
Прочитайте как беззнаковое
1101 1011₂ = 256 − 37 = 219
Ответ
U = 219
2.Системы счисления
Ответ: b = 12 bit
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Степени двойки
211 = 2048 < 4088
212 = 4096 ≥ 4088
Ответ
b = 12
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).
Таблица истинности по строкам
b = 1, c = 1: c → b = 1, ¬b = 0, ¬c = 0, ¬b → ¬c = 1, (c → b) ↔ (¬b → ¬c) = 1
b = 1, c = 0: c → b = 1, ¬b = 0, ¬c = 1, ¬b → ¬c = 1, (c → b) ↔ (¬b → ¬c) = 1
b = 0, c = 1: c → b = 0, ¬b = 1, ¬c = 0, ¬b → ¬c = 0, (c → b) ↔ (¬b → ¬c) = 1
b = 0, c = 0: c → b = 1, ¬b = 1, ¬c = 1, ¬b → ¬c = 1, (c → b) ↔ (¬b → ¬c) = 1
Классификация
(c → b) ↔ (¬b → ¬c): 1, 1, 1, 1
1 в каждой строке: тавтология.
Ответ
тавтология
4.Логика высказываний и доказательства
Ответ: N = 14
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
¬d; ¬a; ¬d ∧ ¬a; b ∨ c; (¬d ∧ ¬a) ∨ (b ∨ c); b → c; (b → c) ∧ a; ¬((b → c) ∧ a); ((¬d ∧ ¬a) ∨ (b ∨ c)) ∨ ¬((b → c) ∧ a)
Разбиение по a
a = 1: 6
a = 0: 8
N = 6 + 8 = 14
Ответ
N = 14
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Мультиплексор: мультиплексор 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′B′C′ + A′BC′ + ABC′
Строки с F = 1
ABC = 000, 010, 110
N = 3
Ответ
N = 3
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.
Состояние после каждого фронта
1001 → 0100 → 0010 → 1001 → 0100
Десятичное значение
0100₂ = 4
Ответ
Q = 4
7.Теория чисел и модульная арифметика
Ответ: 29−1 mod 53 = 11
Обратные элементы и сравнения: у 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·29 (mod 53).
r = 53, t = 0
r = 29, q = 1, t = 1
r = 24, q = 1, t = −1
r = 5, q = 4, t = 2
r = 4, q = 1, t = −9
r = 1, q = 4, t = 11
Обратная матрица
1 ≡ 11·29 (mod 53)
x = 11
проверка: 29·11 = 319 = 6·53 + 1
Ответ
29−1 mod 53 = 11
8.Теория чисел и модульная арифметика
Ответ: d = 103
Степени по модулю и 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 = 11·19 = 209
φ(n) = 10·18 = 180
Расширенный алгоритм Евклида
r = 180, t = 0
r = 7, q = 25, t = 1
r = 5, q = 1, t = −25
r = 2, q = 2, t = 26
r = 1, q = 2, t = −77
Закрытый показатель
d = 103
проверка: 7·103 = 721 = 4·180 + 1
Ответ
d = 103
9.Алгоритмы и сложность
Ответ: B · O(2ⁿ)
Почему это ответ
Число вызовов удваивается на каждом уровне, а уровней n, поэтому итого около 2ⁿ, как в задаче о Ханойских башнях.
Ответ
B · O(2ⁿ)
10.Алгоритмы и сложность
Ответ: B · Задача выполнимости булевых формул (SAT) NP-полна
Почему это ответ
Кук и Левин независимо показали, что любая задача из NP сводится к SAT за полиномиальное время, поэтому SAT стала первой известной NP-полной задачей.
Ответ
B · Задача выполнимости булевых формул (SAT) NP-полна
11.Структуры данных
Ответ: D · O(V²)
Почему это ответ
Матрица смежности хранит V × V элементов, что эффективно для плотных графов; списки смежности занимают O(V + E) и лучше подходят для разреженных графов.
Ответ
D · O(V²)
12.Структуры данных
Ответ: B · Стек, хранящий элементы, ожидающие своего ответа
Почему это ответ
При проходе слева направо извлекают все элементы стека, меньшие текущего (текущий элемент — их ответ), затем помещают текущий; каждый элемент перемещается не более двух раз.
Ответ
B · Стек, хранящий элементы, ожидающие своего ответа
13.Теория графов
Ответ: Эйлеров путь, не цикл
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Эйлеров путь начинается в одной нечётной вершине и заканчивается в другой.
14.Теория графов
Ответ: E
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
1. A (0): B: 2
2. B (2): C: 10, D: 7, E: 4
3. E (4): F: 10
4. D (7): F: 9
5. F (9)
6. C (10)
шаг 3
E
Ответ
E
15.Базы данных и SQL
Ответ: B · Каждое имя с меткой 'pass' или 'fail' в зависимости от оценки
Почему это ответ
Выражение CASE проверяет свои условия для каждой строки и возвращает соответствующее значение, поэтому каждая строка получает метку.
Ответ
B · Каждое имя с меткой 'pass' или 'fail' в зависимости от оценки
16.Базы данных и SQL
Ответ: C · {A, B, C, D}
Почему это ответ
Начните с A, добавьте B (A → B), затем C (B → C), затем D (C → D); поскольку A+ содержит все атрибуты, A — ключ.
Ответ
C · {A, B, C, D}
17.Компьютерные сети
Ответ: A · Находит MAC-адрес, соответствующий IP-адресу в локальной сети
Почему это ответ
ARP рассылает широковещательный запрос «у кого этот IP?», и владелец отвечает своим MAC-адресом, чтобы кадры можно было доставить локально.
Ответ
A · Находит MAC-адрес, соответствующий IP-адресу в локальной сети
18.Компьютерные сети
Ответ: A · Он согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
Почему это ответ
Алгоритм Диффи — Хеллмана позволяет двум сторонам получить одинаковый секрет, который подслушивающие не могут вычислить. Злоумышленник посередине может провести отдельные обмены с каждой стороной, если значения не подписаны или не аутентифицированы иным способом.
Ответ
A · Он согласует общий секрет по открытому каналу, но сам по себе уязвим для атаки «человек посередине»
19.Подсети IPv4
Ответ: H = 30
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Занимаемые биты
23 = 8 ≥ 6 → b = 3, /27
Узлы в подсети
25 − 2 = 30
Ответ
H = 30
20.Подсети IPv4
Ответ: x = 159
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).