【2009集训---莫涛】小Z的袜子(BSOI3350)

【2009集训---莫涛】小Z的袜子

Description

　　作为一个生活散漫的人，小Z每天早上都要耗费很久从一堆五颜六色的袜子中找出一双来穿。终于有一天，小Z再也无法忍受这恼人的找袜子过程，于是他决定听天由命……
　　具体来说，小Z把这N只袜子从1到N编号，然后从编号L到R(L < R)的这R-L+1只袜子中随机抽出两只穿上。
　　尽管小Z并不在意两只袜子是不是完整的一双，甚至不在意两只袜子是否一左一右，他却很在意袜子的颜色，毕竟穿两只不同色的袜子会很尴尬。
　　你的任务便是告诉小Z，他有多大的概率抽到两只颜色相同的袜子。当然，小Z希望这个概率尽量高，所以他可能会询问多个(L,R)以方便自己选择。

Input

　　输入文件名为hose.in。
　　输入文件第一行包含两个正整数N和M。N为袜子的数量，M为小Z所提的询问的数量。
　　接下来一行包含N个正整数Ci，其中Ci表示第i只袜子的颜色，相同的颜色用相同的数字表示。
　　再接下来M行，每行两个正整数L，R表示一个询问。

Output

　　输出文件名为hose.out。
　　输出文件包含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

Hint

【样例解释】
　　询问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。

Solution

        莫队算法的模版题，蒟蒻第一次写。。。

        我们将每一个区间的询问抽象为一个二维平面上的点，那么我们可以用O(n)的时间代价暴力得到每一个询问的答案。但是当我们回答下一个询问时，上一次的询问结果在暴力做法下是被直接舍弃的，导致了总的时间复杂度在O(nm)左右，在面对大数据的区间询问时TimeOut是不可避免的。

        那么前一次询问对后一次是否有贡献呢？答案是肯定的。在一部分区间询问中，如果我们已知区间[L,R]的结果，那么我们想要知道区间[L,R+1]的答案是否需要从新暴力询问呢？实际上，如果我们是可以花费O(1)或者O(logn)的时间复杂度来进行区间答案的转移的话，那么我们就可以通过一种合理的排序方式使得询问的时间复杂度减少。最好的方式是求出平面上的曼哈顿距离最小生成树，但是代码的实现难度较高，在oi竞赛中不大常用。我们可以将区间分为sqrt(n)块然后先依据L所在的块排序，再按R排序，这时候的时间复杂度就大约为O(n^1.5)（蒟蒻我当然是不会证明的）

        在这道题中，我们存储区间中每一个颜色，然后根据区间的移动来维护答案。

Source

蒟蒻第一次写莫队，相当丑陋。

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
using namespace std;
long long color[50005],pos[50005],num[50005];
struct Que {long long L,R,id,a,b;}q[50005];
inline bool cmp1(Que x,Que y){return pos[x.L]<pos[y.L]||pos[x.L]==pos[y.L]&&x.R<y.R;}
inline bool cmp2(Que x,Que y){return x.id<y.id;}
inline long long read(){
	char c;long long rec=0;
	while((c=getchar())<'0'||c>'9');
	while(c>='0'&&c<='9')rec=rec*10+c-'0',c=getchar();
	return rec;
}
int n,m,cnt;
long long ans=0;
inline void Change(int v,int f){
	ans-=num[color[v]]*num[color[v]];
	num[color[v]]+=f;
	ans+=num[color[v]]*num[color[v]];
	return ;
}
int main(){
	n=read();m=read();
	int i,j;cnt=ceil(sqrt(n));
	long long temp;
	for(i=1;i<=n;i++)color[i]=read(),pos[i]=(i-1)/cnt;
	for(i=1;i<=m;i++){q[i].L=read();q[i].R=read();q[i].id=i;}
	sort(q+1,q+1+m,cmp1);
	int L=1,R=0;
	for(i=1;i<=m;i++){
		if(q[i].L==q[i].R){q[i].a=0;q[i].b=1;continue;}
		if(L<q[i].L)for(j=L;j<q[i].L;j++)Change(j,-1);
		else for(j=L-1;j>=q[i].L;j--)Change(j,1);L=q[i].L;
		if(R<q[i].R)for(j=R+1;j<=q[i].R;j++)Change(j,1);
		else for(j=R;j>q[i].R;j--)Change(j,-1);R=q[i].R;
		q[i].a=ans-q[i].R+q[i].L-1;
		q[i].b=(q[i].R-q[i].L+1)*(q[i].R-q[i].L);
		temp=__gcd(q[i].a,q[i].b);
		q[i].a/=temp;q[i].b/=temp;
	}sort(q+1,q+1+m,cmp2);
	for(i=1;i<=m;i++)cout<<q[i].a<<'/'<<q[i].b<<'\n';
	return 0;
}