agc031_d A Sequence of Permutations

agc031_d A Sequence of Permutations

https://atcoder.jp/contests/agc031/tasks/agc031_d

https://img.atcoder.jp/agc031/editorial.pdf

agc031_d A Sequence of Permutations_第1张图片

Snipaste_2020-03-02_17-26-18.png

Tutorial

对于排列 \(p,q\) 定义 \(pq\) 为一个第 \(i\) 个元素为 \(p_{q_i}\) 的排列,那么 \(f(p,q)=pq^{-1}\)

  • \(a_1=p\)
  • \(a_2=q\)
  • \(a_3=qp^{-1}\)
  • \(a_4=qp^{-1}q^{-1}\)
  • \(a_5=qp^{-1}q^{-1}pq^{-1}\)
  • \(a_6=qp^{-1}q^{-1}p^2q^{-1}\)
  • \(a_7=qp^{-1}q^{-1}pqpq^{-1}\)
  • \(a_8=qp^{-1}q^{-1}pqp^{-1}qpq^{-1}\)
  • \(\cdots\)

观察发现同一元素被消去了许多次,尝试将 \(a_i\) 表示为 \(A_iB_iA_i^{-1}\) 的形式

  • \((A_1,B_1)=(id,p)\)
  • \((A_2,B_2)=(id,q)\)
  • \((A_3,B_3)=(id,qp^{-1})\)
  • \((A_4,B_4)=(q,p^{-1})\)
  • \((A_5,B_5)=(qp^{-1},q^{-1})\)
  • \((A_6,B_6)=(qp^{-1},q^{-1}p)\)
  • \((A_7,B_7)=(qp^{-1}q^{-1}p,p)\)
  • \((A_8,B_8)=(qp^{-1}q^{-1}p,q)\)
  • \(\cdots\)

\((A_7,B_7)\) 表示为这样的形式方便发现性质.

发现经过 \(6\) 次迭代后 \((A,p)\)\((A,q)\) 变成了 \((Aqp^{-1}q^{-1}p,p)\)\((Aqp^{-1}q^{-1}p,q)\)

找到循环节后就很好,解决了.

你可能感兴趣的:(agc031_d A Sequence of Permutations)