- •«Дискретная математика»
- •Множества и отношения Тема 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. Элементы теории кодирования
- •Проблема кодирования сообщений
- •Расстояние Хемминга
- •Групповые коды
- •Хемминговы коды
Сочетания
В ряде комбинаторных задач требуется определить число k -элементных подмножеств множества из n элементов. В этом случае порядок следования компонентов несущественен, т. е. производится неупорядоченная выборка. В результате получают так называемые сочетания без повторения.
Сочетаниями без повторений из п элементов по k называются отличающиеся друг от друга хотя бы одним элементом выборки длины k , составленные из n -элементного множества.
Число сочетаний без повторений
из n
элементов по k
, обозначаемое как
определяется
исходя из числа размещений без повторений
с учетом того, что различных неупорядоченных
векторов (подмножеств исходного
множества) будет меньше в число раз,
соответствующее числу перестановок
без повторений из k
элементов:
Пример. Определить число двухэлементных подмножеств множества, состоящего из трех элементов. Перечисляем все двухэлементные подмножества множества X = { х1 , х2 , х3 }:
{х1 , х2 }, {х1 , х3 }, {х2 , х3 }.
Здесь мы имеем дело с сочетаниями из трех по 2:
Это величина в 2! раза меньше,
чем число размещений из
поскольку
компоненты двухэлементных векторов
можно переставить Р2
= 2! способами.
Пример. Сколькими способами можно выбрать 3 различных комбайна из 5 имеющихся?
Число размещений из пяти
по 3 без повторений:
Один и тот же набор комбайнов можно получить различными способами, например, векторы (а, b , с) и ( b , а, с) дают один и тот же набор. Поскольку три элемента можно переставить Р3 = 3! = 6 способами, то число способов выбора различных трех комбайнов равно
В ряде комбинаторных задач требуется подсчитывать число различных составов векторов длины k из n -элементного множества. Такие векторы-составы называются сочетаниями с повторениями из п элементов по k .
Например, требуется составить механизированные бригады из трех комплексов двух типов и определить количество таких бригад. Порядок следования комплексов в векторе бригады роли не играет, а каждая бригада задается вектором длины 3 из двух элементов, порядок компонентов которого роли не играет.
Получаем сочетания с повторениями из двух элементов по 3:
( m 1 , m 1 , m 1 ), ( m 1 , m 2, m 2 ), ( m 1 , m 1 , m 2 ), ( m 2, m 2, m 2 ),
где m означает тип комплекса.
Итак, можно построить бригаду из трех комплексов первого типа, трех комплексов второго типа, двух комплексов второго типа и одного первого и, наконец, двух комплексов первого типа и одного второго, т. е. четырьмя способами.
Определение числа сочетаний с повторениями можно произвести следующим образом.
Каждому сочетанию с повторениями из двух по 3 ставится в однозначное соответствие вектор длины n + k – 1 = 2 + 3 – 1 = 4, состоящий из трех нулей и n – 1 = 1 единицы (табл. 6).
Таблица 6
Определение числа сочетаний с повторениями
В таком случае число сочетаний
с повторениями, которое обозначается
равно
числу перестановок с повторениями
данного состава (вектор
имеет одну единицу и три нуля), т. е.
В общем случае это выражение имеет вид
что соответствует выражению
Например, требуется составить подразделения из 6 рабочих четырех специальностей и определить количество способов формирования таких подразделений.
Получаем сочетания с повторениями из четырех элементов по 6:
