算法分析的复习总结

递归：直接或间接的调用自身算法称为递归算法；用函数自身给出定义的函数称为递归函数。分治法的设计思想是，将一个难以直接解决的大问题，分割成一些规模较小的相同问题，以便各个击破，分而治之。

分治法（divide-and-conquer）的基本思想：A分割成k个更小规模的子问题。B对这k个子问题分别求解。如果子问题的规模仍然不够小，则再划分为k个子问题，如此递归的进行下去，直到问题规模足够小，很容易求出其解为止。C将求出的小规模的问题的解合并为一个更大规模的问题的解，自底向上逐步求出原来问题的解。

设计动态规划算法的步骤(1)找出最优解的性质，并刻划其结构特征。(2)递归地定义最优值。

(3)以自底向上的方式计算出最优值。(4)根据计算最优值时得到的信息，构造最优解。

最优子结构性质：矩阵连乘计算次序问题的最优解包含着其子问题的最优解。

递归算法求解问题时，每次产生的子问题并不总是新问题，有些子问题被反复计算多次。这种性质称为子问题的重叠性质

贪心算法: 贪心算法总是作出在当前看来最好的选择,它并不从整体最优考虑，它所作出的选择只是在某种意义上的局部最优选择。

活动安排问题就是要在所给的活动集合中选出最大的相容活动子集合，是可以用贪心算法有效求解的很好例子。

贪心算法：贪心算法求解的这类问题一般具有2个重要的性质：贪心选择性质和最优子结构性质。贪心选择性质是指所求问题的整体最优解可以通过一系列局部最优的选择，即贪心选择来达到。当一个问题的最优解包含其子问题的最优解时，称此问题具有最优子结构性质贪心算法与动态规划算法的差异：贪心算法和动态规划算法都要求问题具有最优子结构性质，这是2类算法的一个共同点。动态规划算法通常以自底向上的方式解各子问题，而贪心算法则通常以自顶向下的方式进行，以迭代的方式作出相继的贪心选择，每作一次贪心选择就将所求问题简化为规模更小的子问题。

0-1背包问题：给定n种物品和一个背包。物品i的重量是Wi，其价值为Vi，背包的容量为C。应如何选择装入背包的物品，使得装入背包中物品的总价值最大?

单源最短路径基本思想是，设置顶点集合S并不断地作贪心选择来扩充这个集合。一个顶点属于集合S当且仅当从源到该顶点的最短路径长度已知。初始时，S中仅含有源。设u是G的某一个顶点，把从源到u且中间只经过S中顶点的路称为从源到u的特殊路径，并用数组dist记录当前每个顶点所对应的最短特殊路径长度。Dijkstra算法每次从V-S中取出具有最短特殊路长度的顶点u，将u添加到S中，同时对数组dist作必要的修改。一旦S包含了所有V中顶点，dist就记录了从源到所有其它顶点之间的最短路径长度。

回溯法的基本思想：(1)针对所给问题，定义问题的解空间；(2)确定易于搜索的解空间结构；

(3)以深度优先方式搜索解空间，并在搜索过程中用剪枝函数避免无效搜索。

常见的两种分支限界法：（1）队列式(FIFO)分支限界法。按照队列先进先出（FIFO）原则选取下一个节点为扩展节点。（2）优先队列式分支限界法。按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点。

布线问题算法思想：解此问题的队列式分支限界法从起始位置a开始将它作为第一个扩展结点。与该扩展结点相邻并且可达的方格成为可行结点被加入到活结点队列中，并且将这些方格标记为1，即从起始方格a到这些方格的距离为1。接着，算法从活结点队列中取出队首结点作为下一个扩展结点，并将与当前扩展结点相邻且未标记过的方格标记为2，并存入活结点队列。这个过程一直继续到算法搜索到目标方格b或活结点队列为空时为止。即加入剪枝的广度优先搜索。

随机存储机RAM它描述的形式计算机是一台带累加器计算机，他不允许程序修改其自身，RAM由只读输入带、只写输入带、程序存储部件、内存储器和指令计数器5个部分组成。P

类和NP类语言的定义P={L|L是一个能在多项式时间内被一台DTM所接受的一眼} NP+{L|L是一个能在多项式时间内被一台NDTM所接受的语言} 由于一台确定性图灵机可看作是非确定性图灵机的特例，所以可在多项式时间内被非确定性图灵机接受。故P属于NP P类问题：是确定性计算模型下的易解问题类。

NP类问题：是非确定性计算模型下的易验证问题类。

NP完全类问题：即多项式复杂度的非确定性问题类；简单的写法是NP=P？问题就在这个问号上，到底是NP等于P，还是NP不等于P。

算法的渐进时间复杂性的含义？

答：当问题的规模n趋向无穷大时，影响算法效率的重要因素是T(n)的数量级，而其他因素仅是使时间复杂度相差常数倍，因此可以用T(n)的数量级(阶)评价算法。时间复杂度T(n)的数量级(阶)称为渐进时间复杂性。

最坏情况下的时间复杂性和平均时间复杂性有什么不同？

答：最坏情况下的时间复杂性和平均时间复杂性考察的是n固定时，不同输入实例下的算法所耗时间。最坏情况下的时间复杂性取的输入实例中最大的时间复杂度：

W(n) = max{ T(n，I) } , I∈Dn A(n) =∑P(I)T(n，I) I∈Dn

平均时间复杂性是所有输入实例的处理时间与各自概率的乘积和：

采用回溯法求解的问题，其解如何表示？有什么规定？

