1.3 算法和算法分析
<strong>算法设计的要求</strong>
重要程度：7 分
<div>
<h2>算法设计的要求</h2>
<p>在设计算法时，需要遵循以下四个基本要求：</p>
<ol>
<li><strong>正确性</strong>：这是算法设计中最基本也是最重要的要求。一个算法必须能够正确地解决所提出的问题，即对于所有合法的输入数据都能得到满足规格说明要求的结果。</li>
<li><strong>可读性</strong>：算法应当易于理解。良好的文档和清晰的代码结构不仅有助于他人阅读，也有利于后期维护或修改。</li>
<li><strong>健壮性</strong>：当输入非法数据时，算法应能做出适当的反应或处理，而不是产生不可预料的结果或者崩溃。</li>
<li><strong>效率与低存储量需求</strong>：这包括时间效率（运行速度快）和空间效率（占用内存少）。理想情况下，我们希望算法同时具有高时间和空间效率，但在实际中往往需要在这两者之间做出权衡。</li>
</ol>
<h3>例题说明</h3>
<p>考虑一个简单的例子来展示如何根据上述要求设计算法——求两个整数的最大公约数(GCD)。</p>
<pre><code>
// 使用辗转相除法求最大公约数
function gcd(a, b) {
while (b != 0) { // 确保程序不会陷入无限循环
let temp = b;
b = a % b; // 计算余数
a = temp; // 更新a值
}
return a; // 返回最终结果
}
</code></pre>
<ul>
<li><strong>正确性</strong>: 该算法基于数学定理实现，确保了其正确性。</li>
<li><strong>可读性</strong>: 通过注释和清晰的变量命名提高了代码的可读性。</li>
<li><strong>健壮性</strong>: 如果传入负数或零作为参数，虽然算法仍然有效，但最好在函数开始处添加检查以增强健壮性。</li>
<li><strong>效率与低存储量需求</strong>: 辗转相除法的时间复杂度为O(log(min(a,b)))，相对高效；并且只需要少量额外空间来存储临时变量。</li>
</ul>
</div>