Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
8-битная комбинация 0010 0000 хранит целое число со знаком в дополнительном коде. Каково его значение N в десятичной системе?
0010 00008 bit
N =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1100 0101 OR 0011 1110. Чему равно значение результата R в десятичной системе?
1100 0101OR0011 1110
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна r → q? Нажмите на неё.
r → q
1r ∨ ¬q
2¬r ∧ q
3¬r ∨ q
4¬r → ¬q
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((r ∧ ¬s) ∨ q) ∧ (¬p ∧ r) истинно? Обозначим это число N.
((r ∧ ¬s) ∨ q) ∧ (¬p ∧ r)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
На этой карте Карно ровно у одной единицы нет соседней единицы, поэтому в минимальной форме SOP она остаётся группой из одной клетки (полным минтермом из четырёх литералов). Соседи через края карты учитываются. Нажмите на эту клетку.
F = Σm(0, 4, 9, 13, 14)
1AB = 00, CD = 00
2AB = 00, CD = 01
3AB = 00, CD = 11
4AB = 00, CD = 10
5AB = 01, CD = 00
6AB = 01, CD = 01
7AB = 01, CD = 11
8AB = 01, CD = 10
9AB = 11, CD = 00
10AB = 11, CD = 01
11AB = 11, CD = 11
12AB = 11, CD = 10
13AB = 10, CD = 00
14AB = 10, CD = 01
15AB = 10, CD = 11
16AB = 10, CD = 10
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Счётчик по модулю 7 построен на минимальном числе триггеров. Сколько из возможных состояний, U, никогда не используется?
N = 7
U =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 7 по модулю 23: число x, для которого 0 < x < 23 и 7·x ≡ 1 (mod 23).
a = 7n = 23
7−1 mod 23 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 23, q = 31 и e = 7. Расшифруйте шифртекст c = 249: найдите сообщение m.
p = 23q = 31e = 7c = 249
m =
9.Алгоритмы и сложностьСредняя
Какое жадное правило в задаче о выборе заявок всегда даёт максимальное число непересекающихся заявок?
AСначала выбрать заявку с наименьшим числом пересечений, затем повторить с совместимыми
BСначала выбрать самую короткую заявку
CВыбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
DВыбрать заявку, которая начинается раньше всех
10.Алгоритмы и сложностьСложная
Как алгоритм Беллмана–Форда обнаруживает цикл отрицательного веса, достижимый из источника?
AОн проверяет, есть ли ребро с отрицательным весом
BОн подсчитывает циклы поиском в глубину
CПосле V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
DОн дважды запускает алгоритм Дейкстры и сравнивает два полученных результата расстояний
11.Структуры данныхСредняя
Как в кольцевой очереди, хранящейся в массиве ёмкостью n, вычисляется следующая позиция после индекса i?
A2i + 1
Bi + 1
C(i + 1) mod n
D(i − 1) mod n
12.Структуры данныхСложная
Алгоритм Кана для топологической сортировки многократно удаляет вершины с полустепенью захода 0. Какая структура хранит эти вершины?
AМатрица смежности, фиксирующая, какие вершины уже удалены
BОчередь (или любая коллекция) вершин с полустепенью захода 0
CСтек всех посещённых рёбер
DMax-куча, упорядоченная по полустепени исхода
13.Теория графовСредняя
Сколько различных гамильтоновых циклов, H, в полном графе K8? Циклы, отличающиеся только начальной вершиной или направлением, считаются одним и тем же.
K8
H =
14.Теория графовСложная
Алгоритм Прима строит минимальное остовное дерево, начиная с вершины D. Нажмите на ребро, которое он добавляет под номером 2.
начало: Dk = 2
1ребро AB
2ребро AC
3ребро BC
4ребро BD
5ребро CE
6ребро DE
7ребро BE
15.Базы данных и SQLСредняя
В таблице orders 5 строк, каждая ссылается на существующего клиента. В таблице customers 3 строки. Сколько строк вернёт INNER JOIN по customer_id?
A5
B15
C8
D3
16.Базы данных и SQLСложная
Таблица enrolment(student_id, course_id, student_name, grade) имеет ключ (student_id, course_id). Какую нормальную форму она нарушает?
AПервую нормальную форму, потому что столбец grade не содержит атомарных значений
BНикакую, она в НФБК
CТолько третью нормальную форму, потому что grade зависит от student_name
DВторую нормальную форму, потому что student_name зависит только от student_id
17.Компьютерные сетиСредняя
Какой один префикс суммирует и 192.168.0.0/24, и 192.168.1.0/24?
A192.168.0.0/22
B192.168.0.0/25
C192.168.0.0/23
D192.168.1.0/23
18.Компьютерные сетиСложная
Каков максимальный блок передачи (MTU) полезной нагрузки стандартного Ethernet?
A1500 байт
B9000 байт в любой сети
C64 байта
D65535 байт
19.Подсети IPv4Средняя
Отделу нужно 879 адресов узлов в одной подсети. Какова наибольшая длина префикса p (наименьшая подсеть), которой достаточно?
879 hosts
p =
20.Подсети IPv4Сложная
Сеть 192.168.163.0/24 делится с помощью VLSM для следующих LAN: A: 32 узлов, B: 97 узлов, C: 8 узлов, D: 22 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN C?
A: 32B: 97C: 8D: 22
x =
3Растворы
1.Системы счисления
Ответ: N = 32
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Сложите веса
Остальные биты сохраняют свои обычные положительные веса.
32 = 32
Ответ
N = 32
2.Системы счисления
Ответ: R = 255
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
OR даёт 1 там, где хотя бы один бит равен 1.
1100 0101
OR 0011 1110
= 1111 1111
Значение результата
1111 1111₂ = 255
Ответ
R = 255
3.Логика высказываний и доказательства
Ответ: ¬r ∨ 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 равно 0 только при a = 1 и b = 0, поэтому оно совпадает с ¬a ∨ b.
r → q ≡ ¬r ∨ q
Проверка по таблице истинности
q = 1, r = 1: 1 | 1 0 1 1
q = 1, r = 0: 1 | 0 1 1 0
q = 0, r = 1: 0 | 1 0 0 1
q = 0, r = 0: 1 | 1 0 1 1
Ответ
¬r ∨ q
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: N = 3
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: AB = 11, CD = 10
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Соседи каждой единицы
Единица с соседней единицей может войти в группу из двух или более.
m14: m15, m12, m10, m6 → 0
Изолированная единица
m14 = ABCD′ → AB = 11, CD = 10
Ответ
AB = 11, CD = 10
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: U = 1
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Число триггеров
2ⁿ ≥ 7 → n = 3 (2³ = 8)
Неиспользуемые состояния
U = 8 − 7 = 1
Ответ
U = 1
7.Теория чисел и модульная арифметика
Ответ: 7−1 mod 23 = 10
Обратные элементы и сравнения: у 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·7 (mod 23).
r = 23, t = 0
r = 7, q = 3, t = 1
r = 2, q = 3, t = −3
r = 1, q = 2, t = 10
Обратная матрица
1 ≡ 10·7 (mod 23)
x = 10
проверка: 7·10 = 70 = 3·23 + 1
Ответ
7−1 mod 23 = 10
8.Теория чисел и модульная арифметика
Ответ: m = 497
Степени по модулю и 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 = 713, φ(n) = 660
d = 7−1 mod 660 = 283
Расшифровка многократным возведением в квадрат
283 = 256 + 16 + 8 + 2 + 1
2491 ≡ 249 (mod 713)
2492 ≡ 683 (mod 713)
2494 ≡ 187 (mod 713)
2498 ≡ 32 (mod 713)
24916 ≡ 311 (mod 713)
24932 ≡ 466 (mod 713)
24964 ≡ 404 (mod 713)
249128 ≡ 652 (mod 713)
249256 ≡ 156 (mod 713)
249283 ≡ 249·683·32·311·156 ≡ 497 (mod 713)
Сообщение
m = 497
проверка: 4977 mod 713 = 249
Ответ
m = 497
9.Алгоритмы и сложность
Ответ: C · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
Почему это ответ
Оптимальность выбора по самому раннему времени окончания доказывается аргументом обмена; для остальных правил есть контрпримеры.
Ответ
C · Выбрать заявку, которая заканчивается раньше всех, затем повторить с совместимыми
10.Алгоритмы и сложность
Ответ: C · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
Почему это ответ
Все истинные кратчайшие расстояния находятся за V − 1 раундов; если ребро ещё можно улучшить, значит, существует отрицательный цикл.
Ответ
C · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
11.Структуры данных
Ответ: C · (i + 1) mod n
Почему это ответ
Операция взятия по модулю переводит индекс n − 1 обратно в 0, поэтому массив используется повторно без сдвига элементов.
Ответ
C · (i + 1) mod n
12.Структуры данных
Ответ: B · Очередь (или любая коллекция) вершин с полустепенью захода 0
Почему это ответ
Готовые вершины хранятся в очереди; удаление одной уменьшает полустепени захода её соседей, и те, у которых она стала 0, добавляются, что даёт время O(V + E).
Ответ
B · Очередь (или любая коллекция) вершин с полустепенью захода 0
13.Теория графов
Ответ: H = 2520
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Посчитайте
H = (8 − 1)!/2 = 5040/2 = 2520
Ответ
H = 2520
14.Теория графов
Ответ: ребро AB
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Прима
1. BD (8)
2. AB (4)
3. DE (13)
4. CE (7)
номер ребра 2
AB
Ответ
ребро AB
15.Базы данных и SQL
Ответ: A · 5
Почему это ответ
Каждый заказ находит ровно одного соответствующего клиента, поэтому соединение возвращает по одной строке на заказ: 5 строк.
Ответ
A · 5
16.Базы данных и SQL
Ответ: D · Вторую нормальную форму, потому что student_name зависит только от student_id
Почему это ответ
student_name зависит только от части ключа, то есть это частичная зависимость; перенос его в таблицу students устраняет нарушение 2НФ.
Ответ
D · Вторую нормальную форму, потому что student_name зависит только от student_id
17.Компьютерные сети
Ответ: C · 192.168.0.0/23
Почему это ответ
У 0 и 1 совпадают все биты третьего октета, кроме последнего, поэтому префикс на один бит короче (/23), начинающийся с 192.168.0.0, охватывает обе сети точно.
Ответ
C · 192.168.0.0/23
18.Компьютерные сети
Ответ: A · 1500 байт
Почему это ответ
Стандартный Ethernet переносит до 1500 байт полезной нагрузки; более крупные IP-пакеты должны фрагментироваться или использовать определение MTU пути (path MTU discovery).
Ответ
A · 1500 байт
19.Подсети IPv4
Ответ: p = 22
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Необходимые биты узла
29 − 2 = 510 < 879
210 − 2 = 1022 ≥ 879 → h = 10
Длина префикса
p = 32 − 10 = 22
Ответ
p = /22
20.Подсети IPv4
Ответ: x = 224
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.