原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
课题第14课算法的验证
1．通过项目实践，掌握用算法特征、数据及程序验证算法有效
教学目标性的方法。
2．通过算法的验证，初步形成模拟、验证解决问题的思维。
教学重点掌握用算法特征、数据及程序验证算法有效性的方法。
教学难点掌握用数据验证算法的方法。
环境与素材最短距离算法的程序。
教学过程
一、讨论
在生活中遇到的问题，可以通过对问题进行分析、抽象、建模，并设计
算法来解决。对于设计的算法是否有效地解决了问题，可以采用哪些方式进
行验证呢？
二、建构
算法的有效性，可以根据算法特征来验证流程图描述的算法是否正确，
也可以用具体数据来验证算法的输出结果是否正确，还可以编写程序在计算
机上验证算法。
1．根据算法特征验证。
算法可以根据算法的特征来验证，如验证
流程图描述的算法可以通过算法执行过程的步
骤是否有限、算法执行的每一步是否确定可执
行、输出是否符合规则等验证算法的有效性。
观察算法描述的步骤是否有限？每一步是
否确定可执行？输出是否符合要求？
2．用数据验证算法
使用不同的测试数据来测试算法，并记录
算法的输出结果，是检查算法有效性的一种常
见方法。例如，输入数据为L1=170，
L2=230，L3=100，L4=150，L5=10，
L6=30，L7=50，根据流程图验证能否得到最短
距离为300的输出结果。
3．用计算机程序验证算法
算法可以先编写成计算机程序，再在计算机上进行验证。运行以下代码，
输入数值，观察输出结果来验证算法。
#输入每小段路线的距离
L1=int(input(请输入路线L1的长度：))
L2=int(input(请输入路线L2的长度：))
L3=int(input(请输入路线L3的长度：))
L4=int(input(请输入路线L4的长度：))
L5=int(input(请输入路线L5的长度：))
L6=int(input(请输入路线L6的长度：))
L7=int(input(请输入路线L7的长度：))
#求解第一段路线最短距离
#使用距离计算模型
S1=L1+L3#计算第一条路线距离S1
S2=L2+L4#计算第二条路线距离S2
Smin1=S1#赋初值
IfS2Smin1:#使用较短距离比较模型
Smin1=S2
#求解第二段路线最短距离
S3=L5+L7
S4=L6
Smin2=S3
IfS4Smin2:
Smin2=S4
Smin=Smin1+Smin2#合并两段路线的最短距离
print(最短距离为：,Smin)#输出最短距离
三、练习
验证机器人画正六边形问题的算法。
课后反思/评价标准
文档评论（0）