出栈队列合法性

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
using namespace std;
int a[1009],b[1009];
int main()
{
    int m,n,k;
    cin>>m>>n>>k;
    //int a[n],b[m];//b栈，a序列
    int cnt;

    for(int i=0;i<k;i++)
    {
        for(int s=0;s<n;s++)
        {
            cin>>a[s];
        }
        cnt=1;
        int j=0;
        int p=0;
        b[0]=1;
        while(1)
        {
            while(a[p]>b[j]&&j<m)
            {
                j++;
                cnt++;
                b[j]=cnt;
            }
            if(j>=m)break;
            if(a[p]==b[j])
            {
                b[j]=0;
                j--;
                p++;
            }
            else if(a[p]<b[j])break;
            //cout<<a[p]<<" ";
            if(p==n)break;
        }
        if(j==-1&&p==n)cout<<"YES"<<endl;
        else cout<<"NO"<<endl;
    }
}