- •1.3.6. Экстремальные характеристики отношения
- •3.2.3. Связь между исчислением высказываний и алгеброй
- •3.2.4. Основные результаты исследования исчисления
- •Предисловие
- •1.1. Понятие компьютинга и дискретной математики
- •1.2. Теория множеств
- •1.2.1. Основные понятия теории множеств
- •1.2.2. Способы задания множеств
- •1.2.3. Операции над множествами
- •1.2.4. Свойства операций над множествами
- •1.2.5. Аксиоматика теории множеств
- •1.3. Бинарные отношения и их свойства
- •1.3.1. Декартово произведение и бинарное отношение
- •1.3.2. Функции и операции
- •1.3.3. Способы задания бинарных отношений
- •1.3.4. Свойства бинарных отношений
- •1.3.5. Типы бинарных отношений
- •1.3.7. Отношение толерантности
- •1.3.8. Операции над отношениями
- •Контрольные вопросы и задания
- •2.1. Фундаментальные алгебры
- •2.2. Алгебра высказываний
- •2.3. Формализация логических высказываний
- •2.4. Таблицы истинности сложных высказываний
- •2.5. Равносильности алгебры высказываний
- •2.6. Булевы функции
- •2.7. Формы представления логических функций
- •2.7.1. Дизъюнктивные нормальные формы
- •2.7.2. Конъюнктивные нормальные формы
- •2.8.1. Законы алгебры Буля
- •2.8.2. Упрощение логических функций
- •2.8.3. Метод Квайна – МакКласки
- •2.9.1. Теорема о полноте системы булевых функций
- •2.10. Построение логических схем
- •Контрольные вопросы и задания
- •Глава 3. Формальные теории
- •3.1. Основные свойства формальных теорий
- •3.1.1. Выводимость
- •3.1.2. Интерпретация
- •3.1.3. Разрешимость
- •3.1.4. Общезначимость
- •3.1.5. Непротиворечивость
- •3.1.6. Полнота
- •3.1.7. Независимость
- •3.2. Исчисление высказываний
- •3.2.1. Интерпретация
- •3.2.2. Правило подстановки
- •3.2.3. Связь между исчислением высказываний
- •3.2.5. Другие формализации исчисления высказываний
- •3.3. Исчисление предикатов
- •3.3.2. Кванторные операции над предикатами
- •3.3.3. Формальное определение исчисления предикатов
- •Контрольные вопросы и задания
- •4.1. Прямые доказательства
- •4.1.1. Правило подстановки
- •4.1.2. Правило вывода
- •4.1.3. Дедукция
- •4.1.4. Математическая индукция
- •4.2. Косвенные доказательства
- •4.2.1. Доказательство «от противного»
- •4.2.2. Доказательство через контрпример
- •Контрольные вопросы и задания
- •Глава 5. Основы комбинаторики
- •5.1. Правила суммы и произведения
- •5.2. Перестановки
- •5.3. Размещения и сочетания
- •5.4. Разбиения
- •5.5. Формула включений и исключений
- •5.6. Рекуррентные соотношения
- •5.7. Производящие функции
- •5.8. Числа Стирлинга второго и первого рода
- •Контрольные вопросы и задания
- •Глава 6. Основы теории графов
- •6.1. Основные понятия
- •6.1.1. Классификация графов
- •6.1.2. Способы задания графов
- •6.2. Операции над графами
- •6.2.1. Удаление вершин и ребер
- •6.2.2. Дополнение
- •6.2.3. Объединение графов
- •6.2.4. Сложение графов
- •6.2.5. Произведение графов
- •6.3. Связность в графах
- •6.3.1. Компоненты связности
- •6.3.2. Вершинная и реберная связность
- •6.3.3. Сильная связность в графах
- •6.4. Цикломатика графов
- •6.4.1. Ациклические графы
- •6.4.2. Базисные циклы и цикломатическое число
- •6.4.3. Базисные разрезы и ранг
- •6.4.4. Эйлеровы графы
- •6.4.5. Гамильтоновы графы
- •6.5. Диаметр графа
- •6.5.1. Основные определения
- •6.5.2. Алгоритм нахождения диаметра
- •6.5.3. Поиск диаметра при операциях над графами
- •6.6. Устойчивость графов
- •6.6.1. Внутренняя устойчивость
- •6.6.1. Внешняя устойчивость
- •6.7. Хроматика графов
- •6.7.1. Хроматическое число
- •6.7.3. Двудольное представление графов
- •6.7.4. Хроматический класс
- •6.8. Преобразование графов
- •6.8.1. Реберные графы
- •6.8.2. Изоморфизм графов
- •6.8.3. Гомеоморфизм графов
- •6.8.4. Автоморфизм графов
- •6.9. Планарность
- •6.9.1. Основные определения
- •6.9.2. Критерии непланарности
- •6.10. Построение графов
- •6.10.1. Преобразование прилагательных в числительные
- •6.10.3. Оценка количества ребер сверху и снизу
- •Контрольные вопросы и задания
- •7.1. Введение в теорию нечетких моделей
- •7.1.1. Принятие решений в условиях неопределенности
- •7.1.2. Основы нечетких моделей
- •7.2. Нечеткие множества. Базовые определения
- •7.2.1. Базовые и нечеткие значения переменных
- •7.2.2. Основные определения
- •7.2.3. Типовые функции принадлежности
- •7.3. Операции над нечеткими множествами
- •7.3.1. Операция «дополнение»
- •7.3.2. Операция «пересечение»
- •7.3.3. Операция «объединение»
- •7.3.4. Операция «включение»
- •7.3.5. Операции «равенство» и «разность»
- •7.3.6. Операция «дизъюнктивная сумма»
- •7.3.7. Операции «концентрирование» и «растяжение»
- •7.3.8. Операция «отрицание»
- •7.3.9. Операция «контрастная интенсивность»
- •7.3.10. Операция «увеличение нечеткости»
- •7.4. Обобщенные нечеткие операторы
- •7.4.1. Треугольные нормы
- •7.4.2. Треугольные конормы
- •7.4.3. Декомпозиция нечетких множеств
- •7.5. Индекс нечеткости
- •7.5.1. Оценка нечеткости через энтропию
- •7.5.2. Метрический подход к оценке нечеткости
- •7.5.3. Аксиоматический подход
- •7.6. Нечеткие бинарные отношения
- •7.6.1. Нечеткие бинарные отношения
- •7.6.2. Свойства нечетких бинарных отношений
- •7.6.3. Операции над нечеткими отношениями
- •7.7. Нечеткие числа
- •7.8. Приближенные рассуждения
- •7.8.1. Нечеткая лингвистическая логика
- •7.8.2. Композиционное правило вывода
- •7.8.3. Правило modus ponens
- •Контрольные вопросы и задания
- •Список литературы
|
C n |
|
(2n)! |
|
|||
Cn = |
2n |
|
= |
|
|
. |
|
n +1 |
n!(n +1)! |
||||||
|
|
|
5.7. Производящие функции
Метод производящих функций является одним из самых развитых методов комбинаторного анализа и опирается на понятия функционального ряда.
Стандартная задача для использования производящих функций ставится следующим образом. Сколькими способами можно выполнить некоторое действие в ситуации, которая зависит от некоторого целого неотрицательного параметра n (им может быть, например, число каких-то объектов)?
К такому вопросу сводится большое число комбинаторных задач, ответ во всех таких задачах определяется этим параметром n, так что можно считать, что решением является последовательность a0 ,a1 ,a3 ,..., an .
Рекуррентное соотношение, если задано несколько первых членов последовательности (сколько - зависит от задачи), полностью определяет последовательность. Мощным методом решения вопросов подобного рода является метод производящих функций.
Производящей функцией последовательности {an}, n ≥ 0 на-
зывается формальный степенной ряд
F(z) = a0 + a1z + a2 Z 2 +... = an Z n .
Переход от последовательностей к их производящим функциям позволяет операции над последовательностями заменить операциями над их производящими функциями. Можно использовать то, что сумме двух последовательностей соответствует сумма их производящих функций, произведению последовательности на число - произведение ее производящей функции на это же число, и, что особенно замечательно, свертке двух последовательностей соответствует произведение производящих функций этих последовательностей.
Идея метода производящих функций состоит в том, что рекуррентное соотношение, определяющее последовательность {an},
136
переписывают как уравнение для ее производящей функции, это уравнение решают и по найденной производящей функции получают зависимость общего члена последовательности {an} от n.
5.8. Числа Стирлинга второго и первого рода
Числа Стирлинга первого рода s(n, k) – это коэффициенты при последовательных степенях переменной x в многочлене k:
n
(x)n = ∑s(n, k)xk ,
k =0
где (x)n – убывающий факториал: (x)n = x (x – 1)(x – 2) … (x – n +1).
Абсолютные значения чисел Стирлинга первого рода задают количество перестановок множества, состоящего из n элементов с k циклами.
Для них определяются рекуррентные соотношения: s(n, n) = 1 для n ≥ 0,
s(n, 0) = 0 для n > 0,
s(n, k) = s(n−1, k−1) + (n−1)s(n−1, k) для 0 < k < n.
Доказательство. Для n = 1 это равенство проверяется непосредственно. Пусть перестановка (n-1)-го порядка распадается на k циклов. Число n можно добавить после любого числа в соответствующий цикл. Все полученные перестановки – различные и содержат k циклов, их количество (n – 1)s(n – 1, k). Из любой перестановки (n
– 1)-го порядка, содержащей (k – 1) цикл, можно сформировать единственную перестановку n порядка, содержащую k циклов, добавив цикл образованный единственным числом n. Очевидно, что эта конструкция описывает все перестановки n-го порядка, содержащие k циклов. Тем самым равенство доказано.
Число Стирлинга второго рода S(n, k) – это число разбиений n-элементного множества на k блоков, т. е.
S(n, k) = |Πk(X)|,
где множество X состоит из n элементов. Например, S(4, 2) = 7. Рассмотрим некоторые утверждения, связанные с числами
Стирлинга второго рода:
•S(n, n) = 1 для n ≥ 0,
137
•S(n, 0) = 0 для n > 0,
•S(n, k) = S(n−1, k−1) + kS(n−1, k) для 0 < k < n
n
• xn = ∑S(n, k)[x]k для n ≥ 0, где [x]k = x(x−1)…(x−k+1).
k =0
Число Белла Bn – это число всех разбиений n-элементного множества:
Bn = |Π(X)|, где |X| = n.
Рассмотрим несложное рекуррентное соотношение:
n
Bn+1 = ∑C(n,i)Bi .
i=0
Для доказательства достаточно заметить, что множество всех разбиений множества X = {1, …, n+1} можно разделить на различные классы в зависимости от блока B, который содержит элемент n+1, или в зависимости от множества X/B. Далее для каждого множества X/B из {1, …, n} имеется |Π(X/ B)| = B|X\B| разбиений множества X, которое содержит B в качестве блока. Группируя классы в зависимости от мощности множества X/B, доказываем утверждение.
Контрольные вопросы и задания
5.1. В ящике 10 качественных и 5 бракованных деталей. Опыт состоит в выборе только одной детали. Событие А – вынули качественную деталь. Событие В – вынули бракованную деталь. Какое утверждение для этих событий будет неверным:
•событие А невозможно;
•событие В невозможно;
•события А и В равновероятны;
•события А и В несовместимы?
5.2.В слове SHUT меняют местами буквы. Чему равно количество всех возможных различных слов?
5.3.Чему равно количество различных способов выбора (порядок не имеет значения) 4 томов из 7-томного собрания сочинений А.П. Чехова?
138
5.4.Чему равно количество различных трехбуквенных комбинаций, которые можно составить из букв слова ЦВЕТОК (все буквы в комбинации различны)?
5.5.Чему равно количество различных двухбуквенных комбинаций, которые можно составить из букв слова КОМАР (все буквы
вкомбинации различны)?
5.6.В первой урне 4 белых и 6 черных шаров. Во второй урне 1 белый и 9 черных шаров. Из наудачу взятой урны вынули один шар. Сколькими способами можно выбрать один белый шар?
139