Разобрался в теме? Закрепи на задачах
Задачи по каждой теме с ИИ-проверкой и конспекты по всем разделам ЕГЭ. Бесплатно, 20 проверок в неделю.
Задачи на логику, комбинаторику и теорию множеств — это, как правило, последние номера варианта (задача №7 или №8). Их главная особенность в том, что здесь нет стандартных школьных алгоритмов вроде «взять производную» или «решить квадратное уравнение».
От тебя требуется построить математическую модель (граф, систему уравнений, разбить на множества) и строго доказать результат. Проверяющие оценивают полноту логических переходов: если ты угадал ответ, но не доказал, что других вариантов нет, задача будет оценена в 0 баллов.
Лист формул на ДВИ не выдают, поэтому формулы комбинаторики нужно не зубрить, а уметь восстанавливать из смысла подсчёта. Ниже формулы даны вместе с короткими выводами — именно так их и надо держать в голове.
Для решения комбинаторных задач на ДВИ достаточно уверенного владения базовыми формулами и принципами подсчёта.
Число перестановок из n элементов (порядок важен, участвуют все):
Pn=n!Число размещений из n по k (порядок важен, выбираем часть):
Ank=(n−k)!n!=n(n−1)⋯(n−k+1)Число сочетаний из n по k (порядок НЕ важен):
Cnk=k!(n−k)!n!Полный список свойств сочетаний и бинома — см. справочник, раздел «Комбинаторика, множества, логика».
Размещение — это упорядоченный выбор k из n: первый элемент можно взять n способами, второй (n−1), ..., k-й — (n−k+1) способами. Отсюда сразу
Ank=n(n−1)⋯(n−k+1)=(n−k)!n!.Сочетание отличается от размещения тем, что порядок не важен. Каждый неупорядоченный набор из k элементов можно упорядочить k! способами (это перестановки внутри набора). Значит размещений ровно в k! раз больше, чем сочетаний:
Ank=Cnk⋅k!⟹Cnk=k!Ank=k!(n−k)!n!.Так формулу можно вывести на экзамене за 20 секунд, а не вспоминать наизусть.
Помимо прямых формул, на ДВИ часто встречается сведение задачи к распределению предметов.
Количество способов представить натуральное число n в виде суммы k целых неотрицательных слагаемых (порядок слагаемых важен):
x1+x2+⋯+xk=n⟹Cn+k−1k−1 способов.Если слагаемые строго натуральные (больше нуля), формула меняется на Cn−1k−1.
Изобразим число n как n одинаковых шаров в ряд. Чтобы разбить их на k групп (значения x1,…,xk), нужно поставить k−1 перегородку. Всего в ряду стоит n шаров и k−1 перегородок — это n+k−1 позиций. Выбрать, на каких k−1 из них стоят перегородки, можно Cn+k−1k−1 способами. Нули разрешены — две перегородки могут стоять рядом (пустая группа). Если же все слагаемые строго положительны, перегородки ставят в n−1 промежуток между соседними шарами: Cn−1k−1.
Сильная форма (без всяких условий на n,m): при любом распределении n предметов по m ящикам найдётся ящик, содержащий не менее
⌈mn⌉предметов (округление вверх).
Слабая форма (удобна для существования): если n>m (предметов больше, чем ящиков), то хотя бы в одном ящике лежит ⩾2 предмета.
Обобщённая форма: если предметов больше, чем k⋅m, то в каком-то ящике окажется ⩾k+1 предмет.
Внимание: оценка ⌈mn⌉ верна всегда, без условия n>m. Условие n>m нужно только слабой форме (она даёт лишь ⩾2). Не привязывай сильную оценку к n>m — это методическая ошибка.
Для двух множеств:
∣A∪B∣=∣A∣+∣B∣−∣A∩B∣.Для трёх множеств:
∣A∪B∪C∣=∣A∣+∣B∣+∣C∣−∣A∩B∣−∣B∩C∣−∣A∩C∣+∣A∩B∩C∣.Смысл: сложили все, вычли двойные пересечения (их посчитали дважды), вернули тройное (его вычли трижды и трижды добавили). Подробнее и диаграмма Венна — см. справочник.
Если одну и ту же величину (число пар, число «инцидентностей», сумму) посчитать двумя разными способами, результаты обязаны совпасть. Приравняв их, получаем уравнение. Это главный рабочий приём комбинаторных задач ДВИ: «считаем по элементам = считаем по объектам».
Типичные применения:
Когда требуется найти наибольшее/наименьшее возможное значение N, полный балл даёт только связка из двух независимых частей:
1. Оценка. Доказать, что больше (меньше) нельзя: N⩽a (или N⩾a) — строгое рассуждение для любой конфигурации.
2. Пример (конструкция). Предъявить конкретную конфигурацию, на которой значение a достигается.
Если есть только оценка — это «±» (примерно половина баллов). Только пример без оценки — тоже неполно. Ответ N=a обоснован, лишь когда есть обе части.
В задачах про «правдивцев и лжецов» или перебор конфигураций действуй по чёткому плану:
1. Формализуй условие. Введи переменные: пусть T — количество правдивцев, L — количество лжецов.
2. Найди инвариант или закономерность для пар. Рассмотри, что происходит, когда общаются люди одного типа и разных типов. Составь матрицу или систему уравнений.
3. Организуй перебор по крайним случаям. Если нужно найти оценку, предполагай экстремальные значения (пусть все лжецы или пусть граф полный).
4. Докажи отсутствие других решений. Составленное уравнение обычно имеет ограничение в целых числах (например, T⩾0, L⩾0).
Часть «логических» задач ДВИ формулируется как «можно ли из состояния X получить состояние Y набором операций». Лобовой перебор тут бесполезен — состояний бесконечно много. Работает поиск инварианта.
Инвариант — величина, которая не меняется (или меняется предсказуемо: например, сохраняет чётность) при каждой разрешённой операции. Если у начального и конечного состояний значения инварианта разные — переход невозможен. Самые частые инварианты: чётность суммы/произведения, остаток по модулю, раскраска (шахматная доска).
Многие задачи про замощение доминошками, ходы фигур, перекрашивание клеток решаются раскраской доски в два цвета. Доминошка 1×2 всегда накрывает одну белую и одну чёрную клетку — это инвариант. Если в фигуре белых и чёрных клеток разное количество, замостить доминошками её нельзя.
Геометрический Дирихле (см. Пример 3) — лишь один сюжет. Не менее частый — числовой: в роли «ящиков» берут остатки по модулю.
Среди любых m+1 целых чисел найдутся два, дающих одинаковый остаток при делении на m (ящиков-остатков всего m: 0,1,…,m−1). Разность таких двух чисел делится на m.
Совет «проверь закономерность на N=3,4,5» — это лишь способ угадать ответ. Для полного балла угаданное надо доказать, и универсальный строгий инструмент здесь — математическая индукция.
1. База. Проверь утверждение при наименьшем n (обычно n=1).
2. Предположение. Допусти, что утверждение верно при n=k.
3. Шаг. Докажи, что тогда оно верно и при n=k+1 (опираясь на предположение).
4. Вывод. «По принципу математической индукции утверждение верно для всех n».
В закрытом клубе каждый участник является либо правдивцем (всегда говорит правду), либо лжецом (всегда лжёт). Каждого из участников спросили про каждого из остальных, кем он является — правдивцем или лжецом. В результате было получено 24 ответа «он лжец» и 18 ответов «он правдивец». На сколько отличается количество правдивцев от количества лжецов в этом клубе?
На плоскости нарисовано несколько окружностей. Известно, что любые две из них пересекаются ровно в двух точках. Всего на плоскости образовалось 12 различных точек пересечения. В 8 из них пересекаются ровно две окружности, а в остальных 4 точках — ровно три окружности (точек, где пересекается больше трёх окружностей, нет). Сколько окружностей нарисовано на плоскости?
В квадрате со стороной 1 бросили 51 точку. Докажи, что среди них найдутся три точки, которые можно накрыть кругом радиуса 71.
В классе 30 учеников. Английский язык изучают 18 человек, немецкий — 15, а 8 учеников изучают сразу оба языка. Сколько учеников класса не изучают ни одного из этих двух языков?
Сколько среди чисел от 1 до 100 таких, которые не делятся ни на 2, ни на 3, ни на 5?
На доске выписаны все натуральные числа от 1 до 2025. За один ход разрешается стереть любые два числа a и b и вместо них записать их модуль разности ∣a−b∣. После 2024 таких ходов на доске останется одно число. Может ли это число быть чётным?
Докажи, что среди любых 12 целых чисел найдутся два, разность которых делится на 11.
Докажи, что при любом натуральном n число n3+2n делится на 3.
Найди член разложения (x+x21)9, не содержащий x.
Из чисел 1,2,…,30 выбрали несколько так, что никакие два выбранных числа не дают в сумме 31. Какое наибольшее количество чисел можно выбрать?
На острове живут рыцари (всегда говорят правду) и лжецы (всегда лгут). Встретились два жителя, A и B. Житель A сказал: «Хотя бы один из нас двоих — лжец». Кто из них рыцарь, а кто лжец?
ДВИ проверяют по outcomes-рубрике: за каждую задачу ставят полный балл, «±» (частично) или 0. «±» обычно означает, что идея верна, но доказательство неполно. Чтобы получить полный балл, оформляй решение по эталону ниже.
1. Введи обозначения и модель. Явно: «Пусть T — число правдивцев…», «Обозначим A — множество…». Без введённых переменных рассуждение нечитаемо.
2. Сформулируй ключевой шаг словами. «Посчитаем число пар двумя способами», «Рассмотрим инвариант — чётность суммы». Проверяющий должен видеть метод, а не угадывать его.
3. Для задач на max/min — отдельно «Оценка» и отдельно «Пример». Подпиши эти части. Оценка без примера — это «±».
4. Доведи до числа и проверь ограничения. Отбрось посторонние корни (S=−6, n=−4 — отрицательное число людей/окружностей невозможно), укажи, почему оставшийся ответ единственный.
5. Запиши явный ответ. Отдельной строкой «Ответ: …». Для задач «докажите» — «Утверждение доказано».
Ошибка: В задаче вида «найдите наибольшее/наименьшее значение...» доказать неравенство (оценку) и сразу записать ответ.
Правильно: Обязательно привести конкретный пример конфигурации (чисел, графа, множества), при котором достигается найденное значение. Метод называется «Оценка + Пример». Без примера решение считается неполным и теряет половину баллов.
Ошибка: Использовать сочетания Cnk, когда порядок элементов имеет значение (например, выбор капитана и заместителя из команды).
Правильно: Задавай себе проверочный вопрос: «Изменится ли результат, если я поменяю выбранные элементы местами?». Если да — это размещения (Ank), если нет — сочетания (Cnk).
Ошибка: Применить Cn+k−1k−1, когда по условию все слагаемые должны быть строго положительными (например, «раздать конфеты так, чтобы каждому досталось хотя бы по одной»), или наоборот.
Правильно: Сначала чётко определи, разрешены ли нулевые слагаемые. Нули разрешены — формула Cn+k−1k−1. Каждому нужно ⩾1 — формула Cn−1k−1 (или сначала «выдай по одной всем», уменьшив n на k, и сведи к неотрицательному случаю).
Ошибка: Смешать упорядоченные и неупорядоченные пары. В П1 каждая пара даёт два ответа (каждый оценивает каждого) — легко по ошибке посчитать один и потерять множитель 2.
Правильно: Заранее реши, считаешь ли ты упорядоченные пары (тогда их n(n−1)) или неупорядоченные (Cn2), и держись этого выбора во всём решении.
Ошибка: Перепутать сильную и слабую формы: из n>m заключить, что «в каком-то ящике ⩾⌈n/m⌉», хотя n>m даёт лишь ⩾2; либо неверно округлить ⌈n/m⌉.
Правильно: Для гарантии «⩾k» проверяй обобщённую форму: нужно, чтобы предметов было больше (k−1)⋅m. В П3: чтобы попало ⩾3, нужно >2⋅25=50 точек; у нас 51 — годится.