- •Дискретная математика
- •Введение
- •1. Введение в теорию множеств
- •1.1. Множества
- •Основные понятия
- •Операции над множествами
- •Свойства операций объединения и пересечения
- •1.2. Отношения
- •1.2.1. Бинарные отношения. Основные определения
- •1.2.2. Свойства бинарных отношений
- •2. Теория графов
- •2.1. Основные понятия
- •2.2. Способы задания графов
- •2.4. Сети и их свойства1
- •3. Введение в математическую логику
- •3.1. Логика высказываний
- •3.1.1. Высказывания
- •3.1.1.1. Понятие высказывания
- •2.1.1.2. Логические связки
- •1.1.3. Условные высказывания
- •1.1.4. Эквивалентные высказывания
- •3.1.2. Аксиоматические системы
- •3.1.2.1. Умозаключения
- •3.1.3. Полнота в логике высказываний
- •3.1.3.1. Эквивалентные замены логических связок
- •3.2. Логика предикатов
- •3.2.1. Определение предиката
- •3.2.2. Кванторы. Их свойства и применение
- •3.2.2.1. Квантор всеобщности и квантор существования
- •4. Прикладная теория алгоритмов
- •4.1. Алгоритм: определение и основные свойства
- •4.2. Реализация управляющих алгоритмов
- •4.3. Формализация понятия алгоритма
- •4.4. Машина Тьюринга
- •4.5. Свойства машины Тьюринга
- •4.6. Реализация машины Тьюринга
- •4.7. Формальные системы и алгоритмы.
- •5. Комбинаторный анализ
- •5.1. Основное правило комбинаторики
- •5.2. Правило суммы
- •5.3. Правило прямого произведения
- •5.4. Перестановки
- •5.5. Число различных k-элементарных подмножеств n-элементарного множества
- •5.6. Число подмножеств данного множества
- •5.7. Размещение элементов множества
- •5.7. Размещения с повторениями
- •5.8. Размещения без повторений
- •5.9. Комбинации элементов с повторениями
- •6. Языки и грамматики
- •6.1. Основные определения
- •6.2. Формальные грамматики
- •6.3. Грамматики с ограничениями на правила
- •6.4. Способы записи синтаксиса языка
- •Метаязык Хомского
- •Метаязык Хомского-Щутценберже
- •Бэкуса-Наура формы (бнф)
- •Список рекомендуемой литературы
5.4. Перестановки
При составлении размещений без повторений из п по k мы получали расстановки, отличающиеся друг от друга либо составом, либо порядком элементов. Но если брать расстановки, которые включают все п элементов, то они могут отличаться друг от друга лишь порядком входящих в них элементов. Такие расстановки называются перестановками из п элементов, а их число обозначается Рn Следовательно, число перестановок равно Рп = =п!. Перестановки элементов 1,2,..., п записывают и в матричной форме , где верхняя строка - это порядковые номера 1, 2,..., п позиций элементов в перестановке; нижняя строка - тот же набор чисел 1, 2,..., п, взятых в каком-либо порядке; - номер элемента на j-м месте перестановки. Порядок столбцов в перестановках, записанных в матричной форме, не является существенным, так как в этом случае номер позиции каждого элемента в перестановке указывается явно в верхней строке. Например, перестановка (3,2,4,1) из четырех элементов может быть записана как , , и т.д.
Пример:
Сколькими способами можно расположить на шахматной доске 8 ладей, чтобы они «не били» друг друга?
Решение: Условие «не могли бить» означает, что на каждой горизонтали и вертикали может стоять лишь одна ладья. Ввиду этого, каждому расположению ладей на доске соответствует перестановка . Верхняя строка перестановок – это номера горизонталей, нижняя - вертикалей, пересечение которых определяет положение ладей на доске. Следовательно, число расстановок равно числу перестановок Р8 = 8! из 8 элементов.
5.5. Число различных k-элементарных подмножеств n-элементарного множества
Посмотрим теперь, сколько существует разных подмножеств из k элементов в множестве, состоящем из п элементов (k < п).
Теорема Число различных k-элементных подмножеств n-элементарного множества равно
,
где сокращение п! = п * (п - 1) * ... * 3 * 2 * 1 называется факториалом числа n (читается n-факториал). Причем 0! = 1. А сокращение .
Доказательство. Чтобы построить k-элементное подмножество множества А, необходимо к (k - 1)-элементному множеству присоединить один из п - k + 1 элементов, которые не входят в это подмножество. Поскольку число (k - 1)элементных подмножеств равно , И каждое из этих подмножеств можно сделать k-элементным п - k + 1 способами, по основному правилу комбинаторики получаем число * (n - k + 1) подмножеств. Однако не все эти подмножества будут различными, поскольку любое k-элементарное подмножество можно также построить k способами. Следовательно,
Поскольку – число одноэлементных подмножеств множества А – равно n, то
Теорема доказана.
Произвольное k-элементное подмножество множества А называется комбинацией, или выборкой, а число – числом комбинаций или сочетаний из n элементов по k элементов.
Рис. 5.2.
Биномиальные коэффициенты имеют интересную геометрическую интерпретацию. Пусть имеем прямоугольную шахматную доску размером m на n, размещенную на координатной плоскости. Эта доска состоит из m*n элементарных квадратов, разделенных n - 1 горизонтальной линией и m - 1 вертикальной. Определим, сколькими разными самыми короткими путями можно попасть из точки (0, 0) в точку (m, n) на этой доске.
Каждый самый короткий путь, ведущий из точки (0, 0) в точку (m,n), состоит, очевидно, из m + n сторон элементарных квадратов, среди которых m горизонтальных и n вертикальных. Эти пути отличаются между собой только 1 числом вертикальных и горизонтальных сторон. Значит, общее количество путей равно числу способов, какими из т + n сторон можно выбрать n вертикальных, т.е. это число равно .
Заметим, что можно было бы вести подсчет не по вертикальным сторонам,
а по горизонтальным. То есть, существует различных самых коротких путей и, следовательно, справедливо равенство:
.
Данное равенство имеет название «формула симметрии».
Из этой формулы имеем следствие:
,
имеющее название «формула сложения». Докажем данное следствие.
Доказательство:
следствие доказано.
Пример:
Сборная команда университета по волейболу насчитывает 15 человек. Сколько разных вариантов должен рассмотреть тренер перед игрой, чтобы заявить список игроков на игру?
Решение: Число игроков волейбольной команды равно шести. Значит, число всех возможных вариантов - это число различных подмножеств, состоящих из шести элементов в множестве из пятнадцати элементов. Следовательно, по теореме 2 имеем
.