离散数学算法.pptVIP

离散教学 黄晓宇 HuangSir@  本讲内容 算法简介 ■算法例子 算法分析 ■递归算法  算法一一组有限的指令集合 ■入:算法接愛翰入。 翰出:算法产生出。 ■精确性:步骤被精确描逑。 ■确定性:每步执行的结果是惟一的,旦只慫賴 于输入和前面步骤执行的结果。 ■有限性:算法可以终止,也統是在执行有限多 条指今后停止。 ■正确性:算法生成的輸出缮果是正确的,也魷 是算法可以正确地漿解向题。 ■一般性:算法造应于一组輸入。  算法示例一三数排序 1. large a 2. If b large then large b 3. If c large, then large C 返个算法的思恕是对返些一个一个 地检查,将所见的最大敝赋值给变量 arge。在算法停止时, large等 于返三个歉中最大的了  跟踪 X〓 a=1,b=5c=3 a=1,b=5,c=9 1. large= a 2. If blarge, then large= b 3. If c large, then large=C  算法正确性证明 算法描述:在数列s,sh中找出最大的一个。 输入:sm 输出: large(序列s中的最大值) max(s, n large=S1 for i=2 to n if(si large large= si return large  算法正确性证明(二) 循环不式:在循环的每次迭代前 后均为真的谓词 arge=max{s…,Sn  算法正确性证明(三)一归納 1.平凡情况(i=1)后 arge是序列中的最大值。 2假设lrge是子序列1…S中的最大值。 3假如j成立,变成j+1。 (1)s41后 arge,赋值lrge=s+1; (2)S+≤后arge,算法不改变lrge的值。 因此, large=max{s1灬,m}是一个循环不 变量 4.for循环在i=n时结束,算法正确  文本投桑 假设给定一个文本t(例如一个文档),在 t中找出特定词组P首次出现的位置。 ABCABCDEA D 声cD