- •«Дискретная математика»
- •Множества и отношения Тема 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 , k )-выборка, в которой элементы могут повторяться, называется ( n , k )-размещением с повторениями.
Иными словами, размещениями с повторениями из n элементов по k называют векторы длины k, составленные из n элементов множества X .
Число размещений с повторениями
из n
элементов по k определяется
оценкой соответствующего декартова
произведения Х k
n
-элементного множества,
обозначается
(по-видимому
от английского слова Assing
— назначать) и вычисляется
следующим образом:
Таким образом, первый элемент вектора длины k выбирается n способами, второй — n способами и т. д.: n · n · ... · n = nk .
Пример. Сколькими способами можно оснастить две различные фирмы компьютерами трех типов?
Каждый способ оснащения есть выборка (3, 2), вектор длины 2, составленный из трехэлементного множества типов Т = { t 1 , t 2 , t 3 }. Поэтому число способов оснащения — число размещений с повторениями из 3 по 2:
Рассмотрим подробнее:
1) ( t 1 , t 1 ); 2) ( t 1 , t 2 ); 3) ( t 1 , t 3 )
4) (t2 ,t2 ); 5) (t2 ,t3 ); 6) (t2 ,t1 );
7) (t3 , t3 ); 8) (t3 , t2 ); 9) (t3 , t1 ).
Получили различные упорядочения двухэлементных векторов из трех элементного множества, т. е. множество Т2 .
Здесь каждый вектор соответствует способу оснащения. Видно, что, например, ( tl , t 2 ), ( t 2 , t 1 ) считаются разными способами, так как фирмы предполагаются различными («первая — первым типом», «вторая — вторым» и т. д.). Имеются повторения: ( tl , t 1 ), ( t 2 , t 2 ), ( t 3 , t 3 ).
В ряде задач необходимо определить число векторов длины k из n элементов данного множества без повторения элементов.
Если элементы упорядоченной ( n , k )-выборки попарно различны, то они называются ( n , k )-размещением без повторений или просто ( n , k )-размещением.
Число таких размещений без повторений обозначается .
Каждое ( n , k )-размещение без повторения является упорядоченной последовательностью длины k , элементы которой попарно различны и выбираются из множества с n элементами. Тогда первый элемент этой последовательности может быть выбран n способами, после каждого выбора первого элемента последовательности второй элемент может быть выбран ( n – 1)-способами и т. д., k -й элемент выбирается n – ( n – k )-способом:
Преобразуем эту формулу, умножая и деля ее на произведение чисел 1 · 2···( n – k ):
В частности, при k
= 0
Очевидно,
что при
Пример. Сколькими способами можно скомплектовать группу из трех студентов для прополки клубники в составе начальника и подчиненных?
Речь идет о выборе упорядоченных двухэлементных подмножеств множества студентов, состоящего из трех элементов (К = {1, 2, 3}), т. е. о размещениях без повторений из трех элементов по 2, поэтому:
Подробнее в виде векторов из номеров студентов (например, по журнальному списку) первая компонента которого обозначает номер студента-начальника, вторая — подчиненного:
(1,2), (1,3), (2,1), (2,3), (3,1), (3,2).
Ясно, что здесь существенен порядок следования компонентов и не может быть повторений (один студент не может быть начальником и подчиненным одновременно), поэтому это множество — подмножество декартового произведения.
