Наиболее важными типами комбинаторных объектов являются перестановки, сочетания и подмножества данного множества.
Начнем с перестановок. Применим метод уменьшения размера к задаче о генерации всех n! перестановок множества {1,...,n}. Задача меньшего на единицу размера состоит в генерации всех (n-1)! перестановок. Мы можем получить решение большей задачи путем вставки n в каждую из n возможных позиций среди (n-1) элементов каждой из перестановок. Все получаемые таким образом перестановки будут различны, а их общее количество будет равно n(n-1)!=n!. Следовательно, таким образом мы получим все перестановки множества {1,...,n}.
К задаче о генерации подмножеств также непосредственно применим метод уменьшения размера на единицу.
Все подмножества множества A={a1,...,an} можно разделить на две группы — те, которые содержат элемент an, и те, которые не содержат его. Первая группа представляет собой не что иное, как все подмножества множества {a1,...,an-1}, в то время как все элементы второй группы можно получить путем добавления элемента an к подмножествам множества {a1,...,an-1}. Следовательно, мы можем получить все подмножества множества A, объединяя список всех подмножеств множества {a1,...,an-1} с аналогичным списком, в в котором к каждому подмножеству добавлен элемент an.
Более простой способ решения поставленной задачи основан на взаимно однозначном соответствии между всеми 2n подмножествами n-элементного множества A={a1,...,an} и всеми 2n битовыми строками b1,...,bn длиной n. Если bi=1, то ai включен в подмножество, иначе ai не входит в множество. Например, строка 101 представляет подмножество {a1,a3}. Используя такое соответствие, мы можем сгенерировать все битовые строки длиной n, просто перебирая последовательно двоичные числа от 0 до 2n-1.
Сочетания можно рассматривать как подмножества размером k.
Метод уменьшения размера можно применить для получения k-й перестановки или k-го подмножества и, наоборот, для получения номера заданной перестановки или подмножества.