Иркутский государственный технический университет

Факультет Кибернетики

Кафедра Автоматизированных систем

Носырева Л.Л.

ДИСКРЕТНАЯ МАТЕМАТИКА

Конспективный материал к лекциям

(рабочий вариант)

Для специальностей АСУ, МЭИ, ИП, АСОК

Часть 2

Комбинаторика

Иркутск 2006

Комбинаторика

Комбинаторика – раздел математики, посвященный решению задач выбора и расположения элементов некоторого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения некоторой конструкции из элементов исходного множества, называемой комбинаторной конфигурацией. Поэтому целями комбинаторного анализа являются изучение комбинаторных конфигураций, алгоритмов их построения, оптимизация таких алгоритмов, а также решение задач перечисления. Простейшими примерами комбинаторных конфигураций являются перестановки, размещения, сочетания и разбиения. При подсчете комбинаторных конфигураций используются правила суммы, произведения и степени.

§ 5.1.

§ 5.2. Перестановки и подстановки

Пусть дано множество М = {a₁,a₂,...,a_n}. Перестановкой элементов множества М называется любой кортеж (a_i1,a_i2,...,a_in), состоящий из n различных элементов множества М.

Перестановки отличаются друг от друга только порядком входящих в них элементов. Покажем, что число Р_n всех перестановок множества М равно n!. Действительно на первое место в кортеже можно поставить любой из n элементов, на второе место – любой из n-1 оставшихся и т.д. Для последнего места остается единственный элемент. Поэтому получаем всего n(n-1)( n-2)…2·1 = n! перестановок.

Пример 5.1.1. 1. Расставить на полке 10 книг можно Р₁₀ = 10! = 3 628 800 различными способами.

2. Список студентов группы, состоящей из 25 человек, можно составить Р₂₅ = 25! способами.

Напомним, что биекция σ : М ↔ М называется подстановкой множества М. Пусть σ – подстановка множества М = {1,2,…,n}. Тогда σ(k) = s_k , где 1 ≤ s_k ≤ n, k = 1,2,…, n, { s₁ , s₂ , ...,s_n } = {1,2,..., n }, и поэтому подстановку σ можно представить в виде матрицы, состоящей из двух строк:

Ясно, что если в матрице [σ] переставить столбцы, то полученная матрица будет также определять подстановку σ. Множество всех подстановок множества {1,2,..., n } обозначается через S_n. для подстановок σ,τ S_n можно определить произведение σ · τ как произведение двух функций. Зная матрицы подстановок

и [τ], переставив столбцы матрицы [τ] так, чтобы её первая строка совпала со второй строкой матрицы [σ]

получаем

Теорема 5.1.1. Алгебра (S_n, ·) является группой. При n ≥ 3 она не коммутативна.

Д о к а з а т е л ь с т в о. Операция – ассоциативна как операция произведений функций. Легко проверяется, что существует единичная подстановка ε с матрицей

и для любой подстановки σ с матрицей существует обратная подстановка σ ^-1 , соответствующая матрице .

Если n ≥ 3, то рассмотрим подстановки σ и τ с матрицами и .

Имеем , , т.е. σ τ ≠ τ σ. Таким образом, группа (S_n, ·) некоммутативна.

Группа (S_n, ·) называется симметрической группой степени n. Число элементов этой группы |S_n | равно Р_n = n!.

Подстановка σ называется циклом длины r, если матрицу [σ] перестановкой столбцов можно привести к виду

Очевидно, что в этом случае σ задает биекцию, в которой s₁ → s₂, s₂ → s₃, . . . s_r→s₁ , а остальные элементы неподвижны. Описанный цикл σ обозначается через (s₁ s₂ ... s_r).

П р и м е р 5.1.3. Подстановка с матрицей является циклом (2536), а подстановка с матрицей циклом не является, так как из неё можно выделить два цикла (14) и (2563).

Циклы (s₁ s₂...s_r) и (t₁ t₂...t_p) называются независимыми, если {s₁,s₂,...,s_r}∩{t₁,t₂,...,t_p} = Ø.

Теорема 5.1.2. Каждую подстановку можно однозначно (с точностью до порядка сомножителей) представить в виде произведения независимых циклов.

В примере 5.1.3. имеем , а .

Двухэлементный цикл (i j) называется транспозицией. При транспозиции i-й и j-й элементы меняются местами, а остальные сохраняют свое положение.

Теорема 5.1.3. Каждая подстановка есть произведение транспозиций.

Д о к а з а т е л ь с т в о. По теореме 5.1.2. достаточно установить, что любой цикл (s₁ s₂...s_r) можно представить в виде произведения транспозиций, но легко проверяется, что (s₁ s₂...s_r) = (s₁ s₂)( s₁ s₃)…( s₁ s_r).

П р и м е р 5.1.4. (1234)=(12)(13)(14).