1.7

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

[9/78%]
Показать
LaTeX
Задача 1.7.1

Пятнадцать школьников сидят на пятнадцати пронумерованных стульях. Каждую минуту добрый преподаватель пересаживает их по следующей схеме:

(123456789101112131415351081114156131497212). \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 15 \\ 3 & 5 & 10 & 8 & 11 & 14 & 15 & 6 & 13 & 1 & 4 & 9 & 7 & 2 & 12 \end{pmatrix}.

Через сколько минут все школьники впервые окажутся на своих первоначальных местах?

?
Примечание.
?

Перестановкой множества называется запись элементов этого множества в произвольном порядке. Более строго, перестановкой множества называется взаимно однозначное отображение этого множества на себя (т.е. биекция). Перестановку ff удобно изображать в виде ориентированного графа, вершины которого — элементы множества, а рёбра идут из вершины aka_k в вершину f(ak)f(a_k). Перестановка множества {a1,a2,,an}\{ a_1, a_2, \ldots , a_n\}, переводящая aka_k в f(ak)f(a_k), записывается в виде

(a1a2anf(a1)f(a2)f(an)); \begin{pmatrix} a_1 & a_2 & \ldots & a_n \\ f(a_1) & f(a_2) & \ldots & f(a_n) \end{pmatrix};

обычно ak=ka_k = k для всех kRnk \in \mathscr {R}_n. Обратной к ff перестановкой называется перестановка f1f^{-1}, записывающаяся в виде

(f(a1)f(a2)f(an)a1a2an). \begin{pmatrix} f(a_1) & f(a_2) & \ldots & f(a_n) \\ a_1 & a_2 & \ldots & a_n \end{pmatrix}.

Циклом (длины nn) называется перестановка вида

(a1a2an1ana2a3ana1). \begin{pmatrix} a_1 & a_2 & \ldots & a_{n-1} & a_n \\ a_2 & a_3 & \ldots & a_n & a_1 \end{pmatrix}.

Эта перестановка коротко обозначается через (a1a2an)(a_1a_2\ldots a_n).

Композицией перестановок ff и gg называется перестановка fgf\circ g, определённая формулой (fg)(x):=f(g(x))(f\circ g)(x) := f(g(x)).

Задача 1.7.2

Найдите композиции перестановок на множестве цифр

?
(1)

(12)(13)(12)\circ (13);

(2)

(12)(23)(12)\circ (23);

(3)

(23)(12)(23)\circ (12);

(4)

(123)(132)(123)\circ (132);

(5)

(12)(13)(12)(12)\circ (13)\circ (12);

(6)

(12345)(12)(12345)\circ (12);

(7)

(12345)(56789)(12345)\circ (56789).

Ответ дайте в виде композиции непересекающихся циклов. Например, (123)(234)=(12)(34)(123)\circ (234) = (12)\circ (34).

Далее знак композиции опускается.

Задача 1.7.3

Для любой перестановки ff существует k>0k>0, для которого fk=idf^k = \mathrm{id} (т.е. для которого после kk-кратного применения перестановки ff каждый элемент перейдёт в себя).

Порядком перестановки ff называется наименьшее k>0k>0, для которого fk=idf^k = \mathrm{id}.

?
Задача 1.7.4

Существуют ли перестановки 9-элементного множества порядков 7,10,12,117, 10, 12, 11?

?
Задача 1.7.5

Чему равен порядок композиции непересекающихся циклов из n1,,nkn_1, \ldots , n_k элементов соответственно?

Перестановки (n1++nk)(n_1+\ldots +n_k)-элементного множества из задачи 1.7.5 называются перестановками типа n1,,nk\langle n_1, \ldots , n_k \rangle. Например, перестановки (14)(253)(14)(253), (15)(432)(15)(432) типа 2,3\langle 2,3 \rangle, а перестановка (1)(3)(245)(1)(3)(245) — другого типа 1,1,3\langle 1,1,3 \rangle.

?
Задача 1.7.6

Найдите число перестановок типа

?
(1)

2,3\langle 2,3 \rangle;

(2)

3,3\langle 3,3 \rangle;

(3)

1,2,3,4\langle 1,2,3,4 \rangle.

Задача 1.7.7

Любая перестановка представляется в виде композиции

?
(1)

непересекающихся циклов;

(2)

транспозиций, т.е. перестановок, каждая из которых меняет местами некоторые два элемента, а остальные оставляет на месте (иными словами, циклов длины 2);

(3)

транспозиций (1i)(1i), i=2,3,,ni=2,3,\ldots ,n.

Задача 1.7.8

Найдите две перестановки, композициями которых можно получить любую перестановку nn-элементного множества.

Перестановки aa и bb называются сопряжёнными, если a=xbx1a = xbx^{-1} для некоторой перестановки xx.

?
Задача 1.7.9
?
(1)

Перестановки aa и bb сопряжены тогда и только тогда, когда их типы одинаковы.

(2)

Пусть aa и xx — произвольные перестановки nn-элементного множества. Тогда

xax1=(x(1)x(2)x(n)x(a(1))x(a(2))x(a(n))). xax^{-1} = \begin{pmatrix} x(1) & x(2) & \ldots & x(n) \\ x(a(1)) & x(a(2)) & \ldots & x(a(n)) \end{pmatrix}.

Иными словами, циклическое разложение перестановки xax1xax^{-1} получается из циклического разложения перестановки aa заменой каждого элемента на его xx-образ: если a=j=1q(ij1,ij2,,ijsj)a = \displaystyle \prod_{j=1}^{q}(i_{j1},i_{j2},\ldots ,i_{js_j}), то

xax1=j=1q(x(ij1),x(ij2),,x(ijsj)). xax^{-1} = \prod _{j=1}^{q}(x(i_{j1}),x(i_{j2}),\ldots ,x(i_{js_j})).
(3)

Найдите gf1g1fgf^{-1}g^{-1}f для f:=(1,2,,N)f := (1,2,\ldots ,N) и g:=(N,N+1,,L)g := (N,N+1,\ldots ,L).