验证(assertions)
验证是对于一个程序在任意一点的准确描述,如果验证正确,程序在这一点工作正常
先决条件(precondition)
一段程序的先决条件指的是正要运行之前什么为真
后置条件(postcondition)
后置条件是程序刚刚执行后什么为真
性能
算法性能从两方面考虑:
1 CPU时间:需要的机器运行时间
2 内存:使用变量的数量和复杂度
算法效率分为最佳情况,平均情况和最差情况。由输入数据而定
验证(assertions)
验证是对于一个程序在任意一点的准确描述,如果验证正确,程序在这一点工作正常
先决条件(precondition)
一段程序的先决条件指的是正要运行之前什么为真
后置条件(postcondition)
后置条件是程序刚刚执行后什么为真
性能
算法性能从两方面考虑:
1 CPU时间:需要的机器运行时间
2 内存:使用变量的数量和复杂度
算法效率分为最佳情况,平均情况和最差情况。由输入数据而定