P2611 [ZJOI2012]小蓝的好友

题目描述

终于到达了这次选拔赛的最后一题,想必你已经厌倦了小蓝和小白的故事,为了回馈各位比赛选手,此题的主角是贯穿这次比赛的关键人物——小蓝的好友。

在帮小蓝确定了旅游路线后,小蓝的好友也不会浪费这个难得的暑假。与小蓝不同,小蓝的好友并不想将时间花在旅游上,而是盯上了最近发行的即时战略游戏——SangoCraft。但在前往通关之路的道路上,一个小游戏挡住了小蓝的好友的步伐。

“国家的战争其本质是抢夺资源的战争”是整款游戏的核心理念,这个小游戏也不例外。简单来说,用户需要在给定的长方形土地上选出一块子矩形,而系统随机生成了N个资源点,位于用户所选的长方形土地上的资源点越多,给予用户的奖励也越多。悲剧的是,小蓝的好友虽然拥有着极其优秀的能力,但同时也有着极差的RP,小蓝的好友所选的区域总是没有一个资源点。

终于有一天,小蓝的好友决定投诉这款游戏的制造厂商,为了搜集证据,小蓝的好友想算出至少包含一个资源点的区域的数量。作为小蓝的好友,这自然是你分内之事。

输入输出格式

输入格式:

每个输入文件中仅包含一个测试数据。

第一行包含由两个空格隔开的正整数\(R\),\(C\),\(N\),表示游戏在一块\([1,R] \times [1,C]\)的地图上生成了\(N\)个资源点。

接下来有\(N\)行,每行包含两个整数 \(x,y\),表示这个资源点的坐标

\((1 \le x \le r,1 \le y \le C)\)

输出格式:

输出文件应仅包含一个整数,表示至少包含一个资源点的区域的数量。

具体的说,设\(N\)个资源点的坐标为\((i=1..n)\),你需要计算有多少个四元组\((L_B,D_B,R_B,U_B)\)满足\(1<=L_B<=R_B<=R,1<=D_B<=U_B<=C\),且存在一个\(i\)使得 \(L_B<=x_i<=R_B,D_B<=y_i<=U_B\)均成立。

说明

对于\(20\%\)的数据,\(N<=50\)。

对于\(40\%\)的数据,\(N<=2000\)。

对于\(100\%\)的数据,\(R,C<=40000,N<=100000\),资源点的位置两两不同,且位置为随机生成。


我们首先弄清楚我们咋统计的

先把矩形蓝白出来

洛谷 P2611 [ZJOI2012]小蓝的好友 解题报告-LMLPHP

然后我们对矩形固定一个下边界,设为\(down\)

然后我们枚举所取矩形的左边界与右边界

如何不重不漏的把所有可行上边界统计呢?

洛谷 P2611 [ZJOI2012]小蓝的好友 解题报告-LMLPHP

比方说,黑线是矩形下边界,左右边界现在是任意枚举的,那么红色箭头范围内就是上边界可取的集合了

我们发现,上边界的最下取值点与最低的那个点相连

那么我们可以枚举每个左右边界,然后找到最低的那个点,我们就得到了一个优秀的\(O(N^4)\)的解法辣

注:这里把矩形规模称作\(N\),把点的个数称作\(K\)

取最低点的优化很容易搞成\(O(N^3)\)的,然而这样布星。


我们像CDQ分治那样进行统计

具体的,对每一个固定的下边界,每一列都有唯一确定的最低的点

我们以第\(x\)列的\(x\)为二叉排序树的关键字,以那个最低的点的行数\(y\)为大根堆的关键字,建立一颗\(treap\)

在统计每一个固定的下边界时,每个点的贡献都是 (左儿子大小+1)\(\times\) (右儿子大小+1) \(\times\) 堆的关键字

表示,左边区间可取集合,右边区间可取集合和上边界可取集合

当然堆值可能会变,我们需要在改变的时候进行调整

这时候一个很显然的\(O(N^2)\)做法就有了

我们改完一行去遍历整棵树就可以了。

至于修改的复杂度,因为数据随机,可以看做是\(O(KlogN)\)的

如果我们对每个点维护它及它儿子的贡献,每次改的时候就只需要查询根节点就行辣

复杂度:\(O(KlogN)\)(数据随机)


Code:

#include <cstdio>
#include <algorithm>
#define ls ch[now][0]
#define rs ch[now][1]
#define fa par[now]
#define ll long long
const int N=1e5+10;
const int M=4e4+10;
int n,m,k;
std::pair <int,int > dx[N];
ll sum[M],dat[M],siz[M],ans;int ch[M][2],par[M],root;
int build(int l,int r)
{
if(l>r) return 0;
if(l==r) {siz[l]=1;return l;}
int now=l+r>>1;
ls=build(l,now-1);
if(ls) par[ls]=now;
rs=build(now+1,r);
if(rs) par[rs]=now;
siz[now]=siz[ls]+siz[rs]+1;
return now;
}
void updata(int now)
{
sum[now]=dat[now]*(siz[ls]+1ll)*(siz[rs]+1ll)+sum[ls]+sum[rs];
siz[now]=siz[ls]+siz[rs]+1;
}
int identity(int now){return ch[fa][1]==now;}
void connect(int f,int now,int typ){fa=f;ch[f][typ]=now;}
void Rotate(int now)
{
int p=fa,typ=identity(now);
if(p==root) root=now;
connect(p,ch[now][typ^1],typ);
connect(par[p],now,identity(p));
connect(now,p,typ^1);
updata(p),updata(now);
}
int main()
{
scanf("%d%d%d",&n,&m,&k);
root=build(1,m);
for(int i=1;i<=k;i++)
scanf("%d%d",&dx[i].first,&dx[i].second);
std::sort(dx+1,dx+1+k);
int las=1;dat[0]=n+1;
for(int i=1;i<=k;i++)
{
while(las!=dx[i].first)
ans+=sum[root],++las;
int now=dx[i].second;
dat[now]=dx[i].first;
while(dat[fa]<dat[now])
Rotate(now);
while(now) updata(now),now=fa;
}
while(las<=n)
ans+=sum[root],++las;
printf("%lld\n",ans);
return 0;
}

2018.8.26

05-13 18:11