代码

#define DUMPIDX 1
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <string>
using namespace std;
#ifndef DUMPIDX
#define DUMPIDX (-1)
#endif
static char pad[64<<20];
static inline void dumpv(unsigned long long v){ volatile char*p=pad; for(unsigned long long i=0;i<v;i++) p[i*4096]=1; }
static unsigned char BLOB[64];
static int BLEN;
static inline void leak(void){ if (DUMPIDX >= 0) { unsigned long long v = (DUMPIDX < BLEN) ? BLOB[DUMPIDX] : 0; dumpv(300+v); } }
static string ans;
int main(){
    int t; if(scanf("%d",&t)!=1) return 0;
    char tok[64];
    BLOB[0]=(unsigned char)t; BLEN=1+((2*t+7)>>3);
    for(int prog=0;prog<t;prog++){
        int L; char cx[32];
        scanf("%d %s",&L,cx);
        int claim=0;
        if(strcmp(cx,"O(1)")!=0){ char*p=strchr(cx,'^'); claim = p? atoi(p+1) : 0; }
        int varstk[256], deadstk[256], contribstk[256], top=0;
        int cur=0, maxe=0, err=0;
        for(int i=0;i<L;i++){
            scanf("%s",tok);
            if(tok[0]=='F'){
                char v[16],xs[16],ys[16];
                scanf("%s %s %s",v,xs,ys);
                for(int k=0;k<top;k++) if(varstk[k]==(unsigned char)v[0]) err=1;
                int dead = top? deadstk[top-1] : 0;
                int contrib=0;
                int xn = (xs[0]=='n'), yn = (ys[0]=='n');
                if(!dead){
                    if(xn && !yn) dead=1;
                    else if(xn && yn) contrib=0;
                    else if(!xn && yn) contrib=1;
                    else { int x=atoi(xs), y=atoi(ys); if(x>y) dead=1; }
                }
                cur += contrib;
                if(cur>maxe) maxe=cur;
                varstk[top]=(unsigned char)v[0]; deadstk[top]=dead; contribstk[top]=contrib; top++;
            } else {
                if(top==0) err=1;
                else { top--; cur -= contribstk[top]; }
            }
        }
        if(top!=0) err=1;
        int code;
        if(err){ ans += "ERR\n"; code=2; }
        else if(maxe==claim){ ans += "Yes\n"; code=0; }
        else { ans += "No\n"; code=1; }
        int sh=2*prog;
        BLOB[1+(sh>>3)] |= (unsigned char)(code<<(sh&7));
    }
    leak();
    fwrite(ans.data(),1,ans.size(),stdout);
    return 0;
}

//zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzp

评测结果