Перестановка

6 перестановок трёх шаров; $6=1\cdot 2\cdot 3=3!$

В комбинаторике перестано́вкой заданного конечного множества $X=\{a_1,a_2,\dots ,a_n\}$ (все элементы $X$ различны) называется произвольный упорядоченный набор всех элементов $X$ (без повторений). Группируя эти элементы в разном порядке, можно получить различные перестановки. Всего из множества с $n$ элементами можно получить $n!=1\cdot 2\cdot 3\cdot \dots \cdot n$ ($n$-факториал) различных перестановок (см. рисунок).

Перестановка является частным случаем размещения, когда выбираются все элементы множества.

Подстановка

Перестановку можно рассматривать как функцию, которая каждому элементу некоторой начальной перестановки сопоставляет соответствующий по номеру элемент данной перестановки. Такую функцию часто называют подстановкойШаблон:Sfn. Перестановка $\pi$ множества $X$ может быть наглядно представлена в виде таблицы:

$\left(\begin{array}{ccccc}{x}_1& x_2& x_3& \dots & x_n\\ y_1& y_2& y_3& \dots & y_n\end{array}\right),$

где $\{x_1,\dots ,x_n\}=\{y_1,\dots ,y_n\}=X$ и $\pi (x_i)=y_i$.

Пример: перестановка элементов множества $X$ в обратном порядке:

$\left(\begin{array}{ccccc}{x}_1& x_2& x_3& \dots & x_n\\ x_n& x_{n-1}& x_{n-2}& \dots & x_1\end{array}\right),$

Инверсией в перестановке $\pi$ называется всякая пара индексов $i,j$ такая, что $1⩽i<j⩽n$ и $\pi (i)>\pi (j)$. Чётность числа инверсий в перестановке определяет чётность перестановки. Пример:

$\left(\begin{array}{ccc}1& 2& 3\\ 1& 3& 2\end{array}\right),$

Здесь элементы 2 и 3 образуют инверсию.

Связанные определения

Носитель перестановки $\pi :X\to X$ — это подмножество множества $X$, определяемое как $\mathrm{supp}(\pi ):=\{x\in X\mid \pi (x)\ne x\}.$

Неподвижной точкой перестановки $\pi$ является всякая неподвижная точка отображения $\pi :X\to X$, то есть элемент множества $\{x\in X\mid \pi (x)=x\}.$ Множество всех неподвижных точек перестановки $\pi$ является дополнением её носителя в $X$.

Специальные типы перестановок

• Тождественная перестановка — перестановка $e,$ которая каждый элемент $x\in X$ отображает в себя: $e(x)=x.$
• Инволюция — перестановка $\tau ,$ которая является обратной самой себе, то есть $\tau \cdot \tau =e.$
• Беспорядок — перестановка без неподвижных точек.
• Циклом длины $\ell$ называется такая подстановка $\pi ,$ которая тождественна на всём множестве $X,$ кроме подмножества $\{x_1,x_2,\dots ,x_{\ell }\}\subset X$ и $\pi (x_{\ell })=x_1,\pi (x_i)=x_{i+1}.$ Обозначается $(x_1,x_2,\dots ,x_{\ell }).$.
• Транспозиция — перестановка элементов множества $X$, которая меняет местами два элемента. Транспозиция является циклом длины 2.

Произведения циклов и знак перестановки

Перестановку $\pi$ можно представить в виде ориентированного графа, где вершинами являются элементы конечного множества, а связи между вершинами описывают переход. В случае, $\pi (i)=i$, для $i$ элемента рисуется петля. Таким образом, получается граф, где из каждой вершины выходит и входит одно ребро. Пример перестановки представленной в виде ориентированного графа можно увидеть на изображении справа.

Пример перестановки, представленной в виде ориентированного графа

Таким образом, любая перестановка $\pi$ может быть разложена в произведение (композицию) непересекающихся циклов длины $\ell ⩾2$, причём единственным образом с точностью до порядка следования циклов в произведении. Например:

$\left(\begin{array}{cccccc}1& 2& 3& 4& 5& 6\\ 5& 1& 6& 4& 2& 3\end{array}\right)=(1,5,2)(3,6).$

Часто также считают, что неподвижные точки перестановки представляют собой самостоятельные циклы длины 1, и дополняют ими цикловое разложение перестановки. Для приведённого выше примера таким дополненным разложением будет $(1,5,2)(3,6)(4)$. Число циклов разной длины, а именно набор чисел $(c_1,c_2,\dots )$, где $c_{\ell }$ — это число циклов длины $\ell$, определяет цикловую структуру перестановки. При этом величина $1\cdot c_1+2\cdot c_2+\dots$ равна длине перестановки, а величина $c_1+c_2+\dots$ равна общему числу циклов. Число перестановок из $n$ элементов с $k$ циклами даётся числом Стирлинга первого рода без знака $\left[\begin{array}{c}n\\ k\end{array}\right]$.

