谈谈如何判断一个Pop序列是否是一个Push序列的Pop顺序

 

有这样一道题目：

输入两个整数序列。其中一个序列表示栈的push顺序，

判断另一个序列有没有可能是对应的pop顺序。

 

我们来模拟入栈和出栈的过程：

这里有三个角色：

Push序列：它的动作只有一个那就是不断地将自己的元素一个个Push到栈Stack中，直到结束；

Stack栈：它的动作则有两个，一个是将传入的元素Push进来，一个是将已有的元素Pop出去，Push的元素来自Push序列，Pop的元素则从Pop序列中输出；

Pop序列：它的动作也只有一个，那就是不断的接收来自Stack栈Pop出来的元素并打印出来；

 

假定在某个时刻，Push序列刚好把元素A压入栈Stack中，Pop序列刚好将Stack栈Pop的元素B输出，B的输出有三种情况：

1.      Stack弹出一个元素；

2.      A压入并立即弹出；

3.      A压入，再压入S2中的若干元素，然后弹出一个元素；

不满足上述条件，说明这个Pop序列不是Push序列对应的Pop顺序；

 

此时B的可能情况有：

1.      B是Stack栈顶的元素C，这种情况是Stack把栈顶元素弹出；

2.      B就是元素A，这种情况是A刚被Push进去，就被Pop出来了，因此B等于A；

3.      如果不是1和2，说明B只能是S2中的元素，因此，此时应该把A压入栈中，然后继续下一部，依次取出S2中的元素再次做上述比较；

4.      步骤2、3需要满足Push序列尚未结束，如果1、2、3都不满足，说明这个Pop序列不是Push序列的对应Pop顺序。

  

因此，我们得到这样一段代码：

 

#include <iostream>
#include <stack>

using namespace std;

bool isPopSequence(const int pushArray[], const int popArray[], int _size){
	const int *pPush=pushArray;
	const int *pPop=popArray;
	stack<int> stData;
	int cnt=0;
	while(pPop - popArray < _size){
		if((pPush - pushArray) >= _size && stData.empty())
		  break;
		//if the push queue is still not empty, then push the element into the queue, and continue
		if(!stData.empty() && stData.top() == *pPop){
			stData.pop();
			pPop++;
		}
		//if current element is equal to the element in pop queue, both move forward
		else if((pPush - pushArray) < _size && *pPush == *pPop){
			pPush++;
			pPop++;
		}
		//if the top element of the stack is equal to current element, the pop it, pop queue move forward
		else if((pPush - pushArray) < _size){
			stData.push(*pPush);
			pPush++;
		}
		//else the sequence is not matched
		else
		  return false;
	}
	return true;
}

int main(){
	int a[5]={1,2,3,4,5};
	int b[5]={2,5,4,3,1};
	if(isPopSequence(a,b,5))
	  cout<<"True"<<endl;
	else
	  cout<<"False"<<endl;

	return 0;
}

测试结果为：

True