SNOI2017 炸弹（#loj2255）

loj上前面跑得很快的魔法代码骚短。（但是很容易被hack，这些人co标都不带脑子么 = =）

正解：很明显有个朴素的暴力解法，对于每个炸弹，我们像它能影响的范围内的炸弹都连一条边，最后只需统计一遍size即可，但是n^2会挂掉，所以就有了线段树建图优化（并查集貌似也可以）。

于是乎，我也想要自暴自弃了= =线段树建图调的我心态爆炸，然后我就总结出了这道题的几个值得注意的地方：

1、内存合理分配

2、坐标开long long

没了。

#include<bits/stdc++.h>
using namespace std;
#define Mod 1000000007
const int Maxn=500005*4;
struct Edge{
	int cnt,h[Maxn],to[Maxn*10],next[Maxn*10];
	inline void add(int x,int y){
		next[++cnt]=h[x];to[cnt]=y;h[x]=cnt;
	}
}e;
int n;
long long x[Maxn],r[Maxn];
int cnt,p[Maxn];
struct SegMent{
	struct tree{
		int l,r,ls,rs;
	}t[Maxn];int root;
	inline void link(int x,int l,int r,int y){
		if(t[x].l>r||t[x].r<l)return ;
		if(l<=t[x].l&&t[x].r<=r)return e.add(y,x),void();
		link(t[x].ls,l,r,y),link(t[x].rs,l,r,y);
	}
	inline void build(int &x,int l,int r){
		t[x=++cnt]=(tree){l,r,0,0};
		if(l==r)return p[l]=x,void();
		int mid=l+r>>1;
		build(t[x].ls,l,mid),build(t[x].rs,mid+1,r);
		e.add(x,t[x].ls),e.add(x,t[x].rs);
	}
}seg;
#define to e.to[p]
struct Targan{
	int cnt,tj[Maxn],ll[Maxn];
	int top,s[Maxn];
	int scc,bl[Maxn];
	int l[Maxn],r[Maxn];
	vector<int>vec[Maxn];
	inline void Tarjan(int x){
		tj[x]=ll[x]=++cnt;
		s[++top]=x;
		for(int p=e.h[x];p;p=e.next[p])
			if(!tj[to]){
				Tarjan(to);
				ll[x]=min(ll[x],ll[to]);
			}else if(!bl[to])ll[x]=min(ll[x],tj[to]);
		if(tj[x]==ll[x]){
			++scc;int v;
			do{
				bl[v=s[top--]]=scc;
				vec[scc].push_back(v);
			}while(v^x);
		}
	}
	vector<int>G[Maxn],F[Maxn];
	int d[Maxn],fd[Maxn];
	inline void rebuild(){
		for(int i=1;i<=scc;i++)l[i]=n+1,r[i]=0;
		for(int i=1;i<=cnt;i++){
			l[bl[i]]=min(l[bl[i]],seg.t[i].l);
			r[bl[i]]=max(r[bl[i]],seg.t[i].r);
		}
		for(int i=1;i<=scc;++i){
			for(int j=0;j<vec[i].size();++j){
				int x=vec[i][j];
				for(int p=e.h[x];p;p=e.next[p]){
					G[i].push_back(bl[to]);
					++d[i];
				}
			}
		}
	}
	inline void topsort(){
		queue<int>Q;
		for(int i=1;i<=scc;++i)if(!d[i])Q.push(i);
		while(!Q.empty()){
			int x=Q.front();Q.pop();
			for(int i=0;i<G[x].size();++i){
				F[G[x][i]].push_back(x);
				++fd[x];
				if(--d[G[x][i]]==0)Q.push(G[x][i]);
			}
		}
		while(!Q.empty()){
			int x=Q.front();Q.pop();
			for(int i=0;i<F[x].size();++i){
				l[x]=min(l[x],l[F[x][i]]);
				r[x]=max(r[x],r[F[x][i]]);
				if(--fd[F[x][i]]==0)Q.push(F[x][i]);
			}
		}
	}
	inline void solv(){
		topsort();
		int ans=0;
		for(int i=1;i<=n;++i)
			(ans+=1ll*i*(r[bl[p[i]]]-l[bl[p[i]]]+1)%Mod)%=Mod;
		cout<<ans<<"\n";
	}
}targan;
int main(){
	scanf("%d",&n);
	seg.build(seg.root,1,n);
	for(int i=1;i<=n;++i)scanf("%lld%lld",&x[i],&r[i]);
	for(int i=1;i<=n;++i){
		int L=lower_bound(x+1,x+n+1,x[i]-r[i])-x;
		int R=lower_bound(x+1,x+n+1,x[i]+r[i])-x-1;
		seg.link(seg.root,L,R,p[i]);
	}
	for(int i=1;i<=cnt;++i)if(!targan.tj[i])targan.Tarjan(i);
	targan.rebuild();
	targan.solv();
	return 0;
}