A 题 决策单调性证明

最小执行次数 可以表示为:

证明: 时取到最小值。

解析解

首先,打开 oeis,输入前几项 "0, 2, 3, 6, 8",得到对应数列 A097383

发现有个解析解

其中 的二进制长度,即

这个式子怎么来的不做详细叙述,只讨论一下 取最小值的位置

凸函数

思路: 不是凸函数,但是这个式子看起来和凸函数能搭上关系。为了用上凸函数的性质,思路是找到一个和 极其接近的凸函数,并对二者的差进行讨论。

,容易看出 成立

引理1. 是一个凸函数

证:

不为 2 的幂次时,那么 ,有

为 2 的幂次时,那么 ,即 ,有

因此, 单调不减, 是一个凸函数

引理2. 对于一个凸函数, 满足:

证:

时,,即 ,所以 越靠近中间越小。

对 n 进行分类讨论,联系

回顾一下 ,也就是 为偶数时 为奇数时

为偶数

因为 一定是一奇一偶,那么有

因为 也一定是一奇一偶,那么有

所以 为偶数时, 取到最小值

此时 为奇数,那么有

,因此

而根据定义,有

所以有

所以 时, 取到最小值

这是唯一特殊的情况,分成 , , 三种讨论。

,即

那么有

,即

那么有

根据 的定义和之前的推论,有 ,其中

两式相减,有

所以 (换句话说,这时候取中点也就是 不是最优的)

,即

那么有

不可能更优

总结一下,即

所以 时, 取到最小值

结论

综上所述,对于

时, 取到最小值

时, 取到最小值

把对称性考虑上,再合并这两种情况就是

全部评论

相关推荐

上周组里招人,我面了六个候选人,回来跟同事吃饭的时候聊起一个让我挺感慨的现象。前三个候选人,算法题写得都不错。第一道二分查找,五分钟之内给出解法,边界条件也处理得干净。第二道动态规划,状态转移方程写对了,空间复杂度也优化了一版。我翻他们的简历,力扣刷题量都在300以上。后三个呢,就有点参差不齐了。有的边界条件没处理好,有的直接说这道题没刷过能不能换个思路讲讲。其中有一个女生,我印象特别深——她拿到题之后没有马上写,而是先问我:“面试官,我能先跟你确认一下我对题目的理解吗?”然后她把自己的思路讲了一遍,虽然最后代码写得不是最优解,但整个沟通过程非常顺畅。这个女生的代码不是最优的,但当我问她“如果这里是线上环境,你会怎么设计’的时候,她给我讲了一套完整的方案——异常怎么处理、日志怎么打、怎么平滑发布。她对这是之前在实习的时候踩过的坑。”我在想LeetCode到底在筛选什么?我自己的经历可能有点代表性。我当年校招的时候,也是刷了三百多道题才敢去面试。那时候大家都刷,你不刷就过不了笔试关。后来工作了,前三年基本没再打开过力扣。真正干活的时候,没人让你写反转链表,也没人让你手撕红黑树。更多的是:这个接口为什么慢了、那个服务为什么OOM了、线上数据对不上了得排查一下。所以后来我当面试官,慢慢调整了自己的评判标准。算法题我还会出,但目的变了。我出算法题,不是想看你能不能背出最优解。而是想看你拿到一个陌生问题的时候,是怎么思考的。你会先理清题意吗?你会主动问边界条件吗?你想不出来的时候会怎么办?你写出来的代码,变量命名乱不乱、结构清不清楚?这些才是工作中真正用得到的能力。LeetCode是一个工具,不是目的。它帮你熟悉数据结构和常见算法思路,这没问题。但如果你刷了三百道题,却说不清楚自己的项目解决了什么问题、遇到了什么困难、你是怎么解决的,那这三百道题可能真的白刷了。所以还要不要刷LeetCode?要刷,但别只刷题。刷题的时候,多问自己几个为什么:为什么用这个数据结构?为什么这个解法比那个好?如果换个条件,解法还成立吗?把刷题当成锻炼思维的方式,而不是背答案的任务。毕竟面试官想看到的,从来不是一台背题机器,而是一个能解决问题的人。
牛客51274894...:意思是光刷力扣还不够卷
AI时代还有必要刷lee...
点赞 评论 收藏
分享
点赞 评论 收藏
分享
评论
5
收藏
分享

创作者周榜

更多
牛客网
牛客网在线编程
牛客网题解
牛客企业服务