P7947 [✗✓OI R1] 铝锤制作 题解

 首先，拿到本题，容易看出这是一个高质量数学题，抛出个引理，证明写在最后：当 时 ，由这个东西，我们就容易想到分解质因数，所以我们先分解质因数，得到所有质因数的和 sum，在不影响积的情况下，我们再输出 k-sum 个 1 就行了，时间复杂度 O(n)，可以过，但重点是证明。

AC Code:

#include<bits/stdc++.h>
using namespace std;
int n,k,sum;
vector<int> vec;
int main(){
    scanf("%d%d",&n,&k);
    for(int i=2;i<=n;i++){
        while(n%i==0){
            vec.push_back(i);
            n/=i;
            sum+=i;
            if(sum>k){
                puts("-1");
                return 0;
            }
        }
    }//质因数分解
    int w=k-sum,l=vec.size();
    cout<<w+l<<endl;
    for(int i=1;i<=w;i++)
        printf("1 ");
    for(int i=0;i<l;i++)
        printf("%d ",vec[i]);
    return 0;
}

正确性证明

首先，我们回到这个引理的最本质：两个大于等于 2 的数的和一定小于等于它们的积。首先，我们把原式转化成这样：，即 ，因为 ，所以左边的最大值为 ，解不等式得 ，与题意相符，得证！综上所述，当 时 ，证明出来了，本题终于结束了！