Jennie

似乎对于每一个不等式，都是有一个阈值k，那么分类讨论a的符号，也就是不等式的方向，因为输入的key的大小不超过$10^6$，那么一些算出来的key可以知道肯定满足、不满足

然后呢，根据不等式的方向扔到两个树状数组，查询即可

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
using namespace std;
int n,m;
int tr[2000008][2];
int maxn=1000001;
int a,b,c;
int cnt;
int x,y,z;
int vis[100005];
int sit[100005];
int mu;
int ke[100005];
int lowbit(int x){
    return x&-x;
}
void add(int x,int v,int ex){
    x+=maxn;
    for(int i=x;i<=2000001;i+=lowbit(i)){
        tr[i][ex]+=v;
    }
}
int get(int x,int ex){
    int ans=0;
    x+=maxn;
    while(x){
        ans+=tr[x][ex];
        x-=lowbit(x);
    }
    return ans;
}
string s;
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;++i){
        cin>>s;
        if(s=="Add"){
            scanf("%d%d%d",&x,&y,&z);
            if(x==0){
                if(y>z){
                    mu++;
                    sit[++cnt]=1<<30;
                }else{
                    sit[++cnt]=-(1<<30);
                }
            }else{
                if(x>0){
                    int key=(floor)((z*1.-y)/x);
                    ke[++cnt]=key;
                    sit[cnt]=1;
                    if(key>1000000){
                        sit[cnt]=-(1<<30);
                    }
                    else if(key<-1000000){
                        mu++;
                        sit[cnt]=1<<30;
                    } else{
                        add(key,1,sit[cnt]);
                    }
                }else{
                    int key=(ceil)((z*1.-y)/x);
                    ke[++cnt]=key;
                    if(key<-1000000){
                        sit[cnt]=-(1<<30);
                    }
                    else if(key>1000000){
                        mu++;
                        sit[cnt]=1<<30;
                    } else{
                        add(key,1,sit[cnt]);
                    }
                }
            }
        }
        if(s=="Del"){
            scanf("%d",&x);
            if(!vis[x]){
                vis[x]=1;
                if(sit[x]==(1<<30)){
                    mu--;
                }else{
                    if(sit[x]!=-(1<<30)){
                        add(ke[x],-1,sit[x]);
                    }
                }   
            }
        }
        if(s=="Query"){
            scanf("%d",&x);
            cout<<get(1000000,0)-get(x,0)+get(x-1,1)+mu<<endl;
        }
    }
    return 0;
}