Глава

Экстремальный принцип

Модуль учит выбирать максимальный или минимальный объект: самый длинный путь, минимальный контрпример, максимальную конфигурацию или крайний интервал. Метод применяется в графах, турнирах, задачах на множества и процессах.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

Экстремальный принцип начинается с выбора объекта, у которого некоторая величина максимальна или минимальна: самая длинная цепочка, самая маленькая правая граница, конфигурация с наибольшим числом элементов, минимальный контрпример.

После такого выбора доказывают, что экстремальный объект нельзя улучшить. Если условие задачи всё же заставляет улучшение, получается противоречие.

Основные факты

  • В конечном множестве всегда существует элемент с максимальным и минимальным значением выбранной величины.
  • Максимальный объект часто имеет сильное свойство: если бы оно нарушалось, его можно было бы продолжить или улучшить.
  • Минимальный контрпример удобен, когда из него можно построить меньший контрпример.
  • Максимальная конфигурация по включению не обязательно имеет максимальный размер, но к ней уже нельзя добавить новый объект без нарушения условия.

Когда применять метод

  • В задаче есть слова «наибольший», «наименьший», «самый длинный», «нельзя добавить», «существует цикл/цепь/точка».
  • Нужно доказать существование объекта, но непонятно, как его явно построить.
  • Есть конечная процедура, и надо показать, что она не может продолжаться бесконечно.
  • В графах, турнирах, семействах множеств и конфигурациях на прямой можно выбрать крайний объект.

Как распознать метод

Спросите: какую величину можно сделать экстремальной? Иногда это длина пути, число выбранных элементов, сумма, правая граница интервала, количество соседей или номер первого нарушения.

Если после выбора «самого» объекта условие задачи позволяет добавить вершину, заменить часть конструкции или получить меньший пример, значит экстремальный принцип действительно работает.

Типичные ошибки

  • Выбирают экстремум не по той величине: объект существует, но не даёт полезного свойства.
  • Путают максимальный по размеру объект и максимальный по включению.
  • Не проверяют конечность: без конечности экстремум может не существовать.
  • После выбора максимума используют фразу «иначе можно улучшить», но не строят само улучшение.

Мини-чеклист

  • Определите конечное множество объектов, из которых делается выбор.
  • Назовите величину, по которой выбирается максимум или минимум.
  • Докажите свойство экстремального объекта через невозможность улучшения.
  • Проверьте, что полученное противоречие действительно нарушает экстремальность, а не другое условие.

Примеры

Пример 1. Самый большой элемент

Короткий пример показывает, что экстремальный выбор сам по себе уже может дать противоречие.

Задача. В конечном непустом множестве положительных чисел каждое число, кроме, возможно, одного, имеет в этом множестве строго большее число. Докажите, что число, для которого такого большего числа нет, существует и единственно.

Решение.

Выберем в множестве максимальное число \(M\). Для него не может существовать строго большего числа из того же множества. Значит, хотя бы одно такое число есть.

Если бы было два разных числа без большего, то большее из них всё равно было бы строго больше меньшего, то есть меньшее имело бы большее число. Противоречие. Следовательно, такое число единственно.

Комментарий. Здесь экстремальным объектом является максимум множества.

Пример 2. Самый длинный путь

Этот пример — стандартная заготовка для задач на графы.

Задача. В конечном графе выбран путь максимальной длины. Докажите, что все соседи его конечной вершины лежат на этом пути.

Решение.

Пусть путь имеет вид \(v_1v_2\ldots v_k\), и рассмотрим конечную вершину \(v_k\). Если бы у неё был сосед \(u\), не лежащий на пути, то \(v_1v_2\ldots v_k u\) был бы более длинным путём.

Это невозможно, потому что исходный путь выбран максимальным. Значит, каждый сосед \(v_k\) уже входит в этот путь.

Пример 3. Интервалы на прямой

Иногда экстремальной величиной является не размер, а координата.

Задача. Несколько отрезков на прямой попарно пересекаются. Докажите, что есть точка, принадлежащая всем отрезкам.

Решение.

