[cf] 805 div3 F. Equate Multisets

前言

$tag:$ 二进制 思维 贪心
传送门 :

题意 :
给定两个数组$A[1....N]$,$B[1...N]$
询问是否可以通过有限次操作使得$B=A$

操作定义如下 :
选中一个$i$使得

• $B[i]\ast 2$
• $B[i]/2$下取整

思路 :

看到$/2$这种操作,我们需要联想到二进制

我们发现$B[i]\ast 2$相当于在二进制后面加了个0

而对于第二个操作,就是相当于删除了二进制最后一位

而对于$B[i]\ast 2$我们可以看成$A[i]/2$ (这个只能删除$A[i]$最后一位是0的情况)

如果是可以完成的,那么显然,我们将$A,B$尽可能的最小化的情况下,是可以完全抵消的

否则就是不行的

因此这个操作可以使用$Map||Set$完成

code :

#define all(x) (x).begin(),x.end()
#define Fup(i,a,b) for(int i=a;i<=b;i++)
#define Fde(i,a,b) for(int i=a;i>=b;i--)
#define cer(a) cerr<<#a<<'='<<(a)<<" @ line "<<__LINE__<<" "<<endl
typedef priority_queue<int,vector<int>,greater<int>>  Pri_m;
typedef pair<int,int> pii;
typedef vector<int> VI;
map<int,int> mp;
const int N = 2e5+10,INF = 0x3f3f3f3f;
const double eps = 1e-5;


struct node{
    int to,val;
};
int i,j;
void solve(){
	int n;cin>>n;
	mp.clear();
	
	Fup(i,1,n){
		int x;cin>>x;
		while(x%2 == 0 && x) x/=2;
		mp[x]++;
	}
	int flag =  1;
	
	Fup(i,1,n){
		int x;cin>>x;
		while(mp[x] == 0  && x) x/=2;
		if(mp[x] <= 0)  flag = 0;
		else mp[x] -- ;
	}
	
	if(flag) cout<<"YES"<<endl;
	else cout<<"NO"<<endl;
}

int main(){
	IOS
	CIT
	COT
	int t;cin>>t;while(t--)
    solve();
    return 0 ;
}