Python - 算法理由
-
简述
为了声称算法是有效的，我们需要一些数学工具作为证据。这些工具帮助我们对算法的性能和准确性提供数学上令人满意的解释。下面列出了一些可用于证明一种算法优于另一种算法的数学工具。-
直接证明− 使用直接计算直接验证陈述。例如，两个偶数之和总是一个偶数。在这种情况下，只需添加您正在调查的两个数字并验证结果是否为偶数。
-
用归纳法证明- 在这里，我们从一个特定的真值实例开始，然后将其推广到所有可能的值，这些值是真值的一部分。该方法是采用一个已验证为真的案例，然后证明对于相同给定条件的下一个案例也为真。例如，所有 2n-1 形式的正数都是奇数。我们为某个 n 值证明它，然后为下一个 n 值证明它。这通过归纳证明确立了该陈述通常是正确的。
-
证明对位− 该证明基于条件如果非 A 隐含非 B，则 A 隐含 B。一个简单的例子是，如果 n 的平方是偶数，则 n 必须是偶数。因为如果 n 上的平方不是偶数，那么 n 也不是偶数。
-
穷举法− 这类似于直接证明，但它是通过分别访问每个案例并证明每个案例来建立的。这种证明的一个例子是四色定理。
-