Подсчитайте различные переменные: в таблице истинности 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-битная комбинация 1011 0001 хранит целое число со знаком в дополнительном коде. Каково его значение N в десятичной системе?
1011 00018 bit
N =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 1110 1001 << 1. Чему равно значение результата R в десятичной системе?
1110 1001<< 1
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна p → r? Нажмите на неё.
p → r
1¬p ∧ r
2p ∨ ¬r
3¬p ∨ r
4¬p → ¬r
4.Логика высказываний и доказательстваСложная
Рассуждение с посылками p → r; r и выводом p неправильно. Нажмите на строку таблицы истинности, которая является контрпримером.
p → rr∴ p
1p = 1, r = 1
2p = 1, r = 0
3p = 0, r = 1
4p = 0, r = 0
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
Упростите F = AB + AC′ + ABC до минимальной формы «сумма произведений». Сколько литералов, L, содержит упрощённое выражение?
F = AB + AC′ + ABC
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Найдите минимальную форму SOP для F(A, B, C, D) = Σm(0, 1, 3, 8, 11, 15) + d(9, 14), где d обозначает безразличные состояния. Сколько литералов, L, она содержит?
F(A, B, C, D) = Σm(0, 1, 3, 8, 11, 15) + d(9, 14)
L =
7.Теория чисел и модульная арифметикаСредняя
Найдите наименьшее положительное целое x, для которого x ≡ 2 (mod 3) и x ≡ 9 (mod 13).
x ≡ 2 (mod 3)x ≡ 9 (mod 13)
x =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 17 и q = 29 и открытый показатель e = 23. Найдите закрытый показатель d (0 < d < φ(n)).
p = 17q = 29e = 23
d =
9.Алгоритмы и сложностьСредняя
Решением рекуррентного соотношения T(n) = 2T(n/2) + O(n) является:
AO(log n)
BO(n log n)
CO(n²)
DO(n)
10.Алгоритмы и сложностьСложная
Как алгоритм Беллмана–Форда обнаруживает цикл отрицательного веса, достижимый из источника?
AПосле V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
BОн проверяет, есть ли ребро с отрицательным весом
CОн подсчитывает циклы поиском в глубину
DОн дважды запускает алгоритм Дейкстры и сравнивает два полученных результата расстояний
11.Структуры данныхСредняя
В двоичной min-куче, хранящейся в массиве (индексация с 0), потомки узла с индексом i находятся на позициях:
Ai + 1 и i + 2
B2i + 1 и 2i + 2
Ci/2 и i/2 + 1
D2i и 2i + 1
12.Структуры данныхСложная
Вставка ключа в АВЛ-дерево делает левое поддерево узла слишком высоким, причём новый ключ попал в левое поддерево его левого потомка (случай левый–левый). Какое исправление применяется?
AПерекрашивание узла и его потомка
BЛевый поворот в потомке, затем правый поворот в узле
CОдиночный правый поворот в несбалансированном узле
DОдиночный левый поворот в несбалансированном узле
13.Теория графовСредняя
Связный граф имеет 13 вершин и 23 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 13|E| = 23
k =
14.Теория графовСложная
Сколько существует замкнутых маршрутов длины 2, начинающихся и заканчивающихся в D? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 2
N =
15.Базы данных и SQLСредняя
Что такое «грязное чтение» (dirty read)?
AЧтение данных, записанных другой транзакцией, которая ещё не зафиксирована
BДвукратное чтение одной строки с получением одного и того же значения
CЧтение данных без предложения WHERE
DЧтение данных с повреждённого диска
16.Базы данных и SQLСложная
Какая возможность SQL лучше всего подходит для поиска всех сотрудников, подчинённых руководителю, в организационном дереве неизвестной глубины?
AGROUP BY по manager_id
BРекурсивное обобщённое табличное выражение (WITH RECURSIVE)
CОдно самосоединение таблицы employees по manager_id
DОграничение UNIQUE на manager_id
17.Компьютерные сетиСредняя
Какой метод доступа к среде использовал классический разделяемый (полудуплексный) Ethernet?
AПередача маркера
BCSMA/CA
CCSMA/CD
DTDMA
18.Компьютерные сетиСложная
Как сеть доставки контента (CDN) в основном повышает производительность веба?
AОна увеличивает пропускную способность собственных домашних подключений пользователей
BОна отдаёт кэшированный контент с серверов, расположенных близко к пользователям
CОна устраняет необходимость в запросах DNS
DОна заменяет TCP более быстрым транспортным протоколом
19.Подсети IPv4Средняя
Сеть 192.168.10.0/24 нужно разделить как минимум на 30 одинаковых подсетей. Если занять как можно меньше битов, сколько используемых узлов H будет в каждой подсети?
192.168.10.0/2430 subnets
H =
20.Подсети IPv4Сложная
Узел имеет адрес 172.20.1.189/22. Чему равен третий октет x широковещательного адреса его подсети?
172.20.1.189/22
x =
3Растворы
1.Системы счисления
Ответ: N = −79
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Сложите веса
Остальные биты сохраняют свои обычные положительные веса.
−128 + 32 + 16 + 1 = −79
Ответ
N = −79
2.Системы счисления
Ответ: R = 210
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг влево на 1 перемещает каждый бит на 1 позиций влево; биты, выходящие за левый край, теряются, а справа входят нули.
1110 1001 << 1
= 1101 0010
Значение результата
1101 0010₂ = 210
Ответ
R = 210
3.Логика высказываний и доказательства
Ответ: ¬p ∨ r
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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.
p → r ≡ ¬p ∨ r
Проверка по таблице истинности
p = 1, r = 1: 1 | 0 1 1 1
p = 1, r = 0: 0 | 0 1 0 1
p = 0, r = 1: 1 | 1 0 1 0
p = 0, r = 0: 1 | 0 1 1 1
Ответ
¬p ∨ r
Столбцы после черты — варианты ответа в показанном порядке.
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 1 | 1
p = 1, r = 0: 0 0 | 1
p = 0, r = 1: 1 1 | 0
p = 0, r = 0: 1 0 | 0
Контрпример
p = 0, r = 1
Ответ
p = 0, r = 1
Рассуждение такой формы выглядит как правильное правило, но одной строки достаточно, чтобы показать, что это не так.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 4
Булева алгебра: правила, упрощающие выражения: X + X′ = 1 и X·X′ = 0, X + X = X, поглощение X + X·Y = X, правило склеивания X·Y + X·Y′ = X, X + X′Y = X + Y и теорема о консенсусе XY + X′Z + YZ = XY + X′Z. Законы де Моргана превращают (X·Y)′ в X′ + Y′ и (X + Y)′ в X′·Y′. Карта Карно применяет эти правила графически: каждая группа из двух соседних клеток — это одно применение XY + XY′ = X.
Минтермы выражения
AB → m(6, 7)
AC′ → m(4, 6)
ABC → m(7)
Сгруппируйте и прочитайте
F = AC′ + AB
Посчитайте литералы
L = 4
Ответ
L = 4
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 7
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
B′D, B′C′, ACD, ABC
Минимальное покрытие
F = B′D + B′C′ + ACD
L = 7
Ответ
L = 7
Существует другая группировка того же размера; в ней то же число членов и литералов.
7.Теория чисел и модульная арифметика
Ответ: x = 35
Обратные элементы и сравнения: у 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 = 2 + 3k
Второе сравнение
2 + 3k ≡ 9 (mod 13) → 3k ≡ 7 (mod 13)
k ≡ 9·7 ≡ 11 (mod 13)
Результат
x = 2 + 3·11 = 35
x = 35
проверка: 35 mod 3 = 2, 35 mod 13 = 9
Ответ
x = 35
8.Теория чисел и модульная арифметика
Ответ: d = 39
Степени по модулю и 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 = 17·29 = 493
φ(n) = 16·28 = 448
Расширенный алгоритм Евклида
r = 448, t = 0
r = 23, q = 19, t = 1
r = 11, q = 2, t = −19
r = 1, q = 11, t = 39
Закрытый показатель
d = 39
проверка: 23·39 = 897 = 2·448 + 1
Ответ
d = 39
9.Алгоритмы и сложность
Ответ: B · O(n log n)
Почему это ответ
По основной теореме о рекуррентных соотношениях (master theorem) при a = 2, b = 2, f(n) = n получаем T(n) = Θ(n log n).
Ответ
B · O(n log n)
10.Алгоритмы и сложность
Ответ: A · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
Почему это ответ
Все истинные кратчайшие расстояния находятся за V − 1 раундов; если ребро ещё можно улучшить, значит, существует отрицательный цикл.
Ответ
A · После V − 1 раундов он проверяет, можно ли ещё релаксировать какое-либо ребро
11.Структуры данных
Ответ: B · 2i + 1 и 2i + 2
Почему это ответ
В массивах с индексацией от 0 левый потомок находится в 2i + 1, правый — в 2i + 2, а родитель — в ⌊(i − 1)/2⌋.
Ответ
B · 2i + 1 и 2i + 2
12.Структуры данных
Ответ: C · Одиночный правый поворот в несбалансированном узле
Почему это ответ
В случае левый–левый один правый поворот поднимает левого потомка вверх и восстанавливает баланс; случаи зигзага требуют двойного поворота.
Ответ
C · Одиночный правый поворот в несбалансированном узле
13.Теория графов
Ответ: k = 11
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
13 − 1 = 12
Рёбра для удаления
k = 23 − 12 = 11
Ответ
k = 11
14.Теория графов
Ответ: N = 3
Степени: степень вершины — это число рёбер, которые в ней сходятся. У каждого ребра два конца, поэтому степени в сумме дают удвоенное число рёбер: Σ deg(v) = 2|E| (лемма о рукопожатиях). Следовательно, число вершин нечётной степени чётно. У Kn имеется n(n − 1)/2 рёбер, у k-регулярного графа на n вершинах nk/2, а у дерева на n вершинах n − 1 ребро.
Матрица смежности
A: 0 1 0 0 0 0
B: 1 0 1 1 1 0
C: 0 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 1
F: 0 0 0 1 1 0
Общие соседи
(M²)DD = 0·0 + 1·1 + 0·0 + 0·0 + 1·1 + 1·1 = 3
Ответ
N = 3
15.Базы данных и SQL
Ответ: A · Чтение данных, записанных другой транзакцией, которая ещё не зафиксирована
Почему это ответ
Грязное чтение видит незафиксированные изменения, которые могут быть отменены; оно возможно только на уровне read uncommitted.
Ответ
A · Чтение данных, записанных другой транзакцией, которая ещё не зафиксирована
16.Базы данных и SQL
Ответ: B · Рекурсивное обобщённое табличное выражение (WITH RECURSIVE)
Почему это ответ
Рекурсивное CTE начинается с опорного запроса и многократно соединяет предыдущий результат с таблицей, поэтому справляется с иерархиями любой глубины.
Ответ
B · Рекурсивное обобщённое табличное выражение (WITH RECURSIVE)
17.Компьютерные сети
Ответ: C · CSMA/CD
Почему это ответ
Множественный доступ с контролем несущей и обнаружением коллизий: станции прекращают передачу при обнаружении коллизии и повторяют её после случайной задержки (backoff). В полнодуплексном коммутируемом Ethernet коллизий нет.
Ответ
C · CSMA/CD
18.Компьютерные сети
Ответ: B · Она отдаёт кэшированный контент с серверов, расположенных близко к пользователям
Почему это ответ
CDN размещают копии контента во множестве пограничных узлов и направляют пользователей, часто через DNS, к ближайшему серверу. Это снижает задержку и нагрузку на исходный сервер.
Ответ
B · Она отдаёт кэшированный контент с серверов, расположенных близко к пользователям
19.Подсети IPv4
Ответ: H = 6
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Занимаемые биты
25 = 32 ≥ 30 → b = 5, /29
Узлы в подсети
23 − 2 = 6
Ответ
H = 6
20.Подсети IPv4
Ответ: x = 3
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).