Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −59 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −598 bit
U =
2.Системы счисленияСложная
Какое наименьшее (самое отрицательное) целое число N можно записать в 12-битном дополнительном коде?
12 bit
N =
3.Логика высказываний и доказательстваСредняя
В скольких из 8 строк таблицы истинности ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) истинно? Обозначим это число N.
((c ↔ ¬b) ∨ a) ∨ (b ∧ c)
N =
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (q ∧ (s ↔ r)) → (p → (q → ¬s)) истинно? Обозначим это число N.
(q ∧ (s ↔ r)) → (p → (q → ¬s))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(0, 1, 4, 9, 11, 15). Сколько всего литералов, L, она содержит (переменная со штрихом считается одним литералом)?
F(A, B, C, D) = Σm(0, 1, 4, 9, 11, 15)
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Для F(A, B, C, D) = Σm(6, 11, 12, 13, 14) + d(3, 9, 10, 15), где d обозначает безразличные состояния, найдите число N существенных простых импликант.
Найдите функцию Эйлера φ(104), число целых чисел от 1 до 104, взаимно простых с 104.
n = 104 = 23·13
φ(104) =
8.Теория чисел и модульная арифметикаСложная
79 — простое число. Используйте малую теорему Ферма, чтобы найти 1716359 mod 79.
p = 79k = 16359
1716359 mod 79 =
9.Алгоритмы и сложностьСредняя
Нижняя граница для сортировки сравнениями в худшем случае равна:
AΩ(n²)
BΩ(n)
CΩ(log n)
DΩ(n log n)
10.Алгоритмы и сложностьСложная
Какое утверждение об o-нотации (o малое) верно?
An = o(n²), но n не является o(n)
Bn = o(n), поскольку каждая функция есть o малое от самой себя
Cn² = o(n)
D2n = o(n), потому что 2n растёт медленно
11.Структуры данныхСредняя
Какой метод разрешения коллизий хранит конфликтующие ключи в списке в той же корзине?
AМетод цепочек (separate chaining)
BДвойное хеширование
CКвадратичное пробирование
DЛинейное пробирование
12.Структуры данныхСложная
Каково время работы поиска в ширину на графе с V вершинами, хранящемся в виде матрицы смежности?
AO(V²)
BO(V)
CO(V + E)
DO(E log V)
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 7|E| = 7
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 4; сама A фиксируется на шаге 1.
начало: Aшаг 4
1A
2B
3C
4D
5E
6F
7G
15.Базы данных и SQLСредняя
Какое утверждение о HAVING верно?
AВ нём можно использовать агрегатные функции для фильтрации групп
BОно должно стоять перед WHERE в операторе SELECT
CОно сортирует результаты
DЕго нельзя использовать с GROUP BY
16.Базы данных и SQLСложная
Какая оконная функция (window function) присваивает строкам в каждом разделе (partition) номера 1, 2, 3, ... без повторов?
ADENSE_RANK()
BROW_NUMBER()
CRANK()
DCOUNT()
17.Компьютерные сетиСредняя
Что однозначно идентифицирует одну сторону TCP-соединения в интернете?
AМаска подсети и шлюз
BIP-адрес вместе с номером порта
CОдин только MAC-адрес
DОдно только доменное имя
18.Компьютерные сетиСложная
Почему TCP выбирает непредсказуемый начальный порядковый номер для каждого соединения?
AЧтобы шифровать полезную нагрузку каждого сегмента
BЧтобы выбрать лучший маршрут к получателю для сегментов этого соединения
CЧтобы избежать путаницы со старыми сегментами и затруднить внедрение поддельных сегментов
DЧтобы эффективнее сжимать данные
19.Подсети IPv4Средняя
Отделу нужно 438 адресов узлов в одной подсети. Какова наибольшая длина префикса p (наименьшая подсеть), которой достаточно?
438 hosts
p =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.2.215/30. Каково последнее число (четвёртый октет) x широковещательного адреса его подсети?
10.20.2.215/30
x =
3Растворы
1.Системы счисления
Ответ: U = 197
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
59 = 0011 1011
инвертировано: 1100 0100
+1 → 1100 0101
Прочитайте как беззнаковое
1100 0101₂ = 256 − 59 = 197
Ответ
U = 197
2.Системы счисления
Ответ: N = −2048
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Самое отрицательное значение
−211 = −2048
Ответ
N = −2048
3.Логика высказываний и доказательства
Ответ: N = 7
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Таблица истинности по строкам
a = 1, b = 1, c = 1: ¬b = 0, c ↔ ¬b = 0, (c ↔ ¬b) ∨ a = 1, b ∧ c = 1, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 1, b = 1, c = 0: ¬b = 0, c ↔ ¬b = 1, (c ↔ ¬b) ∨ a = 1, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 1, b = 0, c = 1: ¬b = 1, c ↔ ¬b = 1, (c ↔ ¬b) ∨ a = 1, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 1, b = 0, c = 0: ¬b = 1, c ↔ ¬b = 0, (c ↔ ¬b) ∨ a = 1, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 0, b = 1, c = 1: ¬b = 0, c ↔ ¬b = 0, (c ↔ ¬b) ∨ a = 0, b ∧ c = 1, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 0, b = 1, c = 0: ¬b = 0, c ↔ ¬b = 1, (c ↔ ¬b) ∨ a = 1, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 0, b = 0, c = 1: ¬b = 1, c ↔ ¬b = 1, (c ↔ ¬b) ∨ a = 1, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 1
a = 0, b = 0, c = 0: ¬b = 1, c ↔ ¬b = 0, (c ↔ ¬b) ∨ a = 0, b ∧ c = 0, ((c ↔ ¬b) ∨ a) ∨ (b ∧ c) = 0
Посчитайте строки со значением 1
((c ↔ ¬b) ∨ a) ∨ (b ∧ c): 1, 1, 1, 1, 1, 1, 1, 0
N = 7
Ответ
N = 7
4.Логика высказываний и доказательства
Ответ: N = 15
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
s ↔ r; q ∧ (s ↔ r); ¬s; q → ¬s; p → (q → ¬s); (q ∧ (s ↔ r)) → (p → (q → ¬s))
Разбиение по p
p = 1: 7
p = 0: 8
N = 7 + 8 = 15
Ответ
N = 15
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 9
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
B′C′D
A′C′D′
ACD
Минимальная форма SOP
F = B′C′D + A′C′D′ + ACD
L = 9
Ответ
L = 9
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 2
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
B′CD, BCD′, AD, AC, AB
Существенные простые импликанты
BCD′, AB
N = 2
Ответ
N = 2
7.Теория чисел и модульная арифметика
Ответ: φ(104) = 48
Обратные элементы и сравнения: у 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).
Простые множители
104 = 23·13
Функция Эйлера
φ(104) = φ(8)·φ(13) = 4·12 = 48
Ответ
φ(104) = 48
8.Теория чисел и модульная арифметика
Ответ: 1716359 mod 79 = 69
Степени по модулю и 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.
Приведите показатель
16359 mod 78 = 57
1716359 ≡ 1757 (mod 79)
Малая степень
1757 mod 79 = 69
Ответ
1716359 mod 79 = 69
9.Алгоритмы и сложность
Ответ: D · Ω(n log n)
Почему это ответ
Любой сортировке сравнениями в худшем случае требуется не менее log₂(n!) ≈ n log n сравнений. Сортировка подсчётом (counting sort) обходит эту границу, так как не сравнивает элементы.
Ответ
D · Ω(n log n)
10.Алгоритмы и сложность
Ответ: A · n = o(n²), но n не является o(n)
Почему это ответ
f = o(g) означает, что f(n) / g(n) стремится к 0; n / n² стремится к 0, а n / n = 1 — нет.
Ответ
A · n = o(n²), но n не является o(n)
11.Структуры данных
Ответ: A · Метод цепочек (separate chaining)
Почему это ответ
Метод цепочек хранит для каждой корзины связный список (или другую структуру); открытая адресация ищет другую свободную ячейку в самой таблице.
Ответ
A · Метод цепочек (separate chaining)
12.Структуры данных
Ответ: A · O(V²)
Почему это ответ
Каждая из V вершин просматривает строку из V элементов, что даёт O(V²); со списками смежности BFS работает за O(V + E).
Ответ
A · O(V²)
13.Теория графов
Ответ: ни то, ни другое
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
1. A (0): C: 7
2. C (7): B: 9, E: 21, G: 20
3. B (9): D: 10, G: 13
4. D (10): F: 16
5. G (13)
6. F (16)
7. E (21)
шаг 4
D
Ответ
D
15.Базы данных и SQL
Ответ: A · В нём можно использовать агрегатные функции для фильтрации групп
Почему это ответ
HAVING фильтрует группы после агрегации и может ссылаться на агрегатные функции; WHERE так не может.
Ответ
A · В нём можно использовать агрегатные функции для фильтрации групп
16.Базы данных и SQL
Ответ: B · ROW_NUMBER()
Почему это ответ
ROW_NUMBER выдаёт уникальные последовательные номера; RANK оставляет пропуски после равных значений; DENSE_RANK — нет.
Ответ
B · ROW_NUMBER()
17.Компьютерные сети
Ответ: B · IP-адрес вместе с номером порта
Почему это ответ
TCP-соединение идентифицируется IP-адресом и портом источника плюс IP-адресом и портом назначения. Порты разделяют множество приложений на одном узле.
Ответ
B · IP-адрес вместе с номером порта
18.Компьютерные сети
Ответ: C · Чтобы избежать путаницы со старыми сегментами и затруднить внедрение поддельных сегментов
Почему это ответ
Случайные начальные порядковые номера не дают принять задержавшиеся сегменты старых соединений и затрудняют злоумышленникам вне пути подделку допустимых сегментов.
Ответ
C · Чтобы избежать путаницы со старыми сегментами и затруднить внедрение поддельных сегментов
19.Подсети IPv4
Ответ: p = 23
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Необходимые биты узла
28 − 2 = 254 < 438
29 − 2 = 510 ≥ 438 → h = 9
Длина префикса
p = 32 − 9 = 23
Ответ
p = /23
20.Подсети IPv4
Ответ: x = 215
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).