栈与队列理论基础
C++标准库是有多个版本的,要知道我们使用的STL是哪个版本,才能知道对应的栈和队列的实现原理。那么来介绍一下,三个最为普遍的STL版本:
- HP STL 其他版本的C++ STL,一般是以HP STL为蓝本实现出来的,HP STL是C++ STL的第一个实现版本,而且开放源代码。
- P.J.Plauger STL 由P.J.Plauger参照HP STL实现出来的,被Visual C++编译器所采用,不是开源的。
- SGI STL 由Silicon Graphics Computer Systems公司参照HP STL实现,被Linux的C++编译器GCC所采用,SGI STL是开源软件,源码可读性甚高。
接下来介绍的栈和队列也是SGI STL里面的数据结构, 知道了使用版本,才知道对应的底层实现。
来说一说栈,栈先进后出,如图所示:
栈提供push 和 pop 等等接口,所有元素必须符合先进后出规则,所以栈不提供走访功能,也不提供迭代器(iterator)。 不像是set 或者map 提供迭代器iterator来遍历所有元素。
栈是以底层容器完成其所有的工作,对外提供统一的接口,底层容器是可插拔的(也就是说我们可以控制使用哪种容器来实现栈的功能)。
所以STL中栈往往不被归类为容器,而被归类为container adapter(容器适配器)。
那么问题来了,STL 中栈是用什么容器实现的?
从下图中可以看出,栈的内部结构,栈的底层实现可以是vector,deque,list 都是可以的, 主要就是数组和链表的底层实现。
我们常用的SGI STL,如果没有指定底层实现的话,默认是以deque为缺省情况下栈的底层结构。
deque是一个双向队列,只要封住一段,只开通另一端就可以实现栈的逻辑了。
SGI STL中 队列底层实现缺省情况下一样使用deque实现的。
我们也可以指定vector为栈的底层实现,初始化语句如下:
std::stack<int, std::vector<int> > third; // 使用vector为底层容器的栈
刚刚讲过栈的特性,对应的队列的情况是一样的。
队列中先进先出的数据结构,同样不允许有遍历行为,不提供迭代器, SGI STL中队列一样是以deque为缺省情况下的底部结构。
也可以指定list 为起底层实现,初始化queue的语句如下:
std::queue<int, std::list<int>> third; // 定义以list为底层容器的队列
所以STL 队列也不被归类为容器,而被归类为container adapter( 容器适配器)。
232.用栈实现队列
使用栈实现队列的下列操作:
- push(x) -- 将一个元素放入队列的尾部。
- pop() -- 从队列首部移除元素。
- peek() -- 返回队列首部的元素。
- empty() -- 返回队列是否为空。
由于栈是“先进后出”,而队列是“先进先出”,所以至少需要两个栈来实现队列,一个作为输入栈,在push的时候,元素进入输入栈,当要pop时,注意,要将最先入栈的那个元素弹出,这时候就需要另外一个栈,称为输出栈,将输入栈的所有元素一个个pop出来,并push进输出栈,这个时候,元素的顺序就反过来了。此时再将输出栈的栈顶元素弹出。总结为:
在push数据的时候,只要数据放进输入栈就好,但在pop的时候,操作就复杂一些,输出栈如果为空,就把进栈数据全部导入进来(注意是全部导入),再从出栈弹出数据,如果输出栈不为空,则直接从出栈弹出数据就可以了。
最后如何判断队列为空呢?如果进栈和出栈都为空的话,说明模拟的队列为空了。
// 查看下面的动画演示两个栈如何实现队列
执行语句:
queue.push(1);
queue.push(2);
queue.pop(); 注意此时的输出栈的操作
queue.push(3);
queue.push(4);
queue.pop();
queue.pop();注意此时的输出栈的操作
queue.pop();
queue.empty();
// 时间复杂度: push和empty为O(1), pop和peek为O(n)
// 空间复杂度: O(n)
class MyQueue {
public:
stack<int> st_in;
stack<int> st_out;
// 构造函数
MyQueue() {
}
// 元素加入队尾
void push(int x) {
st_in.push(x);
}
// 队首元素弹出
int pop() {
// 当st_out为空时,将st_in所有元素依次推入st_out
if (st_out.empty()) {
while(!st_in.empty()) {
st_out.push(st_in.top()); // top()返回栈顶元素的引用
st_in.pop(); // pop()删除栈顶元素,返回void
}
}
int result = st_out.top();
st_out.pop();
return result;
}
// 查看队首元素
int peek() {
// 利用已有的pop函数
int result = this->pop();
st_out.push(result); // 因为pop函数弹出了元素res,所以再添加回去
// this->push(result); 注意不能使用这个语句,这个语句直接将元素推入st_in
// 如果此时st_out非空,那再用pop()弹出的就不是这个元素了
// 因为this->pop()一定是从st_out弹出,那添加回去,也要从st_out push
return result;
}
bool empty() {
return st_in.empty() && st_out.empty();
}
};
225.用队列实现栈
队列是先进先出的规则,把一个队列中的数据导入另一个队列中,数据的顺序并没有变,并没有变成先进后出的顺序。
所以用栈实现队列, 和用队列实现栈的思路还是不一样的。但是依然还是要用两个队列来模拟栈,只不过没有输入和输出的关系,而是另一个队列完全用来备份的!
如下面动画所示,用两个队列que1和que2实现队列的功能,que2其实完全就是一个备份的作用,把que1最后面的元素以外的元素都备份到que2,然后弹出最后面的元素,再把其他元素从que2导回que1。
// 执行语句如下
queue.push(1);
queue.push(2);
queue.pop(); // 注意弹出的操作
queue.push(3);
queue.push(4);
queue.pop(); // 注意弹出的操作
queue.pop();
queue.pop();
queue.empty();
// 时间复杂度:pop为O(n), 其余为O(1)
// 空间复杂度:O(n)
class MyStack {
public:
queue<int> que1;
queue<int> que2; // 仅是弹出队尾时,用于备份que1队尾之前的所有元素
// 构造函数
MyStack() {
}
// 元素入栈
void push(int x) {
que1.push(x);
}
// 移除并返回栈顶元素
int pop() {
int size = que1.size();
size--;
while(size--) { // 除que1队尾的一个元素外,其它元素推入que2备份
que2.push(que1.front()); // front()方法返回队首元素
que1.pop(); // 删除队首元素
}
// que1队尾弹出
int res = que1.front();
que1.pop();
// 将备份的que2复制给que1
que1 = que2;
// 清空que2
while(!que2.empty()) {
que2.pop();
}
return res;
}
// 返回栈顶元素
int top() {
return que1.back(); // back()返回队尾元素
}
// 栈空?
bool empty() {
return que1.empty();
}
};
其实这道题目就是用一个队列就够了。
一个队列在模拟栈弹出元素的时候只要将队列头部的元素(除了最后一个元素外) 重新添加到队列尾部,此时再去弹出元素就是栈的顺序了。
// 时间复杂度:pop()为O(n),其余为O(1)
// 空间复杂度:O(n)
class MyStack {
public:
queue<int> que;
// 构造函数
MyStack() {
}
// 元素入栈
void push(int x) {
que.push(x);
}
// 移除并返回栈顶元素
int pop() {
int size = que.size();
size--;
while(size--) { // 除que1队尾的一个元素外,从队首开始,每个元素先加入队尾,再删除队首元素
que.push(que.front()); // front()方法返回队首元素
que.pop(); // 删除队首元素
}
// que1队尾弹出
int res = que.front();
que.pop();
return res;
}
// 返回栈顶元素
int top() {
return que.back(); // back()返回队尾元素
}
// 栈空?
bool empty() {
return que.empty();
}
};
20.有效的括号
- 第一种情况:已经遍历完了字符串,但是栈不为空,说明有相应的左括号没有右括号来匹配,所以return false
- 第二种情况:遍历字符串匹配的过程中,发现栈里没有要匹配的字符。所以return false
- 第三种情况:遍历字符串匹配的过程中,栈已经为空了,没有匹配的字符了,说明右括号没有找到对应的左括号return false
但还有一些技巧,在匹配左括号的时候,入栈的却是右括号,就只需要比较当前元素和栈顶相不相等就可以了,比左括号先入栈代码实现要简单的多了!
class Solution {
public:
bool isValid(string s) {
if (s.size() % 2 != 0) return false; // 如果s的长度为奇数,一定不符合要求
stack<char> st;
for(int i = 0; i < s.size(); i++) { // 遍历字符串
if (s[i] == '(') st.push(')');
else if (s[i] == '[') st.push(']');
else if (s[i] == '{') st.push('}');
// 第三种情况:遍历字符串匹配的过程中,栈已经为空了,没有匹配的字符了,说明右括号没有找到对应的左括号 return false
// 第二种情况:遍历字符串匹配的过程中,发现栈里没有我们要匹配的字符。所以return false
else if (st.empty() || s[i] != st.top()) return false;
else st.pop(); // 当前字符与栈顶字符相等,栈弹出元素
}
// 第一种情况:完成遍历字符串之后,栈非空,说明左括号没有找到对应的右括号,return false
return st.empty();
}
};
1047.删除字符串中的所有相邻重复项
用栈可以记录前一个遍历过的字符 ,当前字符与栈顶不同则入栈,相同则删除栈顶。同时要注意,栈内元素出栈之后,字符串就翻转过来了, 要reverse一下
// 时间复杂度:O(n)
// 空间复杂度:O(n)
class Solution {
public:
string removeDuplicates(string s) {
stack<char> st;
for (char c: s) {
if (st.empty() || c != st.top()) { // 栈空或者当前字符与栈顶不相同,入栈
st.push(c);
}
else {
st.pop(); // 当前字符与栈顶相同,删除栈顶元素
}
}
string res = "";
// 逐个弹出栈顶字符
while(!st.empty()) {
res += st.top();
st.pop();
}
// 翻转结果字符串
reverse(res.begin(), res.end());
return res;
}
};
当然可以拿字符串直接作为栈,这样省去了栈还要转为字符串的操作。
// 时间复杂度:O(n)
// 空间复杂度:O(1),返回值不计入空间复杂度
class Solution {
public:
string removeDuplicates(string s) {
string res = "";
for (char c: s) {
if (res.empty() || c != res.back()) { // 栈空或者当前字符与栈顶不相同,入栈
res.push_back(c);
}
else {
res.pop_back(); // 当前字符与栈顶相同,删除栈顶元素
}
}
return res;
}
};