妄想集合（斐波那契+线段树维护）

根据斐波那契数列的性质以及构成三角形的三边关系可知
1e9以内大概有fib₄₅ 即超过45个数时的集合必定可以构成三角形。
因此Quant操作可以当成普通的线段树"加法" 用vector当节点。
ASK操作可以先求区间[L,R]的集合大小之和判断45
否则，懂得都懂，直接暴力。

struct node {
	int l,r,sum;//线段树中维护集合的size
} tr[4*N];
vector<int> v[N];//存放每个集合里面的元素
int n,m;

void pushup(int u) {
	tr[u].sum=tr[2*u+1].sum+tr[2*u].sum;
}

void build(int u,int l,int r) {
	tr[u]= {l,r};
	if(l==r) {
		tr[u].sum=1;
		return;
	}
	int mid=l+r>>1;
	build(2*u,l,mid);
	build(2*u+1,mid+1,r);
	pushup(u);
}

int query(int u,int l,int r) { //区间求和
	if(l<=tr[u].l&&r>=tr[u].r) return tr[u].sum;
	int mid=tr[u].l+tr[u].r>>1;
	int sum=0;
	if(l<=mid) sum+=query(2*u,l,r);
	if(r>mid) sum+=query(2*u+1,l,r);
	return sum;
}

void modify(int u,int l,int r,int x) { //区间内的单点修改
	if(tr[u].sum/(tr[u].r-tr[u].l+1)>=46) return;
	if(tr[u].l==tr[u].r) {
		v[r].push_back(x);
		tr[u].sum++;
		return ;
	}
	int mid=tr[u].l+tr[u].r>>1;
	if(r<=mid) modify(2*u,l,r,x);
	else if(l>mid) modify(2*u+1,l,r,x);
	else {
		modify(2*u,l,mid,x);
		modify(2*u+1,mid+1,r,x);
	}
	pushup(u);
}

int main() {
	cin>>n>>m;
	for(int i=1; i<=n; i++) {
		int t;
		scanf("%d",&t);
		v[i].push_back(t);
	}
	build(1,1,n);
	for(int T=0; T<m; T++) {
		string op;
		int l,r,x;
		cin>>op;
		scanf("%d %d",&l,&r);
		if(op[0]=='A') { //询问
			int sum=query(1,l,r);
			if(sum>=46) {
				puts("YES");
				continue;
			} else if(sum<=2) {
				puts("NO");
				continue;
			} else {
				vector<int> tmp;
				for(int i=l; i<=r; i++) {
					for(auto t:v[i])
						tmp.push_back(t);
				}
				bool flag=false;
				sort(tmp.begin(),tmp.end());
				for(int i=0; i<tmp.size()-2; i++) {
					if(tmp[i]+tmp[i+1]>tmp[i+2]) {
						flag=true;
						break;
					}
				}
				if(flag)puts("YES");
				else puts("NO");
			}
		} else {
			scanf("%d",&x);
			modify(1,l,r,x);
		}
	}
}