1、证明最优情况下,必定有一个雕塑没有移动。
考虑有一个雕塑没有移动的情况:
红色的圆点代表n个之前就存在的雕塑,紫色的代表添加m个之后所有的雕塑的位置。
由于整个图形是圆形,所以具有很强的对称性质:离2号和4号最近的点是对称的、离1号和5号最近的点是对称的。
现在将3号向右移动一点距离x,则3号左右的点的情况是完全相反的----若2号离他最近的点的距离增大,则4号就要减小;若1号离他最近的点的距离减小,则5号则要增大。
所以相当于所有的点距离和增大;
上面说的情况是数量n为奇数的时候,若是n为偶数,剩下最后一个不配对的点,他到离他最近的点的距离有可能增大(所有点距离和增大),有可能减小(所有点距离和不变)。
所以,综上所述,向某一个方向移动只会导致距离和的增加或者不变,肯定不会减少。
现在,假设所有点距离和最小的情况时,并没有任何一个雕塑在原来的位置。
则取距离自己最近的一个点距离最小的雕塑,移动到该点上去,过程同上面讨论的过程相反,所以最终结果只会导致距离和的减少或者不变。
移动"距离自己最近的一个点距离最小的雕塑"的原因是,由于移动的距离是所有距离的最小值,所以不会出现某一些点“穿过”雕塑的情况,只有两种情况:1、单纯的增加或者减少2、先增加或减少再减少或增加,不论怎样点对都是对称的~
2、计算
假设之前每个雕塑之间的距离为N,添加m个点之后,间距为M。
对于第k个雕塑(取没有移动的雕塑为参考点):距离他最近的一个点的距离为:
1、x,当x<M/2时;
2、M/2-x,当想>=M/2时;
其中x为k*N%M (这里使用%不太恰当,因为N,M不为整数)
我们完全可以写一个if \else 就完事了。
当然如果非要用函数的话,可以表示成:M/2 - |x - M/2| ;
这个是根据下面的函数图构造的一个函数:
/*
* test.cpp*
* Created on: 2013-8-29
* Author: zhijian
*/
#include <stdio.h>
#define L 10000.0
int n,m;
double Fab(double a){
return a>0?a:-a;
}
void F(){
double sum = 0;
double dertan = L/n,dertam = L/(m+n);
double c = 0;
for(int i = 1;i<n;i++){
c += dertan;
while(c>dertam) c-= dertam;
sum += dertam/2 - Fab(c-dertam/2);
}
printf("%.4lf\n",sum);
}
int main(){
while(scanf("%d %d",&n,&m)==2){
F();
}
return 0;
}