Подсчитайте различные переменные: в таблице истинности 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-битная комбинация 0100 0010 хранит целое число со знаком в дополнительном коде. Каково его значение N в десятичной системе?
0100 00108 bit
N =
2.Системы счисленияСложная
Какое наименьшее (самое отрицательное) целое число N можно записать в 12-битном дополнительном коде?
12 bit
N =
3.Логика высказываний и доказательстваСредняя
Вы хотите доказать (p ∧ r) → q от контрапозиции. Какую импликацию вы доказываете вместо неё? Нажмите на неё.
(p ∧ r) → q
1¬(p ∧ r) → ¬q
2(p ∧ r) ∧ ¬q
3q → (p ∧ r)
4¬q → ¬(p ∧ r)
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (s → q) → ¬(¬(¬s ∨ r) → (¬p → r)) истинно? Обозначим это число N.
(s → q) → ¬(¬(¬s ∨ r) → (¬p → r))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «сумма произведений» (SOP) для F(A, B, C) = Σm(3, 5, 6). Сколько членов-произведений, N, в ней?
F(A, B, C) = Σm(3, 5, 6)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
Триггер T, срабатывающий по переднему фронту, начинает с Q = 0 и получает показанные входы на 8 передних фронтах тактового сигнала. Сколько раз, N, Q меняет состояние?
Q₀ = 0T
N =
7.Теория чисел и модульная арифметикаСредняя
Найдите функцию Эйлера φ(57), число целых чисел от 1 до 57, взаимно простых с 57.
n = 57 = 3·19
φ(57) =
8.Теория чисел и модульная арифметикаСложная
Зашифруйте сообщение m = 90 открытым ключом RSA (n, e) = (329, 5). Найдите шифртекст c.
n = 329e = 5m = 90
c =
9.Алгоритмы и сложностьСредняя
Почему динамическое программирование не даёт реального ускорения для сортировки слиянием?
AУ сортировки слиянием нет рекурсивной структуры
BДинамическое программирование работает только на задачах о графах, но не на массивах
CСортировка слиянием уже работает за O(n)
DЕё подзадачи не перекрываются, поэтому нечего использовать повторно
У вас есть ссылка на узел в середине списка. В каком списке его можно удалить за O(1)?
AВ двусвязном списке
BВ динамическом массиве
CВ односвязном списке
DВ отсортированном массиве
12.Структуры данныхСложная
Алгоритм Кана для топологической сортировки многократно удаляет вершины с полустепенью захода 0. Какая структура хранит эти вершины?
AСтек всех посещённых рёбер
BОчередь (или любая коллекция) вершин с полустепенью захода 0
CМатрица смежности, фиксирующая, какие вершины уже удалены
DMax-куча, упорядоченная по полустепени исхода
13.Теория графовСредняя
Сколько различных гамильтоновых циклов, H, в полном графе K5? Циклы, отличающиеся только начальной вершиной или направлением, считаются одним и тем же.
K5
H =
14.Теория графовСложная
Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 4; сама A фиксируется на шаге 1.
начало: Aшаг 4
1A
2B
3C
4D
5E
6F
15.Базы данных и SQLСредняя
Вторая нормальная форма (2NF) устраняет:
AЧастичные зависимости неключевых столбцов от части составного ключа
BВсе значения NULL
CВнешние ключи
DТранзитивные зависимости между неключевыми столбцами через другой неключевой столбец
16.Базы данных и SQLСложная
Отчётная база данных копирует имена клиентов в таблицу orders, чтобы избежать соединений. Какова главная цена такой денормализации?
AПервичные ключи больше нельзя использовать
BИзбыточные копии нужно поддерживать согласованными при каждом изменении данных клиента
CЗапросы к таблице orders замедляются
DБаза данных больше не может использовать индексы
17.Компьютерные сетиСредняя
Почему Wi-Fi использует предотвращение коллизий (CSMA/CA), а не их обнаружение?
AРадиосигналы никогда не сталкиваются
BОбнаружение коллизий работает только на оптоволоконных кабелях, но не на общих беспроводных радиоканалах
CWi-Fi допускает только одно устройство в сети
DБеспроводная станция не может надёжно обнаруживать коллизии во время собственной передачи
18.Компьютерные сетиСложная
Узлы в VLAN 10 и VLAN 20 на одном коммутаторе не могут обмениваться данными. Что нужно?
AОдинаковый MAC-адрес на обоих узлах
BМаршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
CКонцентратор, подключённый к обеим VLAN
DБолее длинный кабель между узлами
19.Подсети IPv4Средняя
Сеть 192.168.73.0/24 разделена на подсети /28, пронумерованные 1, 2, 3, … начиная с младшего адреса (подсеть 1 начинается с .0). Чему равен четвёртый октет x широковещательного адреса подсети 7?
192.168.73.0/24/28подсеть 7 (подсеть 1 начинается с .0)
x =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.137.12/29. Каково последнее число (четвёртый октет) x широковещательного адреса его подсети?
10.20.137.12/29
x =
3Растворы
1.Системы счисления
Ответ: N = 66
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Сложите веса
Остальные биты сохраняют свои обычные положительные веса.
64 + 2 = 66
Ответ
N = 66
2.Системы счисления
Ответ: N = −2048
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Самое отрицательное значение
−211 = −2048
Ответ
N = −2048
3.Логика высказываний и доказательства
Ответ: ¬q → ¬(p ∧ r)
Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 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 = p ∧ r, b = q
Контрапозиция
¬b → ¬a = ¬q → ¬(p ∧ r)
Ответ
¬q → ¬(p ∧ r)
Контрапозиция эквивалентна исходному утверждению, поэтому её доказательство доказывает и само утверждение.
4.Логика высказываний и доказательства
Ответ: N = 5
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 3
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте единицы
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
A′BC
AB′C
ABC′
Минимальная форма SOP
F = A′BC + AB′C + ABC′
N = 3
Ответ
N = 3
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 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 после каждого фронта
T-триггер переключается по каждому переднему фронту при T = 1 и сохраняет состояние при T = 0.
1: T = 1 → Q = 1
2: T = 0 → Q = 1
3: T = 0 → Q = 1
4: T = 0 → Q = 1
5: T = 1 → Q = 0
6: T = 0 → Q = 0
7: T = 0 → Q = 0
8: T = 1 → Q = 1
Посчитайте изменения
0 → 1 → 1 → 1 → 1 → 0 → 0 → 0 → 1
N = 3
Ответ
N = 3
7.Теория чисел и модульная арифметика
Ответ: φ(57) = 36
Обратные элементы и сравнения: у 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).
Простые множители
57 = 3·19
Функция Эйлера
φ(57) = φ(3)·φ(19) = 2·18 = 36
Ответ
φ(57) = 36
8.Теория чисел и модульная арифметика
Ответ: c = 104
Степени по модулю и 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.
Многократное возведение в квадрат
5 = 4 + 1
901 ≡ 90 (mod 329)
902 ≡ 204 (mod 329)
904 ≡ 162 (mod 329)
905 ≡ 90·162 ≡ 104 (mod 329)
Шифртекст
c = 104
Ответ
c = 104
9.Алгоритмы и сложность
Ответ: D · Её подзадачи не перекрываются, поэтому нечего использовать повторно
Почему это ответ
Половины в сортировке слиянием не пересекаются, и каждая решается один раз; ДП помогает только при повторяющихся подзадачах, как в числах Фибоначчи.
Ответ
D · Её подзадачи не перекрываются, поэтому нечего использовать повторно
10.Алгоритмы и сложность
Ответ: D · Θ(nlog₂ 3), примерно n1,585
Почему это ответ
Поскольку log₂ 3 ≈ 1,585 > 1, по основной теореме доминируют листья, и это лучше школьного метода O(n²).
Ответ
D · Θ(nlog₂ 3), примерно n1,585
11.Структуры данных
Ответ: A · В двусвязном списке
Почему это ответ
Узел двусвязного списка знает своего предшественника, поэтому prev и next можно сразу перевязать; в односвязном списке предшественника приходится искать.
Ответ
A · В двусвязном списке
12.Структуры данных
Ответ: B · Очередь (или любая коллекция) вершин с полустепенью захода 0
Почему это ответ
Готовые вершины хранятся в очереди; удаление одной уменьшает полустепени захода её соседей, и те, у которых она стала 0, добавляются, что даёт время O(V + E).
Ответ
B · Очередь (или любая коллекция) вершин с полустепенью захода 0
13.Теория графов
Ответ: H = 12
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Посчитайте
H = (5 − 1)!/2 = 24/2 = 12
Ответ
H = 12
14.Теория графов
Ответ: B
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
1. A (0): B: 7, C: 2
2. C (2): E: 4
3. E (4): D: 9, F: 14
4. B (7)
5. D (9)
6. F (14)
шаг 4
B
Ответ
B
15.Базы данных и SQL
Ответ: A · Частичные зависимости неключевых столбцов от части составного ключа
Почему это ответ
2NF требует 1NF и того, чтобы каждый неключевой атрибут зависел от всего ключа, а не только от его части.
Ответ
A · Частичные зависимости неключевых столбцов от части составного ключа
16.Базы данных и SQL
Ответ: B · Избыточные копии нужно поддерживать согласованными при каждом изменении данных клиента
Почему это ответ
Денормализация ускоряет чтение, но возвращает избыточность, поэтому при обновлениях нужно менять каждую копию, иначе возникнут аномалии.
Ответ
B · Избыточные копии нужно поддерживать согласованными при каждом изменении данных клиента
17.Компьютерные сети
Ответ: D · Беспроводная станция не может надёжно обнаруживать коллизии во время собственной передачи
Почему это ответ
Радиопередатчик во время передачи не слышит другие слабые сигналы, а некоторые станции скрыты друг от друга. Поэтому 802,11 выжидает случайные интервалы backoff и использует подтверждения.
Ответ
D · Беспроводная станция не может надёжно обнаруживать коллизии во время собственной передачи
18.Компьютерные сети
Ответ: B · Маршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
Почему это ответ
VLAN изолированы на уровне 2, поэтому трафик между ними нужно маршрутизировать, например маршрутизатором на транковом канале («router on a stick») или коммутатором уровня 3.
Ответ
B · Маршрутизатор или коммутатор уровня 3 для маршрутизации между VLAN
19.Подсети IPv4
Ответ: x = 111
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).
Размер блока
24 = 16
Подсеть номер 7
сеть: (7 − 1)·16 = 96
широковещательный: 96 + 16 − 1 = 111
Ответ
x = 111
20.Подсети IPv4
Ответ: x = 15
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).