Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −53 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −538 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0100 1000 >> 2. Чему равно значение результата R в десятичной системе?
0100 1000>> 2
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна b ∨ (c ∧ a)? Нажмите на неё.
b ∨ (c ∧ a)
1b ∧ (c ∨ a)
2(b ∨ c) ∧ a
3(b ∨ c) ∧ (b ∨ a)
4(b ∧ c) ∨ (b ∧ a)
4.Логика высказываний и доказательстваСложная
Какое утверждение эквивалентно ¬∀x ∃y R(x, y), если отрицание перенесено полностью внутрь? Нажмите на него.
¬∀x ∃y R(x, y)
1∃x ∀y ¬R(x, y)
2∃y ∀x ¬R(x, y)
3∀x ∀y ¬R(x, y)
4∀x ∃y ¬R(x, y)
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(2, 4, 10, 11, 12, 15). Сколько членов-произведений, N, в ней?
F(A, B, C, D) = Σm(2, 4, 10, 11, 12, 15)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Найдите минимальную форму SOP для F(A, B, C, D) = Σm(3, 4, 7, 11, 13, 15) + d(0, 1, 5, 6), где d обозначает безразличные состояния. Сколько членов-произведений, N, в ней?
Найдите наименьшее положительное целое x, для которого x ≡ 2 (mod 12) и x ≡ 8 (mod 13).
x ≡ 2 (mod 12)x ≡ 8 (mod 13)
x =
8.Теория чисел и модульная арифметикаСложная
67 — простое число. Используйте малую теорему Ферма, чтобы найти 1540519 mod 67.
p = 67k = 40519
1540519 mod 67 =
9.Алгоритмы и сложностьСредняя
Какова временна́я сложность умножения двух матриц n × n стандартным тройным циклом?
AO(n²)
BO(n)
CO(n³)
DO(n² log n)
10.Алгоритмы и сложностьСложная
Кратчайшие простые пути можно найти за полиномиальное время. Что известно о поиске самого длинного простого пути между двумя вершинами в произвольном графе?
AЭто NP-трудная задача
BЕё можно решить алгоритмом Дейкстры с отрицательными весами
CОна неразрешима
DОна всегда решается за O(V + E)
11.Структуры данныхСредняя
Симметричный обход (in-order) двоичного дерева поиска посещает ключи:
AВ порядке вставки
BВсегда в порядке убывания
CВ порядке возрастания (отсортированно)
DПо уровням
12.Структуры данныхСложная
Какое утверждение о пирамидальной сортировке (heapsort) верно?
AОна работает за O(n) на любых входных данных
BОна устойчива и требует O(n) дополнительной памяти
CЕй нужно двоичное дерево поиска как дополнительное хранилище, поэтому она использует O(n) дополнительной памяти
DОна сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 5|E| = 6
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Сколько существует маршрутов длины 2 из C в B? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 2
N =
15.Базы данных и SQLСредняя
Какой оператор удаляет все строки таблицы, сохраняет её структуру и не может иметь предложения WHERE?
ATRUNCATE TABLE
BALTER TABLE
CDELETE FROM с предложением WHERE
DDROP TABLE
16.Базы данных и SQLСложная
Какой алгоритм соединения оптимизатор часто выбирает для соединения по равенству двух больших таблиц без полезных индексов?
AБитовое соединение по первичному ключу
BПерекрёстное соединение
CХеш-соединение (hash join)
DСоединение вложенными циклами с обращениями к индексу
17.Компьютерные сетиСредняя
Сколько адресов узлов можно использовать в подсети IPv4 /26?
A62
B30
C126
D64
18.Компьютерные сетиСложная
Какова по теореме Шеннона ёмкость канала шириной 1 МГц с отношением сигнал/шум 255?
A2 Мбит/с
B8 Мбит/с
C255 Мбит/с
D1 Мбит/с
19.Подсети IPv4Средняя
Сеть 10.98.176.0/24 разделена на равные подсети с префиксом /29. Сколько получается подсетей N?
10.98.176.0/24/29
N =
20.Подсети IPv4Сложная
Сеть 192.168.247.0/24 делится с помощью VLSM для следующих LAN: A: 25 узлов, B: 28 узлов, C: 4 узлов, D: 69 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN B?
A: 25B: 28C: 4D: 69
x =
3Растворы
1.Системы счисления
Ответ: U = 203
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
53 = 0011 0101
инвертировано: 1100 1010
+1 → 1100 1011
Прочитайте как беззнаковое
1100 1011₂ = 256 − 53 = 203
Ответ
U = 203
2.Системы счисления
Ответ: R = 18
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг вправо на 2 перемещает каждый бит на 2 позиций вправо; биты, выходящие за правый край, теряются, а слева входят нули.
0100 1000 >> 2
= 0001 0010
Значение результата
0001 0010₂ = 18
Ответ
R = 18
3.Логика высказываний и доказательства
Ответ: (b ∨ c) ∧ (b ∨ a)
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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).
b ∨ (c ∧ a) ≡ (b ∨ c) ∧ (b ∨ a)
Проверка по таблице истинности
a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 1 | 1 1 1 1
a = 1, b = 0, c = 1: 1 | 0 1 1 0
a = 1, b = 0, c = 0: 0 | 0 0 0 0
a = 0, b = 1, c = 1: 1 | 1 0 1 1
a = 0, b = 1, c = 0: 1 | 0 0 1 0
a = 0, b = 0, c = 1: 0 | 0 0 0 0
a = 0, b = 0, c = 0: 0 | 0 0 0 0
Ответ
(b ∨ c) ∧ (b ∨ a)
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: ∃x ∀y ¬R(x, y)
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Перенесите отрицание внутрь
¬∀x ∃y R(x, y) ≡ ∃x ∀y ¬R(x, y)
Ответ
∃x ∀y ¬R(x, y)
Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
B′CD′
BC′D′
ACD
Минимальная форма SOP
F = B′CD′ + BC′D′ + ACD
N = 3
Ответ
N = 3
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
CD, BD, A′D, A′C′, A′B
Минимальное покрытие
F = CD + BD + A′C′
N = 3
Ответ
N = 3
Существует другая группировка того же размера; в ней то же число членов и литералов.
7.Теория чисел и модульная арифметика
Ответ: x = 86
Обратные элементы и сравнения: у 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 + 12k
Второе сравнение
2 + 12k ≡ 8 (mod 13) → 12k ≡ 6 (mod 13)
k ≡ 12·6 ≡ 7 (mod 13)
Результат
x = 2 + 12·7 = 86
x = 86
проверка: 86 mod 12 = 2, 86 mod 13 = 8
Ответ
x = 86
8.Теория чисел и модульная арифметика
Ответ: 1540519 mod 67 = 22
Степени по модулю и 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.
Приведите показатель
40519 mod 66 = 61
1540519 ≡ 1561 (mod 67)
Малая степень
1561 mod 67 = 22
Ответ
1540519 mod 67 = 22
9.Алгоритмы и сложность
Ответ: C · O(n³)
Почему это ответ
Элементов n², и каждому нужно n умножений, что даёт n³ операций.
Ответ
C · O(n³)
10.Алгоритмы и сложность
Ответ: A · Это NP-трудная задача
Почему это ответ
Самый длинный простой путь длины V − 1 — гамильтонов путь, а это NP-полная задача; однако на ориентированных ациклических графах она решается за линейное время.
Ответ
A · Это NP-трудная задача
11.Структуры данных
Ответ: C · В порядке возрастания (отсортированно)
Почему это ответ
Посещение левого поддерева, затем узла, затем правого поддерева выводит ключи BST в отсортированном порядке.
Ответ
C · В порядке возрастания (отсортированно)
12.Структуры данных
Ответ: D · Она сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
Почему это ответ
Heapsort строит max-кучу и n раз извлекает максимум в том же массиве; обмены на большие расстояния могут менять порядок равных ключей.
Ответ
D · Она сортирует на месте за O(n log n) в худшем случае, но не является устойчивой
13.Теория графов
Ответ: Эйлеров путь, не цикл
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Эйлеров путь начинается в одной нечётной вершине и заканчивается в другой.
14.Теория графов
Ответ: 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 0
E: 0 0 1 1 0 1
F: 0 0 0 0 1 0
Общие соседи
(M²)CB = 1·1 + 1·0 + 0·1 + 0·1 + 1·0 + 0·0 = 1
Ответ
N = 1
15.Базы данных и SQL
Ответ: A · TRUNCATE TABLE
Почему это ответ
TRUNCATE быстро очищает таблицу и сохраняет её определение; DELETE может удалять выбранные строки, а DROP удаляет саму таблицу.
Ответ
A · TRUNCATE TABLE
16.Базы данных и SQL
Ответ: C · Хеш-соединение (hash join)
Почему это ответ
Хеш-соединение строит хеш-таблицу по одному входу и проверяет её строками другого, что хорошо работает для больших соединений по равенству без индексов.
Ответ
C · Хеш-соединение (hash join)
17.Компьютерные сети
Ответ: A · 62
Почему это ответ
В подсети /26 6 бит узла: 2⁶ = 64 адреса, за вычетом адреса сети и широковещательного адреса остаётся 62 узла.
Ответ
A · 62
18.Компьютерные сети
Ответ: B · 8 Мбит/с
Почему это ответ
C = 10⁶ × log₂(256) = 10⁶ × 8 = 8 Мбит/с. Это верхний предел скорости безошибочной передачи данных по зашумлённому каналу.
Ответ
B · 8 Мбит/с
19.Подсети IPv4
Ответ: N = 32
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).
Заимствованные биты
29 − 24 = 5
Число подсетей
N = 25 = 32
Ответ
N = 32
В каждой подсети /29 23 − 2 = 6 адресов узлов.
20.Подсети IPv4
Ответ: x = 128
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.