SimultaneousSwap

[ABC296F] Simultaneous Swap

首先,若对 \(a_i\)\(b_i\) 排序后,\(a_i\)\(b_i\) 仍不相同,则一定不行。

注意到有:

\(a_i = \quad {A\ B\ C}\),换 \(AC\)

\(b_i = \quad {A\ B}\ C\),换 \(AB\)

变为

\(a_i = \quad {C\ B\ A}\),换 \(CA\)

\(b_i = \quad B {A\ C}\),换 \(AC\)

变为

\(a_i = \quad A\ B\ C\)

\(b_i = \quad B\ C\ A\)

对于某个 \((i,j,k)(i<j<k)\),能够通过两次操作,做到 \((a_i,a_j,a_k)\) 不变,而 \((b_i,b_j,b_k)\) 轮换,即:\((b_i,b_j,b_k)\rightarrow (b_j,b_k,b_i)\)

考虑这种操作逆序对的奇偶性变化。

若为 \(3\) 个不同的

image-20230730194352244

关系 \(2,3\) 不变,关系 \((1,3),(1,2)\) 恰好反了,所以分别 \(\pm 1,\pm 1\),共 \(0,2,-2\) 三种变化量。

如果有任意两个元素相等时:

image-20230730195134397

可以发现可以使奇偶性不变(最后一种情况可以转换到前面的)。

于是我们只需要检验是否有相同元素,有相同的一定有解。

除此之外,若二者逆序对奇偶性相同,那么有解。

否则,无解。

至于这样为什么是对的,待我进一步探究证明过于复杂(bushi(有点类似于八数码的局面无解问题,只能这样理解了(bushi)。

AC

posted @ 2023-07-30 20:12  wscqwq  阅读(11)  评论(0编辑  收藏  举报