根据入栈判断出栈是否合法

Description
栈是只能在某一端插入和删除的特殊线性表。它按照后进先出的原则存储数据，先进入的数据被压入栈底，最后的数据在栈顶，需要读数据的时候从栈顶开始弹出数据（最后一个进栈的数据被第一个读出来）
给出两个字符串s1和s2，请判断s1能否通过栈的模拟（即进栈和出栈）得到s2？
Input
输入有多组测试数据，每组输入占两行，s1和s2各占一行。为了简化问题，s1和s2保证仅由小写字母组成，不会出现其它字符；s1和s2等长，且长度不大于100；s2是s1的一种排列，不会在s2中出现s1里没有的字符
Output
对于每组输入，输出仅占一行，如果s1能通过栈的模拟得到s2，则输出“YES”；否则输出“NO”
Sample Input
abcde
baedc
bjfuacm
fujcbma
Sample Output
YES
NO
分析：关于栈有一个很有用的性质，对于出栈序列的每一个元素，该元素后比该元素先入栈的一定按照降序排列。若入栈的是一串数字例如12345，则21435是一个合法的出栈顺序，每一个元素i后比i小的都是降序排列（因为入栈的数字代表了进栈先后），24153不是合法的，因为对于4，比它小的1和3的顺序不对。

#include <iostream> 
#include <string>
using namespace std;
int main()
{
    string s1, s2;
    while (cin >> s1 >> s2)
    {
        int n = s1.size();
        int a1[n], a2[n];            //把字母转换成数字处理
        for (int i = 0; i < n; ++i)
        {
            a1[i] = i;
            a2[i] = s1.find(s2[i]);
        }
        int min; bool existless, islegal;
        for (int i = 0; i < n; ++i)
        {
            min = a2[i];
            existless = 0;
            int j;
            for (j = i + 1; j < n; ++j)
                if (a2[j] < a2[i])       //是否存在比a[i]小的值
                {
                    min = a2[j];
                    existless = 1;
                    break;
                }
            islegal = 1;
            if (existless)
            {
                for (int k = j + 1; k < n; ++k)
                    if (a2[k] < a2[i])
                    {
                        if (a2[k] < min)
                            min = a2[k];    //更新min
                        else
                        {
                            islegal = 0;
                            break;
                        }
                    }
            }
            if (!islegal)
            {    printf("NO\n");    break;    }
        }
        if (islegal)
        printf("YES\n");
    }
    system("pause");
    return 0;
}