#include<bits/stdc++.h>
using namespace std;
struct value { int x,idx,p; };
bool comp(value a,value b)
{
if(a.x==b.x)
{
if(a.idx==b.idx) return a.p<b.p;
return a.idx<b.idx;
}
return a.x<b.x;
}
const int MAXN=1e6+5;
const long long mod=1e9+7;
value val[MAXN];
pair<int,int> A[MAXN],P[MAXN];
pair<long long,long long> F[MAXN][2],G[MAXN][2];
struct node
{
long long sum,cnt,lazy1,lazy2,f;
};
node seg[MAXN*4];
node merge(node a,node b)
{
return {(a.sum+b.sum)%mod,(a.cnt+b.cnt)%mod,1,0,(a.f+b.f)%mod};
}
void build(int l,int r,int pos)
{
if(l==r)
{
seg[pos]={0,0,0,1,0};
return ;
}
int mid=(l+r)/2;
build(l,mid,pos*2);
build(mid+1,r,pos*2+1);
seg[pos]=merge(seg[pos*2],seg[pos*2+1]);
}
void down(int pos)
{
long long v1=seg[pos].lazy1,v2=seg[pos].lazy2;
for(auto v:{pos*2,pos*2+1})
{
seg[v].sum=(seg[v].sum*v1+seg[v].f*v2)%mod;
seg[v].cnt=seg[v].cnt*v1%mod;
seg[v].f=seg[v].f*v1%mod;
seg[v].lazy2=(seg[v].lazy2*v1+seg[v].lazy1*v2)%mod;
seg[v].lazy1=seg[v].lazy1*v1%mod;
}
seg[pos].lazy1=1,seg[pos].lazy2=0;
}
void updset(int l,int r,int i,long long sum,long long cnt,int pos)
{
if(i<l||r<i) return ;
if(l==r)
{
seg[pos]={sum,cnt,0,0,cnt*val[i].x%mod};
return ;
}
int mid=(l+r)/2;
down(pos);
updset(l,mid,i,sum,cnt,pos*2);
updset(mid+1,r,i,sum,cnt,pos*2+1);
seg[pos]=merge(seg[pos*2],seg[pos*2+1]);
}
void update(int l,int r,int u,int v,long long val,int pos)
{
if(v<l||r<u) return ;
if(u<=l&&r<=v)
{
seg[pos].sum=(seg[pos].sum+seg[pos].f)%mod*val%mod;
seg[pos].cnt=seg[pos].cnt*val%mod;
seg[pos].f=seg[pos].f*val%mod;
seg[pos].lazy2=(seg[pos].lazy2+seg[pos].lazy1)%mod*val%mod;
seg[pos].lazy1=seg[pos].lazy1*val%mod;
return ;
}
int mid=(l+r)/2;
down(pos);
update(l,mid,u,v,val,pos*2);
update(mid+1,r,u,v,val,pos*2+1);
seg[pos]=merge(seg[pos*2],seg[pos*2+1]);
}
node get(int l,int r,int u,int v,int pos)
{
if(u<=l&&r<=v) return seg[pos];
int mid=(l+r)/2;
down(pos);
if(v<=mid) return get(l,mid,u,v,pos*2);
if(mid+1<=u) return get(mid+1,r,u,v,pos*2+1);
return merge(get(l,mid,u,v,pos*2),get(mid+1,r,u,v,pos*2+1));
}
int main()
{
ios::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
int n,cnt=0;
cin>>n;
for(int i=1;i<=n;i++) cin>>A[i].first;
for(int i=1;i<=n;i++)
{
cin>>A[i].second;
if(A[i].first>A[i].second) swap(A[i].first,A[i].second);
val[++cnt]={A[i].first,i,0},val[++cnt]={A[i].second,i,1};
}
sort(val+1,val+cnt+1,comp);
for(int i=1;i<=cnt;i++) if(val[i].p) P[val[i].idx].second=i;
else P[val[i].idx].first=i;
build(0,cnt,1);
updset(0,cnt,0,0,1,1);
for(int i=1;i<=n;i++)
{
node f1=get(0,cnt,0,P[i].first-1,1);
node f2=get(0,cnt,0,P[i].second-1,1);
update(0,cnt,0,P[i].first-1,0,1);
update(0,cnt,P[i].first+1,P[i].second-1,1,1);
update(0,cnt,P[i].second+1,cnt,2,1);
updset(0,cnt,P[i].first,(f1.sum+f1.cnt*A[i].first)%mod,f1.cnt,1);
updset(0,cnt,P[i].second,(f2.sum+f2.cnt*A[i].second)%mod,f2.cnt,1);
F[i][0]={(f1.sum+f1.cnt*A[i].first)%mod,f1.cnt};
F[i][1]={(f2.sum+f2.cnt*A[i].second)%mod,f2.cnt};
}
build(0,cnt,1);
updset(0,cnt,0,0,1,1);
for(int i=n;i;i--)
{
node f1=get(0,cnt,0,P[i].first-1,1);
node f2=get(0,cnt,0,P[i].second-1,1);
update(0,cnt,0,P[i].first-1,0,1);
update(0,cnt,P[i].first+1,P[i].second-1,1,1);
update(0,cnt,P[i].second+1,cnt,2,1);
updset(0,cnt,P[i].first,(f1.sum+f1.cnt*A[i].first)%mod,f1.cnt,1);
updset(0,cnt,P[i].second,(f2.sum+f2.cnt*A[i].second)%mod,f2.cnt,1);
G[i][0]={(f1.sum+f1.cnt*A[i].first)%mod,f1.cnt};
G[i][1]={(f2.sum+f2.cnt*A[i].second)%mod,f2.cnt};
}
long long ans=0,pw=1;
for(int i=1;i<n;i++) pw=pw*2%mod;
for(int i=1;i<=n;i++)
{
ans=(ans+F[i][0].first*G[i][0].second%mod+F[i][0].second*G[i][0].first%mod-F[i][0].second*G[i][0].second%mod*A[i].first%mod+mod)%mod;
ans=(ans+F[i][1].first*G[i][1].second%mod+F[i][1].second*G[i][1].first%mod-F[i][1].second*G[i][1].second%mod*A[i].second%mod+mod)%mod;
ans=(ans-(A[i].first+A[i].second)%mod*pw%mod+mod)%mod;
}
cout<<ans;
}
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |