获得成就:第一次在信竞做神仙数学题

先放个前言,$OI$ 出大型数学题还是比较麻烦的,因为主要是考你数学推导 / 手算式子,你算出来之后把公式套个板子,就得到结论——$OI$ 的大型数学题的代码都是板子……

然后再放一些前置物理知识——功的计算公式:$E(W)=F\times s$($s$ 表示路程)。

首先,我们得知道题目隐含条件,就是人速不能小于等于风速,否则总时间就是无穷大了。

我们可以先给每段路随便分配个速度或时间,我这里分配的是时间。

然后时间又可以先分配为无限小或无限大,我这里分配成无限小,也就是 $1\times 10^{-7}\times \frac{1}{n}$(不能 $\le 0$)。

这样我们就可以算出每段的人速($v_i=\frac{s_i}{t_i}$)。

也可以算出人总共做了多少功。

这时总功可能会超过限制。我们考虑增加人在某一段上骑行所用的时间,这样那一段的速度就会减小,力和功也随之减小。

这看起来很像个贪心。但做过 $dp$ 的人都知道,一步的最优选择不代表全局的最优选择。

如果要证明贪心是对的(即每一步的最优选择都属于全局的最优选择),我们得证明时间的导数在其有效区间中是单调上升的(这个有效区间就是 人速 $\gt$ 风速的部分)。

也就是说重点是把功的式子 $E=s_i\times k_i\times (\frac{s_i}{t_i}-v'_i)$ 求导数。

它的导数是 $$E'=(s_i\times k_i\times [2\times (\frac{s_i}{t_i}-v'_i)]\times (\frac{s_i}{t_i^2})$$

推导过程:

套用导数公式 $$\frac{dE}{dx}=\frac{dE}{dg}\times \frac{dg}{dx}$$

其意义是求 $E$ 以 $x$ 为底的导数,那么在这里 $dx=t_i^{-1}$。

可知如果设 $dg=\frac{s_i}{t_i}-v'_i$,则根据一些乱七八糟的导数公式可得

