栈与队列

一、栈的逻辑结构

       栈是特殊的线性表，因为它们独特的特性，在开发中，可以利用其思想设计算法，解决在开发中的业务问题。之前在工作中要求实现一个下转功能就是利用栈的先进后出功能，实现层级下转，然后依次返回上层，就是利用栈这种先进后出的特性来实现这个功能。在数据结构中的迷宫求解算法设计中也是利用到栈的这种特性来实现对路径的记录，以便回退到上一个走过的结点。此外、递归算法设计、四则运算表达式求值（后缀表达式）、括号匹配等也具有栈先进后出的特点。

栈（Stack）定义：栈是限定只能在表尾进行新增和删除操作的线性表，允许删除或新增的一端叫做栈顶（top），另外一端叫做栈底(botton)。栈的一大特性为：后进先出（Last In First Out）即LIFO结构。在Java语言中为Stack。

前缀、中缀、后缀表达式(逆波兰表达式)

前缀表达式、中缀表达式、后缀表达式都是四则运算的表达方式,用以四则运算表达式求值。

中缀表达式就是常见的运算表达式，如:a+b*c-(d+e)。

前缀表达式又称波兰式，前缀表达式的运算符位于操作数之前。

后缀表达式，又称逆波兰式，指的是不包含括号，运算符放在两个运算对象的后面，所有的计算按运算符出现的顺序，严格从左向右进行(不再考虑运算符的优先规则)。

这里我给出一个中缀表达式:a+b*c-(d+e)

第一步:按照运算符的优先级对所有的运算单位加括号:式子变成了:((a+(b*c))-(d+e))

第二步:转换前缀与后缀表达式

前缀:把运算符号移动到对应的括号前面

则变成了:-( +(a *(bc)) +(de))

把括号去掉:-+a*bc+de 前缀式子出现

后缀:把运算符号移动到对应的括号后面

则变成了:((a(bc)* )+ (de)+ )-

把括号去掉:abc*+de+- 后缀式子出现

二、栈的存储结构

2/1栈的顺序存储结构：栈为特殊的线性表，那么栈的顺序存储结构可以采用一维数组来实现。在c语言的实现中，在使用一维数组来编码实现时，只需要多定义一个指针，指向栈顶元素。

2/2栈的链式存储结构（即链栈）：即可用链表的方式来存储构造栈，在编码时，可以根据栈的逻辑结构特点，构造对应的数据结构。

三、队列的逻辑结构

队列(queue)定义:只允许在一端插入，另外一端删除的线性表。允许插入的一端称为队尾（rear），删除的一端为队头(first)。队列的一大特性为：先进先出（First In First Out）。在Java语言中为Queue。

顺序队列：

       建立顺序队列结构必须为其静态分配或动态申请一片连续的存储空间，并设置两个指针进行管理。一个是队头指针front，它指向队头元素;另一个是队尾指针rear，它指向下一个入队元素的存储位置。

每次在队尾插入一个元素是，rear增1;每次在队头删除一个元素时，front增1。随着插入和删除操作的进行，队列元素的个数不断变化，队列所占的存储空间也在为队列结构所分配的连续空间中移动。当front=rear时，队列中没有任何元素，称为空队列。当rear增加到指向分配的连续空间之外时，队列无法再插入新元素，但这时往往还有大量可用空间未被占用，这些空间是已经出队的队列元素曾经占用过得存储单元。

顺序队列中的溢出现象:

(1) "下溢"现象:当队列为空时，做出队运算产生的溢出现象。"下溢"是正常现象，常用作程序控制转移的条件。

(2)"真上溢"现象:当队列满时，做进栈运算产生空间溢出的现象。"真上溢"是一种出错状态，应设法避免。

(3)"假上溢"现象:由于入队和出队操作中，头尾指针只增加不减小，致使被删元素的空间永远无法重新利用。当队列中实际的元素个数远远小于向量空间的规模时，也可能由于尾指针已超越向量空间的上界而不能做入队操作。该现象称为"假上溢"现象。

循环队列

        在实际使用队列时，为了使队列空间能重复使用，往往对队列的使用方法稍加改进:无论插入或删除，一旦rear指针增1或front指针增1 时超出了所分配的队列空间，就让它指向这片连续空间的起始位置。自己真从MaxSize-1增1变到0，可用取余运算rear%MaxSize和front%MaxSize来实现。这实际上是把队列空间想象成一个环形空间，环形空间中的存储单元循环使用，用这种方法管理的队列也就称为循环队列。处了一些简单应用之外，真正实用的队列时循环队列。

在循环队列中，当队列为空时，有front=rear，而当所有队列空间全占满时，也有front=rear。为了区别这两种情况，规定循环队列最多只能有MaxSize-1个队列元素，当循环队列中只剩下一个空存储单元时，队列就已经满了。因此，队列判空的条件时front=rear，而队列判满的条件时front=(rear+1)%MaxSize。

四、队列的存储结构

4/1顺序存储结构

       队列可以用数组Q[1…m]来存储，数组的上界m即是队列所容许的最大容量。在队列的运算中需设两个指针:head，队头指针，指向实际队头元素;tail，队尾指针，指向实际队尾元素的下一个位置。一般情况下，两个指针的初值设为0，这时队列为空，没有元素。数组定义Q[1…10]。Q(i) i=3,4,5,6,7,8。头指针head=2，尾指针tail=8。队列中拥有的元素个数为:L=tail-head。现要让排头的元素出队，则需将头指针加1。即head=head+1这时头指针向上移动一个位置，指向Q(3)，表示Q(3)已出队。如果想让一个新元素入队，则需尾指针向上移动一个位置。即tail=tail+1这时Q(9)入队。当队尾已经处理在最上面时，即tail=10，如果还要执行入队操作，则要发生"上溢"，但实际上队列中还有三个空位置，所以这种溢出称为"假溢出"。

克服假溢出的方法有两种。一种是将队列中的所有元素均向低地址区移动，显然这种方法是很浪费时间的;另一种方法是将数组存储区看成是一个首尾相接的环形区域。当存放到n地址后，下一个地址就"翻转"为1。在结构上采用这种技巧来存储的队列称为循环队列。

4/2链式存储结构

在队列的形成过程中，可以利用线性链表的原理，来生成一个队列。

基于链表的队列，要动态创建和删除节点，效率较低，但是可以动态增长。

队列采用的FIFO(first in first out)，新元素(等待进入队列的元素)总是被插入到链表的尾部，而读取的时候总是从链表的头部开始读取。每次读取一个元素，释放一个元素。所谓的动态创建，动态释放。因而也不存在溢出等问题。由于链表由结构体间接而成，遍历也方便。