问题的解可以表示为n元组：（x1,x2,……xn），xi∈Si, Si为有穷集合，xi∈Si, （x1,x2,……xn）具备完备性，即（x1,x2,……xn）是合理的，则（x1,x2,……xi）(i

简述渐进时间复杂性上界的定义。T(n)是某算法的时间复杂性函数，f(n)是一简单函数，存在正整数No和C，n〉No，有T(n)

快速排序的基本思想是什么。

快速排序的基本思想是在待排序的N个记录中任意取一个记录，把该记录放在最终位置后，数据序列被此记录分成两部分。所有关键字比该记录关键字小的放在前一部分，所有比它大的放置在后一部分，并把该记录排在这两部分的中间，这个过程称作一次快速排序。之后重复上述过程，直到每一部分内只有一个记录为止。

什么是直接递归和间接递归？消除递归一般要用到什么数据结构？在定义一个过程或者函数的时候又出现了调用本过程或者函数的成分，既调用它自己本身，这称为直接递归。如果过程或者函数P调用过程或者函数Q，Q又调用P，这个称为间接递归。消除递归一般要用到栈这种数据结构。

哈夫曼编码是广泛地用于数据文件压缩的十分有效的编码方法。其压缩率通常在20%～90%之间。哈夫曼编码算法用字符在文件中出现的频率表来建立一个用0，1串表示各字符的最优表示方式。

前缀码：对每一个字符规定一个0,1串作为其代码，并要求任一字符的代码都不是其他字符代码的前缀。

二、递归与分治：

二分搜索算法：

public static int binarySearch(int a[], int x, int n) {

left = 0; right = n - 1;

while (left <= right) {

int middle = (left + right)/2;

if (x == a[middle]) return middle;

if (x > a[middle]) left = middle + 1;

else right = middle - 1;

}

return -1; }

棋盘覆盖

public void chessBoard(int tr, int tc, int dr, int dc, int size)

{ if (size == 1) return; int t = tile++,

s = size/2; if (dr < tr + s && dc < tc + s)

chessBoard(tr, tc, dr, dc, s);

else { board[tr + s - 1][tc + s - 1] = t;

chessBoard(tr, tc, tr+s-1, tc+s-1, s);}

if (dr < tr + s && dc >= tc + s)

chessBoard(tr, tc+s, dr, dc, s);

else { board[tr + s - 1][tc + s] = t;

chessBoard(tr, tc+s, tr+s-1, tc+s, s);}

if (dr >= tr + s && dc < tc + s)

chessBoard(tr+s, tc, dr, dc, s);

else { board[tr + s][tc + s - 1] = t;

chessBoard(tr+s, tc, tr+s, tc+s-1, s);}

if (dr >= tr + s && dc >= tc + s)

chessBoard(tr+s, tc+s, dr, dc, s);

else { board[tr + s][tc + s] = t;

chessBoard(tr+s, tc+s, tr+s, tc+s, s);}

}

三、动态规划

最长公共子序列

void LCSLength(int m，int n，char []x，char []y，int[][]c，int [][]b) { int i，j;

for (i = 1; i <= m; i++) c[i][0] = 0;

for (i = 1; i <= n; i++) c[0][i] = 0;

for (i = 1; i <= m; i++)

for (j = 1; j <= n; j++) {

if (x[i]==y[j]) { c[i][j]=c[i-1][j-1]+1; b[i][j]=1;}

else if (c[i-1][j]>=c[i][j-1]) { c[i][j]=c[i-1][j]; b[i][j]=2;}

else { c[i][j]=c[i][j-1]; b[i][j]=3; } } }

构造最长公共子序列

void LCS(int i，int j，char *x，int **b)

{ if (i ==0 || j==0) return;

if (b[i][j]== 1){ LCS(i-1，j-1，x，b); cout<

else if (b[i][j]== 2) LCS(i-1，j，x，b);

else LCS(i，j-1，x，b); }

最优装载

void Loading(int x[], Type w[], Type c, int n)

{int *t = new int [n+1]; Sort(w, t, n);

for (int i = 1; i <= n; i++) x[i] = 0;

for (int i = 1; i <= n && w[t[i]] <= c; i++) {x[t[i]] = 1; c -= w[t[i]];}

}

五、回溯法

装载问题

void backtrack (int i)

{ if (i > n) r -= w[i]; if (cw + w[i] <= c) ｛x[i] = 1; cw += w[i]; backtrack(i + 1);

cw -= w[i]; } if (cw + r > bestw) {

x[i] = 0; backtrack(i + 1); }

r += w[i]; }

批处理问题：

void Flowshop::Backtrack(int i)

{if (i > n) { for (int j = 1; j <= n; j++)bestx[j] = x[j]; bestf = f;}

else for (int j = i; j <= n; j++) {

f1+=M[x[j]][1]; f2[i]=((f2[i-1]>f1)?f2[i-1]:f1)+M[x[j]][2];

f+=f2[i]; if (f < bestf) {

Swap(x[i], x[j]); Backtrack(i+1);

Swap(x[i], x[j]);} f1- =M[x[j]][1]; f- =f2[i];}}

六、分支限界法

单源最短路径问题

while (true) {

for (int j = 1; j <= n; j++)

if ((c[E.i][j]

// 顶点i到顶点j可达，且满足控制约束

dist[j]=E.length+c[E.i][j];

prev[j]=E.i;

MinHeapNode N;

N.i=j;

N.length=dist[j];

H.Insert(N);}

try {H.DeleteMin(E);}

catch (OutOfBounds) {break; } } }