题面描述
思路
三条引理:
-
设 m m m是1~N中约数个数最多的数中最小的一个。根据m的定义,m显然满足:
- ∀ x < m , g ( x ) < g ( m ) \forall x<m,g(x)<g(m) ∀x<m,g(x)<g(m)
- ∀ x > m , g ( x ) ≤ g ( m ) \forall x>m,g(x)\le g(m) ∀x>m,g(x)≤g(m)
根据反质数定义,1说明了 m m m是反质数,2说明了大于 m m m的数都不是反质数,
故 m m m即为所求。
-
1 1 1~ N N N中任何数的不同质因子都不会超过 10 10 10个,且所有质因子的指数总和不超过 30 30 30.
证明:
因为最小的 11 11 11个质数的乘积 2 ∗ 3 ∗ 5 ∗ 7 ∗ 13 ∗ 17 ∗ 19 ∗ 23 ∗ 29 ∗ 31 > 2 ∗ 1 0 9 2*3*5*7*13*17*19*23*29*31>2*10^9 2∗3∗5∗7∗13∗17∗19∗23∗29∗31>2∗109
所以 N ≤ 2 ∗ 1 0 9 N\leq2*10^9 N≤2∗109不可能多于有 10 10 10个不同的质因子。
即使仅包含最小质数 2 2 2, 2 31 > 2 ∗ 1 0 9 2^{31}>2*10^9 231>2∗109,故指数总和不超过 30 30 30。 -
∀ x ∈ [ 1 , N ] \large\forall x \in [1,N] ∀x∈[1,N], x x x为反质数的充要条件是: x分解质因数可以写作:
2 c 1 ∗ 3 c 2 ∗ 5 c 3 ∗ . . . . . . ∗ 2 9 c 10 , c 1 ≥ c 2 ≥ c 3 ≥ . . . . . . ≥ c 10 ≥ 0 2^{c_1}*3^{c_2}*5^{c_3}*......*29^{c_{10}},c_1\ge c_2 \ge c_3\ge ...... \ge c_{10}\ge 0 2c1∗3c2∗5c3∗......∗29c10,c1≥c2≥c3≥......≥c10≥0证明:若 n n n存在一大于 29 29 29的质因子 p k p^{k} pk,由引理1可知,存在整数 m m m,约数个数与 n n n相同,且小于 n n n.
若 c i < c j , i < j c_i<c_j,i<j ci<cj,i<j,同理,亦存在整数比 n n n小.
综上所述,
我们可以用DFS,尝试确定前十个质数的质数,满足引理条件,总乘积小于N,同时记录约束个数。
每搜索出一个符合条件的数,用引理1更新答案。
AC code
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<cstdlib>
#define ll long long
using namespace std;
const int N=12;
const int inf=2e9;
const int prime[N]={0,2,3,5,7,11,13,17,19,23,29};
int c[N],n;ll ans;int ansc;
int calc(int len)
{
int k=1;
for(int i=1;i<=len;i++)k*=(c[i]+1);
return k;
}
ll get(int now,int len)
{
ll k=1;
for(int i=1;i<=len;i++){if(k*prime[now]>n)return 0;k*=prime[now];}
return k;
}
void dfs(int last,int sum,ll s)
{
if(last>=10)return ;
if(sum>ansc)ansc=sum,ans=s;
if(sum==ansc&&ans>s)ans=s;
for(int i=c[last];i>=0;i--)
{
ll k=get(last+1,i);
if(k==0||s*k>n)continue;
c[last+1]=i;
dfs(last+1,calc(last+1),s*k);
c[last+1]=0;
}
}
int main()
{
c[0]=30;
scanf("%d",&n);ans=1,ansc=1;
dfs(0,1,1);
printf("%lld\n",ans);
return 0;
}