Матрицы перестановок
Перестановки можно представить в виде квадратной бинарной матрицы.
Матрица перестановки — такая матрица , в которой на -й строке цифра стоит только в столбце , а остальные элементы равны .
Например,
В матрице перестановки в каждой строке и в каждом столбце ровно одна .
У единичной перестановки матрица равна единичной матрице, .
Матрицы перестановок можно легко использовать для выражения операций с перестановками. В частности,
При этом , поэтому матрицы перестановок ортогональны, то есть .
Еще важное свойство: определитель матрицы перестановки равен четности этой перестановки
Матричные свойства
Следующее свойство открывает большое количество возможностей в матричных вычислениях. Рассмотрим пока матрицу — матрицу транспозиции элементов и .
При перемножении на любую матрицу , у меняются местами строки и . А если умножить на , то в матрице поменяются местами столбцы и .
Мы знаем, что любую перестановку порядка можно разложить в композицию транспозиции. Значит, можно добиться любой перестановки строк и столбцов матрицы с помощью двух матриц перестановок и , просто посчитав .