partial correctness and total correctness部分正确性和整体正确性

最近被这个定义搞得很恼火，百思不得其解他们有什么意义。。。

虽然确实没有什么意义（开玩笑）
整理一下：
证明算法的正确性
要做下面的事情：
●　合法输入数据的说明
●　输入和期望输出之间的关系
算法的正确性：整体正确和部分正确
证明正确性的时候我们一般分两个阶段：
●　一用不变式来证明算法的部分正确性。不变式指的是依附于算法中的一条特定的语句，该语句对计算的结果状态进行判断。
●　二用收敛性来严整算法的整体正确性。收敛性是证明算法在特定的合法输入数据的情况下，会正常结束的一种方法。

所以说什么是不变式，什么是收敛式？
讲的太含糊了吧，既然说是该语句对计算结果的状态进行判断，那么表达的就是算法的含义吧，就比如说是用数学归纳法的验证。
收敛式这也说的太玄了吧，就是证明算法会终止，那就是只要证明循环的次数在增多的同时，未来预期的循环次数在减少就好了吧。

partial correctness and total correctness部分正确性和整体正确性相关推荐

霍尔逻辑Hoare Logic
目录霍尔逻辑的概念部分正确与完全正确规则(Rules) 规则应用优点缺点霍尔逻辑的概念对于这个新概念,我们首先要知道什么是霍尔逻辑,霍尔逻辑能用来做些什么? 摘抄一下百度百科的原句: 霍 ...
CSAPP Architecture Lab PartC满分
CSAPP Architecture Lab 此lab涉及Y86-64的实现,具体Y86的内容可查看CSAPP第四章,做完本实验可以提高你对处理器设计以及软件与硬件的理解. 从CMU官网下载完所需实验 ...
神经网络理解：前向传播与反向传播
文章目录参考资料神经网络前向传播 1. 输入层->隐含层 2. 隐含层->输出层反向传播 1. 计算总误差 2. 隐藏层与输出层之间的权重更新 3. 输入层与隐藏层之间的权重更新 ...
Ｃ＋＋语言常见问题解
C++语言常见问题解 C++语言常见问题解出处 http://www.cis.nctu.edu.tw/chinese/doc/research/c++/C++FAQ-Chinese/ 这是我从台湾的 ...
I.MX6ULL_Linux_系统篇(20) kernel分析-menuconfig
linux内核的功能非常丰富,大多功能可以通过menuconfig图形界面来选择配置,但是我们面对众多的功能,往往不能快速确定配置项位置或无法理解配置项功能,本篇将对配置项做一下简要解析!(作者不建议 ...
函数声明末尾的“ const”是什么意思？ [重复]
本文翻译自:What is meant with "const" at end of function declaration? [duplicate] This question ...
软件构造的视图与质量指标
软件构造的实质:Transformation between different views(不同视图之间的转换) Multi-dimensional software views 按阶段分:buil ...
Ubuntu 安装 redmine
Ubuntu 用 apt-get install ruby-rvm安装 rvm 不能安装ruby2.0.0以上的版本删除: sudo apt-get --purge remove ruby-rvm ...
网络基础3-1(细谈IP协议头, 网络层，子网划分，路由选择，数据链路层，以太网帧格式，MAC地址，再谈ARP协议)
IP协议 IP协议头格式 4位版本号(version): 指定IP协议的版本, 对于IPv4来说, 就是4 4位头部长度(header length): IP头部的长度是多少个.32bit, 也就是 ...

partial correctness and total correctness部分正确性和整体正确性

partial correctness and total correctness部分正确性和整体正确性相关推荐

最新文章

热门文章