CF804 E-Three Days Grace

CF804 E- Three Days Grace

Problem Statement

$T$组询问, 每组询问给一个数组$A_i$和两个整数长度$N$及其值域$[1,M]$.

你可以进行如下操作

• 选择一个数$A_i$若满足$A_i=p\cdot q(p,q\ne 1)$则可以删去$A_i$把$p,q$加入数组.
• 你可以无数次地进行上述操作

问数组中的极差最小是多少, 即$\max (A_i)-\min (A_i)$在若干次操作后的最小值.

Solution

假设当前最大因子为$K$,我们考虑从小到大枚举最大的因子$K$.

则$\forall i,A_i\le K$时, 我们需要让满足条件的$A_i$最大.

我们不妨设$f_i$表示在最大因子不超过$K$的条件下, 数$i$的可被分解为的最小因子的最大值为$f_i$(即$6=2\times 3$则当$K=3$时$f_6=2$).

• 性质1: 显然有$f_i\le K$.
• 性质2: 由于操作是将$A_i=p\cdot q(p,q\ne 1)$, 显然进行一次操作后$A_i$会被分解称为两个更小的数, 即满足$p,q\le A_i$.

由于我们从小到大枚举了最大因子$K$, 那么可能原先的数不能被小于等于$K$的数分解, 那么我们认为其最小因子的最大值为$-INF$.

---

我们设一开始$f_1=1,\forall i>1,f_i=-INF$.

我们从$K=2$开始, 从小到大枚举$K$.

当$K=k$时, 由于我们要让因子分解地尽量地大, 那就等价于尽可能地不被分解$f_k=k$(如性质2可得).

我们考虑更新$f_i$由于$A_i=p\cdot q$要求$p,q$均为$A_i$的因子, 我们直接从小到大枚举$k$的倍数.

假设, 当前需要更新的数为$x=k\cdot j(j>1)$, 那么由于性质2, 可得$f_j\le K,f_k=K$.

当$x$分解为$j$与$k$时, 其最小因子的最大值应当为$f_j(f_j\le f_k=K)$.

从小到大枚举$K$再进行上述更新即可, 当然由于我们让限制$K$逐步扩大, 那么$f_i$的值也会随之变大, 因此我们可以用单调队列的方式进行更新.

时间复杂度为$O(m\log m)$, 如果使用set维护时间复杂度为$O(m{\log }^{2}m)$.

---

Code$[O(m{\log }^{2}m)]$

由于懒得写单调队列了, 直接用一个set进行维护

const int maxm=5e6+10;
const int INF=1<<30;

int A[maxm],Ans,DP[maxm];
bool Visit[maxm];

void Solve(){
	static int N,M,i,j,To;
	read(N),read(M);
	for(i=1;i<=M;++i) Visit[i]=false; 
	for(i=1;i<=N;++i) read(A[i]),Visit[A[i]]=true; 
	set<pii> Now;
	DP[1]=1;
	for(i=2;i<=M;++i) DP[i]=-INF;
	for(i=1;i<=M;++i) if(Visit[i]) Now.insert({DP[i],i});
	Ans=1-Now.begin()->first;
	for(i=2;i<=M;++i){
		if(Visit[i]) Now.erase({DP[i],i}),Now.insert({i,i});
		DP[i]=i;
		int Tem=M/i;
		for(j=2;j<=Tem;++j){
			To=i*j;
			if(DP[To]<DP[j]){
				if(Visit[To]){
					Now.erase({DP[To],To});
					Now.insert({DP[j],To});
				}DP[To]=DP[j];
			}
		}Ans=min(Ans,i-Now.begin()->first);
	}
	printf("%d\n",Ans);
	return;
}

Tips: 本题难点在枚举顺序上, 当我们从小到大枚举的时候, 能获得到单调性这一特殊性质