表达式的组成:
1.操作数(operand):
操作数既可以是常数, 也可以是被说明为变量或常量;
- 运算符(operator):
运算符可以分为算术运算符、 关系运算符和逻辑运算符三类,不同的运算符有不同的优先级以及结合性
1.界限符(delimiter) :
基本界限符有左右括号和表达式结束符等。 例如:
#(3+4)*5-2#,界限符的优先级相同(左括号和右括号的优先级相同, #的优先级也相同)
重:
运算符优先级表
中缀表达式:操作数栈和运算符栈
中缀表达式求值过程
(1)设置两个栈:
OVS(运算数栈)和OPTR(运算符栈)。
(1) 自左向右扫描中缀表达式,
•遇操作数进OVS,
•遇操作符则与OPTR栈顶优先数比较:
OPTR栈顶<当前操作符, 当前操作符进OPTR栈
OPTR栈顶>=当前操作符,OVS栈顶、次顶和OPTR栈顶,退栈形成运算T(i),T(i)进OVS栈。
中缀表达式转化为后缀表达式
设置一个运算符栈。从左到右依次对中缀表达式中的每个符号进行处理
如果遇到数字,直接输出
如果遇到“(”,则将其入栈
如果遇到运算符a,如果栈顶符号的优先级低于a的优先级,则入栈;否则,栈顶符号出栈,直到栈顶符号的优先级低于a的优先级,此时让a入栈
若遇到“)”,则栈顶符号出栈,直到“(”
重复以上工作,直到表达式结束,此时,将栈里符号全部出栈。
特殊线性表——队列
队列的逻辑结构
队列:只允许在一端进行插入操作,而另一端进行删除操作的线性表。
空队列:不含任何数据元素的队列。
允许插入(也称入队、进队)的一端称为队尾,允许删除(也称出队)的一端称为队头。
注:队列的操作特性:先进先出(FIFO,LILO)
队列的抽象数据类型定义
-
InitQueue 前置条件:队列不存在 输入:无 功能:初始化队列 输出:无 后置条件:创建一个空队列
- DestroyQueue
前置条件:队列已存在
输入:无
功能:销毁队列
输出:无
后置条件:释放队列所占用的存储空间 - EnQueue
前置条件:队列已存在
输入:元素值x
功能:在队尾插入一个元素
输出:如果插入不成功,抛出异常
后置条件:如果插入成功,队尾增加了一个元素 - DeQueue
前置条件:队列已存在
输入:无
功能:删除队头元素
输出:如果删除成功,返回被删元素值
后置条件:如果删除成功,队头减少了一个元素
5 GetQueue
前置条件:队列已存在
输入:无
功能:读取队头元素
输出:若队列不空,返回队头元素
后置条件:队列不变 - Empty
前置条件:队列已存在
输入:无
功能:判断队列是否为空
输出:如果队列为空,返回1,否则,返回0
后置条件:队列不变
endADT
队列的顺序存储结构及实现
顺序队列:队列的顺序存储结构
.
注:如何改进出队的时间性能?
放宽队列的所有元素必须存储在数组的前n个单元这一条件 ,只要求队列的元素存储在数组中连续的位置。
设置队头、队尾两个指针
队头指针指向队头元素的前一个位置;
队尾指针指向队中最后一个元素
说明:注:
1.队头指针指向队列中的第一个元素之前的元素,队尾指针指向队列中的最后一个元素
2.队头指针指向队列中的第一个元素,队尾指针指向队列中的最后一个元素的后一个位置
注:
1.入队操作时间性能仍为O(1)
2.出队操作时间性能提高为O(1)
3.整个队列向数组下标较大方向移动(单向移动性)
继续入对会出现的情况
假溢出:当元素被插入到数组中下标最大的位置上之后,队列的空间就用尽了,尽管此时数组的低端还有空闲空间,这种现象叫做假溢出。
怎样解决:
循环队列:将存储队列的数组头尾相接。
怎样实现:不存在物理的循环结构,用软件方法实现。
求模:rear=(rear+1)% MAXSIZE
front=(front+1) % MAZSIZE
重:为什么要将队空和队满的判定条件分开?
如何确定不同的队空、队满的判定条件?
方法一:附设一个存储队列中元素个数的变量num,当num=0时队空,当num=QueueSize时为队满;
方法二:修改队满条件,浪费一个元素空间,队满时数组中只有一个空闲单元;
方法三:设置标志flag,当front=rear且flag=0时为队空,当front=rear且flag=1时为队满。
链队列:队列的链接存储结构
链队列的实现——入队
操作接口: void EnQueue(T x);
链队列的实现——出队
算法描述:
在删除节点之后,还要进行下面的处理
if (p->next==NULL)
rear=front;
考虑边界情况:队列中只有一个元素?
循环队列和链队列的比较
时间性能:
循环队列和链队列的基本操作都需要常数时间O (1)。
空间性能:
循环队列:必须预先确定一个固定的长度,所以有存储元素个数的限制和空间浪费的问题。
链队列:没有队列满的问题,只有当内存没有可用空间时才会出现队列满,但是每个元素都需要一个指针域,从而产生了结构性开销。
关系导图: