首先分析不出啥性质，所以肯定是暴力优化😅

常见的暴力优化手段有均摊，剪枝，数据范围分治（points），答案值域分析之类的。

比较经典的题目是 CF1870E Another MEX Problem，可以用剪枝和分析值域两种方法通过

考虑剪枝，这个大佬 是剪枝高手，大家快去膜拜他🤩

首先，设$g={\gcd }_{1\le i\le n}{a}_i$，然后对每个$a_i$只保留$g$中的质因数。发现此时本质不同的$a_i$比较少，并且本质不同的质因数也比较少，考虑从这两方面入手

记质因数数目为$M$，$a_i$的状态数为$m$，显然$M\le 11$，$m$不太清楚，但是可以感性发现不会很大

发现对于相同的$a_i$，只需要保留前$M$个较小的$e_i$即可，后面的都用不上。

同时注意到被操作的数不会超过$M$，因此$DP$复杂度为$O(3^{M}m{M}^2)$

每次只加入一个$a_i$太浪费了，可以考虑一次将相同的$a_i$一起加进去，然后记录需要选择的$a_i$数目的最小值。这样组外$DP$的复杂度为$O(3^{M}mM)$，组内$DP$的复杂度为$O(3^{M}m)$。

当$M$取遍所有值时，最大计算量在$10^8$左右，可以通过。

#include<bits/stdc++.h>
#define fi first
#define se second
#define pb push_back
#define ll long long
#define db double
#define inf 0x3f3f3f3f3f3f3f3f
using namespace std;
const int N=1e6+5;
int n,cnt;
ll K,a[N],nums[N],e[N],g,res;
int M;
ll prime[15];
vector<ll>v[15005];
ll gcd(ll x,ll y){return y==0?x:gcd(y,x%y);
}
int get(ll x){return lower_bound(nums+1,nums+1+cnt,x)-nums;
}
void dfs(int u,ll mul){if(u==M){nums[++cnt]=mul;return;}while(mul<=1000000000000/prime[u]){mul*=prime[u],dfs(u+1,mul);}
}
ll now[1<<11][12],nxt[1<<11][12],sm[12];
int dp[1<<11],h[1<<11];
ll b[15];
int main(){ios::sync_with_stdio(false);cin.tie(0),cout.tie(0);cin>>n>>K;for(int i=1;i<=n;i++)cin>>a[i],g=gcd(g,a[i]);for(int i=1;i<=n;i++)cin>>e[i];ll tmp=g;for(int i=2;i<=tmp/i;i++){if(tmp%i==0){prime[M++]=i;while(tmp%i==0)tmp/=i;}}if(tmp>1)prime[M++]=tmp;dfs(0,1),sort(nums+1,nums+1+cnt);for(int i=1;i<=n;i++){ll tmp2=1;for(int j=0;j<M;j++){while(a[i]%prime[j]==0)a[i]/=prime[j],tmp2*=prime[j];}v[get(tmp2)].pb(e[i]);}memset(now,0x3f,sizeof now),now[0][0]=0;for(int i=1;i<=cnt;i++){if(v[i].size()==0)continue;sort(v[i].begin(),v[i].end());if(v[i].size()>M)v[i].resize(M);for(int j=0;j<v[i].size();j++)sm[j+1]=sm[j]+v[i][j];ll tmp=nums[i];for(int j=0;j<M;j++){b[j]=1;while(tmp%prime[j]==0)b[j]*=prime[j],tmp/=prime[j];}for(int j=0;j<1<<M;j++){for(int k=0;k<=M;k++){nxt[j][k]=now[j][k];}}for(int j=1;j<1<<M;j++){h[j]=0,dp[j]=114514;ll mul=1;for(int k=0;k<M;k++){if(j>>k&1)mul*=b[k];}if(mul<=K)h[j]=1;for(int k=j;k;k=(k-1)&j){if(h[k])dp[j]=min(dp[j],dp[j-k]+1);}if(dp[j]<=v[i].size()){int s=(1<<M)-1-j;for(int k=s;;k=(k-1)&s){for(int l=0;l<=M;l++){if(now[k][l]!=inf){nxt[k+j][l+dp[j]]=min(nxt[k+j][l+dp[j]],now[k][l]+sm[dp[j]]);}}if(k==0)break;}}}for(int j=0;j<1<<M;j++){for(int k=0;k<=M;k++){now[j][k]=nxt[j][k];}}}ll res=inf;for(int i=0;i<=M;i++)if(now[(1<<M)-1][i]!=inf)res=min(res,now[(1<<M)-1][i]*i);cout<<(res==inf?-1:res);
}