算法设计与分析课程复习笔记

Posted 番茄汁汁

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了算法设计与分析课程复习笔记相关的知识,希望对你有一定的参考价值。

一、计算模型

1.1 定义:

我们在思考和处理算法的时候是机器无关、实现语言无关的。所有的算法运行在一种“抽象的机器”之上,这就是计算模型。 

1.2 种类

图灵机是最有名的计算模型,本课使用更简单更合适的RAM计算模型。

1.3 RAM(Random Access Machine)模型

RAM模型的基本构成如下:

RAM计算模型有如下特点:

  • 一个简单操作花费一步:键值比较、加减、内存访问
  • 没有操作可以被分解:循环、子程序
  • 内存:访存是一个简单操作、无限制的内存

二、算法设计

2.1 算法问题规约

将算法问题严格的定义为精确限定输入\\输出的“规约”形式:

  • 输入:明确定义了算法接受的所有合法输入
  • 输出:明确定义了对于每一个合法的输入值,相应的输出值应该是什么

例子1:

Euclid算法,辗转相除法的算法实现,计算m、n的最大公约数

输入:非负整数m,n

输出:gcd(m,n)

int Euclid(int m, int n) {
    if (m <= n)
        swap(m,n);
    while (m%n != 0) {
        n = m%n;
        m = n;
    }
    return n;
}

//这是测试用例
int main()
{
    cout << Euclid(15,12) << endl;

    system("pause");
    return 0;
}
View Code

例子2:

顺序搜索,在一个数组中搜寻一个具体的数

输入:关键字K,数组E[1...n]

输出:如果K在E中,返回K在E中的位置,如果不在则返回-1

int SequentialSearch(vector<int> e, int k) {
    for (int i = 0; i < e.size(); ++i)
        if (k == e[i])
            return i;
    return -1;
}

//这是测试用例
int main()
{
    vector<int> e = {1,2,3,4,5,6};
    cout << SequentialSearch(e,8) << endl;

    system("pause");
    return 0;
}
View Code

2.2 算法正确性的证明:数学归纳法

EUCLID算法正确性的证明:

当n=0时,对于任何m,有Euclid(m,0)=0

假设当n<=N时成立,考虑n=N+1的情况:

  先有Euclid(m, N+1) = Euclid(N+1, m mod (N+1) ) ,而m mod(N+1)<=N恒成立,根据假设可知Euclid(N+1, m mod (N+1) )总能得出正确的答案,即n=N+1得证。

三、算法分析

3.1 算法的性能指标

  • 时间复杂度
  • 空间复杂度

  在RAM中,时间复杂度使用RAM中执行简单操作的个数衡量,空间复杂度使用RAM中寄存器的个数来衡量。这样,对算法的性能分析变成了一个计数问题。由于RAM是抽象的,所以我们的衡量指标也是机器无关、语言无关的。

3.2 最坏情况复杂度

最坏复杂度的含义是最坏的输入对于的复杂度

例子:

在顺序搜索之中,待搜索的数k在数组e的位置越靠后,所需要搜寻的次数也就越多,当k在e的最后一个,此时为最坏情况。

3.3 平均情况复杂度

仅仅靠最坏情况时间复杂度不能充分代表算法性能。可以采用平均情况下的复杂度。

  • 明确算法所有输入的分布情况
  • 计算期望

例子:

对于顺序搜索的问题,给定数组为E[],长度为n,搜寻目标为K,假设所有输入情况等概率的出现。则成功的平均概率应该如下:

 

以上是关于算法设计与分析课程复习笔记的主要内容,如果未能解决你的问题,请参考以下文章

南大算法设计与分析课程复习笔记L3 - Recursion

USTC算法设计与分析-总结

USTC算法设计与分析-总结

USTC算法设计与分析-总结

算法设计与分析期中考试复习:代码和经典题目 分治二分动态规划(未完待续)

课程笔记计算机体系结构复习笔记