В
комбинаторике
сочетанием
из
по
называется набор из
элементов, выбранных из
-элементного
множества
, в котором не учитывается порядок элементов.
Соответственно, сочетания, отличающиеся только порядком следования элементов (но не составом), считаются одинаковыми — этим сочетания отличаются от
размещений
. Так, например, 3-элементные сочетания 2 и 3 (
(нестрогие) подмножества
, для которых
) из 6-элементного множества 1 (
) являются одинаковыми (в то время как размещения были бы разными) и состоят из одних и тех же элементов 1.
В общем случае
всех возможных
-элементных подмножеств
-элементного множества стоит на пересечении
-й диагонали и
-й строки
треугольника Паскаля
.
Двумерной производящей функцией чисел сочетаний является
Сочетания с повторениями
Сочетанием с повторениями
из
по
называется такой
-элементный набор из
-элементного множества, в котором каждый элемент может участвовать несколько раз, но в котором порядок не учитывается (
мультимножество
). В частности, число
монотонных
неубывающих функций из множества
в множество
равно числу сочетаний с повторениями из
по
.
Число сочетаний с повторениями из
по
равно:
Доказательство
Пусть имеется
типов объектов, причём объекты одного типа неотличимы. Пусть имеется неограниченное (или достаточно большое, во всяком случае, не меньше
) число объектов каждого типа. Из этого ассортимента выберем
объектов; в выборке могут встречаться объекты одного типа, порядок выбора не имеет значения. Обозначим через
число выбранных объектов
-го типа,
,
. Тогда
. Но число решений этого уравнения легко подсчитывается с помощью
метода шаров и перегородок
: каждое решение соответствует расстановке в ряд
шаров и
перегородок так, чтобы между
-й и
-й перегородками находилось ровно
шаров. Но таких расстановок в точности
, что и требовалось доказать.
■