Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Запишите −12 как 8-битную комбинацию в дополнительном коде. Прочитайте комбинацию как беззнаковое двоичное число: каково его значение U в десятичной системе?
N = −128 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0110 1111 XOR 1100 1100. Чему равно значение результата R в десятичной системе?
0110 1111XOR1100 1100
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна ¬(r ∨ q)? Нажмите на неё.
¬(r ∨ q)
1r ∨ ¬q
2¬r ∧ q
3¬r ∧ ¬q
4¬r ∨ ¬q
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности ((¬b ∨ a) → (c → a)) → (d → ¬c) истинно? Обозначим это число N.
((¬b ∨ a) → (c → a)) → (d → ¬c)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «произведение сумм» (POS) для F(A, B, C, D) = Σm(1, 3, 4, 5, 6, 7, 8, 13, 14). Сколько членов-сумм (множителей), N, в ней?
F(A, B, C, D) = Σm(1, 3, 4, 5, 6, 7, 8, 13, 14)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Синхронный счётчик по модулю 12 считает 0, 1, …, 11, а затем возвращается к 0. Он начинает с 4. Какое значение Q (в десятичном виде) он покажет после 29 тактовых импульсов?
Q0 = 429N = 12
Q =
7.Теория чисел и модульная арифметикаСредняя
Решите 33x ≡ 38 (mod 53). Укажите решение x, для которого 0 < x < 53.
33x ≡ 38 (mod 53)
x =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 11 и q = 37 и открытый показатель e = 7. Найдите закрытый показатель d (0 < d < φ(n)).
p = 11q = 37e = 7
d =
9.Алгоритмы и сложностьСредняя
Решением рекуррентного соотношения T(n) = 2T(n/2) + O(n) является:
AO(n²)
BO(n log n)
CO(log n)
DO(n)
10.Алгоритмы и сложностьСложная
Как соотносятся n! и 2ⁿ при больших n?
A2ⁿ растёт быстрее n!
Bn! растёт быстрее 2ⁿ
CОни растут с одинаковой скоростью
Dn! есть O(n²)
11.Структуры данныхСредняя
У узла двоичного дерева поиска есть правое поддерево. Где находится его in-order преемник?
AСамый правый узел его левого поддерева
BВсегда его родитель
CСамый левый узел его правого поддерева
DВсегда его правый потомок
12.Структуры данныхСложная
Какая структура данных обеспечивает кэш LRU (least recently used) с операциями get и put за O(1)?
AОдин отсортированный массив
BТолько стек
CТолько двоичное дерево поиска
DХеш-таблица в сочетании с двусвязным списком
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 6|E| = 7
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Сколько существует замкнутых маршрутов длины 2, начинающихся и заканчивающихся в E? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 2
N =
15.Базы данных и SQLСредняя
Таблица хранит адрес клиента в каждой строке заказа. Изменение адреса в одной строке, но не в остальных, — пример:
AАномалии обновления
BАномалии вставки
CАномалии удаления
DФантомного чтения
16.Базы данных и SQLСложная
Почему многие СУБД используют строгую двухфазную блокировку, удерживая исключительные блокировки до фиксации?
AОна делает взаимоблокировки невозможными
BОна позволяет транзакциям безопасно читать «грязные» данные
CОна предотвращает каскадные откаты, поскольку никто не может прочитать незафиксированные записи
DОна устраняет необходимость в журнале транзакций
17.Компьютерные сетиСредняя
Какой из этих диапазонов является частным диапазоном адресов IPv4?
A192.168.0.0/16
B100.0.0.0/8
C8.8.8.0/24
D200.1.1.0/24
18.Компьютерные сетиСложная
Запросы DNS обычно используют UDP. Когда DNS, как правило, использует вместо этого TCP?
AДля ответов, слишком больших для UDP, и для передачи зон
BДля каждого запроса, отправленного из веб-браузера
CТолько для обратного поиска по IP-адресам
DТолько если доменное имя длиннее десяти символов
19.Подсети IPv4Средняя
Подсеть использует маску 255.255.255.248. Сколько в ней пригодных адресов узлов H?
255.255.255.248
H =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.115.156/27. Каков четвёртый октет x его адреса сети?
10.20.115.156/27
x =
3Растворы
1.Системы счисления
Ответ: U = 244
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Инвертируйте и прибавьте единицу
12 = 0000 1100
инвертировано: 1111 0011
+1 → 1111 0100
Прочитайте как беззнаковое
1111 0100₂ = 256 − 12 = 244
Ответ
U = 244
2.Системы счисления
Ответ: R = 163
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
XOR даёт 1 там, где два бита различаются.
0110 1111
XOR 1100 1100
= 1010 0011
Значение результата
1010 0011₂ = 163
Ответ
R = 163
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) ≡ ¬a ∧ ¬b. ∨ превращается в ∧, и обе части отрицаются.
¬(r ∨ q) ≡ ¬r ∧ ¬q
Проверка по таблице истинности
q = 1, r = 1: 0 | 1 0 0 0
q = 1, r = 0: 0 | 0 1 0 1
q = 0, r = 1: 0 | 1 0 0 1
q = 0, r = 0: 1 | 1 0 1 1
Ответ
¬r ∧ ¬q
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: N = 13
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
¬b; ¬b ∨ a; c → a; (¬b ∨ a) → (c → a); ¬c; d → ¬c; ((¬b ∨ a) → (c → a)) → (d → ¬c)
Разбиение по a
a = 1: 6
a = 0: 7
N = 6 + 7 = 13
Ответ
N = 13
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 5
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте нули
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
(B + C′ + D)
(A′ + C′ + D′)
(A + B + D)
(A′ + B + D′)
(A′ + B′ + C + D)
Минимальная форма POS
F = (B + C′ + D)(A′ + C′ + D′)(A + B + D)(A′ + B + D′)(A′ + B′ + C + D)
N = 5
Ответ
N = 5
Существует другая группировка того же размера; в ней то же число членов и литералов.
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 9
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Полные циклы
Каждые 12 импульсов возвращают счётчик в то же состояние.
29 = 2·12 + 5
Значение после оставшихся импульсов
Q = (4 + 5) mod 12 = 9
Q = 1001₂
Ответ
Q = 9
7.Теория чисел и модульная арифметика
Ответ: x = 14
Обратные элементы и сравнения: у 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).
Обратный к 33
r = 53, t = 0
r = 33, q = 1, t = 1
r = 20, q = 1, t = −1
r = 13, q = 1, t = 2
r = 7, q = 1, t = −3
r = 6, q = 1, t = 5
r = 1, q = 6, t = −8
33−1 ≡ 45 (mod 53)
Решите
x ≡ 45·38 = 1710 ≡ 14 (mod 53)
проверка: 33·14 = 462 ≡ 38 (mod 53)
Ответ
x = 14
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·37 = 407
φ(n) = 10·36 = 360
Расширенный алгоритм Евклида
r = 360, t = 0
r = 7, q = 51, t = 1
r = 3, q = 2, t = −51
r = 1, q = 3, t = 103
Закрытый показатель
d = 103
проверка: 7·103 = 721 = 2·360 + 1
Ответ
d = 103
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.Алгоритмы и сложность
Ответ: B · n! растёт быстрее 2ⁿ
Почему это ответ
При n ≥ 4 n! превышает 2ⁿ, и отношение растёт неограниченно, потому что каждый новый множитель n! больше 2.
Ответ
B · n! растёт быстрее 2ⁿ
11.Структуры данных
Ответ: C · Самый левый узел его правого поддерева
Почему это ответ
Все ближайшие большие ключи находятся в правом поддереве узла, а наименьший из них — самый левый узел там.
Ответ
C · Самый левый узел его правого поддерева
12.Структуры данных
Ответ: D · Хеш-таблица в сочетании с двусвязным списком
Почему это ответ
Хеш-таблица находит узлы за O(1), а двусвязный список перемещает использованные элементы в начало и удаляет с конца за O(1).
Ответ
D · Хеш-таблица в сочетании с двусвязным списком
13.Теория графов
Ответ: Эйлеров цикл
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Степени: степень вершины — это число рёбер, которые в ней сходятся. У каждого ребра два конца, поэтому степени в сумме дают удвоенное число рёбер: Σ deg(v) = 2|E| (лемма о рукопожатиях). Следовательно, число вершин нечётной степени чётно. У Kn имеется n(n − 1)/2 рёбер, у k-регулярного графа на n вершинах nk/2, а у дерева на n вершинах n − 1 ребро.
Матрица смежности
A: 0 1 1 0 0 0
B: 1 0 1 1 0 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 0 1 1 0 0
F: 0 0 0 1 0 0
Общие соседи
(M²)EE = 0·0 + 0·0 + 1·1 + 1·1 + 0·0 + 0·0 = 2
Ответ
N = 2
15.Базы данных и SQL
Ответ: A · Аномалии обновления
Почему это ответ
Избыточное хранение означает, что одно изменение нужно внести во многие строки; если какие-то пропустить, данные станут несогласованными, что предотвращает нормализация.
Ответ
A · Аномалии обновления
16.Базы данных и SQL
Ответ: C · Она предотвращает каскадные откаты, поскольку никто не может прочитать незафиксированные записи
Почему это ответ
Базовая 2PL гарантирует сериализуемость, но раннее снятие блокировок записи может позволить другим прочитать данные, которые позже будут откачены; строгая 2PL этого избегает.
Ответ
C · Она предотвращает каскадные откаты, поскольку никто не может прочитать незафиксированные записи
17.Компьютерные сети
Ответ: A · 192.168.0.0/16
Почему это ответ
Частные диапазоны — 10.0.0.0/8, 172.16.0.0/12 и 192.168.0.0/16; они не маршрутизируются в публичном интернете.
Ответ
A · 192.168.0.0/16
18.Компьютерные сети
Ответ: A · Для ответов, слишком больших для UDP, и для передачи зон
Почему это ответ
Если ответ UDP усечён, резолвер повторяет запрос через TCP. Передача зон между серверами имён также использует TCP, поскольку переносит много данных.
Ответ
A · Для ответов, слишком больших для UDP, и для передачи зон
19.Подсети IPv4
Ответ: H = 6
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).
Длина префикса
255.255.255.248 = /29
Используемые узлы
23 − 2 = 6
Ответ
H = 6
20.Подсети IPv4
Ответ: x = 128
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).