题意:给二个只包含0和1的字符串,然后对第一个字符串,可以选择[l,r]的区间和[1,r-l+1]的的字符进行异或运算,将[l,r]的字符变成异或运算的值。问无限次操作之后,能不能让第一个字符串等于第二个字符串。
思路:将第一个字符串的字符称为待改变字符,第二个称为目标字符,首先考虑四种情况,如果待改变的字符是1,如果要需要变成1,那么只要和0异或就可以了,如果要变成0,那么只要和1异或就可以了。如果待改变的字符是0,如果要需要变成1,那么只要和1异或就可以了,如果要变成0,那么只要和0异或就可以了。观察就可以知道,如果是0那么就不会对待改变的字符有影响,如果是1,那么就会让待改变的字符反转。因为[l,r]的区间可以仍取,所以只要在第一次出现待改变字符和目标字符不同的情况之前,待改变字符出现了1,那么就是可以让第一个字符串变成第二个字符串的,否则就不行。
//冷静,冷静,冷静
//调不出来就重构
#pragma GCC optimize(2)
#pragma GCC optimize("O3")
#include<bits/stdc++.h>
#define endl '\n'
using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<ll,ll> pii;
const int N=1e6+10,mod=998244353;
int main()
{
ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
ll t;cin>>t;
while(t--)
{
ll n;cin>>n;
ll max1=1e18;
string s,v;cin>>s>>v;
for(int i=0;i<s.size();i++)//寻找第一次出现1的位置
{
if(s[i]=='1')
{
max1=i;
break;
}
}
bool st=1;
for(int i=0;i<s.size();i++)
{
if(s[i]!=v[i])
{
if(max1>i)//如果不相同,并且之前没有1,那么就不行
{
st=0;
break;
}
}
}
if(st)cout<<"YES"<<endl;
else cout<<"NO"<<endl;
}
return 0;
}