伪代码规则：注意关键字不区分大小写
变量声明语句：Dim<变量> As <类型> 如：Dim a As INTEGER;
赋值语句：<变量>=<表达式> 如：a = 1; 或 a <- 1;
输入与输出：Input 与Output;
简单运算符：a + b > c;
复合条件：(a < b) AND (c < d);
IF条件子句：
if a = b Then
    i = i + 1;
    Else i = i - 1
EndIf
多重选择case子句：
case <变量> of
case 1: <条件>
    i = i  + 1;
case 2: <条件>
    i = i + 2;
EndCase
For循环子句：
For<计数器>=<开始>To<结束>
<循环体>
EndFor
While循环子句：
Do While <条件> 或 While
<循环体>
EndWhile
Until 循环子句：
Do
<循环体>
Until<条件>
 
算法分析：
 
时间复杂度：
往往只关注最坏情况的运行时间，所以只求算法的最长时间；
只关注最重要的增长量级，比如 an² + bn + c，只关注n²；
算法中常用符号：
渐近符号：

（1）O符号，渐近紧确上界，f(n) = O(g(n))，表示存在正常量c和n0使得对所有n ≥ n0，有  0 ≤ f(n) ≤ cg(n) ，即小于等于，f(n)不高于g(n)的阶；

（2）Ω符号，渐近紧确下界，f(n) = Ω(g(n))，表示存在正常量c和n0使得对所有n ≥ n0，有  0 ≤ cg(n) ≤ f(n) ，即大于等于，f(n)不低于g(n)的阶；

（3）o符号，非渐近紧确上界，f(n) = o(g(n))，表示存在正常量c和n0使得对所有n ≥ n0，有  0 ≤ f(n) < cg(n) ，即小于，f(n)低于g(n)的阶；

（4）ω符号，非渐近紧确下界，f(n) = ω(g(n))，表示存在正常量c和n0使得对所有n ≥ n0，有  0 ≤ cg(n) < f(n) ，即大于，f(n)高于g(n)的阶；

（5）Θ符号，渐近紧确界，f(n) = Θ(g(n))，表示存在正常量c1，c2，n0使得对所有n ≥ n0，有 0 ≤ c1g(n) ≤ f(n) ≤ c2g(n)，f(n)与g(n)同阶；

举例说明渐近符号的相关用法：

1、插入排序的时间复杂度是O(n²)，代表插入排度的时间复杂度是一个小于等于n²的集合(1，n，n²等)，时间复杂度即可以是1也可以是n²；

2、如果时间复杂度是Θ(2n²)，代表时间复杂度可以是n²，2n²，3n²等；

3、如果时间复杂度是Ω(n²)，代表时间复杂度可以是n²，n^3等；

4、如果时间复杂度是o(n²)，代表时间复杂度可以是1，n，2n等但不是能n²；

5、如果时间复杂度是ω(n²)，代表时间复杂度可以是n^3，n^4等但不是n²；

标准记号与常用函数：

1、下取整(floor)与上取整(ceiling)；

2、取模运算： a mod b的值即a/b的余数；

3、整除：a | b；

4、对数：

欧几里得算法：
两个整数的最大公约数，等于小整数与两整数相除的数的最大公约数；
证明：

a可以表示成a = kb + r，则r = a mod b                      

假设d是a,b的一个公约数，则有

d|a, d|b，而r = a - kb，因此d|r

因此d是(b,a mod b)的公约数

假设d 是(b,a mod b)的公约数，则

d | b , d |r ，但是a = kb +r

因此d也是(a,b)的公约数