出栈序列的判断，以及栈混洗。