程序性能分析
1 什么是程序性能
分类:
- 空间复杂度
- 时间复杂度
分析方法:
- 性能分析
- 性能测量
2 空间复杂度
2.1 组成:
(1)指令空间
编译后的程序指令所占的空间;
(2)数据空间
a. 常量和简单变量;
b.动态对象(动态数组、动态类等);
(3)环境栈空间
保存暂停的函数和方法在恢复运行时所需要的信息:
a.返回地址
b.正在调用的函数的所有局部变量值和形参的值
将一个程序所需要的空间分成两部分:
- 固定部分:指令空间、简单变量空间、常量空间
- 可变部分:动态分配空间构成、递归栈空间
可表示为: P = c + S p P=c+S_p P=c+Sp
由于固定部分 c与编译器直接相关,除递归函数外不依赖实力特征,所以选择忽略c,集中计算 S p S_p Sp。
2.2 举例
- 顺序查找
在数组中从左到右查找第一个与x相等的元素,找到了返回第一次出现的位置,找不到则返回-1。
template<class T>
int sequentialSearch(T a[], int n, const T& x)
{
int i;
for (i = 0; i < n && a[i] != x; i++);
if (i == n) return -1;
else return i;
}
3 时间复杂度
编译时间+运行时间
主要关注运行时间,衡量方法有两种:
- 关键操作数
- 程序总步数
3.1 操作计数
例1:计算多项式
P
(
x
)
=
∑
i
=
0
n
c
i
x
2
P(x)=\sum_{i=0}^{n}c_{i}x^{2}
P(x)=∑i=0ncix2 。
用阶数n作为实例特征,进入for循环次数为n,每次执行1次加法和2次乘法,因此加法次数为n,乘法次数为2n。
template<class T>
T polyEval(T coeff[], int n, const T& x)
{
T y = 1, value = coeff[0];
for (int i = 1; i <= n; i++)
{// add in next term
y *= x;
value += y * coeff[i];
}
return value;
}
***方法改进:***利用Horner法则 P ( x ) = ∑ i = 0 n a i x i = a 0 + a 1 x + a 2 x 2 + . . . + a n x n P(x)=\sum_{i=0}^{n}a_{i}x^{i}=a_{0}+a_{1}x+a_{2}x^{2}+...+a_{n}x^{n} P(x)=i=0∑naixi=a0+a1x+a2x2+...+anxn
template<class T>
T horner(T coeff[], int n, const T& x)
{
T value = coeff[n];
for (int i = 1; i <= n; i++)
value = value * x + coeff[n - i];
return value;
}
时间复杂度为:n次加法和n次乘法
例2:名次计算
名次:一个序列中所有比他小的元素个数+出现在它左边的与它相同的元素个数。
template<class T>
void rank(T a[], int n, int r[])
{
for (int i = 0; i < n; i++)
r[i] = 0; // initialize
for (int i = 1; i < n; i++)
for (int j = 0; j < i; j++)
if (a[j] <= a[i]) r[i]++;
else r[j]++;
}
总的比较次数为:1+2+3+…+(n-1)=(n-1)n/2.
3.2步数
步数是实例特征的函数。确定一个程序的步数,首先要确定要采用的实例特征。
定义【程序步】:一个语法或语义上的程序片段,该片段的执行时间独立于实例特征。