親愛なる専門家や愛好家、
次の問題を解決したいと思います。自然数の配列があります。それらの最大値を見つけたいと思います。
しかし、私はそのような構造図で私の解決策を示さなければなりません http://www.testech-elect.com/pls/images/casetool2.jpg
これは、合計アルゴリズムをmidifieすることで行う必要があります。つまり、http://cfhay.inf.elte.hu/~hurrycane/programozas/programming_theorems.pdfの構造図と事後条件をmidifieする必要があります。
メインの水平線は維持する必要がありますが、それ以外はすべて変更できます。再帰なしで変更された事後条件を教えてください。それで十分でしょう。構造図がわかれば作れます。前もって感謝します。