CF914D Bash and a Tough Math Puzzle 线段树

发了多少篇线段树题解了。。。

题意：维护一个数列，支持单点修改，询问区间是否能改掉一个数，使该区间的gcd是x的倍数。
题解：

• 线段树维护区间gcd
• 询问一个块时分为左右两块，若两个块都不需要修改，则该区间不需要修改；若只有一个块需要修改，则该区间只有一个数字需要修改；若其中一个块需要修改两次以上，则该区间也不能满足要求。
• 单点时总能修改

（这个是没过的）

#include<cstdio>
#include<algorithm>
using namespace std;
const int MAXN = 500001;

inline int read(){
	int k = 0, f = 1; char ch = getchar();
	while(ch < '0' || ch > '9'){if(ch == '-') f = -1; ch = getchar();}
	while(ch >= '0' && ch <= '9'){k = k*10 + ch - '0'; ch = getchar();}
	return k * f;
}

int Gcd(int a, int b){
	if(!b) return a;
	return Gcd(b, a % b);
}

struct Segment_Tree{
	#define mid ((l + r) >> 1)
	int Val[MAXN << 2];
	inline void Push_up(int u){
		Val[u] = Gcd(Val[u << 1], Val[u << 1 | 1]);
	}
	inline void Build(int u, int l, int r){
		if(l == r){Val[u] = read(); return;}
		Build(u << 1, l, mid), Build(u << 1 | 1, mid + 1, r);
		Push_up(u);
	}
	inline void Change(int u, int l, int r, int x, int k){
		if(l == r){Val[u] = k; return;}
		if(x <= mid) Change(u << 1, l, mid, x, k);
		else Change(u << 1 | 1, mid + 1, r, x, k);
		Push_up(u);
	}
	inline int Query(int u, int l, int r, int L, int R, int k){ //0表示不行，1表示改一个就行，2表示不需要改 
		if(Val[u] % k == 0) return 2; if(l == r) return 1;
		if(R <= mid) return Query(u << 1, l, mid, L, R, k);
		if(L > mid) return Query(u << 1 | 1, mid + 1, r, L, R, k);
		int q = Query(u << 1, l, mid, L, mid, k) + Query(u << 1 | 1, mid + 1, r, mid + 1, R, k);
		if(q <= 2) return 0; if(q == 4) return 2; if(q == 3) return 1;
	}
	#undef mid
}T;

int main(){
	freopen("in.txt", "r", stdin);
	int n = read(); T.Build(1, 1, n);
	int q = read();
	while(q--){
		int opt = read(), l = read(), r = read(), x, ans;
	switch(opt){
		case 1:
			x = read(); if(T.Query(1, 1, n, l, r, x)) puts("YES"); else puts("NO");
			break;
		case 2:
			T.Change(1, 1, n, l, r);
			break;
		}
	}
	return 0;
}

发这篇没过的是因为觉得这个判断写得太好了。。。结果自信写题解，回过头才发现TLE了

#include<cstdio>
#include<algorithm>
using namespace std;
const int MAXN = 500001;

inline int read(){
	int k = 0, f = 1; char ch = getchar();
	while(ch < '0' || ch > '9'){if(ch == '-') f = -1; ch = getchar();}
	while(ch >= '0' && ch <= '9'){k = k*10 + ch - '0'; ch = getchar();}
	return k * f;
}

int Gcd(int a, int b){
	if(!b) return a;
	return Gcd(b, a % b);
}

struct Segment_Tree{
	#define mid ((l + r) >> 1)
	int Val[MAXN << 2];
	inline void Push_up(int u){
		Val[u] = Gcd(Val[u << 1], Val[u << 1 | 1]);
	}
	inline void Build(int u, int l, int r){
		if(l == r){Val[u] = read(); return;}
		Build(u << 1, l, mid), Build(u << 1 | 1, mid + 1, r);
		Push_up(u);
	}
	inline void Change(int u, int l, int r, int x, int k){
		if(l == r){Val[u] = k; return;}
		if(x <= mid) Change(u << 1, l, mid, x, k);
		else Change(u << 1 | 1, mid + 1, r, x, k);
		Push_up(u);
	}
	inline int Query(int u, int l, int r, int L, int R, int k){ //0表示不行，1表示改一个就行，2表示不需要改 
		if(Val[u] % k == 0) return 2; if(l == r) return 1;
		if(R <= mid) return Query(u << 1, l, mid, L, R, k);
		if(L > mid) return Query(u << 1 | 1, mid + 1, r, L, R, k);
		int q = Query(u << 1, l, mid, L, mid, k);
		if(q == 0) return 0;
		if(q == 2) return Query(u << 1 | 1, mid + 1, r, mid + 1, R, k);
		if(q == 1){
			q += Query(u << 1 | 1, mid + 1, r, mid + 1, R, k);
			if(q <= 2) return 0;
			if(q == 3) return 1;
		}
	}
	#undef mid
}T;

int main(){
	freopen("in.txt", "r", stdin);
	int n = read(); T.Build(1, 1, n);
	int q = read();
	while(q--){
		int opt = read(), l = read(), r = read(), x, ans;
	switch(opt){
		case 1:
			x = read(); if(T.Query(1, 1, n, l, r, x)) puts("YES"); else puts("NO");
			break;
		case 2:
			T.Change(1, 1, n, l, r);
			break;
		}
	}
	return 0;
}

在Query处修改了，不需要每次查询都询问左右块的