1 条题解

  • 0
    @ 2025-8-24 22:52:06

    自动搬运

    查看原文

    来自洛谷,原作者为

    avatar dehsirehC
    一个人的命运啊,

    搬运于2025-08-24 22:52:06,当前版本为作者最后更新于2023-10-23 22:15:43,作者可能在搬运后再次修改,您可在原文处查看最新版

    自动搬运只会搬运当前题目点赞数最高的题解,您可前往洛谷题解查看更多

    以下是正文


    nn 为质数

    解法:其中一种答案序列为 nn11 或一个 nn ,将两者的较大值输出即可。

    证明:对于一个恰好包含 mm11 的序列,它的乱斗值不超过 f(m)=m(k1)2+(nmk)2f(m)=m(k-1)^2+(n-m-k)^2

    容易发现上述解法的答案即为 max(f(0),f(n))\max(f(0),f(n)) 。考虑随着 mm 的增大 f(m)f(m) 的变化规律。

    f(m+1)f(m)=(k1)22(nmk)+1f(m+1)-f(m)=(k-1)^2-2(n-m-k)+1

    根据上式容易得到当某一个 mm' 满足 f(m)f(m1)f(m')\ge f(m'-1) 时,对于任意 mmm\ge m' 都满足 f(m)f(m1)f(m)\ge f(m-1)

    换句话说,函数 f(m)f(m) 是一个单谷函数,而对于它的极值,必定会在其定义域的两个极值处取到,即 f(0)f(0)f(n)f(n)

    k=1k=1

    现在我们不需要考虑 pik<0p_i-k<0 的情况。感觉一下,发现 pip_i 越大性价比越高。

    设不超过 nn 的最大质数为 PP ,如果答案序列包含 PP ,我们将问题递归到 (nP,k)(n-P,k) ,否则 pi<Pp_i<P

    我们首先忽略掉 pip_i 为质数这一条件,若一个序列存在两个数 1pipj<P11\le p_i\le p_j<P-1 ,将 pjpj+1p_j\gets p_j+1pipi1p_i\gets p_i-1 一定更优。

    这样一直调整下去,当 nP+1<Pn-P+1<P 时,最终一定会调整到 p=(P1,nP+1)p=(P-1,n-P+1)

    容易发现当 nn 比较大时, PP 远大于 nnn-\sqrt n ,即 (P1)2(P2)2+(nP)2(P-1)^2\ge (P-2)^2+(n-P)^2

    具体而言 nPn-P 的最大值取决于质数间隙,在 nn 取到 10910^9 时最大质数间隙也不过几百。

    nn 比较小的时候可以暴力 DP但实践证明答案序列必定包含 PP

    至于 PP 怎么找,可以直接暴力枚举,再 O(nlnn)O(\frac{\sqrt n}{\ln n}) 判断是否为质数,由于质数间隙很小且跑不满,故可以通过。

    顺带一提,如果 O(n)O(\sqrt n) 判断是否为质数也可以通过,感觉很难卡......

    正解

    我们延续 k=1k=1 时的思路,找到不超过 nn 的最大质数 PP

    若答案序列包含超过 nPn-P11 ,则答案序列必定为 nn11 ,证明类似 nn 为质数时的思路。

    接下来考虑答案序列中 11 的数量不超过 nPn-P 的情况,如果答案序列包含 PP 则依旧将问题递归到 (nP,k)(n-P,k)

    否则的话首先忽略掉 pip_i 为质数这一条件,还是按照 k=1k=1 的思路不断调整序列 pp

    注意可以忽略掉 1<pi<k1<p_i<k 时的情况,因为可以将它们调成 11 使乱斗值更大。

    设序列 pp 中有 mm11 ,当 nmP+1<Pn-m-P+1<P 时,最终 pp11 外仅包含 P1P-1nmP+1n-m-P+1

    根据 nn 为质数中的思路,容易得到若 pp 包含 P1P-1 时,剩下的数必定为 nP+1n-P+111 或一个 nP+1n-P+1m1m\ge 1 时矛盾。

    现在我们说明了该情况下 mm 必定为 00 ,接下来考虑 (Pk)2(P-k)^2(Pk1)2+(nPk+1)2(P-k-1)^2+(n-P-k+1)^2 的大小关系。

    考虑当 n(k1)2n\le (k-1)^2 时, n2n(k1)2n^2\le n(k-1)^2 ,即答案序列必定由 nn11 组成。

    n>(k1)2n>(k-1)^2 时且 nn 比较大时,依旧由于质数间隙很小,故 (Pk)2(P-k)^2 必定大于 (Pk1)2+(nPk+1)2(P-k-1)^2+(n-P-k+1)^2

    nn 比较小的时候可以暴力 DP但实践证明答案序列在这种情况下必定包含 PP

    • 1

    信息

    ID
    9292
    时间
    1000ms
    内存
    128MiB
    难度
    5
    标签
    递交数
    0
    已通过
    0
    上传者