标准答案

通常俺不给标准答案。但这次问题关系到我国体育事业，所以给一下。

很多理工科同学，会想到用多阶段规划，非线型规划什么的来解这种问题。可俺们文科的没那么复杂。很简单就给解出来。解法如下：

假设T1-T4都是线性函数。设每投入单位能量，在四种姿势中，缩短的时间量分别为t1, t2,t3, t4。那么立刻得出，正解是把t1-t4排序，然后，把能量全部投入缩短量最大者对应的那种游泳姿势。

但是，在实践中，T1-T4这四个函数未必都是线性的。其具体形式未知。那也好办。请小叶做几次试验，记录下她在四百米游泳中，各姿势的努力分别对应于什么样的缩短量。这样，可以给出T1-T4这几个函数的数据表形式。剩下的工作，无非是编个程序，穷举所有组合，找出使得T1+T2+T3+T4达到极小的那个策略。

俺准备用同样的策略，指导中国的中长跑运动员，以及一切长程运动。唯一担心的是，这样一来，我国的金牌总数又要大幅度增加。假如形成了我国的垄断，奥运就没意思了。所以，俺现在还在犹豫之中。