- •«Дискретная математика»
- •Множества и отношения Тема 1. Основные понятия теории множеств Множества и основные операции над ними
- •Кортеж. Декартово произведение
- •Мощность множества
- •Тема 2. Элементы комбинаторики Комбинаторные вычисления
- •Основные понятия комбинаторики
- •Размещения
- •Перестановки
- •Сочетания
- •Определение числа сочетаний с повторениями
- •Бином Ньютона
- •Решение комбинаторных уравнений
- •Метод включений и исключений
- •Рекуррентные соотношения. Возвратные последовательности
- •Тема 3. Отношения на множествах Отношения. Функции. Взаимно однозначные соответствия
- •Отношения эквивалентности и разбиения. Фактор-множества
- •Отношения порядка
- •Тема 4. Элементы теории графов
- •Определение и примеры графов
- •Связность графа
- •Обзор основных задач теории графов
- •Расчет сетевого графика
- •Резервы сетевого графика
- •Сети Петри
- •Маршруты
- •Степени вершин
- •Раскраски графов
- •Планарные графы
- •Изоморфизм графов
- •Алгебра и топология Тема 1. Элементы общей алгебры Операции на множествах
- •Унарные операции алгебры поворотов квадрата
- •Группа подстановок Галуа
- •Алгебра множеств (алгебра Кантора)
- •Алгебраические системы. Решетки
- •Задание множеств конституентами
- •Задание множества а двоичным числом
- •Пересечение множеств № 12 и № 5
- •Тема 2. Булевы функции
- •Табличное задание булевых функций
- •Задание булевой функции
- •Задание булевых функций одной переменной
- •Задание булевых функций двух переменных
- •Аналитическое задание булевых функций
- •Задание булевой функции голосования
- •Полные системы булевых функций
- •Тема 3. Алгебраические системы Определения и примеры
- •Подсистемы
- •Конгруэнции. Фактор-алгебры. Теорема о гомоморфизме
- •Тема 4. Элементы общей топологии
- •Топологические пространства, сходимость к точке и направленности
- •Фильтры и ультрафильтры
- •Булевы решетки подмножеств
- •Атомы и шкалы решеток подмножеств
- •Алгебра логики Тема 1. Алгебра логики высказываний Формулы алгебры логики
- •Функции алгебры логики
- •Эквивалентность формул
- •Дизъюнктивные и конъюнктивные нормальные формы
- •Минимизация булевых функций в классе днф
- •Карты Карно
- •Логические сети Определение и реализация булевых функций
- •Схемы из функциональных элементов
- •Мультиплексоры
- •Программируемые логические матрицы
- •Тема 2. Логика предикатов Предикаты. Кванторы
- •Формулы логики предикатов
- •Правила преобразования формул логики предикатов
- •Тема 3. Элементы теории доказательств Аксиоматическая (формальная) теория. Исчисление предикатов
- •Метод резолюций
- •Хорновские дизъюнкты
- •Унификация. Метод резолюций в логике предикатов
- •Тема 4. Алгоритмы Понятие об алгоритмах. Схемы алгоритмов Понятие об алгоритме и теории алгоритмов
- •Схемы алгоритмов
- •Описание символов, используемых в схемах алгоритмов
- •Неразрешимые алгоритмические проблемы
- •Конечные автоматы и регулярные языки Тема 1. Синтаксис языков Алфавит, слово, язык
- •Классификация грамматик и языков
- •Регулярные языки и регулярные выражения
- •Тема 2. Переключательные функции и способы их задания Понятие о переключательных функциях
- •Некоторая трехзначная переключательная функция двух переменных
- •Трехзначная пф «дизъюнкция а, b »
- •Трехзначная пф «сумма a, b по модулю 3»
- •Трехзначная пф «а плюс 1 по модулю 3 — циклический сдвиг а»
- •Двоичные переключательные функции и способы их задания
- •Одномерная таблица истинности некоторой функции
- •Двухмерная таблица истинности
- •Основные бинарные логические операции
- •Бинарная конъюнкция
- •Бинарная конъюнкция
- •Бинарная дизъюнкция
- •Бинарная инверсия
- •Импликация
- •Эквиваленция
- •Функциональная полнота систем переключательных функций
- •Линейные функции двух переменных
- •Базисы представления переключательных функций
- •Переключательные функции от трех аргументов
- •Векторы переключательных функций
- •Вектор свойств пф
- •Цель минимизации переключательных функций
- •Тема 3. Элементы теории конечных автоматов Основные определения теории конечных автоматов
- •Понятие о технической интерпретации конечных автоматов
- •Синтез комбинационных автоматов в заданном базисе Синтез комбинационных автоматов
- •Синтез переключательной схемы
- •Синтез в базисе и, или, не
- •Синтез методом каскадов
- •Синтез в базисах и-не, или-не
- •Элементарные автоматы памяти на основе комбинационного автомата и задержки
- •Первичная таблица переходов-выходов
- •Синтез автомата-распознавателя последовательности
- •Первичная таблица переходов-выходов распознавателя 0-1-3-2
- •Тема 4. Элементы теории кодирования
- •Проблема кодирования сообщений
- •Расстояние Хемминга
- •Групповые коды
- •Хемминговы коды
Перестановки
Рассмотрим различные упорядочения n -элементного множества X (вектора длины n , составленные из n -элементного множества). В отличие от декартова произведения полученные при этом векторы отличаются лишь порядком следования элементов и называются перестановками без повторений из п элементов . Число перестановок без повторений из n элементов обозначается Р n . К перестановкам без повторений можно прийти, полагая, что осуществляется размещение без повторений из n элементов по n :
Считается, что 0! = 1.
Пример. Сколько существует возможных последовательностей выполнения проверок финансовой деятельности трех подразделений?
Требуется получить число перестановок без повторений из трех элементов, т. е. Р3 = 3! = 6.
Получим все эти последовательности:
(1,2,3), (1,3,2), (2,3,1), (2,1,3), (3,1,2), (3,2,1).
Пример. Сколько можно составить пятизначных шифров-чисел, не кратных 5, из цифр 1, 2, 3, 4, 5 без повторений цифр?
Всего из пяти цифр можно составить Р5 = 5! = 120 пятизначных шифров-чисел, но они будут включать и кратные 5. Сколько будет шифров, кратных 5? — Из данного набора чисел кратными 5 могут быть числа, содержащие 5 в младшем разряде. Если цифру 5 записать в младшем разряде, то остальные цифры 1, 2, 3, 4 можно распределить по разрядам Р4 = 4! = 24 способами. Таким образом, число пятизначных шифров из чисел 1, 2, 3, 4, 5 без повторения чисел и не кратных 5 будет 120 – 24 = 96.
Перестановки без повторений можно интерпретировать как различные варианты векторов, состоящих из неповторяющихся компонентов, получаемые перестановкой компонентов.
По аналогии при наличии одинаковых компонентов в некотором векторе получаем задачу оценки так называемых перестановок с повторениями данного состава.
Рассмотрим вначале пример: сколько различных последовательностей-кодов можно получить, переставляя цифры в числе 010, т. е. векторов длины k = 3 из двухэлементного множества В = {0,1}, содержащих два нуля.
Имеется всего три разряда, которые обозначим р1 , р2 , р3 . Их можно переставить р3 = 3! = 6 способами. Запишем различные получаемые сочетания разрядов и соответствующие коды:
Видно, что коды повторяются тогда, когда несущественен порядок следования разрядов с одинаковой цифрой 0 (р1 , р3 ). Все это соответствует тому факту, что имеются два способа (2!) перестановки этих разрядов ( pl , p 3 ), (р3 , p 1 ) без изменения кода, т. е. неповторяющихся кодов будет меньше во столько раз, сколько имеется способов перестановки повторяющихся разрядов.
Рассмотрим более сложный случай.
Сколько различных «слов», не обязательно имеющих смысл, можно получить, переставляя буквы в слове «кишмиш»?
Здесь шесть букв слова можно переставить друг с другом р6 = 6! = 720 способами, но в данном слове буквы «и» и «ш» повторяются дважды, и при их перестановке слова могут повторяться. Сколько же существует вариантов перестановок этих букв без изменения слова? Первый вариант — исходный, второй — поменять местами буквы «и», третий — поменять местами буквы «ш», четвертый — поменять местами как буквы «и», так и буквы «ш». Всего четыре варианта. С учетом того, что эти четыре варианта участвуют в порождении 720 способов, получим 720/4 = 180 различных «слов». Можно показать, что число раз, во сколько уменьшается количество слов по сравнению с числом перестановок без повторений, представляет собой произведение факториалов количества повторяющихся букв.
Таким образом, если из n элементов множества X = {х1 , х2 , ..., х n } составлен вектор V длины k , причем каждому i -му компоненту можно поставить в соответствие число ki , указывающее его число повторений в V , то задан вектор S = ( k 1 , k 2 , ..., kn ), который называется составом данного вектора.
Так, для X = {0, 1, 2, 3} и V = (010223) состав: S = (2, 1, 2, 1).
Векторы одного и того же состава, отличающиеся лишь порядком компонентов, называются перестановками с повторениями данного состава.
Общая формула числа перестановок с повторениями данного состава имеет вид
Пример. Сколько различных кодовых последовательностей можно получить перестановками кода 102202030?
Такому вектору, составленному из элементов множеств {0, 1, 2, 3}, соответствует вектор состава (1, 4, 3, 1), поэтому число различных кодовых комбинаций определяется как число перестановок с повторениями этого состава
