检验入栈序列、出栈序列是否合法

题目：元素出栈、入栈顺序的合法性。如：入栈的序列（1,2,3,4,5），出栈序列为（4,5,3,2,1），则合法。入栈的序列（1,2,3,4,5），出栈序列为（4,5,2,3,1），则不合法。 

思路：借用一个辅助栈，先按照入栈顺序push，直到栈顶元素和出栈序列相等就pop，以此类推，最后栈为空且两个序列都被遍历到。

代码：

bool IsPopOrder ( vector < int > PushV , vector < int > PopV )

{

      /*如果是空或长度不相等，直接退出*/

      if ( PushV . empty () || PopV . empty () || PushV . size () != PopV . size ())

           return false ;

      stack < int > s ;

      size_t idx_pop = 0;

      size_t idx_push = 0;

      /*idx_pop没有遍历到最后时，循环继续*/

      while ( PopV . size () > idx_pop ){

           /*如果栈为空，或者栈顶元素不等于下一个要出栈的，需要继续向栈中push元素*/

           while ( s . empty () || s . top () != PopV [ idx_pop ]){

               /*如果idx_push遍历到了结尾，跳出循环*/

               if ( idx_push == PushV . size ())

                    break ;

               s . push ( PushV [ idx_push ]);

               idx_push ++;

          }

           /*到这里如果栈顶仍然不等于下一个要出栈的，说明序列不合法*/

           if ( s . top () != PopV [ idx_pop ])

               break ;

           /*到这里说明下一个出栈的一定等于栈顶元素*/

           s . pop ();

           idx_pop ++;

     }

      /*栈为空 并且idx_pop（和idx_push相等）遍历到了结尾说明合法*/

      if ( s . empty () && idx_pop == PopV . size ())

           return true ;

      return false ;

}