5.4 Метод включения-исключения.

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

Теорема. =

Доказательство.

1. Рассмотрим элемент обладающий ровносвойствами. Такой элемент войдет втолько прии в суммебудет считаться единственный раз. Поэтому элементы, обладающие ровно свойствами, будут входить в сумму по одному разу.

2. Рассмотрим элементобладающий ровносвойствами,.Тогда вони будут входить приа вони войдутраз. Тогда общее число вхождений такого элементаесть

Таким образом, из 1 и 2 следует требуемое свойство.

Пример 1. Подсчитать число перестановок, оставляющих на месте ровно элементов.

Решение. Вводим множество всех перестановок элементов. Вводимn свойств :-тый элемент при перестановкеостается на месте. Тогда число перестановок, оставляющих на месте ровноэле­ментов, есть:

где N() — число перестановок, оставляющих на ме­сте -ый,-ой,…,-ый элементы, и это число есть очевидно,(n-k)!, а число слагаемых в суммеесть. Поэтому искомое число есть

Здесь

И при больших получим ассимтотическую формулу

Пример 2. Найти число чисел взаимно простых с данным . Обозначим это число через(так называемая функция Эйлера).

Решение. Введем множество натуральных чисел 1, 2,..., т и введем свойства , гдеозначает, что число делится на про­стое число. Тогда числа взаимно простые с т есть числа, которые не обладают ни одним из свойств , т.е. обла­дают 0 свойствами, и поэтому искомое число есть

где есть число чисел, делящихся на , и поэтому это числа, представленные в виде

где множитель h изменяется 1,2,Поэтому =

и тогда ==

Пример 3. Найти число способов раскладки m различных шаров по n различным урнам, при которых ровно урн пусты.

Решение. Введем множество различных раскладок m различных ша­ров по n различным урнам, т.е. упорядоченных наборов m эле­ментов из множества {1,2,..., n} n-элементов с возможными повторениями. Введем свойства раскладок.—i-ая урна пуста. Тогда искомое число есть— ровно урн пусты.

— число раскладок, при которых ая,ая,ая урны пусты и это число, как нетрудно видеть, есть. Поэтому

Упражнения.

1. Имеется колода карт четырех мастей по n карт каждой масти. Берут карт. Найти число комбинаций, в которых имеются все масти.

2. Бросают различных игральных кубиков. Найти число комбина­ций, когда имеются все цифры.

3. Найти число квадратных двоичных матриц размера nn, в каждой строке которых содержится хотя бы один ноль.

4. Найти число двоичных матриц размера n в строках, кото­рых содержатся все двоичные слова длины m.

5. Составляют n-значные числа из цифр 1,2,3,4. Найти число чисел, в

которых имеются все цифры.

5.5 Основы метода производящих функций.

Пусть имеется некоторая последовательность целых положительных чисел:

Производящей функцией последовательности называют формальный ряд

Пример 1. Рассмотрим последовательность где— число неупорядоченных наборов без повторений i элементов из n имеющихся. Тогда

но, с другой стороны, рассмотрим функцию и рас-

кроем в ней скобки, тогда коэффициент при есть число выборовi скобок из n имеющихся, в которых брали t, а в остальных 1. Таким образом, =

Тогда

Пример 2. Производящая функция последовательности неупорядочен­ных наборов с повторениями где — число неупорядо­ченных наборов с возможными повторениями i элементов из п имеющихся,

Но, с другой стороны, рассмотрим функцию

и раскроем в ней скобки, тогда коэффициент при равен числу решений уравнения

в целых числах, что и является числом. Поэтому

=

Пример 3. Производящая функция последовательности неупорядочен­ных наборов i элементов из n данных, где только первый элемент может повториться раз.

В частности производящая функция последовательности неупорядочен­ных наборов, где только первый элемент может повторяться, есть

=.

Здесь во второй строке применена формула Лейбница для производной про­изведения.

Пример 4. Производящая функция последовательности перестановок из n элементов 1,2,... ,п с определенным числом инверсий

Вектором инверсий перестановки называют n -компонентный вектор, где i-ая его компонента равна числу чисел больших i, стоящих левее i в перестановке .