洛谷P3952 时间复杂度(烦人的模拟)

P3952 时间复杂度

题解
(此题真的是烦人。。。)
我就说几个细节好了，

1. 当$a>n$时，即此时不能进入当前循环，那么当前的循环的嵌套循环都不能增加贡献，我们可以标记一下，等其再遇到这个标记的时候再累计贡献。
2. 对于$ERR$的处理，我们可以肯定$F$的数量一定等于$E$的数量，所以当处理完之后如果队列不为空，则为$ERR$，或者当遇到$E$时，队列却没有$F$相对应，也为$ERR$。还有就是当变量重复定义时，这里我用一个栈模拟变量的生存域。每当循环开始时，$push$进去一个变量，代表当前已经有此变量；每当循环结束时，就$pop$出来一个变量，代表当前变量生存域的结束。因为变量不太多，所以每次常数遍历也是不会超时的。

代码

#include<bits/stdc++.h>

int main() {
#ifndef ONLINE_JUDGE
    freopen("input.in", "r", stdin);
#endif
    int T;
    scanf("%d", &T);
    while (T--) {
        int n;
        char t[105] = {0};
        scanf("%d %s", &n, t);
        int o = 0, cnt = 0, ans = 0;
        if (t[2] == '1')
            o = 0;
        else {
            o = t[4] - '0';
            if (isdigit(t[5])) {
                o = o * 10 + t[5] - '0';
            }
        }
        std::stack<char> st;
        std::vector<char> has;
        bool ok = 1, f = 0;
        for (int i = 0; i < n; ++i) {
            char s[105] = {0};
            scanf(" %[^\n]", s);
            int a = 0, b = 0, j;
            for (int j = 4; j < 6 && s[j] != ' '; ++j) {
                if (s[j] == 'n') {
                    a = 1e6;
                    break;
                }
                a = a * 10 + s[j] - '0';
            }
            for (j = 6; j < 9; ++j) {
                if (s[j] == '\n' && j > 6)
                    break;
                if (isdigit(s[j]))
                    b = b * 10 + s[j] - '0';
                if (s[j] == 'n') {
                    b = 1e6;
                    break;
                }
            }
//            printf("%d %d\n",a,b);
            if (s[0] == 'F') {
                if (a < b - 1000) // a = dig, b = n
                    st.push('F');
                else if (a > b && f == 0) // a > b, 注意这里的f!!
                    st.push('G');
                else
                    st.push('K');
            } else {
                char ch = '0';
                if (st.empty())
                    ok = 0;
                else {
                    ch = st.top();
                    st.pop();
                }
                if (!has.empty())
                    has.pop_back();
                else
                    ok = 0;
                if (ch == 'F' && f == 0)
                    cnt--;
                if (ch == 'G')
                    f = 0;
                if (st.empty()) {
//                    printf("last cnt = %d\n",cnt);
                    if (!has.empty())
                        ok = 0;
                }

                continue;
            }
            if (a > b)
                f = 1;
            for (unsigned int i = 0; i < has.size(); ++i) {
                if (has[i] == s[2]) {
                    ok = 0;
                    break;
                }
            }
            if (ok == 1)
                has.push_back(s[2]);
            if (!f && a < b - 1000) {
                cnt++;
//                printf("cnt = %d\n",cnt);
                ans = std::max(ans, cnt);
            }
        }
//		printf("%d %d\n",o,ans);
        if (!ok || !st.empty()) puts("ERR");
        else if (o == ans) {
            puts("Yes");
        } else {
            puts("No");
        }
    }
    return 0;
}