检查矩阵乘法结果的方法？

Question

我有一个简单的C ++程序，可以乘以：matrix * matrix：

For each element marks[i] in the current report card marks
    if it is greater than the other report card's mark at the same position
        return 1;
    else if it is less than the other report card's mark at the same position
        return -1;
end of loop
Return zero (the two arrays were exactly the same)

如果矩阵非常大（例如1000x1000），检查结果的方法有哪些？ （我的意思是使用编程语言，而不是数学）

Answer 1

我认为您的意思是检查是否正确实施。

有几种方法可以做到这一点：

1。通过归纳推理证明正确性（如果它适用于n = 1且n = 2等，它也适用于n = 1000）

2. 实现不同的算法，实现相同的结果并比较不同输入大小的两种结果。

如果你真的想确保你的算法适用于一组已定义的输入变量，你也可以写一个formal proof（到那时你几乎可以肯定它是正确的。）

Answer 2

您可以使用其他成熟的软件生成测试数据。试试MATLAB matrix generators。