栈和队列

本文简介

栈(stack)：后进先出，last-in,first-out,类比摞盘子。

队列(queue)：先进先出，first-in,first-out,类比排队。

计算机中实现栈和队列有几种有效方式，本文仅介绍如何使用简单的数组实现这两个结构。

注意：数组只是实现栈和队列的一种形式，切勿将它们等价，也不必拘泥于数组。本文介绍的方法主要运用指针的思想，删除的元素也许还在数组里面，但已经从栈或队列里面删除了。

栈：

栈上的insert操作成为压入（push），而无元素参数的delete操作成为弹出（pop）。

类比摞盘子，最新压入的盘子在栈顶，最先弹出的盘子也是栈顶。

使用数组S[1,2,...,n]来实现一个最多可容纳n个元素的栈（在实际编程语言中，数组下标以0开头）。

该数组有一个属性S.top，指向最新插入的元素，S[1]为栈底元素，S[S.top]为栈顶元素，当S.top为空时，栈为空，如果对空栈进行弹出操作，成为栈下溢(underflow)，通常是一个错误。

函数原型：

stack-empty(S)
if S.top == 0
    return true
else
    return false

push(S, x)
S.top = S.top + 1
S[S.top] = x

pop(S)
if stack-empty(S) == true
    error "underflow"
else
    S.top = S.top - 1

队列

队列上的insert操作称为入队（enqueue），delete操作称为出队（dequeue），类似pop，dequeue也没有元素参数。

队列的特性类似于柜台前排队等待结账的一队顾客。队列有队头（head），队尾（tail），入队的元素排在队尾，而出队的元素则是队头。

使用数组Q[1,2,...n]实现一个最多容纳n-1个元素的队列。该队列有一个属性Q.head指向队头元素，属性Q.tail则指向下一个元素将要插入的位置，队列中的元素存放在位置Q.head,Q.head+1,...,Q.tail-1，并在最后的位置环绕。

当Q.head=Q.tail时，队列为空；初始时有Q.head=Q.tail=1。

如果试图从空队列中dequeue，则队列发生下溢；当Q.head=Q.tail+1时，队列是满的，此时若试图插入一个元素，则队列发生上溢。

函数原型：

enqueue(Q, x)
Q[Q.tail] = x
if Q.tail == Q.length
    Q.tail = 1
else
    Q.tail = Q.tail + 1

dequeue(Q)
if Q.head == Q.length
    Q.head = 1
else
    Q.head = Q.head + 1