栈、队列、递归方法（中文）.pptVIP

初始，队头和队尾指针均指向向量空间的前一个置。 图3.10说明了顺序队列中出队和入队运算时队列中 的元素及其头尾指针的变化状况。 Typedef struct { int *elem; // elem是数据元素数组，初始化操作InitStack(Q)中分配存储空间 int front, rear; // 队头，队尾指针 int maxSize; // 初始化操作InitStack (S)中为栈分配单元数// （栈容量） }sqStack; void InitStack(Q, maxSize) // 队列初始化 { Q.front=Q.rear=-1; Q.elem=new int[maxSize]; } 我们先以整数元素为例，给出顺序队列的基本运算的 实现代码。 bool isEmpty(Q) // 判队列空否？ { return Q.front==Q.rear; } bool isFull(Q) // 判队列满否？ { return Q.rear==Q.maxSize-1; } Bool EnQueue(sqStack Q, int x) // 值为x的数据//元素进队列(插入) { if(isFull(Q)) // 队列满（溢出）无法进队列, 返回// false { cout ERROR: overflow !!\n; return false ; } Q.elem[++Q.rear]=x; return true; // 队尾指//针增1元素进队列, 返回true } bool DelQueue()(sqStack Q) // 队头元素出队(删除) { if(isEmpty(Q)) // 队列空（下溢）无法删除, 返回// false { cout ERROR: underflow !!\n; return false; } Q.front++; return true; // 队头指针增1, 元//素出队列,返回true } bool GetFront(sqStack Q, int e) // 取队头元素 { if(isEmpty(Q)) // 队列空（下溢） { cout ERROR: underflow !!\n; return false; } e=Q.elem[Q.front+1]; return true ; // 元素//存e, 队头指针不变(元素没出队列) } 由上面的算法可看出空队列的判定条件为 front==rear。 而值得考虑的是队列满（即上溢）的判定条件是什么？ 假设当前队列处于图3.10(d)的状态。即MaxSize=5， rear=4，front=2，因为rear==maxsize-1，故此时 不能作入队操作，但当前队列并不满，我们把这种 现象称为“假上溢”。 产生该现象的原因是被删元素的空间永远使用不到 一个较巧妙的办法方法是：将 *elem设想成一个首尾相接的圆环，即：elem[0]接在elem [MaxSize-1]之 后。 我们将这种意义下的向量称为循环向量，并将循环向量中的队 列称为循环队列(Circular Queue)。 如图3.11所示。 为克服这一缺点，可以在每次出队时将整个队列中的元素向前移 动一个位置，也可以在发生假上溢时将整个队列中的元素向前移 动直至头指针为零。但这两种方法都会引起大量元素的移动，所 以在实际应用中很少采用。 当rear == MaxSize -1时，若要做入队操作时，只要elem[0]是 自由空间，下一个元素就进入elem[0]，这可以利用“求模”运 算来实现循环队列的运算。 入队为: rear = (rear+1) % MaxSize ; elem [rear] = x ; 出队为： front = (front+1) % MaxSize ; 由图3.11(b)、(c)看出，当队列空时，头、尾指针指向了队列中的同一位置；而队列满时，头、尾指针亦指向同一位置。因此，只凭等式front == rear不足以判别循环队列的状态是“空”还是“满”。 对此，有两种解决办法: 在循环队列中如何判别队满和队空？ 一是另设一个标志位，以区别队“空”还是队“满”； 另一较简单的办法是不设标志位，而把“尾指针从后面追上 头指针”当作队满时的特征。即 如果 (rear+1) % MaxSize == front则认为队满，不能进队 （此时队列中尚留有一个空额）。这样虽损失了一个空间， 但避免了判另外设的标