Подсчитайте различные переменные: в таблице истинности 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.Системы счисленияСредняя
Установите биты так, чтобы они хранили −4 в 8-битном дополнительном коде. Чему равно значение комбинации U, если читать её как число без знака?
N = −48 bit
U =
2.Системы счисленияСложная
Несжатое изображение имеет размер 256 × 256 пикселей и 24 бит на пиксель. Сколько памяти M оно занимает, в KiB (1 KiB = 1024 байта)?
256 × 256 px24 bit/px1 KiB = 1024 B
M = KiB
3.Логика высказываний и доказательстваСредняя
Является ли (b ∨ c) → (b ∧ c) тавтологией, противоречием или нейтральной формулой? Нажмите на ваш ответ.
(b ∨ c) → (b ∧ c)
1тавтология
2противоречие
3нейтральная формула
4.Логика высказываний и доказательстваСложная
В скольких из 16 строк таблицы истинности (¬(r ∧ ¬p) ↔ (p ∧ ¬q)) ∧ (s ∨ (r ↔ q)) истинно? Обозначим это число N.
(¬(r ∧ ¬p) ↔ (p ∧ ¬q)) ∧ (s ∨ (r ↔ q))
N =
5.Цифровая логика: вентили, карты Карно и триггерыСредняя
С помощью карты Карно найдите минимальную форму «произведение сумм» (POS) для F(A, B, C, D) = Σm(4, 7, 8, 9, 11, 13, 14). Сколько членов-сумм (множителей), N, в ней?
F(A, B, C, D) = Σm(4, 7, 8, 9, 11, 13, 14)
N =
6.Цифровая логика: вентили, карты Карно и триггерыСложная
4-разрядный кольцевой счётчик Q₃Q₂Q₁Q₀ начинает с 1010. По каждому фронту тактового сигнала биты сдвигаются на одну позицию вправо (Q₃ → Q₂ → Q₁ → Q₀), а Q₃ получает Q₀. Укажите состояние Q = Q₃Q₂Q₁Q₀ в виде десятичного числа после 7 фронтов тактового сигнала.
Q₃Q₂Q₁Q₀ = 10107
Q =
7.Теория чисел и модульная арифметикаСредняя
Найдите наименьшее положительное целое x, для которого x ≡ 4 (mod 5) и x ≡ 6 (mod 7).
x ≡ 4 (mod 5)x ≡ 6 (mod 7)
x =
8.Теория чисел и модульная арифметикаСложная
В ключе RSA используются простые числа p = 19 и q = 37 и открытый показатель e = 7. Найдите закрытый показатель d (0 < d < φ(n)).
p = 19q = 37e = 7
d =
9.Алгоритмы и сложностьСредняя
Нижняя граница для сортировки сравнениями в худшем случае равна:
AΩ(log n)
BΩ(n)
CΩ(n²)
DΩ(n log n)
10.Алгоритмы и сложностьСложная
Задача о рюкзаке 0/1, решаемая динамическим программированием, требует O(nW) времени. Почему это называют псевдополиномиальным временем?
AПотому что он работает только при W = 0
BПотому что n всегда мало
CПотому что алгоритм рандомизированный, и время его работы меняется для каждого входа
DW — число, поэтому время экспоненциально относительно количества битов, используемых для записи W
11.Структуры данныхСредняя
В двоичной min-куче, хранящейся в массиве (индексация с 0), потомки узла с индексом i находятся на позициях:
A2i + 1 и 2i + 2
Bi + 1 и i + 2
C2i и 2i + 1
Di/2 и i/2 + 1
12.Структуры данныхСложная
Почему из стандартного фильтра Блума нельзя просто удалить элементы, обнулив их биты?
AФильтры Блума хранят элементы целиком, и их невозможно снова найти после хеширования
BБиты фильтра Блума нельзя менять после создания
CЭти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
DУдаление повысило бы долю ложноположительных результатов до 100%
13.Теория графовСредняя
Связный граф имеет 10 вершин и 12 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?
|V| = 10|E| = 12
k =
14.Теория графовСложная
С помощью алгоритма Дейкстры найдите длину d(F) кратчайшего пути от A до F во взвешенном графе.
начало: Aконец: F
d(F) =
15.Базы данных и SQLСредняя
Какой запрос возвращает количество заказов по каждому клиенту?
ASELECT customer_id, COUNT(*) FROM orders GROUP BY customer_id
BSELECT customer_id, COUNT(*) FROM orders ORDER BY customer_id
CSELECT customer_id FROM orders WHERE COUNT(*) > 0
DSELECT DISTINCT COUNT(*) FROM orders
16.Базы данных и SQLСложная
Когда декомпозиция R на R1 и R2 гарантированно является декомпозицией без потерь?
AКогда у R1 и R2 нет общих атрибутов
BКогда у R1 и R2 одинаковое число столбцов
CКогда каждый атрибут R входит и в R1, и в R2
DКогда общие атрибуты R1 и R2 образуют суперключ R1 или R2
17.Компьютерные сетиСредняя
Чем межсетевой экран с отслеживанием состояния (stateful) отличается от простого пакетного фильтра?
AОн проверяет только MAC-адрес каждого кадра
BОн шифрует каждый пересылаемый пакет
CОн блокирует весь входящий трафик без исключений, включая ответы на исходящие запросы
DОн отслеживает соединения и пропускает ответы, относящиеся к установленным сеансам
18.Компьютерные сетиСложная
Какова по теореме Шеннона ёмкость канала шириной 1 МГц с отношением сигнал/шум 255?
A1 Мбит/с
B2 Мбит/с
C255 Мбит/с
D8 Мбит/с
19.Подсети IPv4Средняя
Сеть 192.168.10.0/24 нужно разделить как минимум на 12 одинаковых подсетей. Если занять как можно меньше битов, сколько используемых узлов H будет в каждой подсети?
192.168.10.0/2412 subnets
H =
20.Подсети IPv4Сложная
Сеть 192.168.200.0/24 делится с помощью VLSM для следующих LAN: A: 43 узлов, B: 10 узлов, C: 16 узлов, D: 36 узлов. Подсети выделяются начиная с .0 по возрастанию, первой — LAN с наибольшим числом узлов, каждой — наименьшая подходящая подсеть. Чему равен четвёртый октет x адреса сети LAN D?
A: 43B: 10C: 16D: 36
x =
3Растворы
1.Системы счисления
Ответ: U = 252
Установка битов: каждый бит стоит степень двойки (128, 64, …, 1). Одна шестнадцатеричная цифра — это ровно четыре бита, а в 8-битном дополнительном коде крайний левый бит стоит −128. Побитовые операции работают с каждой позицией бита отдельно.
Инвертируйте и прибавьте единицу
4 = 0000 0100
инвертировано: 1111 1011
+1 → 1111 1100
Прочитайте как беззнаковое
1111 1100₂ = 256 − 4 = 252
Ответ
U = 252
2.Системы счисления
Ответ: M = 192 KiB
Позиционные системы счисления: каждая цифра стоит своего значения, умноженного на степень основания. В двоичной системе разряды стоят 1, 2, 4, 8, 16, …, в шестнадцатеричной 1, 16, 256, …, а A–F обозначают 10–15. В 8-битном дополнительном коде крайний левый бит стоит −128 вместо +128; так хранятся отрицательные числа.
Биты и байты
256·256·24 = 1572864 bit = 196608 B
Переведите в KiB
196608/1024 = 192 KiB
Ответ
M = 192 KiB
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).
Таблица истинности по строкам
b = 1, c = 1: b ∨ c = 1, b ∧ c = 1, (b ∨ c) → (b ∧ c) = 1
b = 1, c = 0: b ∨ c = 1, b ∧ c = 0, (b ∨ c) → (b ∧ c) = 0
b = 0, c = 1: b ∨ c = 1, b ∧ c = 0, (b ∨ c) → (b ∧ c) = 0
b = 0, c = 0: b ∨ c = 0, b ∧ c = 0, (b ∨ c) → (b ∧ c) = 1
Классификация
(b ∨ c) → (b ∧ c): 1, 0, 0, 1
1 в 2 из 4 строк, 0 в остальных: нейтральная формула.
Ответ
нейтральная формула
4.Логика высказываний и доказательства
Ответ: N = 6
Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.
Столбцы
¬p; r ∧ ¬p; ¬(r ∧ ¬p); ¬q; p ∧ ¬q; ¬(r ∧ ¬p) ↔ (p ∧ ¬q); r ↔ q; s ∨ (r ↔ q); (¬(r ∧ ¬p) ↔ (p ∧ ¬q)) ∧ (s ∨ (r ↔ q))
Разбиение по p
p = 1: 3
p = 0: 3
N = 3 + 3 = 6
Ответ
N = 6
5.Цифровая логика: вентили, карты Карно и триггеры
Ответ: N = 6
Карты Карно: клетки упорядочены по коду Грея (00, 01, 11, 10), поэтому соседние клетки, включая те, что через края, отличаются ровно одной переменной. Группируйте единицы в прямоугольники по 1, 2, 4, 8 или 16 клеток, как можно большие и в как можно меньшем числе, пока не будет покрыта каждая единица. Каждая группа — один член-произведение: переменные, которые внутри неё остаются постоянными. Группа из 2ᵏ клеток теряет k переменных. Безразличные состояния (X) можно использовать, чтобы увеличить группы, но покрывать их не обязательно. Если группировать нули, получится минимальная форма POS.
Сгруппируйте нули
Каждая группа — прямоугольник из 2ᵏ клеток; клетки на краю соседствуют с клетками на противоположном краю.
(B + C′ + D)
(A + C + D′)
(A + C′ + D)
(A + B)
(A′ + B′ + C + D)
(A′ + B′ + C′ + D′)
Минимальная форма POS
F = (B + C′ + D)(A + C + D′)(A + C′ + D)(A + B)(A′ + B′ + C + D)(A′ + B′ + C′ + D′)
N = 6
Ответ
N = 6
6.Цифровая логика: вентили, карты Карно и триггеры
Ответ: Q = 5
Триггеры и счётчики: триггер меняется только по активному фронту тактового сигнала. 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).
Первое сравнение
x = 4 + 5k
Второе сравнение
4 + 5k ≡ 6 (mod 7) → 5k ≡ 2 (mod 7)
k ≡ 3·2 ≡ 6 (mod 7)
Результат
x = 4 + 5·6 = 34
x = 34
проверка: 34 mod 5 = 4, 34 mod 7 = 6
Ответ
x = 34
8.Теория чисел и модульная арифметика
Ответ: d = 463
Степени по модулю и 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 = 19·37 = 703
φ(n) = 18·36 = 648
Расширенный алгоритм Евклида
r = 648, t = 0
r = 7, q = 92, t = 1
r = 4, q = 1, t = −92
r = 3, q = 1, t = 93
r = 1, q = 3, t = −185
Закрытый показатель
d = 463
проверка: 7·463 = 3241 = 5·648 + 1
Ответ
d = 463
9.Алгоритмы и сложность
Ответ: D · Ω(n log n)
Почему это ответ
Любой сортировке сравнениями в худшем случае требуется не менее log₂(n!) ≈ n log n сравнений. Сортировка подсчётом (counting sort) обходит эту границу, так как не сравнивает элементы.
Ответ
D · Ω(n log n)
10.Алгоритмы и сложность
Ответ: D · W — число, поэтому время экспоненциально относительно количества битов, используемых для записи W
Почему это ответ
Время работы полиномиально относительно значения W, но экспоненциально относительно его длины (log W битов); задача о рюкзаке 0/1 является NP-полной.
Ответ
D · W — число, поэтому время экспоненциально относительно количества битов, используемых для записи W
11.Структуры данных
Ответ: A · 2i + 1 и 2i + 2
Почему это ответ
В массивах с индексацией от 0 левый потомок находится в 2i + 1, правый — в 2i + 2, а родитель — в ⌊(i − 1)/2⌋.
Ответ
A · 2i + 1 и 2i + 2
12.Структуры данных
Ответ: C · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
Почему это ответ
Обнуление общего бита сделало бы другой элемент якобы отсутствующим; считающие фильтры Блума (counting Bloom filters) хранят счётчики вместо битов, чтобы разрешить удаление.
Ответ
C · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
13.Теория графов
Ответ: k = 3
Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.
Рёбра остовного дерева
10 − 1 = 9
Рёбра для удаления
k = 12 − 9 = 3
Ответ
k = 3
14.Теория графов
Ответ: d(F) = 15
Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.
Алгоритм Дейкстры по шагам
В каждой строке: зафиксированная вершина, её окончательное расстояние и соседи, у которых расстояние улучшается.
A (0): B: 3, C: 2
C (2)
B (3): D: 15, E: 7
E (7): D: 12, F: 16
D (12): F: 15
F (15)
Кратчайший путь
A → B → E → D → F
d(F) = 15
Ответ
d(F) = 15
15.Базы данных и SQL
Ответ: A · SELECT customer_id, COUNT(*) FROM orders GROUP BY customer_id
Почему это ответ
GROUP BY customer_id создаёт по одной группе на клиента, а COUNT(*) подсчитывает строки в каждой группе.
Ответ
A · SELECT customer_id, COUNT(*) FROM orders GROUP BY customer_id
16.Базы данных и SQL
Ответ: D · Когда общие атрибуты R1 и R2 образуют суперключ R1 или R2
Почему это ответ
Если общие атрибуты определяют все атрибуты R1 или R2, обратное соединение даёт ровно исходные строки и никаких лишних кортежей.
Ответ
D · Когда общие атрибуты R1 и R2 образуют суперключ R1 или R2
17.Компьютерные сети
Ответ: D · Он отслеживает соединения и пропускает ответы, относящиеся к установленным сеансам
Почему это ответ
Stateful-экран ведёт таблицу активных соединений, поэтому обратный трафик пропускается автоматически. Фильтр без состояния оценивает каждый пакет отдельно.
Ответ
D · Он отслеживает соединения и пропускает ответы, относящиеся к установленным сеансам
18.Компьютерные сети
Ответ: D · 8 Мбит/с
Почему это ответ
C = 10⁶ × log₂(256) = 10⁶ × 8 = 8 Мбит/с. Это верхний предел скорости безошибочной передачи данных по зашумлённому каналу.
Ответ
D · 8 Мбит/с
19.Подсети IPv4
Ответ: H = 14
Подсети IPv4: адрес состоит из 32 битов. Префикс /p указывает, сколько начальных битов определяют сеть; остальные 32 − p битов нумеруют узлы. В подсети 2³²⁻ᵖ адресов, но первый (адрес сети) и последний (широковещательный адрес) нельзя назначить узлам, поэтому помещается 2³²⁻ᵖ − 2 узла. Исключения: /31 (канал «точка-точка», RFC 3021) использует оба своих 2 адреса для хостов, а /32 — это один-единственный адрес (отдельный хост или loopback).
Занимаемые биты
24 = 16 ≥ 12 → b = 4, /28
Узлы в подсети
24 − 2 = 14
Ответ
H = 14
20.Подсети IPv4
Ответ: x = 64
VLSM: каждая LAN получает наименьшую подсеть с 2ʰ − 2 ≥ числа её узлов, т. е. префикс 32 − h. Если выделять сначала наибольшие подсети, каждый блок оказывается выровнен по числу, кратному своему размеру, поэтому адреса сетей получаются сложением размеров блоков.