6算法的正确性分析
算法的正确性分析包含两方面的含义：1）算法是可终止的。2）算法是有效的。
在上述算法中，由于n是有限数，所以算法在有限次执行之后必然终止，这是显然的。
算法的有效性是指当算法正常终止时，最重、最轻的金块能够被找到(没有遗漏现象)。由于算法是从第一个金块开始逐一寻找，直到和第n个金块比较之后才结束，所以最后得到的必然是最重(max)、最轻(min)的金块.综合1）和2），算法是正确的。
7实验结果：
算法思想二用分治法解决金块问题
1典型二分法思想：一种简单的分治法。即当每次将比较大的一个问题一分为二，形成两个较小的问题，再把每个较小问题一分为二，变
为更小的两个问题，……,直到得到容易解决的小问题为止，再解决所有小问题，然后把小问题的解逐层合并，得到原来大问题的解。
………..
典型二分法用二叉树表示：
……………….
2 用二分法如何解决金块问题？
从两个简单实例谈起：
(1)假设只有一个金块，重10克，则不需要比较轻重,最重者和最
轻者是同一个金块。即比较0次。
(2) 假设有2个金块，一个重10克，另一个重16克，则
需要比较1次，可以把最重者和最轻者确定下来。
(3) 当有多个金块时（假设6块），则用二分法对其分
解，直到分解为（1）或（2）的情形时，问题很
容易解决。
假设6个金块重量如下(以找最轻金块为例)：
2 6 4
3 8 1
一分为二（两组）：【2 6 4】【3 8 1】
一分为二（四组）：【2 6】【4】【3 8】【1】
解较小子问题： 2 4 3 1
合并子问题解： 2 1
lmin rmin
< ?
3用二分法解决金块问题算法设计：
问题抽象、简化为：在n个元素的集合中寻找最大和最小值元素。
(1)将集合一分为二，变为两个集合，目的是在较小的两个集合中分别找最大、最小元素。
(2)递归分解较小集合，直到每个集合中的元素个数≤2，然后找出小集合的最大、最小元素。
（3）合并（回溯）：自低向上把子问题的解合并，大元素中取最大者，小元素中取最小者，最后得到元问题的解。
4 用二分法解决金块问题算法描述：
void maxmin(int i,int j,float &fmax,float &fmin)
{
int mid;
float lmax,lmin,rmax,rmin;
if(i==j)
{
fmax=a[i];
fmin=a[i];
}
else if(i==j-1)
if(a[i]{
fmax=a[j];
fmin=a[i];
}
else
{
fmax=a[i];
fmin=a[j];
}
else
{
mid=(i+j)/2;
maxmin(i,mid,lmax,lmin);
maxmin(mid+1,j,rmax,rmin);
if(lmax>rmax)
fmax=lmax;
else
fmax=rmax;
if(lmin>rmin)
fmin=rmin;
else
fmin=lmin;
}
}
5用二分法解决金块问题算法分析：
