Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −46 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −468 bit
U =
2.Системы счисленияСложная
Система должна присвоить каждому из 3413 элементов собственный двоичный код одинаковой длины. Какое наименьшее число битов b нужно?
3413
b = bit
3.Логика высказываний и доказательстваСредняя
Является ли q ∨ ¬q тавтологией, противоречием или нейтральной формулой? Нажмите на ваш ответ.
q ∨ ¬q
1тавтология
2противоречие
3нейтральная формула
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (p ↔ q) ∨ ¬(¬p → (r → s)) истинно? Обозначим это число N.
(p ↔ q) ∨ ¬(¬p → (r → s))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
На этой карте Карно ровно у одной единицы нет соседней единицы, поэтому в минимальной форме SOP она остаётся группой из одной клетки (полным минтермом из четырёх литералов). Соседи через края карты учитываются. Нажмите на эту клетку.
F = Σm(0, 4, 5, 6, 8, 9, 12, 15)
1AB = 00, CD = 00
2AB = 00, CD = 01
3AB = 00, CD = 11
4AB = 00, CD = 10
5AB = 01, CD = 00
6AB = 01, CD = 01
7AB = 01, CD = 11
8AB = 01, CD = 10
9AB = 11, CD = 00
10AB = 11, CD = 01
11AB = 11, CD = 11
12AB = 11, CD = 10
13AB = 10, CD = 00
14AB = 10, CD = 01
15AB = 10, CD = 11
16AB = 10, CD = 10
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Триггер D, срабатывающий по переднему фронту, начинает с Q = 0 и получает показанные входы. Нажмите на первый фронт тактового сигнала, на котором Q возвращается из 1 в 0.
Q₀ = 0D
1фронт тактового сигнала 1
2фронт тактового сигнала 2
3фронт тактового сигнала 3
4фронт тактового сигнала 4
5фронт тактового сигнала 5
6фронт тактового сигнала 6
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 9 по модулю 31: число x, для которого 0 < x < 31 и 9·x ≡ 1 (mod 31).
a = 9n = 31
9−1 mod 31 =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA p = 19, q = 31 и e = 13. Расшифруйте шифртекст c = 384: найдите сообщение m.
p = 19q = 31e = 13c = 384
m =
9.Алгоритмы и сложностьСредняя
Сколько уровней у рекурсии сортировки слиянием для массива из n элементов?
AОколо log₂ n
BОколо n
CОколо n / 2
DОколо √n
10.Алгоритмы и сложностьСложная
Какое утверждение о P и NP верно?
AКаждая задача из P также принадлежит NP
BРешения задач NP невозможно быстро проверить
CNP означает «неполиномиальный» (not polynomial)
DДоказано, что P ≠ NP
11.Структуры данныхСредняя
Как найти минимальный ключ в двоичном дереве поиска?
AИдти от корня по правым потомкам, пока правого потомка не окажется
BПосмотреть только на корень
CОбойти все листья и сравнить их
DИдти от корня по левым потомкам, пока левого потомка не окажется
12.Структуры данныхСложная
Какому правилу должны подчиняться хеш и равенство, чтобы хеш-таблица работала правильно?
AРазные ключи должны иметь разные значения хеша
BЗначения хеша должны быть простыми числами
CРавные ключи должны иметь равные значения хеша
DИз равенства хешей следует равенство ключей
13.Теория графовСредняя
У дерева 4 вершин степени 3, 3 вершин степени 4, а все остальные его вершины — листья (степень 1). Сколько у него листьев, L?
4 × deg 33 × deg 4
L =
14.Теория графовСложная
Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 4; сама A фиксируется на шаге 1.
начало: Aшаг 4
1A
2B
3C
4D
5E
6F
15.Базы данных и SQLСредняя
Зачем создают индексы по столбцам?
AЧтобы ускорить поиск и соединения по этим столбцам
BЧтобы ускорить вставку и обновление по этим столбцам
CЧтобы предотвратить значения NULL
DЧтобы сэкономить место на диске
16.Базы данных и SQLСложная
Что такое фантомное чтение (phantom read)?
AЗапрос, не возвращающий ни одной строки
BЧтение незафиксированных изменений
CЧтение данных, которые никогда не записывались
DПовторный запрос возвращает новые строки, вставленные другой зафиксированной транзакцией
17.Компьютерные сетиСредняя
У маршрутизатора есть маршруты к 10.0.0.0/8 и 10.1.0.0/16. Какой маршрут он использует для пакета к 10.1.5.5?
A10.0.0.0/8, поскольку он охватывает больше адресов, чем /16
B10.0.0.0/8, поскольку он был добавлен первым
C10.1.0.0/16, поскольку это самый длинный совпадающий префикс
DОба маршрута, поровну деля трафик
18.Компьютерные сетиСложная
Почему браузер выдаёт предупреждение, когда сайт предъявляет самоподписанный сертификат?
AСайт обязательно использует HTTP вместо HTTPS
BНи один доверенный удостоверяющий центр не подтверждает, что ключ принадлежит этому сайту
CСамоподписанные сертификаты вообще не используют шифрование, поэтому трафик передаётся открытым текстом
DСрок действия такого сертификата всегда истёк
19.Подсети IPv4Средняя
Подсеть использует маску 255.255.248.0. Сколько в ней пригодных адресов узлов H?
255.255.248.0
H =
20.Подсети IPv4Сложная
Сеть 192.168.226.0/24 делится с помощью VLSM для следующих LAN: A: 11 узлов, B: 60 узлов, C: 117 узлов, D: 16 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN B?
A: 11B: 60C: 117D: 16
x =
3Растворы
1.Системы счисления
Ответ: U = 210
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
46 = 0010 1110
инвертировано: 1101 0001
+1 → 1101 0010
Прочитайте как беззнаковое
1101 0010₂ = 256 − 46 = 210
Ответ
U = 210
2.Системы счисления
Ответ: b = 12 bit
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Степени двойки
211 = 2048 < 3413
212 = 4096 ≥ 3413
Ответ
b = 12
3.Логика высказываний и доказательства
Ответ: тавтология
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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).
Таблица истинности по строкам
q = 1: ¬q = 0, q ∨ ¬q = 1
q = 0: ¬q = 1, q ∨ ¬q = 1
Классификация
q ∨ ¬q: 1, 1
1 в каждой строке: тавтология.
Ответ
тавтология
4.Логика высказываний и доказательства
Ответ: N = 9
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: AB = 11, CD = 11
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Соседи каждой единицы
Единица с соседней единицей может войти в группу из двух или более.
m15: m14, m13, m11, m7 → 0
Изолированная единица
m15 = ABCD → AB = 11, CD = 11
Ответ
AB = 11, CD = 11
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: фронт тактового сигнала 3
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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 = 0 → Q = 0
2: D = 1 → Q = 1
3: D = 0 → Q = 0
4: D = 0 → Q = 0
5: D = 1 → Q = 1
6: D = 1 → Q = 1
Первое изменение с 1 на 0
фронт тактового сигнала 3
Ответ
фронт тактового сигнала 3
7.Теория чисел и модульная арифметика
Ответ: 9−1 mod 31 = 7
Обратные элементы и сравнения: у 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).
Расширенный алгоритм Евклида
Каждый остаток r записывается как r ≡ t·9 (mod 31).
r = 31, t = 0
r = 9, q = 3, t = 1
r = 4, q = 2, t = −3
r = 1, q = 4, t = 7
Обратная матрица
1 ≡ 7·9 (mod 31)
x = 7
проверка: 9·7 = 63 = 2·31 + 1
Ответ
9−1 mod 31 = 7
8.Теория чисел и модульная арифметика
Ответ: m = 272
Степени по модулю и 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 = 589, φ(n) = 540
d = 13−1 mod 540 = 457
Расшифровка многократным возведением в квадрат
457 = 256 + 128 + 64 + 8 + 1
3841 ≡ 384 (mod 589)
3842 ≡ 206 (mod 589)
3844 ≡ 28 (mod 589)
3848 ≡ 195 (mod 589)
38416 ≡ 329 (mod 589)
38432 ≡ 454 (mod 589)
38464 ≡ 555 (mod 589)
384128 ≡ 567 (mod 589)
384256 ≡ 484 (mod 589)
384457 ≡ 384·195·555·567·484 ≡ 272 (mod 589)
Сообщение
m = 272
проверка: 27213 mod 589 = 384
Ответ
m = 272
9.Алгоритмы и сложность
Ответ: A · Около log₂ n
Почему это ответ
Деление пополам от n до 1 занимает около log₂ n уровней, и на каждом уровне выполняется O(n) работы по слиянию, что даёт O(n log n).
Ответ
A · Около log₂ n
10.Алгоритмы и сложность
Ответ: A · Каждая задача из P также принадлежит NP
Почему это ответ
P ⊆ NP: если Вы можете быстро решить задачу, то можете и быстро проверить решение. Вопрос о том, верно ли P = NP, по-прежнему открыт.
Ответ
A · Каждая задача из P также принадлежит NP
11.Структуры данных
Ответ: D · Идти от корня по левым потомкам, пока левого потомка не окажется
Почему это ответ
У самого левого узла нет в дереве меньшего ключа, поэтому он минимальный; стоимость пропорциональна высоте.
Ответ
D · Идти от корня по левым потомкам, пока левого потомка не окажется
12.Структуры данных
Ответ: C · Равные ключи должны иметь равные значения хеша
Почему это ответ
Если бы два равных ключа хешировались по-разному, они хранились бы в разных корзинах и поиск не удавался бы; неравные ключи вполне могут иметь общий хеш.
Ответ
C · Равные ключи должны иметь равные значения хеша
13.Теория графов
Ответ: L = 12
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Лемма о рукопожатиях для дерева
L + 24 = 2(L + 7) − 2
L = 12
Ответ
L = 12
Короткий путь: L = 2 + Σ (d − 2) по вершинам степени d ≥ 3.
14.Теория графов
Ответ: D
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
1. A (0): B: 13, C: 15
2. B (13): D: 18, E: 26
3. C (15): E: 22
4. D (18): F: 23
5. E (22)
6. F (23)
шаг 4
D
Ответ
D
15.Базы данных и SQL
Ответ: A · Чтобы ускорить поиск и соединения по этим столбцам
Почему это ответ
Индексы (часто B-деревья) ускоряют поиск, но занимают место и замедляют INSERT и UPDATE, которые должны их обновлять.
Ответ
A · Чтобы ускорить поиск и соединения по этим столбцам
16.Базы данных и SQL
Ответ: D · Повторный запрос возвращает новые строки, вставленные другой зафиксированной транзакцией
Почему это ответ
Фантомы возникают, когда другая транзакция вставляет строки, удовлетворяющие условию диапазона; уровень изоляции serializable их предотвращает.
Ответ
D · Повторный запрос возвращает новые строки, вставленные другой зафиксированной транзакцией
17.Компьютерные сети
Ответ: C · 10.1.0.0/16, поскольку это самый длинный совпадающий префикс
Почему это ответ
IP-пересылка использует совпадение по самому длинному префиксу: среди всех маршрутов, подходящих для адреса назначения, выбирается маршрут с самой длинной маской.
Ответ
C · 10.1.0.0/16, поскольку это самый длинный совпадающий префикс
18.Компьютерные сети
Ответ: B · Ни один доверенный удостоверяющий центр не подтверждает, что ключ принадлежит этому сайту
Почему это ответ
Браузеры доверяют сертификатам, подписанным напрямую или через цепочку удостоверяющими центрами из их хранилища доверия. Самоподписанный сертификат мог создать кто угодно, например «человек посередине».
Ответ
B · Ни один доверенный удостоверяющий центр не подтверждает, что ключ принадлежит этому сайту
19.Подсети IPv4
Ответ: H = 2046
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.248.0 = /21
Используемые узлы
211 − 2 = 2046
Ответ
H = 2046
20.Подсети IPv4
Ответ: x = 128
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.