Shaoqun Liu's blog
搜索文档…
栈和队列

0x00 基本概念

栈(Stack)是一个抽象数据类型(ADT),对一个集合的元素定义了两个基本操作,入栈(push)以及出栈(pop),栈遵循后进先出原则(LIFO, last in, first out),就像手枪的弹夹一样,最后放入的那颗子弹往往最先打出去。
此处说这是一个ADT抽象数据类型是因为其既可以用链表实现也可以用数组实现,实现的方法不唯一,其并不是一个存储(物理)结构,而是一个抽象数据类型,对于抽象数据类型准确的定义是指一个数学模型以及定义在该模型上的一组操作。
队列(Queue)也是一种抽象数据类型,其同样定义了两个基本操作,入队(enqueue)以及出队(dequeue),其遵循先进先出原则(FIFO, first in, first out),就像我们去买火车票排的那个队列一样,遵循先来后到,先来的先买,买完后出队(从队头删除),后来的自动站在队尾(在队尾添加)。
对于队列还有一种一般化(generalized)的形式就是双端队列(double-ended queue, 一般简写为deque),双端队列两头都可以进行插入(入队)和删除(出队)操作。
栈和队列均为抽象数据类型,两者均可以由两种不同的存储结构实现,即顺序存储结构以及链式存储结构

0x01 栈(Stack)

0x00 顺序存储结构实现

以下是一个基于向量实现的栈,当数组空间不足时,可自动扩容:
1
class Stack {
2
int *data;
3
int t;
4
int capacity;
5
public:
6
Stack() {
7
capacity = 50;
8
data = new int[capacity];
9
t = -1;
10
}
11
12
void expand()
13
{
14
int *ndata = new int[capacity << 1];
15
for (int i = 0; i < capacity; ++i)
16
{
17
ndata[i] = data[i];
18
}
19
delete[] data;
20
data = ndata;
21
capacity <<= 1;
22
}
23
24
void push(int x) {
25
if (t + 1 == capacity)
26
{
27
expand();
28
}
29
data[++t] = x;
30
}
31
32
void pop() {
33
--t;
34
}
35
36
int top() {
37
return data[t];
38
}
39
};
Copied!
上述为一个基于向量(vector)实现的栈,不存在栈满上溢的情况,当栈满了之后,会调用expand函数进行自动扩容,但是大部分基于顺序表实现的栈是存在栈满上溢的,需注意这一点。

0x01 链式存储结构实现

以下是使用双向链表实现的栈:
1
class Stack {
2
3
struct ListNode
4
{
5
int data;
6
ListNode *prev;
7
ListNode *next;
8
ListNode(int val) : data(val), prev(nullptr),
9
next(nullptr) {}
10
};
11
12
ListNode *head;
13
ListNode *tail;
14
15
public:
16
Stack() : head(new ListNode(0)), tail(new ListNode(0))
17
{
18
head->next = tail;
19
tail->prev = head;
20
}
21
22
void push(int x)
23
{
24
tail->data = x;
25
ListNode *dummy = new ListNode(0);
26
dummy->prev = tail;
27
tail->next = dummy;
28
tail = dummy;
29
}
30
31
void pop()
32
{
33
ListNode *deleted = tail->prev;
34
deleted->prev->next = tail;
35
tail->prev = deleted->prev;
36
delete deleted;
37
}
38
39
int top()
40
{
41
return tail->prev->data;
42
}
43
};
Copied!
栈的链式存储结构是不存在栈满上溢的,上述代码为使用双向链表实现的栈,且配有头尾两个哨兵结点,所以我们可以轻易地在
O(1)O(1)
的复杂度内实现栈的push和pop操作,如果使用单链表实现栈则栈顶指针即为单链表的头指针,栈的push操作即为在单链表的头部依次添加元素,就像为手枪弹夹依次压入子弹一样。

0x02 使用栈进行括号匹配

