Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −116 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −1168 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0010 1100 >> 3. Чему равно значение результата R в десятичной системе?
0010 1100>> 3
R =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна ¬(q ∨ p)? Нажмите на неё.
¬(q ∨ p)
1q ∨ ¬p
2¬q ∨ ¬p
3¬q ∧ ¬p
4¬q ∧ p
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (s ↔ ¬q) ∨ (p → r) истинно? Обозначим это число N.
(s ↔ ¬q) ∨ (p → r)
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
У мультиплексора 4 в 1 адресные входы S₁ = A и S₀ = B, а информационные входы подключены так: I₀ = C, I₁ = 1, I₂ = C′, I₃ = C. Для скольких из 8 комбинаций A, B и C выход F = 1? Найдите N.
I₀ = CI₁ = 1I₂ = C′I₃ = C
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Триггер D, срабатывающий по переднему фронту, начинает с Q = 0 и получает показанные входы на 6 передних фронтах тактового сигнала. Сколько раз, N, Q меняет состояние?
Q₀ = 0D
N =
7.Теория чисел и модульная арифметикаСредняя
Решите 5x ≡ 14 (mod 17). Укажите решение x, для которого 0 < x < 17.
5x ≡ 14 (mod 17)
x =
8.Теория чисел и модульная арифметикаСложная
Сколько решений, N, имеет сравнение 22x ≡ 34 (mod 38) среди {0, 1, …, 37}?
22x ≡ 34 (mod 38)
N =
9.Алгоритмы и сложностьСредняя
Какова временна́я сложность стандартного алгоритма динамического программирования для наибольшей общей подпоследовательности строк длиной m и n?
DЛюбую задачу из NP можно решить за экспоненциальное время
11.Структуры данныхСредняя
Приложению нужен быстрый поиск, а также вывод ключей в отсортированном порядке и запросы по диапазону. Какая структура подходит лучше всего?
AХеш-таблица
BСтек
CНеотсортированный связный список
DСбалансированное двоичное дерево поиска
12.Структуры данныхСложная
Какое свойство поддерживает любое B-дерево идеально сбалансированным?
AВсе листья находятся на одной глубине
BКлючи хранятся только в корне
CУ каждого узла ровно два потомка
DКаждый узел хранит один ключ
13.Теория графовСредняя
Связный граф имеет 11 вершин и 20 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 11|E| = 20
k =
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 6|E| = 8
W =
15.Базы данных и SQLСредняя
Какой запрос возвращает самую высокую зарплату в каждом отделе?
ASELECT MAX(dept), salary FROM emp GROUP BY salary
BSELECT dept, salary FROM emp WHERE salary = MAX(salary)
CSELECT dept, MAX(salary) FROM emp ORDER BY dept
DSELECT dept, MAX(salary) FROM emp GROUP BY dept
16.Базы данных и SQLСложная
Когда декомпозиция R на R1 и R2 гарантированно является декомпозицией без потерь?
AКогда общие атрибуты R1 и R2 образуют суперключ R1 или R2
BКогда каждый атрибут R входит и в R1, и в R2
CКогда у R1 и R2 одинаковое число столбцов
DКогда у R1 и R2 нет общих атрибутов
17.Компьютерные сетиСредняя
Какова цель трёхэтапного рукопожатия (three-way handshake) TCP?
AБыстро закрыть соединение
BЗашифровать данные
CУстановить соединение и синхронизировать порядковые номера
DНайти IP-адрес узла, прежде чем ему можно будет отправить данные
18.Компьютерные сетиСложная
У TCP-соединения окно 64 КБ, время приёма-передачи 100 мс и нет масштабирования окна. Какова его примерная максимальная пропускная способность?
AОколо 50 Мбит/с
BОколо 640 Мбит/с
CОколо 5 Мбит/с
DОколо 0,5 Мбит/с
19.Подсети IPv4Средняя
Подсеть использует маску 255.255.255.252. Сколько в ней пригодных адресов узлов H?
255.255.255.252
H =
20.Подсети IPv4Сложная
Сеть 192.168.242.0/24 делится с помощью VLSM для следующих LAN: A: 10 узлов, B: 33 узлов, C: 70 узлов, D: 20 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN D?
A: 10B: 33C: 70D: 20
x =
3Растворы
1.Системы счисления
Ответ: U = 140
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
116 = 0111 0100
инвертировано: 1000 1011
+1 → 1000 1100
Прочитайте как беззнаковое
1000 1100₂ = 256 − 116 = 140
Ответ
U = 140
2.Системы счисления
Ответ: R = 5
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг вправо на 3 перемещает каждый бит на 3 позиций вправо; биты, выходящие за правый край, теряются, а слева входят нули.
0010 1100 >> 3
= 0000 0101
Значение результата
0000 0101₂ = 5
Ответ
R = 5
3.Логика высказываний и доказательства
Ответ: ¬q ∧ ¬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) ≡ ¬a ∧ ¬b. ∨ превращается в ∧, и обе части отрицаются.
¬(q ∨ p) ≡ ¬q ∧ ¬p
Проверка по таблице истинности
p = 1, q = 1: 0 | 1 0 0 0
p = 1, q = 0: 0 | 0 1 0 1
p = 0, q = 1: 0 | 1 1 0 0
p = 0, q = 0: 1 | 1 1 1 0
Ответ
¬q ∧ ¬p
Столбцы после черты — варианты ответа в показанном порядке.
4.Логика высказываний и доказательства
Ответ: N = 14
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
¬q; s ↔ ¬q; p → r; (s ↔ ¬q) ∨ (p → r)
Разбиение по p
p = 1: 6
p = 0: 8
N = 6 + 8 = 14
Ответ
N = 14
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 5
Мультиплексор: мультиплексор 2ⁿ в 1 передаёт на выход один из своих информационных входов; адресные входы, читаемые как двоичное число, выбирают, какой именно. Для мультиплексора 4 в 1 с адресами S₁S₀ = AB: F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Если подключить информационные входы к 0, 1, C или C′, мультиплексор реализует любую функцию от A, B и C, что — распространённый способ построить логику на одной микросхеме.
Выражение выхода
F = A′B′C + A′B + AB′C′ + ABC
Строки с F = 1
ABC = 001, 010, 011, 100, 111
N = 5
Ответ
N = 5
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 2
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Q после каждого фронта
D-триггер копирует D по каждому переднему фронту: Q⁺ = D.
1: D = 1 → Q = 1
2: D = 0 → Q = 0
3: D = 0 → Q = 0
4: D = 0 → Q = 0
5: D = 0 → Q = 0
6: D = 0 → Q = 0
Посчитайте изменения
0 → 1 → 0 → 0 → 0 → 0 → 0
N = 2
Ответ
N = 2
7.Теория чисел и модульная арифметика
Ответ: x = 13
Обратные элементы и сравнения: у 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).
Обратный к 5
r = 17, t = 0
r = 5, q = 3, t = 1
r = 2, q = 2, t = −3
r = 1, q = 2, t = 7
5−1 ≡ 7 (mod 17)
Решите
x ≡ 7·14 = 98 ≡ 13 (mod 17)
проверка: 5·13 = 65 ≡ 14 (mod 17)
Ответ
x = 13
8.Теория чисел и модульная арифметика
Ответ: N = 2
Обратные элементы и сравнения: у 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).
Разделите на НОД
gcd(22, 38) = 2
11x ≡ 17 (mod 19)
Решите упрощённое сравнение
11−1 ≡ 7 (mod 19) → x ≡ 5 (mod 19)
Решения по модулю 38
x ∈ {5, 24}
N = 2
Ответ
N = 2
9.Алгоритмы и сложность
Ответ: B · O(mn)
Почему это ответ
В таблице (m + 1)(n + 1) ячеек, и каждая вычисляется за O(1) из соседних.
Ответ
B · O(mn)
10.Алгоритмы и сложность
Ответ: A · Задача выполнимости булевых формул (SAT) NP-полна
Почему это ответ
Кук и Левин независимо показали, что любая задача из NP сводится к SAT за полиномиальное время, поэтому SAT стала первой известной NP-полной задачей.
Ответ
A · Задача выполнимости булевых формул (SAT) NP-полна
11.Структуры данных
Ответ: D · Сбалансированное двоичное дерево поиска
Почему это ответ
Сбалансированное BST даёт поиск за O(log n) и хранит ключи упорядоченными, поэтому симметричный обход и запросы по диапазону просты; хеш-таблица разбрасывает ключи.
Ответ
D · Сбалансированное двоичное дерево поиска
12.Структуры данных
Ответ: A · Все листья находятся на одной глубине
Почему это ответ
Заполненные узлы расщепляются вверх, а дерево становится выше только при расщеплении корня, поэтому все листья всегда остаются на одном уровне.
Ответ
A · Все листья находятся на одной глубине
13.Теория графов
Ответ: k = 10
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
11 − 1 = 10
Рёбра для удаления
k = 20 − 10 = 10
Ответ
k = 10
14.Теория графов
Ответ: W = 35
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
AC (2): берём
CE (3): берём
DE (5): берём
EF (8): берём
DF (9): пропускаем, замыкает цикл
BD (17): берём
Суммарный вес
W = 2 + 3 + 5 + 8 + 17 = 35
Ответ
W = 35
15.Базы данных и SQL
Ответ: D · SELECT dept, MAX(salary) FROM emp GROUP BY dept
Почему это ответ
GROUP BY dept создаёт группу для каждого отдела, а MAX(salary) выбирает в каждой наибольшее значение.
Ответ
D · SELECT dept, MAX(salary) FROM emp GROUP BY dept
16.Базы данных и SQL
Ответ: A · Когда общие атрибуты R1 и R2 образуют суперключ R1 или R2
Почему это ответ
Если общие атрибуты определяют все атрибуты R1 или R2, обратное соединение даёт ровно исходные строки и никаких лишних кортежей.
Ответ
A · Когда общие атрибуты R1 и R2 образуют суперключ R1 или R2
17.Компьютерные сети
Ответ: C · Установить соединение и синхронизировать порядковые номера
Почему это ответ
Рукопожатие устанавливает соединение и согласует начальные порядковые номера обеих сторон до отправки данных.
Ответ
C · Установить соединение и синхронизировать порядковые номера
18.Компьютерные сети
Ответ: C · Около 5 Мбит/с
Почему это ответ
Пропускная способность ≤ окно / RTT = 65,536 × 8 бит / 0,1 с ≈ 5,2 Мбит/с, каким бы быстрым ни был канал.
Ответ
C · Около 5 Мбит/с
19.Подсети IPv4
Ответ: H = 2
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.252 = /30
Используемые узлы
22 − 2 = 2
Ответ
H = 2
20.Подсети IPv4
Ответ: x = 192
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.