Выберем отрезок \([a,b]\) с наименьшим правым концом \(b\). Возьмём любой другой отрезок \([c,d]\). Так как отрезки пересекаются, не может быть \(d

Если бы \(b

Пример 4. Минимальный связный подграф

Максимум и минимум по числу рёбер часто помогают убирать лишнее.

Задача. Докажите, что в любом конечном связном графе есть связный подграф, содержащий все вершины и не имеющий циклов.

Решение.

Среди всех связных подграфов, содержащих все вершины исходного графа, выберем подграф с минимальным числом рёбер. Он существует, потому что исходный граф сам подходит.

Если в выбранном подграфе есть цикл, то можно удалить одно ребро этого цикла: связность не нарушится, ведь вокруг цикла остаётся обходной путь. Получится связный подграф с теми же вершинами и меньшим числом рёбер, что противоречит минимальности.

Значит, циклов нет. Такой подграф является деревом.

Пример 5. Максимальная конфигурация

Здесь объект выбирается не обязательно наибольшим по размеру, а таким, к которому нельзя ничего добавить.

Задача. В графе выбрано множество непересекающихся рёбер, к которому нельзя добавить ещё одно ребро, не нарушив непересечение. Докажите, что любые две вершины, не покрытые выбранными рёбрами, не соединены ребром.

Решение.

Пусть две непокрытые вершины \(x\) и \(y\) соединены ребром. Тогда это ребро не имеет общих вершин ни с одним из уже выбранных рёбер.

Значит, его можно добавить к выбранному множеству, сохранив непересечение. Это противоречит максимальности по включению. Следовательно, таких двух непокрытых соседних вершин нет.

Пример 6. Турнир и максимальная степень

В турнирах экстремальным часто бывает участник с наибольшим числом побед.

Задача. В турнире выберем игрока \(v\) с наибольшим числом побед. Докажите, что любой игрок либо проиграл \(v\), либо проиграл кому-то, кого победил \(v\).

Решение.

Рассмотрим игрока \(u\), который не проиграл \(v\), то есть победил \(v\). Предположим, что \(u\) победил всех игроков, которых победил \(v\).

Тогда у \(u\) есть все победы над побеждёнными игроками \(v\), а также победа над самим \(v\). Значит, у \(u\) побед больше, чем у \(v\), что противоречит выбору \(v\).

Следовательно, среди игроков, побеждённых \(v\), найдётся игрок, победивший \(u\).

Пример 7. Минимальный контрпример

Минимальный контрпример удобен, когда задачу можно уменьшить.

Задача. Докажите, что любое целое число \(n\ge 8\) можно представить в виде \(3a+5b\), где \(a,b\) — неотрицательные целые числа.

Решение.

Проверим \(8=3+5\), \(9=3+3+3\), \(10=5+5\). Предположим, что утверждение неверно, и выберем наименьшее \(n\ge 8\), которое не представимо.

Тогда \(n\ge 11\), поэтому \(n-3\ge 8\). По минимальности \(n\) число \(n-3\) представимо как \(3a+5b\). Тогда \(n=3(a+1)+5b\), противоречие.

Значит, контрпримеров нет.

Пример 8. Локальное улучшение

Экстремальный принцип часто скрывается в фразе «возьмём расположение с минимальным числом нарушений».

Задача. Числа \(1,2,\ldots,n\) расставлены в ряд. Разрешается менять местами соседние числа, если левое больше правого. Докажите, что процесс обязательно закончится возрастающим рядом.

Решение.

Назовём инверсией пару позиций \(i

Число инверсий — неотрицательное целое число, поэтому оно не может уменьшаться бесконечно. Процесс закончится. В конце нет соседней инверсии, а значит, ряд возрастает.

Задачи

Задачи

#4.1
#4.1

Цепочка больших чисел

Extremal Principle 8 класс 9 класс ★★☆☆☆

В конечном непустом множестве положительных чисел каждому числу \(x\) поставлено в соответствие число \(f(x)\) из того же множества, причём \(f(x)>x\). Докажите, что такая ситуация невозможна.

Детали
Задача: COM-B2-M04-P001
Сложность: Уровень 2 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.2
#4.2

Стрелки и цикл

Extremal Principle 8 класс 9 класс ★★☆☆☆

В конечном множестве точек из каждой точки проведена стрелка в одну из других точек. Докажите, что можно пройти по стрелкам и попасть в цикл.

Детали
Задача: COM-B2-M04-P002
Сложность: Уровень 2 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.3
#4.3

Конец самого длинного пути

Extremal Principle 8 класс 9 класс ★★☆☆☆

В конечном графе выбран путь максимальной длины \(v_1v_2\ldots v_k\). Докажите, что каждый сосед вершины \(v_k\) уже входит в этот путь.

Детали
Задача: COM-B2-M04-P003
Сложность: Уровень 2 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.4
#4.4

Лист в дереве

Extremal Principle 8 класс 9 класс ★★☆☆☆

Докажите, что в любом конечном дереве с хотя бы двумя вершинами найдётся вершина степени \(1\).

Детали
Задача: COM-B2-M04-P004
Сложность: Уровень 2 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.5
#4.5

Общая точка отрезков

Интервалы 8 класс 9 класс ★★☆☆☆

На прямой дано несколько отрезков. Любые два из них имеют общую точку. Докажите, что существует точка, принадлежащая всем отрезкам.

Детали
Задача: COM-B2-M04-P005
Сложность: Уровень 2 из 5
Tag: Интервалы
Grade: 8 класс, 9 класс
#4.6
#4.6

Связный граф и дерево

Extremal Principle 8 класс 9 класс ★★★☆☆

Докажите, что из любого конечного связного графа можно удалить несколько рёбер так, чтобы граф остался связным и перестал содержать циклы.

Детали
Задача: COM-B2-M04-P006
Сложность: Уровень 3 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.7
#4.7

Минимальная степень и цикл

Extremal Principle 8 класс 9 класс ★★★☆☆

В конечном графе степень каждой вершины не меньше \(2\). Докажите, что в графе есть цикл.

Детали
Задача: COM-B2-M04-P007
Сложность: Уровень 3 из 5
Tag: Extremal Principle
Grade: 8 класс, 9 класс
#4.8
#4.8

Максимальное непополняемое множество

Sets 8 класс 9 класс 10 класс ★★★☆☆

В множестве \(\{1,2,\ldots,2n\}\) выбрано подмножество \(A\), к которому нельзя добавить ни одного нового числа так, чтобы в нём по-прежнему не было двух чисел с суммой \(2n+1\). Докажите, что \(A\) содержит ровно одно число из каждой пары \(\{1,2n\},\{2,2n-1\},\ldots,\{n,n+1\}\).

Детали
Задача: COM-B2-M04-P008
Сложность: Уровень 3 из 5
Tag: Sets
Grade: 8 класс, 9 класс, 10 класс
#4.9
#4.9

Максимальное паросочетание по включению

Extremal Principle 9 класс 10 класс ★★★☆☆

В графе выбрано множество попарно не имеющих общих концов рёбер, к которому нельзя добавить ещё одно ребро. Докажите, что между двумя вершинами, не покрытыми выбранными рёбрами, нет ребра.

Детали
Задача: COM-B2-M04-P009
Сложность: Уровень 3 из 5
Tag: Extremal Principle
Grade: 9 класс, 10 класс
#4.10
#4.10

Суммы из троек и пятёрок

Разбор случаев 9 класс 10 класс ★★★☆☆

Докажите, что каждое целое число \(n\ge 8\) можно представить в виде \(n=3a+5b\), где \(a,b\) — неотрицательные целые числа.

Детали
Задача: COM-B2-M04-P010
Сложность: Уровень 3 из 5
Tag: Разбор случаев
Grade: 9 класс, 10 класс
#4.11
#4.11

Перестановки соседей

Инвариант 9 класс 10 класс ★★★☆☆

Числа \(1,2,\ldots,n\) стоят в некотором порядке. За один ход разрешается поменять местами две соседние числа, если левое больше правого. Докажите, что независимо от выбора ходов процесс закончится возрастающей последовательностью.

Детали
Задача: COM-B2-M04-P011
Сложность: Уровень 3 из 5
Tag: Инвариант
Grade: 9 класс, 10 класс
#4.12
#4.12

Игроки, знакомые со всеми

Extremal Principle 9 класс 10 класс ★★★☆☆

В компании из \(n\ge 3\) человек знакомство взаимно. Известно, что хотя бы один человек знаком не со всеми. Какое наибольшее число людей всё же может быть знакомо со всеми остальными? Докажите ответ.

Детали
Задача: COM-B2-M04-P012
Сложность: Уровень 3 из 5
Tag: Extremal Principle
Grade: 9 класс, 10 класс
Source: 102-combinatorial-problems (method inspiration)
#4.13
#4.13

Путь в турнире

Турниры 9 класс 10 класс ★★★★☆

В турнире между любыми двумя вершинами проведена ровно одна направленная дуга. Докажите, что все вершины турнира можно расположить в порядке \(v_1,v_2,\ldots,v_n\) так, что для каждого \(i\) дуга направлена из \(v_i\) в \(v_{i+1}\).

Детали
Задача: COM-B2-M04-P013
Сложность: Уровень 4 из 5
Tag: Турниры
Grade: 9 класс, 10 класс
#4.14
#4.14

Два цвета и максимальная цепь

Extremal Principle 9 класс 10 класс ★★★★☆

В строке из \(n\) клеток каждая клетка окрашена в красный или синий цвет. Разрешается выбрать несколько непересекающихся соседних пар разных цветов. Множество выбранных пар максимально по включению. Докажите, что среди невыбранных клеток не бывает двух соседних клеток разных цветов.

Детали
Задача: COM-B2-M04-P014
Сложность: Уровень 4 из 5
Tag: Extremal Principle
Grade: 9 класс, 10 класс
#4.15
#4.15

Длинный цикл из минимальной степени

Extremal Principle 9 класс 10 класс ★★★★☆

В конечном графе степень каждой вершины не меньше \(k\), где \(k\ge 2\). Докажите, что в графе есть цикл, содержащий не менее \(k+1\) вершины.

Детали
Задача: COM-B2-M04-P015
Сложность: Уровень 4 из 5
Tag: Extremal Principle
Grade: 9 класс, 10 класс
#4.16
#4.16

Максимальная сумма без повторения

Принцип Дирихле 9 класс 10 класс ★★★★☆

Пусть \(A\) — множество различных положительных целых чисел, и никакие два непустых различных подмножества \(A\) не имеют одинаковой суммы. Докажите, что если \(A\) содержит \(k\) чисел, то сумма всех чисел из \(A\) не меньше \(2^k-1\).

Детали
Задача: COM-B2-M04-P016
Сложность: Уровень 4 из 5
Tag: Принцип Дирихле
Grade: 9 класс, 10 класс
#4.17
#4.17

Две самые далёкие вершины дерева

Extremal Principle 9 класс 10 класс ★★★★☆

В дереве выбраны две вершины \(A\) и \(B\), расстояние между которыми максимально возможно. Докажите, что обе эти вершины являются листьями.

Детали
Задача: COM-B2-M04-P017
Сложность: Уровень 4 из 5
Tag: Extremal Principle
Grade: 9 класс, 10 класс
#4.18
#4.18

Монотонная подпоследовательность

Принцип Дирихле 10 класс 11 класс ★★★★★

Дана последовательность из \(n^2+1\) различных действительных чисел. Докажите, что в ней найдётся возрастающая подпоследовательность длины \(n+1\) или убывающая подпоследовательность длины \(n+1\).

Детали
Задача: COM-B2-M04-P018
Сложность: Уровень 5 из 5
Tag: Принцип Дирихле
Grade: 10 класс, 11 класс
#4.19
#4.19

Король турнира

Турниры 10 класс 11 класс ★★★★★

Докажите, что в любом турнире найдётся вершина \(v\), из которой до любой другой вершины можно добраться по направленному пути длины не более \(2\).

Детали
Задача: COM-B2-M04-P019
Сложность: Уровень 5 из 5
Tag: Турниры
Grade: 10 класс, 11 класс
#4.20
#4.20

Два самых длинных пути

Extremal Principle 10 класс 11 класс ★★★★★

Докажите, что в любом конечном связном графе любые два пути максимальной длины имеют хотя бы одну общую вершину.

Детали
Задача: COM-B2-M04-P020
Сложность: Уровень 5 из 5
Tag: Extremal Principle
Grade: 10 класс, 11 класс

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава
Следующая глава