Подсчитайте различные переменные: в таблице истинности 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-битный результат операции 1100 0011 << 3. Чему равно значение результата R в десятичной системе?
1100 0011<< 3
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна p ∨ (r ∧ q)? Нажмите на неё.
p ∨ (r ∧ q)
1p ∧ (r ∨ q)
2(p ∨ r) ∧ (p ∨ q)
3(p ∧ r) ∨ (p ∧ q)
4(p ∨ r) ∧ q
4.Логика высказываний и доказательстваСложная
Рассуждение с посылками p → r; ¬p и выводом ¬r неправильно. Нажмите на строку таблицы истинности, которая является контрпримером.
p → r¬p∴ ¬r
1p = 1, r = 1
2p = 1, r = 0
3p = 0, r = 1
4p = 0, r = 0
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «произведение сумм» (POS) для F(A, B, C) = Σm(0, 3, 7). Сколько членов-сумм (множителей), N, в ней?
F(A, B, C) = Σm(0, 3, 7)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный кольцевой счётчик Q₃Q₂Q₁Q₀ начинает с 1100. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀), а Q₃ получает Q₀. Укажите состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа после 9 фронтов тактового сигнала.
Q₃Q₂Q₁Q₀ = 11009
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите наименьшее положительное целое x, для которого x ≡ 1 (mod 5) и x ≡ 0 (mod 6).
x ≡ 1 (mod 5)x ≡ 0 (mod 6)
x =
8.Теория чисел и модульная арифметикаСложная
Используйте многократное возведение в квадрат, чтобы найти 2192 mod 19.
Алгоритм динамического программирования Хелда–Карпа точно решает задачу коммивояжёра. Каково время его работы для n городов?
AO(n!)
BO(2n²)
CO(n² 2ⁿ)
DO(n³)
11.Структуры данныхСредняя
Что верно для матрицы смежности неориентированного графа?
AВ каждой строке ровно одна 1
BОна симметрична относительно главной диагонали
CНа её главной диагонали всегда стоят единицы
DОна всегда верхнетреугольная
12.Структуры данныхСложная
Какую гарантию дают правила красно-чёрного дерева относительно высоты дерева с n ключами?
AВысота не превышает 2 log2(n + 1)
BВысота не превышает n / 2
CВысота равна ровно log2 n
DВысота не превышает log2 n + 1
13.Теория графовСредняя
Связный граф имеет 18 вершин и 19 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 18|E| = 19
k =
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 5|E| = 7
W =
15.Базы данных и SQLСредняя
Какому предложению SQL соответствует оператор селекции (σ) реляционной алгебры?
AСписок SELECT
BGROUP BY
CWHERE
DORDER BY
16.Базы данных и SQLСложная
Две транзакции читают stock = 10, каждая вычитает 1 и записывает результат, получая 9 вместо 8. Какая это аномалия?
AГрязное чтение
BАномалия удаления
CФантомное чтение
DПотерянное обновление
17.Компьютерные сетиСредняя
Какой узел находится в той же подсети /16, что и 10.1.2.3?
A10.1.200.5
B10.0.2.3
C10.2.2.3
D11.1.2.3
18.Компьютерные сетиСложная
Какова по теореме Шеннона ёмкость канала шириной 1 МГц с отношением сигнал/шум 255?
A2 Мбит/с
B8 Мбит/с
C1 Мбит/с
D255 Мбит/с
19.Подсети IPv4Средняя
Сеть 192.168.4.0/24 разделена на подсети /27, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x широковещательного адреса подсети 4?
192.168.4.0/24/27подсеть 4 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
У маршрутизатора есть маршруты к сетям: 10.78.46.0/24, 10.78.47.0/24, 10.78.48.0/24. Какова наибольшая длина префикса p одного суммарного маршрута, охватывающего их все?
10.78.46.0/24 … 10.78.48.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 = 24
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг влево на 3 перемещает каждый бит на 3 позиций влево; биты, выходящие за левый край, теряются, а справа входят нули.
1100 0011 << 3
= 0001 1000
Значение результата
0001 1000₂ = 24
Ответ
R = 24
3.Логика высказываний и доказательства
Ответ: (p ∨ r) ∧ (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 ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
p ∨ (r ∧ q) ≡ (p ∨ r) ∧ (p ∨ q)
Проверка по таблице истинности
p = 1, q = 1, r = 1: 1 | 1 1 1 1
p = 1, q = 1, r = 0: 1 | 1 1 1 1
p = 1, q = 0, r = 1: 1 | 1 1 1 0
p = 1, q = 0, r = 0: 1 | 0 1 0 0
p = 0, q = 1, r = 1: 1 | 0 1 0 1
p = 0, q = 1, r = 0: 0 | 0 0 0 0
p = 0, q = 0, r = 1: 0 | 0 0 0 0
p = 0, q = 0, r = 0: 0 | 0 0 0 0
Ответ
(p ∨ r) ∧ (p ∨ q)
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: p = 0, r = 1
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Посылки и вывод по строкам
p = 1, r = 1: 1 0 | 0
p = 1, r = 0: 0 0 | 1
p = 0, r = 1: 1 1 | 0
p = 0, r = 0: 1 1 | 1
Контрпример
p = 0, r = 1
Ответ
p = 0, r = 1
Рассуждение такой формы выглядит как правильное правило, но одной строки достаточно, чтобы показать, что это не так.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте нули
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
(B + C′)
(B′ + C)
(A′ + C)
Минимальная форма POS
F = (B + C′)(B′ + C)(A′ + C)
N = 3
Ответ
N = 3
Существует другая группировка того же размера; в ней то же число членов и литералов.
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 6
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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).
Первое сравнение
x = 1 + 5k
Второе сравнение
1 + 5k ≡ 0 (mod 6) → 5k ≡ 5 (mod 6)
k ≡ 5·5 ≡ 1 (mod 6)
Результат
x = 1 + 5·1 = 6
x = 6
проверка: 6 mod 5 = 1, 6 mod 6 = 0
Ответ
x = 6
8.Теория чисел и модульная арифметика
Ответ: 2192 mod 19 = 11
Степени по модулю и 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.
Двоичный показатель
192 = 110000002 = 128 + 64
Многократное возведение в квадрат
21 ≡ 2 (mod 19)
22 ≡ 4 (mod 19)
24 ≡ 16 (mod 19)
28 ≡ 9 (mod 19)
216 ≡ 5 (mod 19)
232 ≡ 6 (mod 19)
264 ≡ 17 (mod 19)
2128 ≡ 4 (mod 19)
Перемножьте нужные степени
2192 ≡ 17·4 ≡ 11 (mod 19)
Ответ
2192 mod 19 = 11
9.Алгоритмы и сложность
Ответ: D · O(n)
Почему это ответ
Есть n уровней с постоянной работой на каждом, как при рекурсивном суммировании массива.
Ответ
D · O(n)
10.Алгоритмы и сложность
Ответ: C · O(n² 2ⁿ)
Почему это ответ
Состояний около n 2ⁿ, и каждое вычисляется за O(n); это экспоненциально, но намного быстрее перебора всех (n − 1)! обходов.
Ответ
C · O(n² 2ⁿ)
11.Структуры данных
Ответ: B · Она симметрична относительно главной диагонали
Почему это ответ
В неориентированном графе ребро {u, v} означает, что установлены и M[u][v], и M[v][u], поэтому матрица равна своей транспонированной.
Ответ
B · Она симметрична относительно главной диагонали
12.Структуры данных
Ответ: A · Высота не превышает 2 log2(n + 1)
Почему это ответ
На каждом пути одинаковое число чёрных узлов, а красные узлы не могут быть соседними, поэтому самый длинный путь не более чем вдвое длиннее самого короткого, что даёт высоту O(log n).
Ответ
A · Высота не превышает 2 log2(n + 1)
13.Теория графов
Ответ: k = 2
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
18 − 1 = 17
Рёбра для удаления
k = 19 − 17 = 2
Ответ
k = 2
14.Теория графов
Ответ: W = 28
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
BC (2): берём
CE (6): берём
DE (7): берём
BE (8): пропускаем, замыкает цикл
AB (13): берём
Суммарный вес
W = 2 + 6 + 7 + 13 = 28
Ответ
W = 28
15.Базы данных и SQL
Ответ: C · WHERE
Почему это ответ
σcondition(R) возвращает кортежи R, удовлетворяющие условию, подобно предложению WHERE.
Ответ
C · WHERE
16.Базы данных и SQL
Ответ: D · Потерянное обновление
Почему это ответ
При потерянном обновлении обе транзакции работают с одним и тем же старым значением, и вторая запись стирает первую; блокировка (SELECT ... FOR UPDATE) или атомарные обновления предотвращают это.
Ответ
D · Потерянное обновление
17.Компьютерные сети
Ответ: A · 10.1.200.5
Почему это ответ
При /16 первые 16 бит (10,1) — это сетевая часть. Только у 10.1.200.5 они совпадают, поэтому он находится в сети 10.1.0.0/16.
Ответ
A · 10.1.200.5
18.Компьютерные сети
Ответ: B · 8 Мбит/с
Почему это ответ
C = 10⁶ × log₂(256) = 10⁶ × 8 = 8 Мбит/с. Это верхний предел скорости безошибочной передачи данных по зашумлённому каналу.
Ответ
B · 8 Мбит/с
19.Подсети IPv4
Ответ: x = 127
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).
Размер блока
25 = 32
Подсеть номер 4
сеть: (4 − 1)·32 = 96
широковещательный: 96 + 32 − 1 = 127
Ответ
x = 127
20.Подсети IPv4
Ответ: p = 19
Суммирование маршрутов: суммарный маршрут a.b.c.0/p охватывает все сети, у которых первые p битов совпадают. Запишите различающийся октет первой и последней сети в двоичном виде; число общих старших битов плюс биты предшествующих октетов — это наибольший префикс суммарного маршрута.
Сравниваем биты
46 = 00101110
48 = 00110000
общих старших битов: 3
Длина префикса
p = 16 + 3 = 19
Ответ
p = /19
Суммарный маршрут: 10.78.32.0/19 (он также охватывает 29 сеть(и), которых нет в списке).