乘法函数
通过加法迭代计算非负整数 m 和 n 的乘积。 (验证时间约 24sec)
[Back to Index]
验证特点:通过加法迭代计算非负整数 m 和 n 的乘积。
标注说明:函数前条件:给出 m 和 n 的取值范围;
函数后条件:函数的返回值等于 m 和 n 的乘积。
本例有2个函数。m 和 n 的值取上界(N=50)是用于防止溢出错误,对于计算溢出的处理请见第2个函数。