Closed. This question needs to be more focused. It is not currently accepting answers. Learn more
想改进这个问题吗更新问题,使其只关注一个问题editing this post
我目前正在尝试看看我写的算法是否稳定我的大多数测试包括创建一个未排序的整数对象数组,克隆它,在以前的版本上运行sort和arrays.sort,在希望正确排序的版本上运行sort基本上我想知道是否有一种方法可以测试整型对象或其他数据类型在合并、插入和其他实现中的稳定性?反驳也很好,我只是想看看我是否写了一个缺陷,因此它不稳定。
:任何对象类型都可以工作,我只是使用整数来方便测试。

最佳答案

一般来说,当有人想证明一个算法的正确性时,他们可以开始尝试用强归纳法来证明这一点请注意,任何测试用例都是针对特定用例的测试。这并不能证明你写的东西对所有情况都是正确的。这就是归纳法发挥作用的原因。
请阅读https://en.wikipedia.org/wiki/Mathematical_induction
考虑到这个问题的措辞,我也建议你读一读
编辑:
如果你想证明你的算法是错误的,那么你可以通过证明错误来做到这一点换言之,找到算法失败的情况。
您还可以检查所有序列的偶数大小数组,然后检查奇数大小数组。这将是为了查看列表中所有可能的组合的预期结果是否成立。那么之前的一个大小写是加1还是加2呢?这又回到了归纳法。

07-26 01:45