130
правок
Изменения
→Доказательство корректности
*<tex>(a,</tex> ←<tex>)</tex> - элемент с заданным направлением(компонента).
*<tex>P[i]</tex> - перестановка с номером <tex>i</tex>
*<tex>P[i]\backslash\{a\}</tex> - перестановка с номером <tex>i</tex> без элемента <tex>a</tex>
{{Утверждение
|id=approval1
|statement=Число <tex>n</tex> в перестановке не является подвижным элементом тогда и толко тогда когда первая компонента перестановки есть <tex>(n,</tex> ←<tex>)</tex> или последняя компонента есть <tex>(n,</tex> →<tex>)</tex>.
}}
{{Лемма
|id=lemma1
|statement=Если в перестановке <tex>P[i]</tex> есть подвижный элемент <tex>a \neq n</tex> то также определены перестановки <tex>P[i + 1] ... P[i + n]</tex> причём <tex>P[i + 1]\backslash\{n\} = P[i + 2]\backslash\{n\} = ... = P[i + n]\backslash\{n\}</tex>.|proof=доказательство (необязательно)
}}