$$\frac{dE}{dg}=(s_i\times k_i\times [2\times (\frac{s_i}{t_i}-v'_i)]$$

由于 $v'_i$ 是给定的常数,它的导数值为 $0$,则 $$\frac{dg}{dx}=\frac{s_i}{t_i^2}$$

推导完毕。

不难发现这个导数式子是一个关于 $t_i$ 的 $-3$ 次方程,也就是 $t_i^{-1}$ 的 $3$ 次方程。而方程的图像状态只跟最高次数有关,所以它的图像大概就是 $3$ 次函数的样子:

然后我们考虑一下合法之前说过的有效区间在哪里(就是哪一段人速大于风速)。

但是我们发现横坐标好像有点碍事。我们发现总长是不变的,横坐标定义为时间的负 $x$ 次方,就跟定义为人速的正 $x$ 次方的趋势是一致的,也就是说两者画出来都是如上的三次方图像。

如果没明白,可以理解为把横纵坐标同乘上一个常数——$s_i$,然后横坐标就变成人速 $v_i$ 了,而原图像只是在纵方向上伸缩了。这样我们就得到了横坐标为 $v_i$ 的图像。

进一步地,我们还可以把横坐标再减去一个

【NOI2012】骑行川藏的更多相关文章

  1. bzoj 2876: [Noi2012]骑行川藏 拉格朗日数乘

    2876: [Noi2012]骑行川藏 Time Limit: 20 Sec  Memory Limit: 128 MBSec  Special JudgeSubmit: 1033  Solved: ...

  2. 2876: [Noi2012]骑行川藏 - BZOJ

    Description 蛋蛋非常热衷于挑战自我,今年暑假他准备沿川藏线骑着自行车从成都前往拉萨.川藏线的沿途有着非常美丽的风景,但在这一路上也有着很多的艰难险阻,路况变化多端,而蛋蛋的体力十分有限,因 ...

  3. bzoj2876 [Noi2012]骑行川藏

    Description 蛋蛋非常热衷于挑战自我,今年暑假他准备沿川藏线骑着自行车从成都前往拉萨.川藏线的沿途有着非常美丽的风景,但在这一路上也有着很多的艰难险阻,路况变化多端,而蛋蛋的体力十分有限,因 ...

  4. bzoj2876 [NOI2012]骑行川藏(拉格朗日乘数法)

    题目描述 蛋蛋非常热衷于挑战自我,今年暑假他准备沿川藏线骑着自行车从成都前往拉萨.川藏线的沿途有着非常美丽的风景,但在这一路上也有着很多的艰难险阻,路况变化多端,而蛋蛋的体力十分有限,因此在每天的骑行 ...

  5. [BZOJ2876][NOI2012]骑行川藏(拉格朗日乘数法)

    题目:http://www.lydsy.com:808/JudgeOnline/problem.php?id=2876 分析:就是要求约束条件下函数的极值,于是拉格朗日乘数列方程,发现化简后的关于vi ...

  6. 【BZOJ】2876: [Noi2012]骑行川藏

    题意 给出\(s_i, k_i, v_i', E\),满足\(\sum_{i=1}^{n} k_i s_i ( v_i - v_i' )^2 \le E, v_i > v_i'\),最小化$ \ ...

  7. NOI2012 骑行川藏

    http://www.lydsy.com/JudgeOnline/problem.php?id=2876 表示完全不会...... 还是跪拜大神吧 http://www.cnblogs.com/Ger ...

  8. [NOI2012] 骑行川藏 | 求导 二分

    一个能看的题解!预备知识只有高中数学的[导数].不用什么偏导数/拉格朗日乘子法之类的我看不懂的东西( •̀∀•́ )! 如果你不知道什么是导数,可以找本高中数学选修2-2来看一下!看第一章第1.2节就 ...

  9. [NOI2012]骑行川藏(未完成)

    题解: 满分又是拉格朗日啥的 以后再学 自己对于n=2猜了个三分 然后对拍了一下发现是对的

  10. BZOJ2876 [Noi2012]骑行川藏 【拉格朗日乘数法】

    题目链接 BZOJ 题解 拉格朗日乘数法 拉格朗日乘数法用以求多元函数在约束下的极值 我们设多元函数\(f(x_1,x_2,x_3,\dots,x_n)\) 以及限制\(g(x_1,x_2,x_3,\ ...

随机推荐

  1. Android学习总结(二)——Service基本概念和生命周期

    好了,前面我们已经学习了Activity的知识,相信大家也有一定的理解,但是还是不能放松,Android四大组件,我们才学习了一个而已,接下我们继续学习Service.计划总结如下内容: 一.Serv ...

  2. FATAL org.apache.hadoop.hdfs.server.datanode.DataNode: Initialization failed for Block pool <registering> (Datanode Uuid unassigned) service to controller/192.168.1.183:9000. Exiting. java.io.IOExcep

    2018-01-09 09:47:38,297 FATAL org.apache.hadoop.hdfs.server.datanode.DataNode: Initialization failed ...

  3. com.alibaba.dubbo.remoting.RemotingException: Failed to bind NettyServer on /192.168.1.13:20881, cause: Failed to bind to: /0.0.0.0:20881

    抛出的异常如上,解决方案是:根据异常信息确定是端口被占用,排查项目是否启动之后没有关闭,在windows命令行中运行如下命令:netstat -ano 检查端口占用的情况,根据pid在任务管理器中杀死 ...

  4. UVA 1661 Equation (后缀表达式,表达式树,模拟,实现)

    题意:给出一个后缀表达式f(x),最多出现一次x,解方程f(x) = 0. 读取的时候用一个栈保存之前的结点,可以得到一颗二叉树,标记出现'X'的路径,先把没有出现'X'的子树算完,由于读取建树的时候 ...

  5. CSAPP lab1 datalab-handout

    这是一个关于机器级的整数.浮点数表示和位运算的实验.要求用给定的操作符.尽可能少的操作数去实现对应的函数功能. 完整的实验包:链接: https://pan.baidu.com/s/1xUBi3XDl ...

  6. Airbnb:别抵制我,宝宝要过 10 岁生日

    今日导读 喜欢旅游的你,一定听说或使用过 airbnb(爱彼迎),在出发前打开它,总是能通过它开始一段奇妙的旅行.可是最近,就在这个打着“共享家”概念的服务型网站正迎来十周年之际,它却遭到了很多国家的 ...

  7. 解决wpf popup控件遮挡其他程序的问题

    public class PopupNonTopmost : Popup { public static DependencyProperty TopmostProperty = Window.Top ...

  8. PAT (Basic Level) Practise (中文)-1032. 挖掘机技术哪家强(20)

    PAT (Basic Level) Practise (中文)-1032. 挖掘机技术哪家强(20) http://www.patest.cn/contests/pat-b-practise/1032 ...

  9. (2)JSTL的fmt国际化标签库

    format标签库:做国际化格式化,分两类 : 国际化核心标签:<fmt:setLocale>.<fmt:bundle>.<fmt:setBundle>.<f ...

  10. Fortran学习笔记6(函数、子程序)

    子程序Subroutine 自定义函数Function 全局变量COMMON BLOCK DATA 程序代码中,常常会在不同的地方重复用到某一功能和重复某一代码,这个时候就要使用函数.函数包括内嵌函数 ...