Формулы включения-исключения

Комбинаторика. Правила суммы и произведения, формула включения и исключения, примеры применения. Сочетатания, перестановки, размещения, числа Стирлинга первого и второго рода, комбинаторный смысл этих чисел.

Совокупность Формулы включения-исключения - student2.ru подмножеств множества X называется покрытием множества X если Формулы включения-исключения - student2.ru , Формулы включения-исключения - student2.ru -блок покрытия.

Совокупность подмножеств множества X называется разбиением множества X, если

1. Формулы включения-исключения - student2.ru 2. Формулы включения-исключения - student2.ru 3. Формулы включения-исключения - student2.ru

Правило суммы.Если Формулы включения-исключения - student2.ru разбиение множества X, то Формулы включения-исключения - student2.ru

Док-во.(по индукции)

База: m=2. Формулы включения-исключения - student2.ru => Формулы включения-исключения - student2.ru

Шаг индукции: k→k+1

X= Формулы включения-исключения - student2.ru

|Х|= Формулы включения-исключения - student2.ru = Формулы включения-исключения - student2.ru

Ч. Т. Д.

Пример 1.X- n-множество, Y- k-множество, Формулы включения-исключения - student2.ru . Обозначим Формулы включения-исключения - student2.ru число k-подмножеств Y в множестве X.

1. Формулы включения-исключения - student2.ru 2. Формулы включения-исключения - student2.ru 3. Формулы включения-исключения - student2.ru

C – семейство k-подмножеств, множества X. Формулы включения-исключения - student2.ru

Разделим C на два класса. В класс С1 запишем те k-подмножества Y, которые содержат элемент a Формулы включения-исключения - student2.ru . В класс С2 запишем все k-множества Y, которые не содержат а: Формулы включения-исключения - student2.ru .

Формулы включения-исключения - student2.ru

Пример 2:

Формулы включения-исключения - student2.ru число способов выбора k элементов из X, среди которых нет двух соседних

Формулы включения-исключения - student2.ru , Формулы включения-исключения - student2.ru

Все выборки разделим на два класса:

1. Содержит Формулы включения-исключения - student2.ru

2. Не содержит Формулы включения-исключения - student2.ru

тогда Формулы включения-исключения - student2.ru

Правило произведения

Для любых конечных множеств Формулы включения-исключения - student2.ru справедливо равенство Формулы включения-исключения - student2.ru

Доказательство по индукции:

Шаг индукции k=2

Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru

Формулы включения-исключения

Характеристическая функция подмножества Y из множества X определяется:

Формулы включения-исключения - student2.ru

Теорема: Пусть Формулы включения-исключения - student2.ru -совокупность подмножеств множества X, Формулы включения-исключения - student2.ru . Тогда Формулы включения-исключения - student2.ru

J пробегает все непустые подмножества множества I

Доказательство: Будем опираться на 2 тождества

1. Формулы включения-исключения - student2.ru Формулы включения-исключения - student2.ru

2. Понятие характеристической функции

Формулы включения-исключения - student2.ru

Доказательство: посчитаем вклад Формулы включения-исключения - student2.ru в правую и левую часть доказанной формулы.

Обозначим Формулы включения-исключения - student2.ru , тогда Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru

Просуммируем формулу по Формулы включения-исключения - student2.ru , т.к. формула только для фиксированного x.

Формулы включения-исключения - student2.ru Формулы включения-исключения - student2.ru

Учитывая, что по свойству характеристической функции Формулы включения-исключения - student2.ru

получаем Формулы включения-исключения - student2.ru . Заметим, что формула принимает более простой вид, когда

I={1,2,…,n} : Формулы включения-исключения - student2.ru

В частности для n=2

Формулы включения-исключения - student2.ru

