标签：math   http   观察   定义   排列   alt   span   href   图片   

agc031_d A Sequence of Permutations

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

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

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

标签：math   http   观察   定义   排列   alt   span   href   图片   

原文地址：https://www.cnblogs.com/ljzalc1022/p/13191373.html