题意：一个集合可以对其做三种操作，加上一个x，减去一个已有x，给出一个x问时候存在a和b使得abx可以围成一个三角形
分析：看到集合操作马上想到用set，其中可以再用set的指针在map上记录下所以数值之间的差，但这时存在一个问题就是可能存在两个数，这两个数的差满足条件但两个数的和却太小不到x，因此我所用的方法就是提前把所有差都求出来后离散键线段树，线段树上存的是该差中的最大和，这样再动态对每个操作进行修改查询
代码：
#include <bits/stdc++.h>
#define x first
#define y second
#define mid (l+r>>1)
#define lo (o<<1)
#define ro (o<<1|1)
using namespace std;
typedef long long ll;
typedef vector<int>vi;
typedef pair<int,ll>pii;
struct tri{int x,y,z;};
const int inf=0x3f3f3f3f;
const ll linf=0x3f3f3f3f3f3f3f3f;
const int N=2e5+10;
const ll mod=1e9+7;
const double PI=acos(0)*2;int n,m,o[N],x[N];
vector<pii>add[N],sub[N];
set<int>tong[N<<2];
int arr[N<<2];
ll ma[N<<3];void update(int p,int v,int o=1,int l=1,int r=m)
{if(l==r){ma[o]=v;return;}if(p<=mid)update(p,v,lo,l,mid);else update(p,v,ro,mid+1,r);ma[o]=max(ma[lo],ma[ro]);
}
ll query(int p,int o=1,int l=1,int r=m)
{if(r<=p){return ma[o];}ll ret=query(p,lo,l,mid);if(p>mid)ret=max(ret,query(p,ro,mid+1,r));return ret;
}int main()
{ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
// freopen("in.txt","r",stdin);map<ll,int>mp,s;mp[0]=1,mp[inf<<1]=1;s[inf<<1]=1;cin>>n;for(int i=1;i<=n;i++){int op,a;cin>>op>>a;o[i]=op;x[i]=a;if(op==1){if(mp.count(a)){s[0]++;add[i].push_back({0,a*2});}else{auto l=mp.lower_bound(a);auto r=l--;int len=r->x-l->x;s[len]--;if(s[len]==0)s.erase(len);sub[i].push_back({len,r->x+l->x});s[r->x-a]++;add[i].push_back({r->x-a,r->x+a});s[a-l->x]++;add[i].push_back({a-l->x,a+l->x});}mp[a]++;}else if(op==2){mp[a]--;if(mp[a]==0){mp.erase(a);auto l=mp.lower_bound(a);auto r=l--;s[r->x-l->x]++;add[i].push_back({r->x-l->x,r->x+l->x});int tmp=a-l->x;s[tmp]--;if(!s[tmp])s.erase(tmp);sub[i].push_back({tmp,a+l->x});tmp=r->x-a;s[tmp]--;if(!s[tmp])s.erase(tmp);sub[i].push_back({tmp,a+r->x});}else{s[0]--;if(!s[0])s.erase(0);sub[i].push_back({0,a*2});}}}for(int i=1;i<=n;i++){for(auto j:add[i])arr[++m]=j.x;}sort(arr+1,arr+1+m);m=unique(arr+1,arr+1+m)-arr;
// for(int i=1;i<=m;i++)cout<<arr[i]<<' ';cout<<endl;unordered_map<int,int>id;for(int i=1;i<=m;i++)id[arr[i]]=i;for(int i=1;i<=n;i++){for(auto j:add[i]){tong[id[j.x]].insert(j.y);update(id[j.x],*(--tong[id[j.x]].end()));}for(auto j:sub[i])if(j.x!=inf*2){tong[id[j.x]].erase(j.y);int tmp=0;if(tong[id[j.x]].size())tmp=*(--tong[id[j.x]].end());update(id[j.x],tmp);}if(o[i]==3){int p=lower_bound(arr+1,arr+1+m,x[i])-arr;
// cout<<p<<endl;if(p>1&&query(p-1)>x[i]){
// cout<<p-1<<' '<<query(p-1)<<endl;cout<<"Yes"<<endl;}else cout<<"No"<<endl;}}return 0;
}