- •Дискретная математика
- •Введение
- •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.6. Число подмножеств данного множества
Пусть А = {al, а2, ..., аn,} - некоторое конечное множество, элементы которого перенумерованы. При работе с конечными множествами на вычислительных машинах такие множества часто задают с помощью характеристических векторов. Пусть А' А – произвольное подмножество множества А. Характеристический вектор v(A') = ( ) для множества А определяется с помощью такого соответствия:
Например если , и , то .
Теорема. , где A’,A’’ – некоторые подмножества множества А.
Доказательство.
Пусть и - характеристические векторы множеств А' и А" соответственно. Если А' = А", то для всякого i имеем . Отсюда следует, что . Наоборот, если , то для всякого i имеем . По определению характеристического вектора, если , то принадлежит как множеству , так и множеству , а если , то элемент не принадлежит ни тому ни другому подмножеству. Отсюда следует, что подмножества А' и А"состоят из одних и тех же элементов, т.е. .
Теорема доказана.
Следствие 1: Число различных подмножеств n-элементного множества равно 2".
Действительно, поскольку число компонент характеристического вектора равно n и каждая компонента может принимать одно из двух значений 0 или 1, то число различных возможных характеристических векторов по основному правилу комбинаторики равно 2 * 2 * ... * 2 = 2".
Следствие 2:
Действительно, поскольку – число различных k-элементных подмножеств n-элементного множества, то сумма всех таких чисел составляет число всех подмножеств данного n-элементного множества.
5.7. Размещение элементов множества
Пусть дано некоторое неупорядоченное n-элементное множество А. Сколько, разных упорядоченных k-элементных подмножеств может иметь множество А? Рассмотрим два возможных варианта этой задачи:
- подмножества имеют k различных элементов;
- подмножества имеют k не обязательно различных элементов. I
Следовательно, в первом варианте задачи подмножества задаются не избыточно, а во втором, – избыточно, однако число всех различных элементов подмножества вместе с числом всех экземпляров каждого из его элементов равно k. Упорядоченное k-элементное подмножество множества А, все элементы которого различны, называется размещением без повторений, а любое упорядоченное k-элементное подмножество множества А, все k элементов которого не обязательно различны, называется размещением с повторениями. Заметим, что в первом случае , причем если k=n, то В этом случае размещение является перестановкой. Во втором случае k не обязательно должно быть меньше n, т. е. возможно, что .
Решение первого варианта задачи.
Поскольку множество А неупорядочено, то любое его k-элементное подмножество может быть упорядочено одним из k! способов, а число всех возможных различных k-элементных подмножеств множества А равно . Следовательно, число всех возможных размещений из n элементов по k равно k! , т. е. имеет место следующая теорема
Теорема.
Количество упорядоченных k-элементных подмножеств n-элементного множества, все k элементов которого различны, равно
Пример 1:
Студенту необходимо сдать три экзамена на протяжении семи дней. Сколькими способами это можно сделать?
Решение: Искомое число способов равно количеству трехэлементных упорядоченных подмножеств множества из семи элементов, т. е. существует = 7 * 6 * 5 = 210 способов.
Если известно, что последний экзамен будет сдаваться на седьмой день, то число способов равно З * = 3 * 6 * 5 = 90.
Пример 2:
Сколькими разными способами можно разместить пять студентов в аудитории, которая имеет 20 мест?
Решение: Искомое число способов равно числу размещений из 20 элементов по 5 элементов, т. е. = 20 * 19 * 18 * 17 * 16 = 1 860 480.
Решение второго варианта задачи.
Пусть B={b1, b2,..., bk} - некоторое конечное k-элементное множество, а А={а1,а2,...,аn}-n-элементное множество и f : - функция из В в А. Как известно, функцию f можно задать с помощью таблицы значений
где . Теперь нашу задачу можно сформулировать так: сколько существует функций из множества В в множество А? В такой формулировке задача решается достаточно просто.
Условимся называть кортежем длины k элементы вида (а1, а2, ... , ak), где а; - не обязательно различные элементы некоторого конечного множества А. Поскольку каждый элемент aij может быть любым элементом множества А, то число различных кортежей вида (ai1 ,ai2 ,...,aik) может быть nk.
Теорема.
Количество различных упорядоченных k-элементных подмножеств n-элементного множества, все k элементов которого не обязательно различны, равно nk .
Пример:
Сколько различных слов можно составить:
В алфавите из восьми букв.
Решение: Всех таких слов будет столько, сколько существует отображений восьмиэлементного множества в множестве из двух элементов, т.е. по теореме 28=256 слов.
В алфавите из шестнадцати букв.
Решение: В этом алфавите имеем 216=65536 слов.