【CodeChef】ForbiddenSum

Portal --> CC ForbiddenSum

Solution

  场上想到了(O(NM))的做法。。然而并没有什么用

  首先考虑比较简单的一个问题,给定一个数组(A),问这些数不能凑成的最小的数是多少

  有一个很简单的想法:显然(0)不管对于哪个数组来说都是可以表示的,所以接下来我们只用从(1)开始考虑,如果说我知道一个最大的(x),满足([1,x])这个区间内的数都能被当前数组中的数表示出来,这个时候如果说新加入一个数(a),考虑(x)会有什么变化

  会发现如果说(a<=x+1)的话,那么这个最大值会从(x)变成(x+a),构造一下就知道了:对于([1,x])中的整数显然都可以被表示出来,而([x+1,x+a])这个区间中的每一个数(i)都可由((i-a))(a)组成,而((i-a)in [1,x]),所以成立;当(a>x+1)的话,就没有办法连上了

  这样得出了整个数组的(x)之后,(x+1)就是答案了

  所以我们可以得到一个(O(NM))的做法,就是每个询问区间暴力扫一遍

​  

​  由于要排序,这个算法看起来好像非常难优化,但实际上我们如果换一种角度来看这个算法的流程就比较好优化了:绕开排序这个瓶颈,放在整个无序的数组上面进行操作,注意到上面提及的(x)其实是这个数组中某些元素的和,所以这个(x)其实应该是一个(sum),我们每次在做的事情就是找到一个新的(<=sum+1)的元素,并且将它加进(sum)里面去,直到找不到新的元素为止,由于(sum)本身是递增的,所以无形中相当于从小到大考虑每个元素

​  注意到这个寻找新元素的过程并没有必要一个一个元素地找,实际上我们会发现,对于当前(sum)来说那些(<=sum+1)的新元素一定会在后面的操作中被加进来(因为(sum)只会越来越大),所以每次我们可以将当前(<=sum+1)的所有新元素全部加进来就好了

  于是问题就转变成了一个求区间中某个范围内的数的和的问题,直接主席树动态开点一波(注意根本不需要离散化之类的(实际上也不能离散化== )。。因为。。动态开点。。所以点数还是(nlogn)级别的==)

  至于时间复杂度:首先每次主席树查找是(logn)的,然后。。至于一次询问会查找几次呢。。实际上我们会发现每次(sum)都至少会变成原来的(2)倍,然后题目又说了总和(<=10^9),那么就是最坏(log_2(10^9))次左右,问题不大(然而这个(2)倍。。打表发现==其实是因为每次只要还有新的值,至少都会加上一个(sum+1)

  

  代码大概张这个样子

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e5+10,SEG=N*20;
int a[N],tmp[N];
int n,m;
namespace Seg{/*{{{*/
	int ch[SEG][2],sz[SEG],rt[N],sum[SEG];
	int n,tot;
	void init(int _n){tot=0; ch[0][0]=ch[0][1]=0; rt[0]=0; sz[0]=sum[0]=0; n=_n;}
	int newnode(int pre){
		ch[++tot][0]=ch[pre][0]; ch[tot][1]=ch[pre][1]; sz[tot]=sz[pre]; sum[tot]=sum[pre];
		return tot;
	}
	void pushup(int x){sz[x]=sz[ch[x][0]]+sz[ch[x][1]];sum[x]=sum[ch[x][0]]+sum[ch[x][1]];}
	void _insert(int pre,int &x,int d,int lx,int rx){
		x=newnode(pre);
		if (lx==rx){++sz[x];sum[x]+=lx;return;}
		int mid=lx+rx>>1;
		if (d<=mid) _insert(ch[pre][0],ch[x][0],d,lx,mid);
		else _insert(ch[pre][1],ch[x][1],d,mid+1,rx);
		pushup(x);
	}
	void insert(int pre,int x,int d){_insert(rt[pre],rt[x],d,1,n);}
	int _query(int L,int R,int l,int r,int lx,int rx){
		if (!L&&!R) return 0;
		if (l<=lx&&rx<=r) return sum[R]-sum[L];
		int mid=lx+rx>>1,ret=0;
		if (l<=mid) ret+=_query(ch[L][0],ch[R][0],l,r,lx,mid);
		if (r>mid) ret+=_query(ch[L][1],ch[R][1],l,r,mid+1,rx);
		return ret;
	}
	int query(int L,int R,int l,int r){return _query(rt[L-1],rt[R],l,r,1,n);}
}/*}}}*/
void solve(int l,int r){
	int sum=0,tmp,pre=0;
	while (1){
		tmp=Seg::query(l,r,1,sum+1);
		if (tmp==pre){
			printf("%d
",sum+1);
			return;
		}
		sum=tmp; pre=tmp;
	}
}

int main(){
#ifndef ONLINE_JUDGE
	freopen("a.in","r",stdin);
#endif
	int l,r,mx=0;
	scanf("%d",&n);
	for (int i=1;i<=n;++i){
		scanf("%d",a+i);
		mx=max(mx,a[i]);
	}
	Seg::init(mx);
	for (int i=1;i<=n;++i)
		Seg::insert(i-1,i,a[i]);
	scanf("%d",&m);
	for (int i=1;i<=m;++i){
		scanf("%d%d",&l,&r);
		solve(l,r);
	}
}
原文地址:https://www.cnblogs.com/yoyoball/p/9742611.html