Чем гарантия отличается от возможности
Из коробки с красными и синими шарами можно получить пару одного цвета уже за два вытягивания — если повезёт. Но гарантировать пару за два нельзя: первый шар может быть красным, второй синим. Третий обязательно совпадёт по цвету с одним из первых.
Поэтому вопрос нужно читать буквально. «Можно получить» просит привести хотя бы один удачный сценарий. «Гарантированно получить» требует результата при любом допустимом порядке.
Как построить худший сценарий
Представьте противника, который каждый раз выдаёт самый неудобный предмет, но не нарушает условие. Если нужны три носка одного цвета при двух цветах, противник сначала даст два чёрных и два белых. Лишь пятый носок неизбежно создаст тройку.
Для нескольких категорий распределяйте предметы максимально равномерно, не позволяя целевой группе образоваться. Когда продолжить такой расклад уже невозможно, следующий выбор даёт гарантию.
Где метод особенно полезен
Крайний случай работает в задачах про предметы в мешке, рассадку, деление ресурсов и минимальное число попыток. Он также помогает проверить формулы: подставьте ноль, единицу, максимум или самый несимметричный вариант и посмотрите, сохраняется ли вывод.
Не путайте худший случай с маловероятным. Даже если неудобный расклад встречается редко, одного его существования достаточно, чтобы прежняя гарантия оказалась неверной.
Коротко о частом
Вопросы и ответы
Всегда ли нужно прибавлять один?
Часто, но не автоматически. Сначала докажите максимальный размер расклада без нужного результата; следующий шаг действительно даст гарантию.
Это тот же принцип Дирихле?
Да, многие такие задачи являются наглядными применениями принципа Дирихле: если объектов больше, чем доступных групп, одна группа получит несколько объектов.