浅谈莫队 BZOJ 2038 小Z的袜子 (莫队 分块)
来源:互联网 发布:linux tail 匹配搜索 编辑:程序博客网 时间:2024/04/29 06:49
2038: [2009国家集训队]小Z的袜子(hose)
Time Limit: 20 Sec Memory Limit: 259 MB
Description
作为一个生活散漫的人,小Z每天早上都要耗费很久从一堆五颜六色的袜子中找出一双来穿。终于有一天,小Z再也无法忍受这恼人的找袜子过程,于是他决定听天由命……
具体来说,小Z把这N只袜子从1到N编号,然后从编号L到R(L 尽管小Z并不在意两只袜子是不是完整的一双,甚至不在意两只袜子是否一左一右,他却很在意袜子的颜色,毕竟穿两只不同色的袜子会很尴尬。
你的任务便是告诉小Z,他有多大的概率抽到两只颜色相同的袜子。当然,小Z希望这个概率尽量高,所以他可能会询问多个(L,R)以方便自己选择。
Input
输入文件第一行包含两个正整数N和M。N为袜子的数量,M为小Z所提的询问的数量。接下来一行包含N个正整数Ci,其中Ci表示第i只袜子的颜色,相同的颜色用相同的数字表示。再接下来M行,每行两个正整数L,R表示一个询问。
Output
包含M行,对于每个询问在一行中输出分数A/B表示从该询问的区间[L,R]中随机抽出两只袜子颜色相同的概率。若该概率为0则输出0/1,否则输出的A/B必须为最简分数。(详见样例)
Sample Input
6 4
1 2 3 3 3 2
2 6
1 3
3 5
1 6
Sample Output
2/5
0/1
1/1
4/15
【样例解释】
询问1:共C(5,2)=10种可能,其中抽出两个2有1种可能,抽出两个3有3种可能,概率为(1+3)/10=4/10=2/5。
询问2:共C(3,2)=3种可能,无法抽到颜色相同的袜子,概率为0/3=0/1。
询问3:共C(3,2)=3种可能,均为抽出两个3,概率为3/3=1/1。
注:上述C(a, b)表示组合数,组合数C(a, b)等价于在a个不同的物品中选取b个的选取方案数。
【数据规模和约定】
30%的数据中 N,M ≤ 5000;
60%的数据中 N,M ≤ 25000;
100%的数据中 N,M ≤ 50000,1 ≤ L < R ≤ N,Ci ≤ N。
思路:
没有办法找到区间合并的方法,只好暴力了,这里用莫队算法。
如果我们已知[l,r]的答案,就能在O(1)时间得到[l+1,r]的答案以及[l,r-1]的答案,所以如果已知[l,r]的答案,要求[l’,r’]的答案,我们可以通过|l – l’|+|r – r’|次转移内求得。因为转移时修改组合数不太方便,所以我们考虑维护出平方和,最后把多的减掉。(代码中有解释)
我们考虑分块,将n个数分成sqrt(n)块。
按区间排序,以左端点所在块内为第一关键字,右端点为第二关键字,进行排序,也就是以(pos [l],r)排序
然后按这个排序直接暴力,复杂度分析是这样的:
1、i与i+1在同一块内,r单调递增,所以r是O(n)的。由于有n^0.5块,所以这一部分时间复杂度是n^1.5。
2、i与i+1跨越一块,r最多变化n,由于有n^0.5块,所以这一部分时间复杂度是n^1.5
3、i与i+1在同一块内时l变化不超过n^0.5,跨越一块也不会超过n^0.5,忽略*2。由于有m次询问(和n同级),所以时间复杂度是n^1.5
于是就是O(n^1.5)了
很多人不理解看起来还是很暴力呀,为什么会快一些呢?我们感性地分析一下,如果是单纯的暴力,我们考虑用l排序,那么糟糕的就是虽然l的移动不会太多,但是r有可能反复地来回跑,eg:1 6, 2 1, 3 6, 4 1……这样就上升到平方级别了,我们采用分块的话,总的来讲思路是一样的,不过在同一个块中时,变成了r单调而l可能来回跑,但是跟上面情况不同的是,它来回跑的范围从n变成了sqrt(n)。
那么为什么分块要取sqrt(n)呢?我们容易发现,n太小的话,在同一块中被优化的部分就会变少,n太大的话,块的个数就多了,在同一块中l来回的距离就会变大,优化的力度就不够了。只有当取sqrt(n)时,块的个数与大小都是sqrt(n),这样才是最优的。
#include<iostream>#include<cstdio>#include<algorithm>#include<cmath>#define N 50010#define LL long longusing namespace std;int n, m, pos[N], col[N];LL cnt[N], ans;LL gcd(LL a, LL b){ return b==0 ? a : gcd(b, a%b);}LL sqr(LL x){return x*x;}struct data{ int l, r, id; LL a, b;//答案 }a[N];bool cmp(data a, data b){//块中按r排序 if(pos[a.l] == pos[b.l]) return a.r < b.r; return a.l < b.l;//其余按l排序 }bool recmp(data a, data b){ return a.id < b.id;}void update(int p, int add){ ans -= sqr(cnt[col[p]]); cnt[col[p]] += add; ans += sqr(cnt[col[p]]); //对于每种颜色我们计算的都是x^2(其实要算x*(x-1)) //也就是说每种颜色我们都多计算了它的个数x //总的看来我们就多加了区间内所有颜色的个数,也就是区间内数的个数(区间长度)}void solve(){ for(int i=1,l=1,r=0; i<=m; i++){ for( ; r<a[i].r; r++)//按照要求暴力找 update(r+1, 1); for( ; r>a[i].r; r--) update(r, -1); for( ; l<a[i].l; l++) update(l, -1); for( ; l>a[i].l; l--) update(l-1, 1); if(a[i].l == a[i].r){//特判 a[i].a = 0; a[i].b = 1; continue; } a[i].a = ans - (a[i].r-a[i].l+1); a[i].b = (LL)(a[i].r-a[i].l+1) * (a[i].r-a[i].l);//组合数 LL k = gcd(a[i].a, a[i].b);//化简 a[i].a /= k; a[i].b /= k; }}int main(){ scanf("%d%d", &n, &m); for(int i=1; i<=n; i++) scanf("%d", &col[i]); int block = int(sqrt(n)); for(int i=1; i<=n; i++) pos[i] = (i-1) / block + 1;//把点放到块中 for(int i=1; i<=m; i++){ scanf("%d%d", &a[i].l, &a[i].r); a[i].id = i; } sort(a+1, a+m+1, cmp); solve(); sort(a+1, a+m+1, recmp); for(int i=1; i<=m; i++) printf("%lld/%lld\n", a[i].a, a[i].b); return 0;}
- 浅谈莫队 BZOJ 2038 小Z的袜子 (莫队 分块)
- BZOJ 2038-小Z的袜子(hose)(莫队->分块)
- BZOJ 2038小Z的袜子 分块
- 【BZOJ 2038】小Z的袜子【莫队+分块裸题】
- BZOJ 2038 小Z的袜子(hose)(分块暴力)
- BZOJ 2038: [2009国家集训队]小Z的袜子(hose)|分块|莫队算法
- BZOJ 2038 小Z的袜子(莫队算法)
- 莫队算法(小Z的袜子,BZOJ 2038)
- BZOJ 2038 小Z的袜子 (莫队算法)
- bzoj 2038 小Z的袜子 莫队
- bzoj 2038 小z的袜子 莫队
- 线性莫队算法 BZOJ 2038 小Z的袜子
- 小Z的袜子(hose) - bzoj 2038 莫队算法
- BZOJ 2038 小Z的袜子 莫队算法介绍
- bzoj 2038 小Z的袜子 莫队模板
- 莫队总结&bzoj 2038 小Z的袜子
- BZOJ 2038 小Z的袜子(hose) 莫队算法
- bzoj 2038 小Z的袜子 [莫队算法] [概率]
- 将eclipse里面配置的tomcat的日志存储在指定文件
- Nginx--配置文件解析
- wx.uploadFile 返回值
- 最大算式(动态规划)
- CCF_OJ_1185、1186_数的划分一、二 题解
- 浅谈莫队 BZOJ 2038 小Z的袜子 (莫队 分块)
- Java连接Spark Standalone集群
- 联表时被联表加筛选条件 left outer jion 关键字
- 【CJOJ1793】【USACO 4.3.2】素数方阵
- Vertx3入门应用
- 搭建本地GIT仓库
- jQuery对象实现反选
- CSS学习—盒模型和布局模型
- MFC文件读写之ini文件