//下面是我个人比较抽浅的理解 仅供参考
1. 出栈系列合法性规则:
出栈序列中的每个数后面的比它小的数,是按递减排列的。2. 简化规则描述:
(1)假设入栈顺序为1234。
1)若出栈序列为4123,显然不满足上述要求,因为对于4,它后面比它小的数字序列为123,而123是一个递加系列即不是递减排列,所以不是合法出栈序列。 2)若出栈系列为3142,也不合法,因为3后面比它小的1和2不是递减排列的。 3)若出栈系列为1234,则合法,因为对于每一个数字它后面没有比它小的数字。 (2)假设入栈顺序为123456789abcdef。
1)若出栈系列为67d51f94e2ba83c,因为对于d,它后面比它小的19或123或ac等等都不是递减的,所以不合法。
2)若出栈系列为379a8b65c4ed21f,可以证明是合法的出栈顺序。因为对于每一个数字它后面没有比它小的数字而且是按递减排列的。 3. 证明:
假设入栈顺序为1234......n,可知在栈中的元素从栈顶到栈底一定是按严格递减排列的,而且每个数i进栈之前,比i小的数一定已经进栈了,所以比i小的数要不然已经出栈,要不然在栈中,如果还在栈中则一定在i的下面,按严格递减排列,如此可见如果比i小的数还在栈中则一定在i之后输出,所以输出序列中在i后面的比i小的数一定按严格递减排列.否则出栈系列不合法。