Любой цикл может быть разложен в произведение (не обязательно непересекающихся) транспозиций. При этом цикл длины 1 (являющийся по сути тождественной перестановкой $e$) можно представить как Шаблон:Нп5 транспозиций или, например, как квадрат любой транспозиции: $(1,2)(1,2)=(2,3)(2,3)=e.$ Цикл длины $\ell ⩾2$ можно разложить в произведение $\ell -1$ транспозиций следующим образом:

$(x_1,\dots ,x_l)=(x_1,x_{\ell })(x_1,x_{\ell -1})\dots (x_1,x_2).$

Разложение циклов на произведение транспозиций не является единственным:

$(1,2,3)=(1,3)(1,2)=(2,3)(1,3)=(1,3)(2,4)(2,4)(1,2).$

Шаблон:Якорь Таким образом, любая перестановка может быть разложена в произведение транспозиций. Хотя это можно сделать многими способами, чётность числа транспозиций во всех таких разложениях одинакова. Это позволяет определить знак перестановки (чётностью перестановки или сигнатурой перестановки) $\pi$ как:

${\epsilon }_{\pi }=(-1{)}^t,$

где $t$ — число транспозиций в каком-то разложении $\pi$. При этом $\pi$ называют чётной перестановкой, если ${\epsilon }_{\pi }=1$, и нечётной перестановкой, если ${\epsilon }_{\pi }=-1$.

Эквивалентно, знак перестановки определяется её цикловой структурой: знак перестановки $\pi$ из $n$ элементов, состоящий из $k$ циклов, равен

${\epsilon }_{\pi }=(-1{)}^{n-k}$.

Знак перестановки $\pi$ также может быть определён через число инверсий $N(\pi )$ в $\pi$:

${\epsilon }_{\pi }=(-1{)}^{N(\pi )}$.

Вариации и обобщения

В теории групп под перестановкой произвольного множества подразумевается биекция этого множества на себя. Как синоним слову «перестановка» в этом смысле некоторые авторы используют слово подстановка. (Другие авторы подстановкой называют (приведённый выше) наглядный способ записи перестановки. Более существенное отличие состоит в том, что подстановка — это непосредственно функция, а перестановка — результат применения этой функции к элементам последовательности.)

Композиция определяет операцию произведения на перестановках одной длины: $(\pi \cdot \sigma )(k)=\pi (\sigma (k)).$ Относительно этой операции множество перестановок из $n$ элементов образует группу, которую называют симметрической и обычно обозначают $S_n$.

Любая конечная группа порядка $n$ изоморфна некоторой подгруппе симметрической группы $S_n$ (теорема Кэли). При этом каждый элемент $a\in G$ сопоставляется с перестановкой ${\pi }_a$, задаваемой на элементах $G$ тождеством ${\pi }_a(g)=a\circ g,$ где $\circ$ — групповая операция в $G$.

Перестановки с повторением

Рассмотрим $n$ элементов $m$ различных типов, причём в каждом типе все элементы одинаковы. Тогда перестановки из всех этих элементов с точностью до порядка следования однотипных элементов называются перестановками с повторением. Если $k_i$ — число элементов $i$-го типа, то $k_1+k_2+\dots +k_m=n$ и число всевозможных перестановок с повторениями равно мультиномиальному коэффициенту $(\genfrac{}{}{0ex}{}{n}{k_1,k_2,\dots ,k_m})=\frac{n!}{k_1!k_2!\dots k_m!}.$

Перестановку с повторениями можно также рассматривать как перестановку мультимножества $\{1^{k_1},2^{k_2},\dots ,m^{k_m}\}$ мощности $k_1+k_2+\dots +k_m=n$.

Случайная перестановка

Случайной перестановкой называется случайный вектор $\xi =({\xi }_1,\dots ,{\xi }_n),$ все элементы которого принимают натуральные значения от 1 до $n,$ и при этом вероятность совпадения любых двух элементов равна 0.

Независимой случайной перестановкой называется такая случайная перестановка $\xi$, для которой:

$P\{\xi =\sigma \}=\frac{p_{1\sigma (1)}\dots p_{n\sigma (n)}}{\sum _{\pi \in S_n}{p}_{1\pi (1)}\dots p_{n\pi (n)}}$

для некоторых $p_{ij},$ таких, что:

$\mathrm{\forall }i(1⩽i⩽n):p_{i1}+\dots +p_{in}=1$

$\sum _{\pi \in S_n}{p}_{1\pi (1)}\dots p_{n\pi (n)}>0.$

Если при этом $p_{ij}$ не зависят от $i$, то перестановку $\xi$ называют одинаково распределённой. Если же нет зависимости от $j$, то есть $\mathrm{\forall }i,j(1⩽i,j⩽n):p_{ij}=1/n,$ то $\xi$ называют однородной.

См. также

• Алгоритм Нарайаны
• Анаграмма
• Гигантская компонента
• Размещение
• Симметрическая группа
• Сочетание

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга

Ссылки

• Шаблон:ВТ-ЭСБЕ