[ARC122E] Increasing LCMs【归纳构造】

[ARC122E] Increasing LCMs

给定序列 \(a\),构造一种重新排序的方案使得其前缀 LCM 严格递增。

考虑归纳构造(倒序构造)

\(n=1\) 显然成立。

对于 \(n>1\),我们考虑任意找出这个序列的最后一个数,满足题目要求 \(\text{lcm}(a_j)<\text{lcm}(\text{lcm}(a_j),a_i),j\ne i\),就选择其作为当前序列最后一项,问题变成一个 \(n-1\) 的子问题。

引理: 一个序列合法,那么其任意子序列都合法。

很好感性理解,理性证明的话,考虑 \(\text{lcm}\) 的实质是质因数分解后,对一串底数的指数取 \(\max\),也就是说合法序列中每一个 \(i>1\) 的位置,其至少有一个质因数的指数是其前缀 \(\max\),前缀 \(\max\) 单调不降,所以删掉可以保证后面依旧合法。

回到原问题,我们要证明这样任意选择,不会使得答案的总数减少。考虑一个可能成为最终答案的答案,满足最后一项不是 \(a_i\),那么把 \(a_i\) 删掉,根据引理可得此时依旧合法,变成一个大小为 \(n-1\) 的子问题,再从后面加上 \(a_i\),根据构造规则这样依旧合法。

经典套路: 求一串数的 lcm 常常因为太大无法保存,如果值域较小可以存质因数的指数,但本题值域高达 \(10^{18}\),需要转换条件:\(a_i\) 存在一个严格最大指数,而 gcd 相当于取 min,因此转换为 \(\text{lcm} (\text{gcd}(a_i,a_j))<a_i\)

#include <bits/stdc++.h>
#define int long long
#define pii pair<int,int>
#define fi first
#define se second
using namespace std;
int read(){
	char c=getchar();int h=0,tag=1;
	while(!isdigit(c)) tag=(c=='-'?-1:1),c=getchar();
	while(isdigit(c)) h=(h<<1)+(h<<3)+(c^48),c=getchar();
	return h*tag;
}
void fil(){
	freopen("data.in","r",stdin);
	freopen("data.out","w",stdout);
}
const int N=105;
int a[N],b[N];
int lcm(int a,int b){
	return a/__gcd(a,b)*b;
}
void work(int n) {
	if(n==1) {
		b[1]=a[1];
		return ;
	}
	for(int i=1;i<=n;i++) {
		int res=1;
		for(int j=1;j<=n;j++) {
			if(i==j) continue;
			res=lcm(res,__gcd(a[i],a[j]));
		}		
		if(res<a[i]) {
			b[n]=a[i];
			for(int j=i;j<=n-1;j++) a[j]=a[j+1];
			work(n-1);
			return ;
		}
	}
}
signed main(){
//	fil();
	int n=read();
	for(int i=1;i<=n;i++) a[i]=read();
	work(n);
	if(b[1]) {
		puts("Yes");
		for(int i=1;i<=n;i++) cout<<b[i]<<" ";
		cout<<endl;
		return 0;
	}
	puts("No");
	return 0;
}

posted @ 2024-08-26 18:05  Apricity8211  阅读(5)  评论(0编辑  收藏  举报