Подсчитайте различные переменные: в таблице истинности 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-битный результат операции 1010 0111 XOR 0010 1111. Чему равно значение результата R в десятичной системе?
1010 0111XOR0010 1111
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна ¬(r ↔ p)? Нажмите на неё.
¬(r ↔ p)
1r ∧ ¬p
2r ↔ ¬p
3¬r ↔ ¬p
4¬r ∨ ¬p
4.Логика высказываний и доказательстваСложная
Какое утверждение эквивалентно ¬∃x (F(x) ∧ G(x)), если отрицание перенесено полностью внутрь? Нажмите на него.
¬∃x (F(x) ∧ G(x))
1∀x (¬F(x) ∧ ¬G(x))
2∃x (F(x) → ¬G(x))
3∀x (F(x) → ¬G(x))
4∀x (F(x) ∧ ¬G(x))
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «произведение сумм» (POS) для F(A, B, C, D) = Σm(0, 2, 3, 10). Сколько членов-сумм (множителей), N, в ней?
F(A, B, C, D) = Σm(0, 2, 3, 10)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Для F(A, B, C, D) = Σm(0, 6, 8, 9, 12, 14) + d(2, 4, 10, 15), где d обозначает безразличные состояния, найдите число N существенных простых импликант.
Найдите обратный к 13 по модулю 19: число x, для которого 0 < x < 19 и 13·x ≡ 1 (mod 19).
a = 13n = 19
13−1 mod 19 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 11 и q = 41 и открытый показатель e = 19. Найдите закрытый показатель d (0 < d < φ(n)).
p = 11q = 41e = 19
d =
9.Алгоритмы и сложностьСредняя
Что вычисляет алгоритм Флойда–Уоршелла и как быстро?
AКратчайшие пути между всеми парами вершин за O(V³)
BКратчайшие пути из одной исходной вершины до всех остальных за O(V + E)
CТопологический порядок за O(V²)
DМинимальное остовное дерево за O(E log V)
10.Алгоритмы и сложностьСложная
Задача является NP-полной, если она:
AЛежит вне NP, но сложнее всех задач NP, как проблема остановки
BПринадлежит NP и любая задача из NP сводится к ней за полиномиальное время
CРешается за полиномиальное время
DНеразрешима
11.Структуры данныхСредняя
Какой метод разрешения коллизий хранит конфликтующие ключи в списке в той же корзине?
AДвойное хеширование
BЛинейное пробирование
CМетод цепочек (separate chaining)
DКвадратичное пробирование
12.Структуры данныхСложная
Какую гарантию дают правила красно-чёрного дерева относительно высоты дерева с n ключами?
AВысота не превышает 2 log2(n + 1)
BВысота не превышает n / 2
CВысота не превышает log2 n + 1
DВысота равна ровно log2 n
13.Теория графовСредняя
У дерева 2 вершин степени 3, 2 вершин степени 4, 4 вершин степени 2, а все остальные его вершины — листья (степень 1). Сколько у него листьев, L?
2 × deg 32 × deg 44 × deg 2
L =
14.Теория графовСложная
Алгоритм Прима строит минимальное остовное дерево, начиная с вершины D. Нажмите на ребро, которое он добавляет под номером 3.
начало: Dk = 3
1ребро AB
2ребро AC
3ребро BC
4ребро CE
5ребро DE
6ребро DF
7ребро EF
8ребро GB
9ребро GC
10ребро GD
11ребро GE
15.Базы данных и SQLСредняя
Таблица хранит адрес клиента в каждой строке заказа. Изменение адреса в одной строке, но не в остальных, — пример:
AАномалии вставки
BАномалии удаления
CАномалии обновления
DФантомного чтения
16.Базы данных и SQLСложная
Как при многоверсионном управлении параллелизмом (MVCC) читающие транзакции могут не блокировать пишущие?
AЧитающие всегда ждут, пока все пишущие не зафиксируются
BЗапись не допускается, пока активна хоть одна читающая транзакция
CЧитающие напрямую читают незафиксированные данные
DЧитающие видят согласованный снимок зафиксированных версий строк, а пишущие создают новые версии
17.Компьютерные сетиСредняя
На каком уровне OSI обычно работает коммутатор?
AФизическом (уровень 1)
BСетевом (уровень 3)
CКанальном (уровень 2)
DТранспортном (уровень 4)
18.Компьютерные сетиСложная
Фаза «медленного старта» (slow start) управления перегрузкой TCP:
AДержит окно фиксированным на уровне одного сегмента
BВдвое уменьшает окно перегрузки с каждым циклом обмена, пока не будет обнаружена потеря пакета
CИспользуется только UDP
DЭкспоненциально увеличивает окно перегрузки до достижения порога или потери
19.Подсети IPv4Средняя
Сеть 192.168.63.0/24 разделена на подсети /27, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x широковещательного адреса подсети 2?
192.168.63.0/24/27подсеть 2 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
У маршрутизатора есть маршруты к сетям: 10.184.241.0/24, 10.184.242.0/24, 10.184.243.0/24, 10.184.244.0/24, 10.184.245.0/24, 10.184.246.0/24, 10.184.247.0/24, 10.184.248.0/24. Какова наибольшая длина префикса p одного суммарного маршрута, охватывающего их все?
10.184.241.0/24 … 10.184.248.0/24
p =
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 = 136
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
XOR даёт 1 там, где два бита различаются.
1010 0111
XOR 0010 1111
= 1000 1000
Значение результата
1000 1000₂ = 136
Ответ
R = 136
3.Логика высказываний и доказательства
Ответ: r ↔ ¬p
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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) равно 1 ровно тогда, когда a и b различаются, то есть a ↔ ¬b.
¬(r ↔ p) ≡ r ↔ ¬p
Проверка по таблице истинности
p = 1, r = 1: 0 | 0 0 1 0
p = 1, r = 0: 1 | 0 1 0 1
p = 0, r = 1: 1 | 1 1 0 1
p = 0, r = 0: 0 | 0 0 1 1
Ответ
r ↔ ¬p
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: ∀x (F(x) → ¬G(x))
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Перенесите отрицание внутрь
¬∃x (F(x) ∧ G(x)) ≡ ∀x (F(x) → ¬G(x))
Ответ
∀x (F(x) → ¬G(x))
Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 4
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте нули
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
(C + D′)
B′
(A′ + D′)
(A′ + C)
Минимальная форма POS
F = (C + D′)B′(A′ + D′)(A′ + C)
N = 4
Ответ
N = 4
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 2
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
D′, AB′C′, ABC
Существенные простые импликанты
D′, AB′C′
N = 2
Ответ
N = 2
7.Теория чисел и модульная арифметика
Ответ: 13−1 mod 19 = 3
Обратные элементы и сравнения: у 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·13 (mod 19).
r = 19, t = 0
r = 13, q = 1, t = 1
r = 6, q = 2, t = −1
r = 1, q = 6, t = 3
Обратная матрица
1 ≡ 3·13 (mod 19)
x = 3
проверка: 13·3 = 39 = 2·19 + 1
Ответ
13−1 mod 19 = 3
8.Теория чисел и модульная арифметика
Ответ: d = 379
Степени по модулю и 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·41 = 451
φ(n) = 10·40 = 400
Расширенный алгоритм Евклида
r = 400, t = 0
r = 19, q = 21, t = 1
r = 1, q = 19, t = −21
Закрытый показатель
d = 379
проверка: 19·379 = 7201 = 18·400 + 1
Ответ
d = 379
9.Алгоритмы и сложность
Ответ: A · Кратчайшие пути между всеми парами вершин за O(V³)
Почему это ответ
Флойд–Уоршелл — алгоритм динамического программирования, который по очереди допускает каждую вершину как промежуточную точку и использует время O(V³).
Ответ
A · Кратчайшие пути между всеми парами вершин за O(V³)
10.Алгоритмы и сложность
Ответ: B · Принадлежит NP и любая задача из NP сводится к ней за полиномиальное время
Почему это ответ
NP-полные задачи — самые сложные в NP; полиномиальный алгоритм для одной из них дал бы полиномиальный алгоритм для всего класса NP.
Ответ
B · Принадлежит NP и любая задача из NP сводится к ней за полиномиальное время
11.Структуры данных
Ответ: C · Метод цепочек (separate chaining)
Почему это ответ
Метод цепочек хранит для каждой корзины связный список (или другую структуру); открытая адресация ищет другую свободную ячейку в самой таблице.
Ответ
C · Метод цепочек (separate chaining)
12.Структуры данных
Ответ: A · Высота не превышает 2 log2(n + 1)
Почему это ответ
На каждом пути одинаковое число чёрных узлов, а красные узлы не могут быть соседними, поэтому самый длинный путь не более чем вдвое длиннее самого короткого, что даёт высоту O(log n).
Ответ
A · Высота не превышает 2 log2(n + 1)
13.Теория графов
Ответ: L = 8
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Лемма о рукопожатиях для дерева
L + 22 = 2(L + 8) − 2
L = 8
Ответ
L = 8
Короткий путь: L = 2 + Σ (d − 2) по вершинам степени d ≥ 3.
14.Теория графов
Ответ: ребро GB
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Прима
1. DE (3)
2. GD (4)
3. GB (6)
4. AB (2)
5. EF (12)
6. GC (13)
номер ребра 3
GB
Ответ
ребро GB
15.Базы данных и SQL
Ответ: C · Аномалии обновления
Почему это ответ
Избыточное хранение означает, что одно изменение нужно внести во многие строки; если какие-то пропустить, данные станут несогласованными, что предотвращает нормализация.
Ответ
C · Аномалии обновления
16.Базы данных и SQL
Ответ: D · Читающие видят согласованный снимок зафиксированных версий строк, а пишущие создают новые версии
Почему это ответ
MVCC сохраняет старые версии строк, поэтому читающая транзакция видит данные на момент своего снимка, а пишущая создаёт новую версию, а не перезаписывает строку на месте.
Ответ
D · Читающие видят согласованный снимок зафиксированных версий строк, а пишущие создают новые версии
17.Компьютерные сети
Ответ: C · Канальном (уровень 2)
Почему это ответ
Обычный коммутатор изучает MAC-адреса и пересылает кадры на уровне 2. Коммутаторы уровня 3 также выполняют маршрутизацию.
Ответ
C · Канальном (уровень 2)
18.Компьютерные сети
Ответ: D · Экспоненциально увеличивает окно перегрузки до достижения порога или потери
Почему это ответ
Медленный старт экспоненциально увеличивает окно перегрузки; после порога фаза предотвращения перегрузки увеличивает его линейно, а потеря его уменьшает.
Ответ
D · Экспоненциально увеличивает окно перегрузки до достижения порога или потери
19.Подсети IPv4
Ответ: x = 63
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
Подсеть номер 2
сеть: (2 − 1)·32 = 32
широковещательный: 32 + 32 − 1 = 63
Ответ
x = 63
20.Подсети IPv4
Ответ: p = 20
Суммирование маршрутов: суммарный маршрут a.b.c.0/p охватывает все сети, у которых первые p битов совпадают. Запишите различающийся октет первой и последней сети в двоичном виде; число общих старших битов плюс биты предшествующих октетов — это наибольший префикс суммарного маршрута.
Сравниваем биты
241 = 11110001
248 = 11111000
общих старших битов: 4
Длина префикса
p = 16 + 4 = 20
Ответ
p = /20
Суммарный маршрут: 10.184.240.0/20 (он также охватывает 8 сеть(и), которых нет в списке).