最大搜索算法

时间:2013-02-23 13:45:01

标签: max summarization post-conditions

亲爱的专家和爱好者,

我想解决以下问题: 我有一系列自然数。我想找到他们的最大值。

但是我必须用结构图显示我的解决方案  http://www.testech-elect.com/pls/images/casetool2.jpg

我必须通过对求和算法进行中间化来实现这一点,这意味着我必须对http://cfhay.inf.elte.hu/~hurrycane/programozas/programming_theorems.pdf

的结构图和后置条件进行midifie

必须保留主要的水平线,但您可以修改其他所有内容。你能告诉我没有递归的修改后的后置条件吗?这就够了。如果我得到它,我可以制作结构图。提前谢谢。

1 个答案:

答案 0 :(得分:1)

考虑算法的C++代码:

max = a[0]; ind = 0;
for (int i = 1; i < n; i++)
{
    if (a[i] > max)
    {
        max = a[i];
        ind = i;
    }
}

对于上述算法,我们将:

  1. StateSpace =( a :N *, n :N, ind :N,最大:N)
  2. 前置条件 =( a = a' / \ n = 长度(a )
  3. 后置条件 =(前置条件 / \( max ind )= MAX(i = 0,n)a [i]