题目描述:给定一个入栈序列,给定一个出栈序列,判断该出栈序列是否合法。


分析:假如入栈序列为1 2 3 4 5,判断4 5 3 2 1 是否是合法的出栈顺序。


两个序列均以数组的形式给出


从两个数组的第一个元素开始,如果栈为空,或者,栈顶元素不等于当前出栈数组当前下标对应的元素时,将当前入栈数组中下标所指向的元素进行压栈


初始状态如下:

wKioL1cDyRLi8XHmAAAZr1lwySE538.jpg

步骤1:把 1 进行压栈,并将下标后移,如下图所示,

wKiom1cDylKBp0UVAAAZXJdSkEc733.jpg

步骤2:依次进行判断并压栈,当4进栈后,此时栈顶元素等于出栈数组下标所指向的元素,将4出栈,如下图所示


wKiom1cDyyqjn0KRAAAcrb47EtM216.jpg

步骤3:将 4 出栈,并将出栈数组的下标后移,继续判断栈顶元素是否为当前出栈数组下标对应的元素,是,则出栈,否则继续往后执行

wKioL1cDzF3AM8AvAAAgxKZ3QV0572.jpg

步骤4:重复上述步骤,直到入栈数组中的下标走到尽头wKioL1cDzPqQWS4MAAAiFxItk1Q465.jpg

当最后一个元素入栈后,此时只需循环判断栈顶元素是否与出栈数组当前下标对应的元素相等,如果该序列合法,则栈中的元素最终都会出栈,不合法则栈永远不为空

wKiom1cDzayRidTnAAAjYyBAB20771.jpg

此时,栈为空,则该序列合法。


代码如下:

#include<iostream>
#include<stack>
#include<cassert>
using namespace std;


template<class T>
bool IsSequenceVaild(const T* inSequence, const T* outSequence, size_t n)
{
	assert(inSequence && outSequence);

	stack<T> sc;
	int j = 0;  //用来记录出栈数组当前元素的下标
	for (int i = 0; i < n; ++i)
	{
		sc.push(inSequence[i]);

		while (!sc.empty() && sc.top() == outSequence[j])
		{
			sc.pop();
			++j;
		}
	}

	return (sc.size() == 0) ? true : false;
}


void Test1()
{
	int in[5] = { 1, 2, 3, 4, 5 };
	int out1[5] = { 1, 2, 3, 4, 5 };
	int out2[5] = { 4, 5, 3, 2, 1 };
	int out3[5] = { 3, 5, 4, 2, 1 };
	int out4[5] = { 3, 5, 4, 2, 1 };

	int out[5] = { 4, 5, 3, 1, 2 };

	cout << IsSequenceVaild<int>(in, out1, 5) << endl;
	cout << IsSequenceVaild<int>(in, out2, 5) << endl;
	cout << IsSequenceVaild<int>(in, out3, 5) << endl;
}

void main()
{
	Test1();

	system("pause");
}