Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −37 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −378 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0010 0111 XOR 1110 1110. Чему равно значение результата R в десятичной системе?
0010 0111XOR1110 1110
R =
3.Логика высказываний и доказательстваСредняя
Вы хотите доказать r → ¬q от контрапозиции. Какую импликацию вы доказываете вместо неё? Нажмите на неё.
r → ¬q
1r ∧ ¬¬q
2¬q → r
3¬r → ¬¬q
4¬¬q → ¬r
4.Логика высказываний и доказательстваСложная
Рассуждение с посылками a ∨ c; a и выводом ¬c неправильно. Нажмите на строку таблицы истинности, которая является контрпримером.
a ∨ ca∴ ¬c
1a = 1, c = 1
2a = 1, c = 0
3a = 0, c = 1
4a = 0, c = 0
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
Упростите F = A′B′C + A′BC + A′C′ + AC′ до минимальной формы «сумма произведений». Сколько литералов, L, содержит упрощённое выражение?
F = A′B′C + A′BC + A′C′ + AC′
L =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный сдвиговый регистр Q₃Q₂Q₁Q₀ содержит 0100. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀, Q₀ теряется), а последовательный вход поступает в Q₃. Последовательный вход равен 1, 1, 1, 1, 0, 0, 1 на 7 фронтах. Укажите итоговое состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа.
Q₃Q₂Q₁Q₀ = 01001, 1, 1, 1, 0, 0, 1
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите обратный к 16 по модулю 31: число x, для которого 0 < x < 31 и 16·x ≡ 1 (mod 31).
a = 16n = 31
16−1 mod 31 =
8.Теория чисел и модульная арифметикаСложная
Зашифруйте сообщение m = 141 открытым ключом RSA (n, e) = (341, 23). Найдите шифртекст c.
n = 341e = 23m = 141
c =
9.Алгоритмы и сложностьСредняя
Примерно сколько сравнений нужно бинарному поиску в худшем случае на отсортированном массиве из 1,000,000 элементов?
AОколо 100
BОколо 20
CОколо 500,000
DОколо 1,000
10.Алгоритмы и сложностьСложная
Для какого варианта задачи о рюкзаке жадное правило «брать предметы в порядке ценности на единицу веса» всегда даёт оптимальный ответ?
AНи для одного варианта
BДля рюкзака 0/1, где предметы всегда нужно брать целиком
CДля непрерывного (дробного) рюкзака, где предметы можно делить
DДля обоих вариантов
11.Структуры данныхСредняя
Какое условие балансировки поддерживает АВЛ-дерево в каждом узле?
AВысоты левого и правого поддеревьев различаются не более чем на 1
BКаждый узел окрашен в красный или чёрный цвет
CОба поддерева каждого узла содержат ровно одинаковое число узлов
DВсе листья находятся ровно на одной глубине
12.Структуры данныхСложная
Узел АВЛ-дерева разбалансирован, потому что правое поддерево его левого потомка стало слишком высоким (случай левый–правый). Какое исправление применяется?
AЛевый поворот в левом потомке, затем правый поворот в узле
BПравый поворот в левом потомке, затем левый поворот в узле
CОдиночный левый поворот в узле
DОдиночный правый поворот в узле
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 7|E| = 9
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Сколько существует маршрутов длины 3 из C в B? Маршрут может повторять вершины и рёбра. Обозначим это число N.
M = матрица смежностиL = 3
N =
15.Базы данных и SQLСредняя
Что возвращает EXCEPT (в Oracle — MINUS)?
AСтроки первого запроса, которых нет во втором
BВсе строки обоих запросов без дубликатов
CСтроки, присутствующие в обоих запросах
DСтроки второго запроса, которые не встречаются в первом
16.Базы данных и SQLСложная
R(A, B, C, D) имеет функциональные зависимости A → B и C → D. Каков потенциальный ключ?
A{A}
B{B, D}
C{A, C}
D{C}
17.Компьютерные сетиСредняя
Чему соответствует маска подсети 255.255.255.0 в нотации CIDR?
A/32
B/24
C/8
D/16
18.Компьютерные сетиСложная
Какова по формуле Найквиста максимальная битовая скорость канала шириной 3 кГц без шума при 4 уровнях сигнала?
A12 кбит/с
B24 кбит/с
C6 кбит/с
D3 кбит/с
19.Подсети IPv4Средняя
Отделу нужно 793 адресов узлов в одной подсети. Какова наибольшая длина префикса p (наименьшая подсеть), которой достаточно?
793 hosts
p =
20.Подсети IPv4Сложная
Сеть 192.168.58.0/24 делится с помощью VLSM для следующих LAN: A: 18 узлов, B: 38 узлов, C: 12 узлов, D: 16 узлов, E: 4 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN A?
A: 18B: 38C: 12D: 16E: 4
x =
3Растворы
1.Системы счисления
Ответ: U = 219
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
37 = 0010 0101
инвертировано: 1101 1010
+1 → 1101 1011
Прочитайте как беззнаковое
1101 1011₂ = 256 − 37 = 219
Ответ
U = 219
2.Системы счисления
Ответ: R = 201
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
XOR даёт 1 там, где два бита различаются.
0010 0111
XOR 1110 1110
= 1100 1001
Значение результата
1100 1001₂ = 201
Ответ
R = 201
3.Логика высказываний и доказательства
Ответ: ¬¬q → ¬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 = r, b = ¬q
Контрапозиция
¬b → ¬a = ¬¬q → ¬r
Ответ
¬¬q → ¬r
Контрапозиция эквивалентна исходному утверждению, поэтому её доказательство доказывает и само утверждение.
4.Логика высказываний и доказательства
Ответ: a = 1, c = 1
Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.
Посылки и вывод по строкам
a = 1, c = 1: 1 1 | 0
a = 1, c = 0: 1 1 | 1
a = 0, c = 1: 1 0 | 0
a = 0, c = 0: 0 0 | 1
Контрпример
a = 1, c = 1
Ответ
a = 1, c = 1
Рассуждение такой формы выглядит как правильное правило, но одной строки достаточно, чтобы показать, что это не так.
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: L = 2
Булева алгебра: правила, упрощающие выражения: X + X′ = 1 и X·X′ = 0, X + X = X, поглощение X + X·Y = X, правило склеивания X·Y + X·Y′ = X, X + X′Y = X + Y и теорема о консенсусе XY + X′Z + YZ = XY + X′Z. Законы де Моргана превращают (X·Y)′ в X′ + Y′ и (X + Y)′ в X′·Y′. Карта Карно применяет эти правила графически: каждая группа из двух соседних клеток — это одно применение XY + XY′ = X.
Минтермы выражения
A′B′C → m(1)
A′BC → m(3)
A′C′ → m(0, 2)
AC′ → m(4, 6)
Сгруппируйте и прочитайте
F = C′ + A′
Посчитайте литералы
L = 2
Ответ
L = 2
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 9
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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.
Обратные элементы и сравнения: у 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·16 (mod 31).
r = 31, t = 0
r = 16, q = 1, t = 1
r = 15, q = 1, t = −1
r = 1, q = 15, t = 2
Обратная матрица
1 ≡ 2·16 (mod 31)
x = 2
проверка: 16·2 = 32 = 1·31 + 1
Ответ
16−1 mod 31 = 2
8.Теория чисел и модульная арифметика
Ответ: c = 168
Степени по модулю и 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.
Многократное возведение в квадрат
23 = 16 + 4 + 2 + 1
1411 ≡ 141 (mod 341)
1412 ≡ 103 (mod 341)
1414 ≡ 38 (mod 341)
1418 ≡ 80 (mod 341)
14116 ≡ 262 (mod 341)
14123 ≡ 141·103·38·262 ≡ 168 (mod 341)
Шифртекст
c = 168
Ответ
c = 168
9.Алгоритмы и сложность
Ответ: B · Около 20
Почему это ответ
220 ≈ 1,048,576, поэтому примерно после 20 делений пополам остаётся один элемент.
Ответ
B · Около 20
10.Алгоритмы и сложность
Ответ: C · Для непрерывного (дробного) рюкзака, где предметы можно делить
Почему это ответ
Когда предметы можно делить, выбор по лучшему отношению оптимален; в рюкзаке 0/1 предмет с высоким отношением может помешать лучшей комбинации, поэтому нужно динамическое программирование.
Ответ
C · Для непрерывного (дробного) рюкзака, где предметы можно делить
11.Структуры данных
Ответ: A · Высоты левого и правого поддеревьев различаются не более чем на 1
Почему это ответ
Показатель сбалансированности (высота левого − высота правого) должен быть −1, 0 или 1; повороты восстанавливают его после вставок и удалений.
Ответ
A · Высоты левого и правого поддеревьев различаются не более чем на 1
12.Структуры данных
Ответ: A · Левый поворот в левом потомке, затем правый поворот в узле
Почему это ответ
Первый поворот превращает случай левый–правый в случай левый–левый, который затем исправляет правый поворот в несбалансированном узле.
Ответ
A · Левый поворот в левом потомке, затем правый поворот в узле
13.Теория графов
Ответ: ни то, ни другое
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Степени: степень вершины — это число рёбер, которые в ней сходятся. У каждого ребра два конца, поэтому степени в сумме дают удвоенное число рёбер: Σ deg(v) = 2|E| (лемма о рукопожатиях). Следовательно, число вершин нечётной степени чётно. У Kn имеется n(n − 1)/2 рёбер, у k-регулярного графа на n вершинах nk/2, а у дерева на n вершинах n − 1 ребро.
Матрица смежности
A: 0 1 1 0 0 0
B: 1 0 0 1 1 0
C: 1 0 0 0 1 0
D: 0 1 0 0 1 0
E: 0 1 1 1 0 1
F: 0 0 0 0 1 0
Ещё один шаг
(M³)CB = 0·1 + 2·0 + 2·0 + 1·1 + 0·1 + 1·0 = 1
Ответ
N = 1
15.Базы данных и SQL
Ответ: A · Строки первого запроса, которых нет во втором
Почему это ответ
A EXCEPT B даёт строки A, которых нет в B, поэтому, поменяв запросы местами, получим другой результат.
Ответ
A · Строки первого запроса, которых нет во втором
16.Базы данных и SQL
Ответ: C · {A, C}
Почему это ответ
A и C ничем не определяются, поэтому каждый ключ должен содержать оба, и {A, C}+ = {A, B, C, D}.
Ответ
C · {A, C}
17.Компьютерные сети
Ответ: B · /24
Почему это ответ
Три октета со значением 255 — это 24 единичных бита, поэтому 255.255.255.0 = /24.
Ответ
B · /24
18.Компьютерные сети
Ответ: A · 12 кбит/с
Почему это ответ
2 × 3000 × log₂ 4 = 2 × 3000 × 2 = 12,000 бит/с. Больше уровней повышают скорость, но шум ограничивает, сколько из них можно различить.
Ответ
A · 12 кбит/с
19.Подсети IPv4
Ответ: p = 22
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Необходимые биты узла
29 − 2 = 510 < 793
210 − 2 = 1022 ≥ 793 → h = 10
Длина префикса
p = 32 − 10 = 22
Ответ
p = /22
20.Подсети IPv4
Ответ: x = 64
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.