洛谷 P1984 [SDOI2008]烧水问题

题目描述

把总质量为1kg的水分装在n个杯子里，每杯水的质量均为(1/n)kg，初始温度均为0℃。现需要把每一杯水都烧开。我们可以对任意一杯水进行加热。把一杯水的温度升高t℃所需的能量为(4200*t/n)J，其中，“J”是能量单位“焦耳”。如果一旦某杯水的温度达到100℃，那么这杯水的温度就不能再继续升高，此时我们认为这杯水已经被烧开。显然地，如果直接把水一杯一杯地烧开，所需的总能量为(4200*100)J。
在烧水的过程中，我们随时可以在两杯温度不同的水之间进行热传递操作。热量只能从温度较高的那杯水传递到温度较低的那杯水。由于两杯水的质量相同，所以进行热传递操作之后，原来温度较高的那杯水所降低的温度总是等于原来温度较低的那杯水所升高的温度。
一旦两杯水的温度相同，热传递立刻停止。
为了把问题简化，我们假设：
1、没有进行加热或热传递操作时，水的温度不会变化。
2、加热时所花费的能量全部被水吸收，杯子不吸收能量。
3、热传递总是隔着杯子进行，n杯水永远不会互相混合。
4、热传递符合能量守恒，而且没有任何的热量损耗。
在这个问题里，只要求把每杯水都至少烧开一遍就可以了，而不要求最终每杯水的温度都是100℃。我们可以用如下操作把两杯水烧开：先把一杯水加热到100℃，花费能量(4200*100/2)J，然后两杯水进行热传递，直到它们的温度都变成50℃为止，最后把原来没有加热到100℃的那杯水加热到100℃，花费能量(4200*50/2)J，此时两杯水都被烧开过了，当前温度一杯100℃，一杯50℃，花费的总能量为(4200*75)J，比直接烧开所需的(4200*100)J少花费了25%的能量。
你的任务是设计一个最佳的操作方案使得n杯水都至少被烧开一遍所需的总能量最少。

输入输出格式

输入格式：

输入文件只有一个数n。

输出格式：

输出n杯水都至少被烧开一遍所需的最少的总能量，单位为J，四舍五入到小数点后两位。

输入输出样例

输入样例#1：

2

输出样例#1：

315000.00

说明

1≤n≤50000

分析

没想出来，于是看了一下题解，题解上是这么说的：
首先，我要把第一杯水加热至100摄氏度，花费了420000热量。
之后，我们依次考虑第2至第N杯水。
对于第i杯水，根据题目描述及物理常识，我们至多能往当前的杯子里分配(现在花费的总热量/i)的热量，而且一定有办法做到。
所以，实际上第i杯水要花费(上一次花费的热量*(2*i-i)/(2*i))单位热量。
但是我发现一个问题，他并没有证明充分性和必要性，也就是说他只说了怎么做，却没有说为什么这么做是对的。

代码

#include <bits/stdc++.h>

using namespace std;

int main()
{
    int n;
    double res,now;
    cin>>n;
    now = 420000.00/n;
    for(int i=1;i<=n;i++)
    {
        res+=now;
        now*=(1-0.5/i);
    }    
    printf("%.2lf\n", res);
    return 0;
}