[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;
}