D. Prefixes and Suffixes codeforces 1730D

Problem - 1730D - Codeforces

题目大意：给出两个长度为n的字符串s1,s2，每次可以选择s1的前k个字母和s2的的后k个字母，并交换，问在经过若干次操作后能否使两个字符串相同

1<=n<=2e5;1<=k<=n

思路：我们从他给的字符串很难推出如何操作使他们相等，那我们不妨从结果入手，假设两个字符串相等，对他们进行操作，找出他们能构造出的字符串的规律。

我们定义s1[i]和s2[n-i+1]为一个字符对，且(a,b)与(b,a)等价，首先，我们每次操作都是将s1的前面k个和s2后面k个互换，这样互换后字符对在内容上肯定是不变的，然后如果我们先令k=n进行一次操作，再令k=x进行一次操作，这两次操作等价于将s1的后x个字符和s2的前x个字符交换，所以我们可以交换s1的前缀和s2的后缀，也可以交换s1的后缀和s2的前缀，也就是字符串是左右对称的，那么可以发现当n为偶数时，每个字符对的数量一定是偶数，当n为奇数时，一定有且只有一个字符对数量为奇数，且该字符对中两字符相等，其余均为偶数，例如s1=abcd,s2=abcd,无论怎么操作一定有两个(a,d)字符对和两个(b,c)字符对，如果s1=abcde,s2=abcde,无论怎么操作一定有两个(a,e)字符对，两个(b,d)字符对，一个(c,c)字符对

而且我们不难发现由两个相等的字符串可以得出符合以上结论的字符串，且只有满足以上结论的字符串才能变成相等(可以反证，此处不在赘述)，那么我们只要记录字符对的数量，验证字符对的数量是否都为偶数或者有且只有一个字符对数量为奇数，然后再看数量为奇数的字符对两字符是否相等，都满足就是YES

#include<iostream>
#include<cstdio>
#include<map>
using namespace std;
int main()
{
	int t;
	cin >> t;
	while (t--)
	{
		string s1, s2;
		int n;
		scanf_s("%d", &n);
		cin >> s1 >> s2;
		map<pair<char, char>, int>ma;//记录字符对的数量
		for (int i = 0; i < n; i++)
		{
			ma[make_pair(max(s1[i], s2[n - i - 1]), min(s1[i], s2[n - i - 1]))]++;
		}//统计字符对数量
		int cnt = 0;//统计字符对数量为偶数的字符对数量
		bool flag = 0;
		for (map<pair<char, char>, int>::iterator it = ma.begin(); it != ma.end(); it++)
		{
			if (it->second & 1)
			{//字符对数量为奇数
				if (it->first.first != it->first.second)
				{//字符对两字符不等
					printf("NO\n");
					flag = 1;
					break;
				}
				cnt++;
			}
		}
		if (flag)
			continue;
		if (cnt > 1)
		{//字符对数量为奇数的字符对数量>1
			printf("NO\n");
			continue;
		}
		printf("YES\n");
	}
	return 0;
}