题解：P14173 【MX-X23-T3】猜拳游戏

cogimyun · 2025-10-06 20:05:45 · 题解

我们不妨先寻找 Alice 的出招序列 a 中的 a_i 与 Bob 的出招序列 b 中的 b_j 在什么时候会在同一局中出现，考虑 Alice 与 Bob 会进行 10^{100} 局游戏，所以可以认为是无限局游戏，那么只要 nx+i=by+j 存在一对非负整数解 (x,y)，a_i 与 b_j 会在同一局中出现。又根据裴蜀定理，nx+i=by+j 存在一对非负整数解 (x,y) 的充要条件是 i\equiv j (mod\ \gcd(n,m))，所以我们可以根据 i 或 j 对 \gcd(n,m) 的余数进行分组，分别记录 a 和 b 中对 \gcd(n,m) 余数相同的位置的 RPS 个数分别是多少，代码如下：

    mp['P']=1;
    mp['S']=2;
    for(int i=0;i<n;i++)
        cnt[i%l][mp[a[i]]]++;
    for(int j=0;j<m;j++)
        cnt1[j%l][mp[b[j]]]++;

接下来我们便可以对于每组进行计算贡献，由于每组中的 i,j 都满足 nx+i=by+j 存在一对非负整数解 (x,y)，那么里面所有的 a_i 与 b_j 两两都会在某一局中同时出现，于是我们存在两种修改序列的方式：

1. Alice 所有在这一组的位置的出招均为 RPS 中的同一种 X，Bob 的则为 RPS 中的另两种，贡献为 Alice 所有在这一组的位置的出招不为 X 的个数加上 Bob 所有在这一组的位置的出招为 X 的个数；
2. Bob 所有在这一组的位置的出招均为 RPS 中的同一种 X，Alice 的则为 RPS 中的另两种，贡献与第一种类似。

我们取每一组在上面两种方案中的最小值加到总贡献上即可算出答案。

CODE

#include<bits/stdc++.h>
using namespace std;
int n,m,l,cnt[500005][3],cnt1[500005][3];
string a,b;
map<char,int> mp;
int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    cin>>n>>m;
    l=__gcd(n,m);
    cin>>a>>b;
    mp['P']=1;
    mp['S']=2;
    for(int i=0;i<n;i++)
        cnt[i%l][mp[a[i]]]++;
    for(int j=0;j<m;j++)
        cnt1[j%l][mp[b[j]]]++;
    int ans=0;
    for(int i=0;i<l;i++){
        int k1,k2;
        k1=min({cnt[i][0]+cnt[i][1]+cnt1[i][2],cnt[i][0]+cnt[i][2]+cnt1[i][1],cnt[i][2]+cnt[i][1]+cnt1[i][0]});
        k2=min({cnt1[i][0]+cnt1[i][1]+cnt[i][2],cnt1[i][0]+cnt1[i][2]+cnt[i][1],cnt1[i][2]+cnt1[i][1]+cnt[i][0]});
        ans+=min(k1,k2); 
    }
    cout<<ans;
    return 0;
}