Пример: Задача о беспорядках.Подстановка Формулы включения-исключения - student2.ru называется беспорядком, если у нее нет неподвижных точек, т.е. Формулы включения-исключения - student2.ru . Рассмотрим Формулы включения-исключения - student2.ru -группу подстановок, Формулы включения-исключения - student2.ru . Посчитаем количество беспорядков в ней. Обозначим Формулы включения-исключения - student2.ru -число беспорядков в Формулы включения-исключения - student2.ru . Формулы включения-исключения - student2.ru . Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru Заметим, что Формулы включения-исключения - student2.ru . Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru

Перестановка без повторений – это размещение из m элементов по m без повторений.

Формулы включения-исключения - student2.ru

Перестановка с повторением.Пусть имеются k предметы различных типов. Предметов первого типа - Формулы включения-исключения - student2.ru штук, второго - Формулы включения-исключения - student2.ru и т. д. Формулы включения-исключения - student2.ru . Если бы все предметы были различны, то число перестановок было бы n!. Рассмотрим перестановку вида Формулы включения-исключения - student2.ru (*). Элементы первого типа можно переставлять друг с другом Формулы включения-исключения - student2.ru способами, при этом общая перестановка не меняется. Аналогично для Формулы включения-исключения - student2.ru . Получим, что элементы перестановки (*) можно переставлять друг с другом Формулы включения-исключения - student2.ru способами (т.к. перестановки элементов первого типа, второго и т.д. можно делать независимо друг от друга). Значит, число различных перестановок с повторениями будет Формулы включения-исключения - student2.ru

Сочетанием без повторений из n по k называется набор k элементов, выбранных из данных n элементов. Составим сначала все k сочетания из n элементов. Переставим входящие в каждое сочетание элементы всеми возможными способами, и получим, что из каждого k-сочетания можно получить k! штук k-размещений.

Формулы включения-исключения - student2.ru

Сочетания с повторениями.Пара Формулы включения-исключения - student2.ru состоящая из множества X, где Формулы включения-исключения - student2.ru и неотрицательной функции Формулы включения-исключения - student2.ru где Формулы включения-исключения - student2.ru , называется k-мультимножеством, если Формулы включения-исключения - student2.ru Формулы включения-исключения - student2.ru . Формулы включения-исключения - student2.ru называется кратностью вхождения элемента x в k-мультимножество Формулы включения-исключения - student2.ru . Носителем мультимножества Формулы включения-исключения - student2.ru называется множество элементов Формулы включения-исключения - student2.ru , для которых Формулы включения-исключения - student2.ru .

Формулы включения-исключения - student2.ru -количество k-мультимножеств на n-множестве.

Пусть Формулы включения-исключения - student2.ru . Надо посчитать количество решений уравнения Формулы включения-исключения - student2.ru .

Каждому решению поставим в соответствие элемент из Формулы включения-исключения - student2.ru Формулы включения-исключения - student2.ru . Всего k едениц и n-1 нулей. Задача свелась к нахождению количества способов расстановки n-1 нулей k+n-1 мест Формулы включения-исключения - student2.ru

Числа Стирлинга 2-го рода.Пусть |Y|=m. Разбиваем на k блоков. Рассмотрим неупорядоченное разбиение. Обозначим через S(m,k) число неупорядоченных разбиений множества Y на k блоков.

S(m, k ) – числа Стирлинга 2-го рода. Пусть S(0,0) = 1

Возьмем k>m.

Формулы включения-исключения - student2.ru , Формулы включения-исключения - student2.ru

Формулы включения-исключения - student2.ru

Возьмем 2 < k < m и выведем рекуррентную формулу. Возьмем Формулы включения-исключения - student2.ru - фиксируем. Формулы включения-исключения - student2.ru полученное множество надо разбить на k блоков. S(m-1, k ) и помещаем элемент а в любой из этих блоков Формулы включения-исключения - student2.ru . Если элемент a образует блок , состоящий из одного элемента, тогда для остальных k-1 блоков Формулы включения-исключения - student2.ru . Формулы включения-исключения - student2.ru

Наши рекомендации