Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Запишите −118 как 8-битную комбинацию в дополнительном коде. Прочитайте комбинацию как беззнаковое двоичное число: каково его значение U в десятичной системе?
N = −1188 bit
U =
2.Системы счисленияСложная
Установите биты в 8-битный результат операции 0110 1001 >> 2. Чему равно значение результата R в десятичной системе?
0110 1001>> 2
R =
3.Логика высказываний и доказательстваСредняя
Вы хотите доказать ¬q → p от контрапозиции. Какую импликацию вы доказываете вместо неё? Нажмите на неё.
¬q → p
1¬q ∧ ¬p
2¬p → ¬¬q
3p → ¬q
4¬¬q → ¬p
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (p ∨ s) ↔ (p ∧ (q ∨ ¬r)) истинно? Обозначим это число N.
(p ∨ s) ↔ (p ∧ (q ∨ ¬r))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
На этой карте Карно ровно у одной единицы нет соседней единицы, поэтому в минимальной форме SOP она остаётся группой из одной клетки (полным минтермом из четырёх литералов). Соседи через края карты учитываются. Нажмите на эту клетку.
F = Σm(1, 5, 6, 8, 9, 10, 12, 13)
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.Цифровая логика: вентили, карты Карно и триггерыСложная
Для F(A, B, C, D) = Σm(3, 4, 5, 6, 8, 9, 10) + d(1, 11, 14), где d обозначает безразличные состояния, найдите число N существенных простых импликант.
Быстрая сортировка всегда берёт в качестве опорного первый элемент. На каком входе проявляется её поведение в худшем случае?
AНа массиве, все элементы которого различны
BНа массиве в случайном порядке
CНа массиве длины 2
DНа уже отсортированном массиве
10.Алгоритмы и сложностьСложная
Кратчайшие простые пути можно найти за полиномиальное время. Что известно о поиске самого длинного простого пути между двумя вершинами в произвольном графе?
AЕё можно решить алгоритмом Дейкстры с отрицательными весами
BОна всегда решается за O(V + E)
CЭто NP-трудная задача
DОна неразрешима
11.Структуры данныхСредняя
Какая структура данных используется, чтобы проверить, сбалансированы ли скобки в «{[()]}»?
AСтек
BДвоичное дерево поиска
CОчередь
DХеш-таблица
12.Структуры данныхСложная
Почему базы данных часто используют для индексов B+ деревья, а не обычные B-деревья?
AB+ деревья хранят данные только в корне
BВсе записи находятся в связанных листьях, что делает сканирование диапазонов эффективным
CB+ деревья используют двоичные внутренние узлы, что сокращает число чтений с диска
DB+ деревья не нужно балансировать
13.Теория графовСредняя
Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.
|V| = 5|E| = 7
1Эйлеров цикл
2Эйлеров путь, не цикл
3ни то, ни другое
14.Теория графовСложная
Найдите суммарный вес W минимального остовного дерева взвешенного графа.
|V| = 5|E| = 7
W =
15.Базы данных и SQLСредняя
Что возвращает SELECT COALESCE(phone, 'unknown') FROM customers для клиента, у которого phone равен NULL?
A'unknown'
BОшибку
CNULL
DПустую строку
16.Базы данных и SQLСложная
Двухфазная блокировка (2PL) гарантирует:
AРасписания, сериализуемые по конфликтам (conflict-serializable)
BЧто транзакции никогда не ждут
CЧто взаимоблокировки никогда не возникнут
DЧто блокировки не нужны
17.Компьютерные сетиСредняя
Какова цель трёхэтапного рукопожатия (three-way handshake) TCP?
AБыстро закрыть соединение
BНайти IP-адрес узла, прежде чем ему можно будет отправить данные
CУстановить соединение и синхронизировать порядковые номера
DЗашифровать данные
18.Компьютерные сетиСложная
Как сеть доставки контента (CDN) в основном повышает производительность веба?
AОна устраняет необходимость в запросах DNS
BОна отдаёт кэшированный контент с серверов, расположенных близко к пользователям
CОна заменяет TCP более быстрым транспортным протоколом
DОна увеличивает пропускную способность собственных домашних подключений пользователей
19.Подсети IPv4Средняя
Сеть 10.178.176.0/20 разделена на равные подсети с префиксом /26. Сколько получается подсетей N?
10.178.176.0/20/26
N =
20.Подсети IPv4Сложная
Узел имеет адрес 10.20.18.35/29. Каков четвёртый октет x последнего используемого адреса узла в его подсети?
10.20.18.35/29
x =
3Растворы
1.Системы счисления
Ответ: U = 138
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Инвертируйте и прибавьте единицу
118 = 0111 0110
инвертировано: 1000 1001
+1 → 1000 1010
Прочитайте как беззнаковое
1000 1010₂ = 256 − 118 = 138
Ответ
U = 138
2.Системы счисления
Ответ: R = 26
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Бит за битом
Сдвиг вправо на 2 перемещает каждый бит на 2 позиций вправо; биты, выходящие за правый край, теряются, а слева входят нули.
0110 1001 >> 2
= 0001 1010
Значение результата
0001 1010₂ = 26
Ответ
R = 26
3.Логика высказываний и доказательства
Ответ: ¬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 = ¬q, b = p
Контрапозиция
¬b → ¬a = ¬p → ¬¬q
Ответ
¬p → ¬¬q
Контрапозиция эквивалентна исходному утверждению, поэтому её доказательство доказывает и само утверждение.
4.Логика высказываний и доказательства
Ответ: N = 10
Таблицы истинности: у формулы с 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 = 01, CD = 10
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Соседи каждой единицы
Единица с соседней единицей может войти в группу из двух или более.
m6: m7, m4, m2, m14 → 0
Изолированная единица
m6 = A′BCD′ → AB = 01, CD = 10
Ответ
AB = 01, CD = 10
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 2
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Простые импликанты
Самые большие группы, которые можно образовать из единиц и X.
B′D, BCD′, A′C′D, ACD′, AB′, A′BD′, A′BC′
Существенные простые импликанты
B′D, AB′
N = 2
Ответ
N = 2
7.Теория чисел и модульная арифметика
Ответ: x = 26
Обратные элементы и сравнения: у 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 = 1 + 5k
Второе сравнение
1 + 5k ≡ 8 (mod 9) → 5k ≡ 7 (mod 9)
k ≡ 2·7 ≡ 5 (mod 9)
Результат
x = 1 + 5·5 = 26
x = 26
проверка: 26 mod 5 = 1, 26 mod 9 = 8
Ответ
x = 26
8.Теория чисел и модульная арифметика
Ответ: x = 6
Обратные элементы и сравнения: у 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).
Разделите на НОД
gcd(30, 54) = 6
5x ≡ 3 (mod 9)
Решите упрощённое сравнение
5−1 ≡ 2 (mod 9) → x ≡ 6 (mod 9)
Решения по модулю 54
x ∈ {6, 15, 24, 33, 42, 51}
x = 6
Ответ
x = 6
9.Алгоритмы и сложность
Ответ: D · На уже отсортированном массиве
Почему это ответ
На отсортированном входе опорный элемент всегда минимален, поэтому одна часть пуста, а в другой n − 1 элемент, что даёт O(n²).
Ответ
D · На уже отсортированном массиве
10.Алгоритмы и сложность
Ответ: C · Это NP-трудная задача
Почему это ответ
Самый длинный простой путь длины V − 1 — гамильтонов путь, а это NP-полная задача; однако на ориентированных ациклических графах она решается за линейное время.
Ответ
C · Это NP-трудная задача
11.Структуры данных
Ответ: A · Стек
Почему это ответ
Каждую открывающую скобку помещают в стек (push), а при появлении закрывающей извлекают (pop); она должна соответствовать извлечённой, а в конце стек должен быть пуст.
Ответ
A · Стек
12.Структуры данных
Ответ: B · Все записи находятся в связанных листьях, что делает сканирование диапазонов эффективным
Почему это ответ
В B+ дереве внутренние узлы только направляют поиск, а листья связаны в порядке ключей, поэтому запрос по диапазону находит первый ключ и затем идёт по листьям.
Ответ
B · Все записи находятся в связанных листьях, что делает сканирование диапазонов эффективным
13.Теория графов
Ответ: Эйлеров путь, не цикл
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Эйлеров путь начинается в одной нечётной вершине и заканчивается в другой.
14.Теория графов
Ответ: W = 27
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Краскала
AB (1): берём
DE (3): берём
BD (7): берём
BE (8): пропускаем, замыкает цикл
BC (16): берём
Суммарный вес
W = 1 + 3 + 7 + 16 = 27
Ответ
W = 27
15.Базы данных и SQL
Ответ: A · 'unknown'
Почему это ответ
COALESCE проверяет аргументы слева направо и возвращает первый, не равный NULL, здесь 'unknown'.
Ответ
A · 'unknown'
16.Базы данных и SQL
Ответ: A · Расписания, сериализуемые по конфликтам (conflict-serializable)
Почему это ответ
2PL гарантирует сериализуемость, но взаимоблокировки (deadlocks) по-прежнему возможны, и их нужно обнаруживать или предотвращать.
Ответ
A · Расписания, сериализуемые по конфликтам (conflict-serializable)
17.Компьютерные сети
Ответ: C · Установить соединение и синхронизировать порядковые номера
Почему это ответ
Рукопожатие устанавливает соединение и согласует начальные порядковые номера обеих сторон до отправки данных.
Ответ
C · Установить соединение и синхронизировать порядковые номера
18.Компьютерные сети
Ответ: B · Она отдаёт кэшированный контент с серверов, расположенных близко к пользователям
Почему это ответ
CDN размещают копии контента во множестве пограничных узлов и направляют пользователей, часто через DNS, к ближайшему серверу. Это снижает задержку и нагрузку на исходный сервер.
Ответ
B · Она отдаёт кэшированный контент с серверов, расположенных близко к пользователям
19.Подсети IPv4
Ответ: N = 64
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).
Заимствованные биты
26 − 20 = 6
Число подсетей
N = 26 = 64
Ответ
N = 64
В каждой подсети /26 26 − 2 = 62 адресов узлов.
20.Подсети IPv4
Ответ: x = 38
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).