【洛谷 P5522 】棠梨煎雪【线段树】

---

解题思路

区间查询+单点修改=线段树

SO，我们考虑维护两个值v,x，对于每一位来讲，一个代表该位是否确定，一个代表该位的值，对于每一位不确定的值，都将该位的值拟为0

我们只要知道$[l,r]$里1∼n这些位是否出现过0/1即可，即把$[l,r]$中的信息合并
考虑合并的状况：
当$tree[dep\ast 2].ok==1$&&$tree[dep\ast 2+1].ok$时，证明这一位确定
此时当$tree[dep\ast 2].x!=tree[dep\ast 2+1].x$，则冲突，无解

只要左右有一边确定，证明该位确定，因此也可以将它的v同样的合并

怎么计算方案数呢？发现如果有解，那么$[l,r]$中全是?的位就可以乱填。所以答案是$2^{全是?的位数}$

---

代码

#include<iostream>
#include<cstdio>
#include<iomanip>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
using namespace std;

int n,m,q,opt,ans,l,r,a[100010],v[100010];
char s[50];

struct c {
	int v,x;
	bool ok;
} tree[400010];

void up(int dep) {
	tree[dep].v=tree[dep*2].v|tree[dep*2+1].v;
	tree[dep].x=tree[dep*2].x|tree[dep*2+1].x;
	tree[dep].ok=1;
	if((!tree[dep*2].ok)||(!tree[dep*2+1].ok))
		tree[dep].ok=0;
	if((tree[dep*2].v&tree[dep*2+1].v)&(tree[dep*2].x^tree[dep*2+1].x))
		tree[dep].ok=0;
}

void build(int dep,int l,int r) {
	if(l==r) {
		tree[dep].x=a[l];
		tree[dep].v=v[l];
		tree[dep].ok=1;
		return;
	}
	int mid=(l+r)/2;
	build(dep*2,l,mid);
	build(dep*2+1,mid+1,r);
	up(dep);
}

c find(int dep,int l,int r,int x,int y) {

	if(x<=l&&y>=r) 
		return tree[dep];
	int mid=(l+r)/2;
	if(x<=mid&&y>mid) {
		c i=find(dep*2,l,mid,x,y);
		c j=find(dep*2+1,mid+1,r,x,y);
		c res;
		res.v=i.v|j.v;
		res.x=i.x|j.x;
		res.ok=1;
		if((!i.ok)||(!j.ok))
			res.ok=0;
		if((i.v&j.v)&(i.x^j.x))
			res.ok=0;
		return res;
	}
	if(x<=mid)return find(dep*2,l,mid,x,y);
	if(y>mid)return find(dep*2+1,mid+1,r,x,y);
}

void work(int dep,int l,int r,int x) {
	if(l==r) {
		tree[dep].x=a[l];
		tree[dep].v=v[l];
		tree[dep].ok=1;
		return;
	}
	int mid=(l+r)/2;
	if(x<=mid)work(dep*2,l,mid,x);
	if(x>mid)work(dep*2+1,mid+1,r,x);
	up(dep);
}

int main() {
	scanf("%d%d%d",&n,&m,&q);
	for(int i=1; i<=m; i++) {
		scanf("%s",s+1);
		int w=0,ok=0;
		for(int j=1; j<=n; j++) {
			w<<=1,ok<<=1;
			if(s[j]>='0'&&s[j]<='9')ok|=1,w|=s[j]-48;
			else ok|=0,w|=0;
		}
		a[i]=w;
		v[i]=ok;
	
	}
	build(1,1,m);
	for(int i=1; i<=q; i++) {
		scanf("%d",&opt);
		if(opt==0) {
			scanf("%d%d",&l,&r);
			c lyx=find(1,1,m,l,r);
		
			int p=1;
			if(!lyx.ok)
			{
				ans^=0;
				continue;
			}
			for(int j=1;j<=n;j++)
			{
				if(!(lyx.v&1))
					p<<=1;
				lyx.v>>=1;
			}
			ans=ans^p;
		} else {
			scanf("%d%s",&l,s+1);
			int w=0,ok=0;
			for(int j=1; j<=n; j++) {
				w<<=1,ok<<=1;
				if(s[j]>='0'&&s[j]<='9')ok|=1,w|=s[j]-48;
				else ok|=0,w|=0;
			}
			a[l]=w,v[l]=ok;
			work(1,1,m,l);
		}
	}
	printf("%d",ans);
}