Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −94 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −948 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0111 0000 >> 3. Чему равно значение результата R в десятичной системе?
0111 0000>> 3
R =
3.Логика высказываний и доказательстваСредняя
Вы хотите доказать (r ∨ p) → q от противного. Какое утверждение вы предполагаете в начале? Нажмите на него.
(r ∨ p) → q
1¬(r ∨ p) ∧ ¬q
2¬(r ∨ p) → ¬q
3¬(r ∨ p) ∧ q
4(r ∨ p) ∧ ¬q
4.Логика высказываний и доказательстваСложная
Какое утверждение эквивалентно ¬∃x (P(x) ∧ Q(x)), если отрицание перенесено полностью внутрь? Нажмите на него.
¬∃x (P(x) ∧ Q(x))
1∀x (P(x) ∧ ¬Q(x))
2∃x (P(x) → ¬Q(x))
3∀x (P(x) → ¬Q(x))
4∀x (¬P(x) ∧ ¬Q(x))
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C, D) = Σm(4, 6, 9, 10, 11). Сколько всего литералов, L, она содержит (переменная со штрихом считается одним литералом)?
F(A, B, C, D) = Σm(4, 6, 9, 10, 11)
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Найдите минимальную форму SOP для F(A, B, C, D) = Σm(0, 1, 3, 6, 9, 11, 12, 13) + d(2, 4, 8, 10), где d обозначает безразличные состояния. Сколько членов-произведений, N, в ней?
Найдите наименьшее положительное целое x, для которого x ≡ 4 (mod 5) и x ≡ 8 (mod 13).
x ≡ 4 (mod 5)x ≡ 8 (mod 13)
x =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 5 и q = 23 и открытый показатель e = 5. Найдите закрытый показатель d (0 < d < φ(n)).
p = 5q = 23e = 5
d =
9.Алгоритмы и сложностьСредняя
Какое утверждение о рекурсивной функции без достижимого базового случая верно?
AОна работает за время O(1)
BОна автоматически возвращает 0
CКомпилятор всегда превращает её в цикл, который безопасно завершается
DОна продолжает вызывать себя, пока не переполнится стек вызовов
10.Алгоритмы и сложностьСложная
Какая оценка для log(n!) верна?
AΘ(n²)
BΘ(log n)
CΘ(n log n)
DΘ(n)
11.Структуры данныхСредняя
Как вставляется новый элемент в двоичную кучу?
AЕго помещают в конец массива и поднимают вверх (sift up), пока он нарушает свойство кучи
BВсю кучу перестраивают с нуля
CЕго вставляют в отсортированную позицию, сдвигая все бо́льшие элементы на одно место вправо
DЕго помещают в корень и опускают вниз
12.Структуры данныхСложная
Нужно хранить k наименьших значений из потока n чисел, используя O(k) памяти. Какой подход работает за время O(n log k)?
AОчередь FIFO последних k значений
BMax-куча размера k, корень которой заменяется, когда приходит меньшее значение
CОтсортированный массив всех n значений
DMin-куча, хранящая все n значений, из которой в конце извлекаются k наименьших
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 7|E| = 10
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 4; сама A фиксируется на шаге 1.
начало: Aшаг 4
1A
2B
3C
4D
5E
6F
15.Базы данных и SQLСредняя
Какой запрос возвращает самую высокую зарплату в каждом отделе?
ASELECT dept, MAX(salary) FROM emp ORDER BY dept
BSELECT dept, salary FROM emp WHERE salary = MAX(salary)
CSELECT MAX(dept), salary FROM emp GROUP BY salary
DSELECT dept, MAX(salary) FROM emp GROUP BY dept
16.Базы данных и SQLСложная
x равен NULL, а y = 1. Каково значение условия (x > 5 OR y = 1)?
AUNKNOWN
BFALSE
CTRUE
DNULL, поэтому строка всегда отбрасывается
17.Компьютерные сетиСредняя
Для чего используется циклический избыточный код (CRC) в кадрах Ethernet?
AДля автоматического исправления каждой битовой ошибки
BДля обнаружения ошибок передачи
CДля выбора лучшего маршрута
DДля шифрования кадра
18.Компьютерные сетиСложная
Почему IPv6 не нуждается в NAT из-за нехватки адресов?
AIPv6 работает только в локальных сетях, поэтому адреса никогда не нужно делать глобальными
BIPv6 не использует адреса
CIPv6 шифрует все адреса
DЕго 128-битное адресное пространство достаточно велико, чтобы каждое устройство получило глобальный адрес
19.Подсети IPv4Средняя
Сеть 192.168.128.0/24 разделена на подсети /25, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x широковещательного адреса подсети 2?
192.168.128.0/24/25подсеть 2 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.64.125/26. Каков четвёртый октет x последнего используемого адреса узла в его подсети?
10.20.64.125/26
x =
3Растворы
1.Системы счисления
Ответ: U = 162
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
94 = 0101 1110
инвертировано: 1010 0001
+1 → 1010 0010
Прочитайте как беззнаковое
1010 0010₂ = 256 − 94 = 162
Ответ
U = 162
2.Системы счисления
Ответ: R = 14
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг вправо на 3 перемещает каждый бит на 3 позиций вправо; биты, выходящие за правый край, теряются, а слева входят нули.
0111 0000 >> 3
= 0000 1110
Значение результата
0000 1110₂ = 14
Ответ
R = 14
3.Логика высказываний и доказательства
Ответ: (r ∨ p) ∧ ¬q
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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 = r ∨ p, b = q
Отрицание импликации
¬(a → b) ≡ a ∧ ¬b = (r ∨ p) ∧ ¬q
Ответ
(r ∨ p) ∧ ¬q
Если предположение приводит к противоречию, импликация должна быть истинной.
4.Логика высказываний и доказательства
Ответ: ∀x (P(x) → ¬Q(x))
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Перенесите отрицание внутрь
¬∃x (P(x) ∧ Q(x)) ≡ ∀x (P(x) → ¬Q(x))
Ответ
∀x (P(x) → ¬Q(x))
Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 9
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
A′BD′
AB′D
AB′C
Минимальная форма SOP
F = A′BD′ + AB′D + AB′C
L = 9
Ответ
L = 9
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
C′D′, B′, A′D′, AC′
Минимальное покрытие
F = B′ + A′D′ + AC′
N = 3
Ответ
N = 3
7.Теория чисел и модульная арифметика
Ответ: x = 34
Обратные элементы и сравнения: у 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 = 4 + 5k
Второе сравнение
4 + 5k ≡ 8 (mod 13) → 5k ≡ 4 (mod 13)
k ≡ 8·4 ≡ 6 (mod 13)
Результат
x = 4 + 5·6 = 34
x = 34
проверка: 34 mod 5 = 4, 34 mod 13 = 8
Ответ
x = 34
8.Теория чисел и модульная арифметика
Ответ: d = 53
Степени по модулю и 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 = 5·23 = 115
φ(n) = 4·22 = 88
Расширенный алгоритм Евклида
r = 88, t = 0
r = 5, q = 17, t = 1
r = 3, q = 1, t = −17
r = 2, q = 1, t = 18
r = 1, q = 2, t = −35
Закрытый показатель
d = 53
проверка: 5·53 = 265 = 3·88 + 1
Ответ
d = 53
9.Алгоритмы и сложность
Ответ: D · Она продолжает вызывать себя, пока не переполнится стек вызовов
Почему это ответ
Без базового случая рекурсия никогда не останавливается; на практике память для кадров стека заканчивается, и программа аварийно завершается.
Ответ
D · Она продолжает вызывать себя, пока не переполнится стек вызовов
10.Алгоритмы и сложность
Ответ: C · Θ(n log n)
Почему это ответ
log(n!) ≤ n log n, а наибольшие n / 2 множителей дают log(n!) ≥ (n / 2) log(n / 2); поэтому сортировке сравнениями нужно Ω(n log n).
Ответ
C · Θ(n log n)
11.Структуры данных
Ответ: A · Его помещают в конец массива и поднимают вверх (sift up), пока он нарушает свойство кучи
Почему это ответ
Добавление в конец сохраняет полноту дерева; обмены с родителем восстанавливают порядок за O(log n) шагов.
Ответ
A · Его помещают в конец массива и поднимают вверх (sift up), пока он нарушает свойство кучи
12.Структуры данных
Ответ: B · Max-куча размера k, корень которой заменяется, когда приходит меньшее значение
Почему это ответ
Корень max-кучи — наибольшее из хранимых значений; любое меньшее новое значение заменяет его за O(log k), поэтому куча всегда содержит k наименьших значений на данный момент.
Ответ
B · Max-куча размера k, корень которой заменяется, когда приходит меньшее значение
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): B: 2, C: 13
2. B (2): D: 14, E: 9
3. E (9): F: 24
4. C (13)
5. D (14): F: 15
6. F (15)
шаг 4
C
Ответ
C
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
Ответ: C · TRUE
Почему это ответ
x > 5 даёт UNKNOWN, но OR с TRUE в любом случае даёт TRUE, поэтому строка сохраняется; аналогично UNKNOWN AND FALSE дало бы FALSE.
Ответ
C · TRUE
17.Компьютерные сети
Ответ: B · Для обнаружения ошибок передачи
Почему это ответ
Отправитель вычисляет CRC по кадру; получатель пересчитывает его и отбрасывает кадр при несовпадении. CRC обнаруживает ошибки, но не исправляет их.
Ответ
B · Для обнаружения ошибок передачи
18.Компьютерные сети
Ответ: D · Его 128-битное адресное пространство достаточно велико, чтобы каждое устройство получило глобальный адрес
Почему это ответ
В IPv6 около 3,4 × 10³⁸ адресов, поэтому дефицит, из-за которого в IPv4 появился NAT, исчезает; безопасность по-прежнему обеспечивают межсетевые экраны.
Ответ
D · Его 128-битное адресное пространство достаточно велико, чтобы каждое устройство получило глобальный адрес
19.Подсети 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).
Размер блока
27 = 128
Подсеть номер 2
сеть: (2 − 1)·128 = 128
широковещательный: 128 + 128 − 1 = 255
Ответ
x = 255
20.Подсети IPv4
Ответ: x = 126
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).