洛谷P3759 - [TJOI2017]不勤劳的图书管理员
Description
给出一个\(1..n(n\leq5\times10^4)\)的排列\(\{a_n\}\)和数列\(\{w_n\}(w_i\leq10^5)\),进行\(m(m\leq5\times10^4)\)次操作:
交换\(a_{p_1},a_{p_2}\),并求\(\sum_{i=1}^n \sum_{j=i+1}^n [a_i>a_j](w_{a_i}+w_{a_j})\)。
Solution
树套树/CDQ分治,想锻炼一下代码能力所以写了树套树。
首先这是一个求逆序对的问题,那么我们考虑交换\(a_{p_1},a_{p_2}\)对答案有什么影响。易知只有\(i\in[p_1+1,p_2-1]\)对答案造成影响:
若\(a_i<a_{p_1}\),那么答案减\(a_i+a_{p_1}\);若\(a_i>a_{p_1}\),那么答案加\(a_i+a_{p_1}\)。
若\(a_i<a_{p_2}\),那么答案加\(a_i+a_{p_2}\);若\(a_i>a_{p_2}\),那么答案减\(a_i+a_{p_2}\)。
那么求出\(\{c_1,s_1,c_2,s_2\}\)分别表示区间\([p_1+1,p_2-1]\)内小于/大于\(x\)的\(i\)的个数/\(w_i\)的和,然后就可以根据上两行计算答案的变化。而这可以用树套树来做。
时间复杂度\(O(mlog^2n)\)。
Code
//[TJOI2017]不勤劳的图书管理员
#include <algorithm>
#include <cstdio>
using std::swap;
typedef long long lint;
inline char gc()
{
static char now[1<<16],*s,*t;
if(s==t) {t=(s=now)+fread(now,1,1<<16,stdin); if(s==t) return EOF;}
return *s++;
}
inline int read()
{
int x=0; char ch=gc();
while(ch<'0'||'9'<ch) ch=gc();
while('0'<=ch&&ch<='9') x=x*10+ch-'0',ch=gc();
return x;
}
const int N=5e4+10;
const int P=1e9+7;
int n,m,a[N],w[N];
namespace init
{
int tr1[N],tr2[N];
void add(int x,int v) {while(x<=n) tr1[x]++,tr2[x]=(tr2[x]+v)%P,x+=x&(-x);}
int sum1(int x) {int r=0; while(x) r+=tr1[x],x-=x&(-x); return r;}
int sum2(int x) {int r=0; while(x) r=(r+tr2[x])%P,x-=x&(-x); return r;}
int calc()
{
int res=0;
for(int i=1;i<=n;i++)
{
res=(res+(lint)sum1(n-a[i]+1)*w[a[i]])%P;
res=(res+sum2(n-a[i]+1))%P;
add(n-a[i]+1,w[a[i]]);
}
return res;
}
}
const int N1=2e6;
struct info
{
int c1,s1,c2,s2;
info(int _c1=0,int _s1=0,int _c2=0,int _s2=0) {c1=_c1,s1=_s1,c2=_c2,s2=_s2;};
friend info operator +(info x,info y)
{
int c1=x.c1+y.c1,s1=x.s1+y.s1,c2=x.c2+y.c2,s2=x.s2+y.s2;
return info(c1,s1%P,c2,s2%P);
}
};
namespace inTr
{
int cnt,fa[N1],ch[N1][2],siz[N1]; int val[N1],sum[N1];
inline void update(int p)
{
siz[p]=siz[ch[p][0]]+1+siz[ch[p][1]];
sum[p]=((sum[ch[p][0]]+sum[ch[p][1]])%P+w[val[p]])%P;
}
inline int wh(int p) {return p==ch[fa[p]][1];}
inline void rotate(int p)
{
int q=fa[p],r=fa[q],w=wh(p);
fa[p]=r; if(r) ch[r][wh(q)]=p;
fa[ch[q][w]=ch[p][w^1]]=q;
fa[ch[p][w^1]=q]=p;
update(q),update(p);
}
void splay(int &rt,int p)
{
for(int q=fa[p];q;rotate(p),q=fa[p]) if(fa[q]) rotate(wh(p)^wh(q)?p:q);
update(rt=p);
}
int pre(int rt,int x)
{
int r=0;
for(int p=rt;p;p=ch[p][val[p]<x]) if(val[p]<x) r=p;
return r;
}
void ins(int &rt,int p)
{
if(!rt) {rt=p; return;}
int q=rt;
while(ch[q][val[q]<val[p]]) q=ch[q][val[q]<val[p]];
fa[ch[q][val[q]<val[p]]=p]=q;
update(q); splay(rt,p);
}
int del(int &rt,int x)
{
if(x==0||!rt) return 0;
int p=pre(rt,x+1); if(val[p]!=x) return 0;
splay(rt,p);
int chCnt=(ch[p][0]>0)+(ch[p][1]>0);
if(chCnt==0) {rt=0; return p;}
if(chCnt==1) {rt=ch[p][ch[p][1]>0],fa[rt]=0; return p;}
int q=ch[p][0]; while(ch[q][1]) q=ch[q][1];
splay(rt,q);
fa[ch[q][1]=ch[p][1]]=q;
fa[p]=ch[p][0]=ch[p][1]=0;
update(q);
return p;
}
inline void change(int &rt,int x1,int x2)
{
int p=del(rt,x1); if(!p) p=++cnt;
fa[p]=ch[p][0]=ch[p][1]=0,siz[p]=1;
val[p]=x2,sum[p]=w[x2];
ins(rt,p);
}
info query(int rt,int x)
{
int c1=0,s1=0;
for(int p=rt;p;p=ch[p][val[p]<x])
if(val[p]<x) c1+=siz[p]-siz[ch[p][1]],s1=(s1+sum[p]-sum[ch[p][1]]+P)%P;
return info(c1,s1,siz[rt]-c1,sum[rt]-s1);
}
}
namespace outTr
{
#define Ls (p<<1)
#define Rs (p<<1|1)
int rt[N<<2];
int in(int L,int R,int p1,int p2) {return ((L<=p2&&p2<=R)<<1)|(L<=p1&&p1<=R);}
void change(int p,int L0,int R0,int p1,int p2)
{
int inP=in(L0,R0,p1,p2);
if(inP==1) inTr::change(rt[p],a[p1],a[p2]);
else if(inP==2) inTr::change(rt[p],a[p2],a[p1]);
if(L0==R0) return;
int mid=L0+R0>>1;
if(in(L0,mid,p1,p2)) change(Ls,L0,mid,p1,p2);
if(in(mid+1,R0,p1,p2)) change(Rs,mid+1,R0,p1,p2);
}
int optL,optR;
info query(int p,int L0,int R0,int x)
{
if(optL<=L0&&R0<=optR) return inTr::query(rt[p],x);
int mid=L0+R0>>1; info res=info(0,0,0,0);
if(optL<=mid) res=res+query(Ls,L0,mid,x);
if(mid<optR) res=res+query(Rs,mid+1,R0,x);
return res;
}
}
inline void change(int p1,int p2) {outTr::change(1,1,n,p1,p2);}
inline info query(int L,int R,int x)
{
outTr::optL=L,outTr::optR=R;
return outTr::query(1,1,n,x);
}
int main()
{
n=read(),m=read();
for(int i=1;i<=n;i++)
{
a[0]=read(),w[a[0]]=read();
change(0,i); swap(a[0],a[i]);
}
int ans=init::calc();
for(int i=1;i<=m;i++)
{
int p1=read(),p2=read();
if(p1>p2) swap(p1,p2); else if(p1==p2) {printf("%d\n",ans); continue;}
int x=a[p1],y=a[p2];
info r1=query(p1+1,p2-1,x),r2=query(p1+1,p2-1,y);
ans-=((lint)r1.c1*w[x]%P+r1.s1)%P; ans=(ans+P)%P;
ans+=((lint)r1.c2*w[x]%P+r1.s2)%P; ans=ans%P;
ans+=((lint)r2.c1*w[y]%P+r2.s1)%P; ans=ans%P;
ans-=((lint)r2.c2*w[y]%P+r2.s2)%P; ans=(ans+P)%P;
if(x<y) ans=(ans+w[x]+w[y])%P; else ans=(ans-w[x]-w[y]+P)%P;
printf("%d\n",ans);
change(p1,p2); swap(a[p1],a[p2]);
}
return 0;
}
洛谷P3759 - [TJOI2017]不勤劳的图书管理员的更多相关文章
- 洛谷P3759 [TJOI2017]不勤劳的图书管理员 【树状数组套主席树】
题目链接 洛谷P3759 题解 树状数组套主席树板题 #include<algorithm> #include<iostream> #include<cstring> ...
- [P3759][TJOI2017]不勤劳的图书管理员(分块+树状数组)
题目描述 加里敦大学有个帝国图书馆,小豆是图书馆阅览室的一个书籍管理员.他的任务是把书排成有序的,所以无序的书让他产生厌烦,两本乱序的书会让小豆产生 这两本书页数的和的厌烦度.现在有n本被打乱顺序的书 ...
- LUOGU P3759 [TJOI2017]不勤劳的图书管理员(树套树)
传送门 解题思路 和以前做过的一道题有点像,就是区间逆序对之类的问题,用的是\(BIT\)套权值线段树,交换时讨论一下计算答案..跑的不如暴力快.. 代码 #include<iostream&g ...
- P3759 [TJOI2017]不勤劳的图书管理员 [树套树]
树套树是什么啊我不知道/dk 我只知道卡常数w // by Isaunoya #pragma GCC optimize(2) #pragma GCC optimize(3) #pragma GCC o ...
- 【bzoj4889】: [Tjoi2017]不勤劳的图书管理员 分块-BIT
[bzoj4889]: [Tjoi2017]不勤劳的图书管理员 题目大意:给定一个序列(n<=50000),每个数有一个编码ai(ai<=50000)和权值vi(vi<=100000 ...
- 【BZOJ4889】[Tjoi2017]不勤劳的图书管理员 分块+树状数组
[BZOJ4889][Tjoi2017]不勤劳的图书管理员 题目描述 加里敦大学有个帝国图书馆,小豆是图书馆阅览室的一个书籍管理员.他的任务是把书排成有序的,所以无序的书让他产生厌烦,两本乱序的书会让 ...
- 【loj2639】[Tjoi2017]不勤劳的图书管理员
#2639. 「TJOI2017」不勤劳的图书管理员 题目描述 加里敦大学有个帝国图书馆,小豆是图书馆阅览室的一个书籍管理员.他的任务是把书排成有序的,所以无序的书让他产生厌烦,两本乱序的书会让小豆产 ...
- 【洛谷3759】[TJOI2017] 不勤劳的图书管理员(树套树)
点此看题面 大致题意: 给定一个序列,每个元素有两个属性\(a_i\)和\(v_i\),每次操作改变两个元素的位置,求每次操作后\(\sum{v_i+v_j}[i<j,a_i>a_j]\) ...
- 【bzoj4889】[Tjoi2017]不勤劳的图书管理员 树状数组+分块+二分
题目描述(转自洛谷) 加里敦大学有个帝国图书馆,小豆是图书馆阅览室的一个书籍管理员.他的任务是把书排成有序的,所以无序的书让他产生厌烦,两本乱序的书会让小豆产生这两本书页数的和的厌烦度.现在有n本被打 ...
随机推荐
- MySQL备份还原介绍
window系统下 1.导出整个数据库mysqldump -u 用户名 -p 数据库名 > 导出的文件名mysqldump -u dbuser -p dbname > dbname.sql ...
- codeforces 121 E. Lucky Array
time limit per test 4 seconds memory limit per test 256 megabytes input standard input output standa ...
- 想转行做web前端工程师,必学这5大技能!知道是那些吗?
web前端工程师是近几年才发展出来的新兴职业,也是目前火爆且高薪的职业. 大需求的市场环境下,出现了越来越多的人群转行做web前端工程师,如设计师.后台程序员.网虫.大学其他专业.策划.编辑等等. 要 ...
- 二分查找 && 三分查找
LeetCode34. Find First and Last Position of Element in Sorted Array 题意:找出指定元素出现的范围,Ologn 思路:两次二分 cla ...
- 【414】Code::Blocks增加主题
替换文件地址:C:\Users\z5194293\AppData\Roaming\CodeBlocks 文件下载地址:default.rar 通过 Settings -> Editor... - ...
- HDU-2544-最短路(floyd)
板子题,实验一下floyd. #include <cstdio> #include <algorithm> #include <cstring> using nam ...
- linux内核数据结构
https://blog.csdn.net/zhangskd/article/details/11225301 在看ip_acct.c相关代码时看到大量使用了 hlist_nulls_for_each ...
- grub加密。
一.介绍 安全无小事 linux系统的安全分为很多方面,什么端口啊,什么网络啊,听着都特么烦,今天谈谈最简单明显的密码安全. 二.单用户模式 单用户模式个人觉得相当有用,可以用来修复系统,修改密码… ...
- 【java】【转发】classpath、path、JAVA_HOME的作用及JAVA环境变量配置
CLASSPATH是什么?它的作用是什么? 它是javac编译器的一个环境变量.它的作用与import.package关键字有关.当你写下improt java.util.*时,编译器面对import ...
- 刚毕业去面试Python工程师,这几道题太难了,Python面试题No11
写在前面 本想停一段时间这个系列,但是好多朋友给我发信息说让我继续整理下去,so,继续吧~ 第1题: docstring是什么? docstring是一种文档字符串,用于解释构造的作用.我们在函数.类 ...