![](/user_photo/2706_HbeT2.jpg)
- •Лесосибирск 2012
- •Лекция 1 Основные понятия теории множеств
- •1 Понятие множества
- •2 Способы задания множеств
- •3 Сравнение множеств
- •Лекция 2 Операции над множествами
- •1 Операции над множествами
- •2 Свойства операций над множествами
- •Лекция 3 Соответствия и функции
- •1 Соответствия
- •2 Функции
- •Лекция 4 Бинарные отношения и операции над ними
- •1 Понятие бинарного отношения
- •2 Операции над бинарными отношениями
- •Лекция 5 Свойства и виды бинарных отношений
- •1 Свойства бинарных отношений
- •2 Виды бинарных отношений
- •Модуль II Основы комбинаторики Лекция 6 Основные понятия комбинаторики
- •1 Правила суммы и произведения
- •2 Выборки
- •Лекция 7 Методы решения задач комбинаторики
- •1 Метод включений и исключений
- •2 Метод рекуррентных соотношений
- •Модуль II Элементы теории графов Лекция 6 основные понятия теории графов
- •1 Понятие графа
- •2 Виды графов
- •3 Матрица смежности, инцидентности
- •4 Изоморфизм графов
- •Лекция 9 Операции над графами
- •1 Подграфы
- •2 Операции над графами
- •Лекция 10 Пути и связность в неориентированных графах
- •1 Основные определения
- •2 Обходы в графе
- •Лекция 9 Пути и связность в ориентированных графах
- •1 Виды связности
- •2 Выделение компонент сильной связности
- •Алгоритм выделения компонент сильной связности
- •Лекция 10 Расстояния в графах
- •1 Основные определения
- •2 Нахождение расстояний в графе
- •Алгоритм Дейкстры
- •Алгоритм Форда-Беллмана нахождения минимального пути в нагруженном ориентированном графе d из vнач в vкон.( vнач ≠ vкон)
- •Лекция 11 Деревья
- •1 Основные свойства деревьев
- •2 Нахождение центров дерева
- •3 Покрывающие деревья (остовы)
- •Алгоритм построения покрывающего дерева для произвольного невзвешенного графа g
- •Алгоритм выделения минимального остовного дерева в неориентированном взвешенном графе g
- •Лекция 12 Двудольные и планарные графы
- •1 Двудольные графы
- •2 Планарные графы
- •Лекция 13 Раскраски графов
- •1 Раскраски
- •2 Внешняя и внутренняя устойчивость. Покрытия
- •Лекция 14 Потоки в сетях
- •1 Постановка задачи нахождения максимального потока
- •2 Решение задачи
- •Заключение
- •Библиографический список
Лекция 7 Методы решения задач комбинаторики
План лекции
Метод включений и исключений
2. Метод рекуррентных соотношений
Ключевые слова: метод включений и исключений, рекуррентные соотношения, возвратная последовательность, характеристический многочлен.
1 Метод включений и исключений
Пусть множество А имеет N элементов и n одноместных отношений (свойств) Р1,Р2,…,Рn. Каждый из N элементов может обладать или не обладать любым из этих свойств. Обозначим через Ni1...i k число элементов, обладающих свойствами Рi1,...,Pi k и, может быть, некоторыми другими. Тогда число N(0) элементов, не обладающих ни одним из свойств Р1,Р2,…,Рn, определяется по следующей формуле, называемой формулой включений и исключений:
N(0) = S0 – S1 + S2 - ... + (-1)n Sn ,
Обобщая эту формулу, получаем формулу, позволяющую вычислить число N(r) элементов, обладающих ровно r свойствами (1 ≤ r ≤ n):
.
2 Метод рекуррентных соотношений
Рекуррентным соотношением, рекуррентным уравнением или рекуррентной формулой называется соотношение вида an+k= F(n,an,an+1,...,an+k-1), которое позволяет вычислять все члены последовательности а0,а1,а2, …, если заданы её первые k членов.
Пример 1. Формула аn+1 = аn + d задает арифметическую прогрессию.
2. Формула аn+1 = q an определяет геометрическую прогрессию.
3. Формула аn+2 = аn+1 + аn задает последовательность чисел Фибоначчи.
В случае, когда рекуррентное соотношение линейно и однородно, т.е. выполняется соотношение вида
аn+k + p1an+k-1 + ... + pkan = 0 (1)
(p = const), последовательность a0,a1,a2,... называется возвратной. Многочлен
называется характеристическим для возвратной последовательности {аn}. Корни многочлена Ра(х) называются характеристическими.
Множество всех последовательностей, удовлетворяющих данному рекуррентному соотношению, называется общим решением.
Описание общего решения соотношения (5.4) имеет аналогию с описанием решения обыкновенного дифференциального уравнения с постоянными коэффициентами.
Теорема
1. Пусть
- корень характеристического многочлена.
Тогда последовательность
,
где с – произвольная константа,
удовлетворяет соотношению (1).
2.
Если
- простые корни характеристического
многочлена, то общее решение рекуррентного
соотношения (1) имеет вид
,
где с1,с2,…,сk
– произвольные константы.
3.
Если
- корень кратностиri
( i
= 1,…,s
) характеристического многочлена, то
общее решение рекуррентного соотношения
(1) имеет вид
,
где сij
– произвольные константы.
Зная общее решение рекуррентного уравнения (1), по начальным условиям а0,а1,…,аk можно найти неопределенные постоянные сij и тем самым получить решение уравнения с данными начальными условиями.
Рассмотрим неоднородное линейное рекуррентное уравнение
(2)
Пусть {bn} – общее решение однородного уравнения (1), а {сn} – частное (конкретное) решение неоднородного уравнения (2). Тогда последовательность {bn + сn} образует общее решение уравнения (2).
Теорема. Общее решение неоднородного линейного рекуррентного уравнения представляется в виде суммы общего решения соответствующего однородного линейного рекуррентного уравнения и некоторого частного решения неоднородного уравнения.
Таким образом, в силу теоремы задача нахождения общего решения рекуррентного уравнения (2) сводится к нахождению некоторого частного решения.
В отдельных случаях имеются общие рекомендации нахождения частного решения.
Если
(где
не является характеристическим корнем),
то, подставляя
в (2), получаем
и отсюда
т.е. частное решение можно задать формулой
Пусть
f(n)
– многочлен степени r
от переменной n,
и число 1 не является характеристическим
корнем. Тогда
и частное решение следует искать в виде
Подставляя многочлены в формулу (5.6),
получаем
Сравнивая коэффициенты в левой и правой частях последнего равенства, получаем соотношения для чисел di, позволяющих эти числа определить.