Изменения

Получим $k$ различных перестановок, отличающихся одной элементарной транспозицией. Возьмем следующую строку из кода Грея для перестановок длиной $n = k - 1$, которая будет выглядеть так (т.к. мы получили, что элемент стоящий на первом месте в перестановке будет "двигаться" вправо см. (1), (2), то и во второй перестановке первый элемент "поменяется" со вторым):

Элемент $a_{k}$ записываем в конец и начинаем "двигать" его влево:

* $\{a_2, a_1, a_3, \dots, \underline{a_{k-1}, k}\}$ (4)

Опять получили $k$ различных перестановок, отличающихся в одной элементарной транспозиции. Далее берем третью строку из кода Грея для перестановок длиной $n = k - 1$, записываем в ее начало элемент $a_{k}$ и двигаем его вправо, как для первой перестановки и т.д.

Для каждой перестановки длиной $n = k - 1$ (всего их $(k - 1)!$) мы получили $k$ новых перестановок. Итого $k\cdot(k - 1)! = k!$ перестановок. Все они различны, т.к. для любых двух перестановок из нового кода Грея элемент $a_{k}$ стоит на разных позициях,а если $a_{k}$ стоит на одной и той же позиции, то эти перестановки образованы от разных перестановок длиной $n = k - 1$ (см. (3), (4)). Так же все соседние перестановки отличаются ровно в одной элементарной транспозиции (образованные от одной перестановки различны благодаря построению, от разных перестановок {{---}} имеют $a_{k}$ на одной и той же позиции, но отличаются в одной элементарной транспозиции, т.к. является перестановками в коде Грея для перестановок длиной $n = k - 1$, см (3), (4)). Таким образом мы получили $k!$ различных перестановок длиной $k$, отличающихся в одной элементарной транспозиции. Алгоритм для построения кодов Грея для перестановок длиной $n$ получен.