程序的步数分析

程序的步数分析

定义：一个程序步可以大概的定义为一个语法或者语义上的程序片段，该片断的执行时间独立于实例特征。

一个程序步所表示的计算量可能与另一个程序步所表示的计算量不同。例如下面这条语句：

Return a+b+c*b;

只要它执行的时间独立于所选用的实例特征，也可以把下面的语句看成一个程序步

X=y;

实例特征就是：例如对n个元素进行排序，它所需要内存的空间大小为n的函数，在这里我们可以把n看成实例特征，（可以简单的理解可以改变空间的变量或者常量，当我们进行程序分析的时候，我们一般都会选择会影响程序空间分配的参数作为实例特征）。

指令空间的大小受实例特征的影响不大，常量和简单变量所需要的空间与实例特征也没有太大的关系，除非相关数据的规模比较大，环境栈的大小一般不依赖实例特征，一些动态分配的空间也可以不依赖实例特征，除非使用了递归函数，当使用递归函数时，实例特征会影响环境栈的大小。

为了确定程序的步数一般定义一个全局变量StepCount=0；程序如下：

template<class T>
T sum(T a[], int n)
{
	T theSum = 0;
	stepCount++;//T theSum = 0;是一个程序步
	for (int i = 0; i < n; i++)
	{
		stepCount++;//for循环每循环一次是一个程序步
		theSum += a[i];
		stepCount++;//theSum += a[i];是一个程序步
	}
	stepCount++;//for循坏最后一次判断是一个程序步
	stepCount++;//返回theSum是一个程序步
	return theSum;
}

如果不想插入stepCount，那就建立一张表，列出每条语句的步数、及它出现的频率，然后步数乘以频率相加求得总的步数，这种方法称为剖析法；

剖析法比较直观，直接建立一个频率表。