这道题目可以通过LeetCode来练习,题目地址:20. Valid Parentheses,此题给定()[]{}三种括号形式,左括号(open brackets)必需匹配相同类型的右括号(closed brackets),例如(应当匹配)而不是]},要求你确定数组字符串中的括号匹配是否合法:
1
class Solution {
2
public:
3
bool isValid(std::string s) {
4
std::stack<char> stk;
5
for (int i = 0; i < s.size(); ++i)
6
{
7
if (s[i] == '(' || s[i] == '[' || s[i] == '{')
8
{
9
stk.push(s[i]);
10
}
11
else if (
12
s[i] == ')' && !stk.empty() && stk.top() == '(' ||
13
s[i] == ']' && !stk.empty() && stk.top() == '[' ||
14
s[i] == '}' && !stk.empty() && stk.top() == '{'
15
)
16
{
17
stk.pop();
18
}
19
else
20
{
21
return false;
22
}
23
}
24
return stk.empty();
25
}
26
};
Copied!
还是这个用栈进行括号匹配,现在引入一种新的情况,通配符,\做通配符既可以代表(也可以代表)也可以代表空字符(即不对括号匹配起任何作用),此为LeetCode题目678. Valid Parenthesis String。可以用双栈实现,代码如下:
1
class Solution {
2
public:
3
bool checkValidString(std::string s) {
4
std::stack<int> left, star;
5
for (int i = 0; i < s.size(); ++i)
6
{
7
if (s[i] == '(')
8
{
9
left.push(i);
10
}
11
else if (s[i] == ')')
12
{
13
if (left.empty() && star.empty())
14
{
15
return false;
16
}
17
if (!left.empty())
18
{
19
left.pop();
20
}
21
else if (!star.empty())
22
{
23
star.pop();
24
}
25
}
26
else
27
{
28
star.push(i);
29
}
30
}
31
while (!left.empty() && !star.empty())
32
{
33
if (left.top() > star.top())
34
{
35
return false;
36
}
37
left.pop();
38
star.pop();
39
}
40
return left.empty();
41
}
42
};
Copied!
时间复杂度为
O(N)O(N)
,空间复杂度在最坏情况下为
2N2N
,例如在输入字符串均由(以及*组成时。上述算法较为容易理解,设置两个栈,第一个栈left用于存放左括号(的所在位置,第二个栈star用于存放通配符*所在的位置。从左向右遍历字符串中的每一个字符,如果为(或者*就将其下标压入其对应的栈中,如果为)就开始弹栈,先从left栈开始,如果left空了,那就弹star栈。因为括号匹配是依次的,当循环完成后,如果left栈以及star栈不为空的话,那就依次弹出两者中的元素以检查是否有星号无法通配,比如当输入数据为*(时,前面的*是无法与其后面的(完成通配,所以我们只需依次检查这两个栈,如果发现star栈的栈顶元素在left栈前面(下标小于),那就返回false匹配是吧。

0x03 两个队列实现一个栈

这是一道经典的面试算法题,在LeetCode上也有练习,225. Implement Stack using Queues,我一开始写的代码如下:
1
class MyStack {
2
3
std::queue<int> q[2];
4
5
int top(bool pop_last)
6
{
7
int from = q[0].empty() ? 1 : 0;
8
int to = 1 - from;
9
int size = q[from].size();
10
for (int i = 0; i < size - 1; ++i)
11
{
12
q[to].push(q[from].front());
13
q[from].pop();
14
}
15
int ret = q[from].front();
16
if (!pop_last)
17
{
18
q[to].push(ret);
19
}
20
q[from].pop();
21
return ret;
22
}
23
public:
24
/** Initialize your data structure here. */
25
MyStack() {
26
27
}
28
29
/** Push element x onto stack. */
30
void push(int x)
31
{
32
(q[0].empty() ? q[1] : q[0]).push(x);
33
}
34
35
/** Removes the element on top of the stack and returns that element. */
36
int pop()
37
{
38
return top(true);
39
}
40
41
/** Get the top element. */
42
int top() {
43
return top(false);
44
}
45
46
/** Returns whether the stack is empty. */
47
bool empty() {
48
return q[0].empty() && q[1].empty();
49
}
50
};
Copied!
这种算法应当是低效的,因为在pop或者top的过程中需要在两个队列之间大量的移动数据。但是在测试中运行效率依旧超过100%的人。在这种情况下push操作的复杂度为
O(1)O(1)
,pop和top操作的复杂度为
O(N)O(N)
,其官方给出了三种解决方案,其中两种解决方案的pop的复杂度为
O(N)O(N)
而push的复杂度为
O(1)O(1)
,还有一种解决方案push的复杂度为
O(N)O(N)
,而pop的复杂度为
O(1)O(1)
,两种方案的选择可取决于此栈是需要进行频繁的读还是频繁的写操作,如果需要进行频繁的读操作(top或pop)可使用pop复杂度为
O(1)O(1)
的方案,如需进行频繁的写操作(push)可使用push复杂度为
O(1)O(1)
的解决方案,可自行查看。

0x04 N个不同元素依次进栈可得到的出栈序列个数

这个是个公式,卡特兰数(Catalan number),公式如下:
S=1n+1C2nnS=\frac{1}{n+1}C_{2n}^{n}
其中n为n个不同元素依次入栈,S为可得到的不同的出栈序列的个数。
这个公式可以用数学归纳法证明,证明过程过于复杂,在此不做赘述。

0x02 队列(Queue)

0x00 顺序存储结构实现循环队列

从一道LeetCode题目说起,622. Design Circular Queue,这道题所要求设的class中,在构造函数里将会传入一个队列的最大的大小,这样我们就可以使用数组来实现,而无需担心其会溢出,代码如下:
1
class MyCircularQueue {
2
int *a;
3
int front, rear, size, capacity;
4
public:
5
/** Initialize your data structure here. Set the size of the queue to be k. */
6
MyCircularQueue(int k) : a(new int[k]), front(0), rear(-1), size(0), capacity(k)
7
{
8
}
9
10
/** Insert an element into the circular queue. Return true if the operation is successful. */
11
bool enQueue(int value) {
12
if (isFull())
13
{
14
return false;
15
}
16
++size;
17
a[rear = (rear + 1) % capacity] = value;
18
return true;
19
}
20
21
/** Delete an element from the circular queue. Return true if the operation is successful. */
22
bool deQueue() {
23
if (isEmpty())
24
{
25
return false;
26
}
27
--size;
28
front = (front + 1) % capacity;
29
return true;
30
}
31
32
/** Get the front item from the queue. */
33
int Front() {
34
return isEmpty() ? -1 : a[front];
35
}
36
37
/** Get the last item from the queue. */
38
int Rear() {
39
return isEmpty() ? -1 : a[rear];
40
}
41
42
/** Checks whether the circular queue is empty or not. */
43
bool isEmpty() {
44
return size == 0;
45
}
46
47
/** Checks whether the circular queue is full or not. */
48
bool isFull() {
49
return size == capacity;
50
}
51
};
Copied!
此处需注意的是,虽然我们使用数组来实现队列,但是入队和出队操作我们均不用删除和移动元素,所以入队和出队操作的时间复杂度均为
O(1)O(1)

0x01 顺序存储结构实现双端循环队列

同样是一道LeetCode题目,641. Design Circular Deque双端队列指的是队列两端都可以进行入队和出队操作的队列,一般来说,普通的队列是双端队列的一种特例形式。同样此题的构造函数中会为我们传入队列的最大大小,所以我们尽可以放心地去使用数组而无需担心数组溢出。
1
class MyCircularDeque {
2
int *a;
3
int front, rear, size, capacity;
4
public:
5
/** Initialize your data structure here. Set the size of the deque to be k. */
6
MyCircularDeque(int k) : a(new int[k]), front(0), rear(-1),
7
size(0), capacity(k)
8
{
9
}
10
11
/** Adds an item at the front of Deque. Return true if the operation is successful. */
12
bool insertFront(int value) {
13
if (isFull())
14
{
15
return false;
16
}
17
++size;
18
if (front - 1 < 0)
19
{
20
a[front = capacity - 1] = value;
21
}
22
else
23
{
24
a[--front] = value;
25
}
26
rear = (front + size - 1) % capacity;
27
return true;
28
}
29
30
/** Adds an item at the rear of Deque. Return true if the operation is successful. */
31
bool insertLast(int value) {
32
if (isFull())
33
{
34
return false;
35
}
36
++size;
37
a[rear = (rear + 1) % capacity] = value;
38
return true;
39
}
40
41
/** Deletes an item from the front of Deque. Return true if the operation is successful. */
42
bool deleteFront() {
43
if (isEmpty())
44
{
45
return false;
46
}
47
--size;
48
front = (front + 1) % capacity;
49
return true;
50
}
51
52
/** Deletes an item from the rear of Deque. Return true if the operation is successful. */
53
bool deleteLast() {
54
if (isEmpty())
55
{
56
return false;
57
}
58
--size;
59
if (rear - 1 < 0)
60
{
61
rear = capacity - 1;
62
}
63
else
64
{
65
--rear;
66
}
67
return true;
68
}
69
70
/** Get the front item from the deque. */
71
int getFront() {
72
return isEmpty() ? -1 : a[front];
73
}
74
75
/** Get the last item from the deque. */
76
int getRear() {
77
return isEmpty() ? -1 : a[rear];
78
}
79
80
/** Checks whether the circular deque is empty or not. */
81
bool isEmpty() {
82
return size == 0;
83
}
84
85
/** Checks whether the circular deque is full or not. */
86
bool isFull() {
87
return size == capacity;
88
}
89
};
Copied!

0x02 两个栈实现一个队列

这跟上面的那个两个队列实现一个栈一样,都可以算是一道经典的面试题,这道题在LeetCode上有练习,参见题目232. Implement Queue using Stacks,我一开始的代码如下:
1
static int ____ = []()
2
{
3
std::ios::sync_with_stdio(false);
4
std::cin.tie(nullptr);
5
return 0;
6
}();
7
8
class MyQueue {
9
std::stack<int> stk1, stk2;
10
public:
11
/** Initialize your data structure here. */
12
MyQueue() {
13
14
}
15
16
/** Push element x to the back of queue. */
17
void push(int x) {
18
while (!stk1.empty())
19
{
20
stk2.push(stk1.top());
21
stk1.pop();
22
}
23
stk2.push(x);
24
while (!stk2.empty())
25
{
26
stk1.push(stk2.top());
27
stk2.pop();
28
}
29
}
30
31
/** Removes the element from in front of queue and returns that element. */
32
int pop() {
33
int t = stk1.top();
34
stk1.pop();
35
return t;
36
}
37
38
/** Get the front element. */
39
int peek() {
40
return stk1.top();
41
}
42
43
/** Returns whether the queue is empty. */
44
bool empty() {
45
return stk1.empty();
46
}
47
};
Copied!
插入操作(push)需要
O(N)O(N)
的复杂度,pop和top操作仅需要
O(1)O(1)
的复杂度,这道题同样有官方的solution,check out一下,官方同样给出了两种方法,第一种方法和我的一样,push在
O(N)O(N)
的复杂度,以及
O(1)O(1)
的pop和top操作。
最近更新 1yr ago