Подсчитайте различные переменные: в таблице истинности 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-битная комбинация 1100 0010 хранит целое число со знаком в дополнительном коде. Каково его значение N в десятичной системе?
1100 00108 bit
N =
2.Системы счисленияСложная
Какое наименьшее (самое отрицательное) целое число N можно записать в 16-битном дополнительном коде?
16 bit
N =
3.Логика высказываний и доказательстваСредняя
Какая формула логически эквивалентна ¬(q ∧ p)? Нажмите на неё.
¬(q ∧ p)
1¬q ∧ p
2¬q ∨ ¬p
3¬q ∨ p
4¬q ∧ ¬p
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (¬p ∨ ¬q) ∨ ((s ↔ q) ↔ ¬(¬p ∧ r)) истинно? Обозначим это число N.
(¬p ∨ ¬q) ∨ ((s ↔ q) ↔ ¬(¬p ∧ r))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(0, 2, 8, 14). Сколько всего литералов, L, она содержит (переменная со штрихом считается одним литералом)?
F(A, B, C, D) = Σm(0, 2, 8, 14)
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Для F(A, B, C, D) = Σm(1, 5, 12, 13, 14) + d(0, 4), где d обозначает безразличные состояния, найдите число N существенных простых импликант.
F(A, B, C, D) = Σm(1, 5, 12, 13, 14) + d(0, 4)
N =
7.Теория чисел и модульная арифметикаСредняя
Найдите функцию Эйлера φ(513), число целых чисел от 1 до 513, взаимно простых с 513.
n = 513 = 33·19
φ(513) =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 43 и q = 47 и открытый показатель e = 5. Найдите закрытый показатель d (0 < d < φ(n)).
p = 43q = 47e = 5
d =
9.Алгоритмы и сложностьСредняя
Какова временная сложность быстрой сортировки (quicksort) в худшем случае?
AO(log n)
BO(n)
CO(n²)
DO(n log n)
10.Алгоритмы и сложностьСложная
Для какого варианта задачи о рюкзаке жадное правило «брать предметы в порядке ценности на единицу веса» всегда даёт оптимальный ответ?
AНи для одного варианта
BДля непрерывного (дробного) рюкзака, где предметы можно делить
CДля обоих вариантов
DДля рюкзака 0/1, где предметы всегда нужно брать целиком
11.Структуры данныхСредняя
Какова временная сложность поиска ключа в сбалансированном двоичном дереве поиска?
AO(n)
BO(1)
CO(n log n)
DO(log n)
12.Структуры данныхСложная
Для чего используется структура union-find в алгоритме Краскала построения минимального остовного дерева?
AДля хранения текущего расстояния каждой вершины от источника во время обхода
BДля выбора начальной вершины
CДля сортировки рёбер по весу
DДля проверки, соединены ли уже два конца ребра
13.Теория графовСредняя
Связный граф имеет 12 вершин и 20 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 12|E| = 20
k =
14.Теория графовСложная
С помощью алгоритма Дейкстры найдите длину d(F) кратчайшего пути от A до F во взвешенном графе.
начало: Aконец: F
d(F) =
15.Базы данных и SQLСредняя
Что возвращает SELECT SUM(amount) FROM orders, если предложению WHERE не соответствует ни одна строка?
ANULL
BПустую строку
CОшибку
D0
16.Базы данных и SQLСложная
Почему SELECT dept, name, COUNT(*) FROM emp GROUP BY dept недопустим в стандартном SQL?
Adept должен находиться внутри агрегатной функции
BВ GROUP BY нужно перечислить все столбцы таблицы
Cname не группируется и не агрегируется, поэтому у него нет единственного значения в группе
DCOUNT(*) нельзя использовать вместе с GROUP BY
17.Компьютерные сетиСредняя
Как TLS обычно использует асимметричную и симметричную криптографию?
AСимметричные методы согласуют ключи и аутентифицируют; асимметричные шифры шифруют все данные
BНа всех этапах используется только асимметричная криптография
CИспользуется только симметричная криптография с фиксированным общим паролем
DАсимметричные методы согласуют ключи и аутентифицируют; симметричные шифры шифруют данные
18.Компьютерные сетиСложная
Студент запускает игровой сервер на ПК за домашним маршрутизатором с NAT. Друзья из интернета не могут подключиться. Как это обычно исправляют?
AОтключают DNS-клиент ПК
BДают ПК другой MAC-адрес, чтобы маршрутизатор мог найти его снаружи
CНастраивают на маршрутизаторе проброс портов (port forwarding) на частный адрес ПК
DМеняют маску подсети ПК на /32
19.Подсети IPv4Средняя
Сеть 10.96.144.0/20 разделена на равные подсети с префиксом /25. Сколько получается подсетей N?
10.96.144.0/20/25
N =
20.Подсети IPv4Сложная
Узел имеет адрес 172.20.238.227/18. Чему равен третий октет x широковещательного адреса его подсети?
172.20.238.227/18
x =
3Растворы
1.Системы счисления
Ответ: N = −62
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Сложите веса
Остальные биты сохраняют свои обычные положительные веса.
−128 + 64 + 2 = −62
Ответ
N = −62
2.Системы счисления
Ответ: N = −32768
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Самое отрицательное значение
−215 = −32768
Ответ
N = −32768
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 | 0 0 1 0
p = 1, q = 0: 1 | 1 1 1 0
p = 0, q = 1: 1 | 0 1 0 0
p = 0, q = 0: 1 | 0 1 1 1
Ответ
¬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, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 10
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
B′C′D′
A′B′D′
ABCD′
Минимальная форма SOP
F = B′C′D′ + A′B′D′ + ABCD′
L = 10
Ответ
L = 10
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
BC′, A′C′, ABD′
Существенные простые импликанты
BC′, A′C′, ABD′
N = 3
Ответ
N = 3
7.Теория чисел и модульная арифметика
Ответ: φ(513) = 324
Обратные элементы и сравнения: у 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).
Простые множители
513 = 33·19
Функция Эйлера
φ(513) = φ(27)·φ(19) = 18·18 = 324
Ответ
φ(513) = 324
8.Теория чисел и модульная арифметика
Ответ: d = 773
Степени по модулю и 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 = 43·47 = 2021
φ(n) = 42·46 = 1932
Расширенный алгоритм Евклида
r = 1932, t = 0
r = 5, q = 386, t = 1
r = 2, q = 2, t = −386
r = 1, q = 2, t = 773
Закрытый показатель
d = 773
проверка: 5·773 = 3865 = 2·1932 + 1
Ответ
d = 773
9.Алгоритмы и сложность
Ответ: C · O(n²)
Почему это ответ
При постоянно неудачном выборе опорных элементов (например, уже отсортированные данные и первый элемент в качестве опорного) разбиения получаются несбалансированными, что даёт O(n²). В среднем случае сложность составляет O(n log n).
Ответ
C · O(n²)
10.Алгоритмы и сложность
Ответ: B · Для непрерывного (дробного) рюкзака, где предметы можно делить
Почему это ответ
Когда предметы можно делить, выбор по лучшему отношению оптимален; в рюкзаке 0/1 предмет с высоким отношением может помешать лучшей комбинации, поэтому нужно динамическое программирование.
Ответ
B · Для непрерывного (дробного) рюкзака, где предметы можно делить
11.Структуры данных
Ответ: D · O(log n)
Почему это ответ
Сбалансированное дерево имеет высоту около log₂ n, поэтому поиск проходит по одному пути от корня до листа.
Ответ
D · O(log n)
12.Структуры данных
Ответ: D · Для проверки, соединены ли уже два конца ребра
Почему это ответ
Find показывает, лежат ли оба конца в одной компоненте; если нет, ребро добавляется, а union объединяет компоненты.
Ответ
D · Для проверки, соединены ли уже два конца ребра
13.Теория графов
Ответ: k = 9
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
12 − 1 = 11
Рёбра для удаления
k = 20 − 11 = 9
Ответ
k = 9
14.Теория графов
Ответ: d(F) = 32
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
В каждой строке: зафиксированная вершина, её окончательное расстояние и соседи, у которых расстояние улучшается.
A (0): B: 11, C: 13
B (11): G: 19
C (13): E: 23
G (19): D: 25
E (23): F: 33
D (25): F: 32
F (32)
Кратчайший путь
A → B → G → D → F
d(F) = 32
Ответ
d(F) = 32
15.Базы данных и SQL
Ответ: A · NULL
Почему это ответ
SUM, AVG, MIN и MAX на пустом множестве возвращают NULL, а COUNT возвращает 0; COALESCE(SUM(amount), 0) вместо этого даёт 0.
Ответ
A · NULL
16.Базы данных и SQL
Ответ: C · name не группируется и не агрегируется, поэтому у него нет единственного значения в группе
Почему это ответ
Каждый столбец списка SELECT должен быть в GROUP BY или внутри агрегата (или функционально зависеть от столбцов группировки); иначе значение неоднозначно.
Ответ
C · name не группируется и не агрегируется, поэтому у него нет единственного значения в группе
17.Компьютерные сети
Ответ: D · Асимметричные методы согласуют ключи и аутентифицируют; симметричные шифры шифруют данные
Почему это ответ
Методы с открытым ключом и сертификаты устанавливают общий секрет и подтверждают подлинность. Затем основной объём данных защищают быстрые симметричные шифры, например AES.
Ответ
D · Асимметричные методы согласуют ключи и аутентифицируют; симметричные шифры шифруют данные
18.Компьютерные сети
Ответ: C · Настраивают на маршрутизаторе проброс портов (port forwarding) на частный адрес ПК
Почему это ответ
NAT создаёт сопоставления только для соединений, начатых изнутри. Правило проброса портов сопоставляет публичный порт внутреннему узлу, чтобы входящие соединения могли до него дойти.
Ответ
C · Настраивают на маршрутизаторе проброс портов (port forwarding) на частный адрес ПК
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).
Заимствованные биты
25 − 20 = 5
Число подсетей
N = 25 = 32
Ответ
N = 32
В каждой подсети /25 27 − 2 = 126 адресов узлов.
20.Подсети IPv4
Ответ: x = 255
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).