upd on 2021.7.7:修了个 typo

Codeforces 题目传送门 & 洛谷题目传送门

首先考虑怎样处理”字典序小“这个问题,按照字典序比大小的套路,我们可以枚举第一位 \(p_x\ne q_x\) 的位置 \(x\),那么必然有 \(p_x<q_x\),为了避免后面计算中出现太多形如 \(n-x\) 之类的东西,我们不枚举 \(x\),instead 我们枚举 \(i=n-x\),那么真正的 \(x\) 等于 \(n\) 减去你枚举的 \(i\)。

接下来考虑 \(p\) 逆序对个数大于 \(q\) 逆序对个数这个东西怎么处理,显然 \(p,q\) 的前 \(n-i-1\) 位是相同的,它们内部的逆序对个数是相同的,而由于 \(p,q\) 第 \(n-i\) 位到第 \(n\) 位中数组成相同,\(p,q\) 前 \(n-i-1\) 位与后 \(i+1\) 位之间的逆序对个数也相同,因此 \(p\) 逆序对个数大于 \(q\) 逆序对个数即意味着 \(p\) 后 \(i+1\) 位逆序对个数 \(>\) \(q\) 后 \(i+1\) 位逆序对个数。

我们假设 \(p\) 后 \(i\) 位逆序对个数为 \(u\),\(q\) 后 \(i\) 位逆序对个数为 \(v\),那么不难发现,加入 \(p_{n-i}\) 后逆序对个数的变化只与 \(p_{n-i}\) 在后 \(i+1\) 个数中排第几有关——我们假设 \(p_{n-i}\) 是 \(p\) 后 \(i+1\) 位中的第 \(s\) 小,\(q_{n-i}\) 是 \(q\) 后 \(n-i+1\) 位中的第 \(t\) 小,那么后 \(i+1\) 位中 \(p\) 的逆序对数即为 \(u+s-1\),\(q\) 的逆序对数即为 \(v+t-1\)。

我们考虑枚举 \(u,v\),那么根据 \(u+s-1>v+t-1\) 可知 \(t-s<u-v\),又显然 \(t>s\),故 \(0<t-s<u-v\),根据 \(t,s\in[1,i+1]\) 可知,满足 \(t-s=x(x\in[1,i])\) 的 \(t,s\) 共有 \(i+1-x\) 组,把它们累加起来可得 \(\sum\limits_{x=1}^{u-v-1}i+1-x=\dfrac{i(i+1)}{2}-\dfrac{(i+1-(u-v))(i+2-(u-v))}{2}\),我们记 \(f(i,x)=\dfrac{i(i+1)}{2}-\max(\dfrac{(i+1-x)(i+2-x)}{2},0)\),那么这东西就是 \(f(i,u-v)\)。

接下来考虑怎样计算答案,首先我们设 \(dp_{i,j}\) 表示有多少个长度为 \(i\) 的排列有 \(j\) 个逆序对,那么显然有转移方程式 \(dp_{i,j}=\sum\limits_{k=0}^{i-1}dp_{i-1,j-k}\),前缀和优化即可实现 \(\mathcal O(1)\) 转移。那么我们枚举 \(i,u,v\),那么根据之前的推论填好 \(p,q\) 后 \(i+1\) 位的相对大小关系的方案数为 \(\sum\limits_{u=0}^{i(i-1)/2}\sum\limits_{v=0}^{u-1}dp_{i,u}dp_{i,v}f(i,u-v)\),再乘上确定 \(p,q\) 前 \(n-i-1\) 位的方案数——选出 \(n-i-1\) 个数的方案数为 \(\dbinom{n}{n-i-1}\),将它们排列好的方案数为 \((n-i-1)!\),因此总方案数就是 \(\sum\limits_{i=0}^{n-1}\dbinom{n}{n-i-1}(n-i-1)!\sum\limits_{u=0}^{i(i-1)/2}\sum\limits_{v=0}^{u-1}dp_{i,u}dp_{i,v}f(i,u-v)\),暴力计算是 \(\mathcal O(n^5)\),无法通过 E2,可以通过 E1。如果稍微观察一下可知若 \(v<u-i\),\(f(i,u-v)=\dfrac{i(i+1)}{2}\) 为定值,可以直接一波前缀和带走,时间复杂度可以降到 \(n^4\),但是还是无法通过 E2。

附:E1 \(\mathcal O(n^4)\) 的做法,注意,由于模数不是质数,不能预处理阶乘及其逆元来求组合数,需手动递推。

const int MAXN=50;
const int MAXM=1225;
int n,mod,ans=0,dp[MAXN+5][MAXM+5],sum[MAXN+5][MAXM+5];
int c[MAXN+5][MAXN+5],fac[MAXN+5];
int main(){
scanf("%d%d",&n,&mod);dp[1][0]=1;
for(int i=0;i<=MAXM;i++) sum[1][i]=1;
for(int i=2;i<=n;i++){
for(int j=0;j<=i*(i-1)/2;j++){
dp[i][j]=sum[i-1][j];
if(j-i>=0) dp[i][j]=(dp[i][j]-sum[i-1][j-i]+mod)%mod;
// printf("%d %d %d\n",i,j,dp[i][j]);
} sum[i][0]=dp[i][0];
for(int j=1;j<=MAXM;j++) sum[i][j]=(sum[i][j-1]+dp[i][j])%mod;
}
for(int i=(fac[0]=1)-1;i<=MAXN;i++){
c[i][0]=1;if(i) fac[i]=1ll*fac[i-1]*i%mod;
for(int j=1;j<=i;j++) c[i][j]=(c[i-1][j]+c[i-1][j-1])%mod;
}
for(int i=0;i<n;i++){
int lim=i*(i+1)/2,s=0;
for(int j=0;j<=i*(i-1)/2;j++){
s=(s+1ll*lim*sum[i][j-1]%mod*dp[i][j])%mod;
for(int k=max(0,j-i);k<j;k++){
s=(s-1ll*(i-j+k+1)*(i-j+k+2)/2*dp[i][k]%mod*dp[i][j]%mod+mod)%mod;
}
} //printf("%d\n",s);
ans=(ans+1ll*s*c[n][n-i-1]%mod*fac[n-i-1])%mod;
}
printf("%d\n",ans);
return 0;
}

接下来考虑优化这个做法,考虑后面这个式子 \(\sum\limits_{u=0}^{i(i-1)/2}\sum\limits_{v=0}^{u-1}dp_{i,u}dp_{i,v}f(i,u-v)\),我们不妨固定住 \(u\),考虑后面的东西怎么快速计算,我们不妨将 \(f\) 展开,可以得到:

\[\begin{aligned}
&\sum\limits_{u=0}^{i(i-1)/2}\sum\limits_{v=0}^{u-1}dp_{i,u}dp_{i,v}f(i,u-v)\\
=&\sum\limits_{u=0}^{i(i-1)/2}dp_{i,u}·\sum\limits_{v=0}^{u-1}dp_{i,v}(\dfrac{i(i+1)}{2}-\max(\dfrac{(i+1-(u-v))(i+2-(u-v))}{2},0))\\
=&\sum\limits_{u=0}^{i(i-1)/2}dp_{i,u}·\sum\limits_{v=0}^{u-1}dp_{i,v}\dfrac{i(i+1)}{2}-dp_{i,u}·\sum\limits_{v=0}^{u-1}dp_{i,v}\max(\dfrac{(i+1-(u-v))(i+2-(u-v))}{2},0)
\end{aligned}
\]

前面的东西显然一波前缀和带走,对于后面的部分,如果 \(v<u-i\) 那显然是 \(0\),否则我们可以将 \(\max\) 展开,继续化为 \(\sum\limits_{v=0}^{u-1}dp_{i,v}·\dfrac{(i+1-u+v)(i+2-u+v)}{2}\),记 \(T=i+1+v\),那么原式 \(=\sum\limits_{v=0}^{u-1}dp_{i,v}·\dfrac{(T+v)(T+1+v)}{2}\),这里有一个稍微有些棘手的地方,就是 \(2\) 不一定有逆元,因此不能直接拆成 \(v\) 的平方项、\(v\) 的一次项和常数项分别求和再乘上 \(2\) 的逆元,因此我们采用这样一个方法:\(\dfrac{(T+v)(T+1+v)}{2}=\dfrac{T(T+1)}{2}+Tv+\dfrac{v(v+1)}{2}\),这样三项都是整数,就可以直接求和了,维护 \(dp_{i,v},v·dp_{i,v},\dfrac{v(v+1)}{2}·dp_{i,v}\) 的前缀和即可 \(\mathcal O(1)\) 计算上式。

时间复杂度 \(n^3\),代码不算难写。

const int MAXN=500;
const int MAXM=500*499/2;
int n,mod,ans=0,dp[MAXN+5][MAXM+5];
int sum[MAXM+5],_sum[MAXM+5],__sum[MAXM+5];
int c[MAXN+5][MAXN+5],fac[MAXN+5];
int sum0(int l,int r){if(l>r) return 0;return (sum[r]-((!l)?0:sum[l-1])+mod)%mod;}
int sum1(int l,int r){if(l>r) return 0;return (_sum[r]-((!l)?0:_sum[l-1])+mod)%mod;}
int sum2(int l,int r){if(l>r) return 0;return (__sum[r]-((!l)?0:__sum[l-1])+mod)%mod;}
int main(){
scanf("%d%d",&n,&mod);dp[1][0]=1;
for(int i=0;i<=MAXM;i++) sum[i]=1;
for(int i=2;i<=n;i++){
for(int j=0;j<=i*(i-1)/2;j++){
dp[i][j]=sum[j];
if(j-i>=0) dp[i][j]=(dp[i][j]-sum[j-i]+mod)%mod;
// printf("%d %d %d\n",i,j,dp[i][j]);
} memset(sum,0,sizeof(sum));sum[0]=dp[i][0];
for(int j=1;j<=MAXM;j++) sum[j]=(sum[j-1]+dp[i][j])%mod;
}
for(int i=(fac[0]=1)-1;i<=MAXN;i++){
c[i][0]=1;if(i) fac[i]=1ll*fac[i-1]*i%mod;
for(int j=1;j<=i;j++) c[i][j]=(c[i-1][j]+c[i-1][j-1])%mod;
}
for(int i=0;i<n;i++){
int lim=i*(i+1)/2,s=0;
memset(sum,0,sizeof(sum));
memset(_sum,0,sizeof(_sum));
memset(__sum,0,sizeof(__sum));
sum[0]=dp[i][0];
for(int j=1;j<=i*(i-1)/2;j++){
sum[j]=(sum[j-1]+dp[i][j])%mod;
_sum[j]=(_sum[j-1]+1ll*j*dp[i][j])%mod;
__sum[j]=(__sum[j-1]+1ll*j*(j+1)/2*dp[i][j])%mod;
}
for(int j=0;j<=i*(i-1)/2;j++){
s=(s+1ll*lim*sum[j-1]%mod*dp[i][j])%mod;
int T=i-j+1;
int A=(1ll*T*(T+1)/2%mod+mod)%mod;
int B=(T+mod)%mod;
int minus=(1ll*A*sum0(max(0,j-i),j-1)%mod
+1ll*B*sum1(max(0,j-i),j-1)%mod
+sum2(max(0,j-i),j-1))%mod;
s=(s-1ll*minus*dp[i][j]%mod+mod)%mod;
} //printf("%d\n",s);
ans=(ans+1ll*s*c[n][n-i-1]%mod*fac[n-i-1])%mod;
}
printf("%d\n",ans);
return 0;
}

Codeforces 1542E2 - Abnormal Permutation Pairs (hard version)(DP)的更多相关文章

  1. Codeforces 1077F1 Pictures with Kittens (easy version)(DP)

    题目链接:Pictures with Kittens (easy version) 题意:给定n长度的数字序列ai,求从中选出x个满足任意k长度区间都至少有一个被选到的最大和. 题解:$dp[i][j ...

  2. CF1542E2 Abnormal Permutation Pairs (hard version)

    CF1542E2 Abnormal Permutation Pairs (hard version) good tea. 对于两个排列 \(p,q\),如果 \(p\) 的字典序小于 \(q\),则要 ...

  3. Codeforces Round #260 (Div. 2)C. Boredom(dp)

    C. Boredom time limit per test 1 second memory limit per test 256 megabytes input standard input out ...

  4. Codeforces 1077F2 Pictures with Kittens (hard version)(DP+单调队列优化)

    题目链接:Pictures with Kittens (hard version) 题意:给定n长度的数字序列ai,求从中选出x个满足任意k长度区间都至少有一个被选到的最大和. 题解:数据量5000, ...

  5. Codeforces 403D: Beautiful Pairs of Numbers(DP)

    题意:转换模型之后,就是1~n个数中选k个,放到一个容量为n的背包中,这个背包还特别神奇,相同的物品摆放的位置不同时,算不同的放法(想象背包空间就是一个长度为n的数组,然后容量为1的物体放一个格子,容 ...

  6. CodeForces - 1183H Subsequences (hard version) (DP)

    题目:https://vjudge.net/contest/325352#problem/C 题意:输入n,m,给你一个长度为n的串,然后你有一个集合,集合里面都是你的子序列,集合里面不能重复,集合中 ...

  7. Codeforces Problem - 38E - Let's Go Rolling!(DP)

    E. Let's Go Rolling! time limit per test 2 seconds memory limit per test 256 megabytes input standar ...

  8. Codeforces Round #658 (Div. 2) D. Unmerge(dp)

    题目链接:https://codeforces.com/contest/1382/problem/D 题意 给出一个大小为 $2n$ 的排列,判断能否找到两个长为 $n$ 的子序列,使得二者归并排序后 ...

  9. codeforces #260 DIV 2 C题Boredom(DP)

    题目地址:http://codeforces.com/contest/456/problem/C 脑残了. .DP仅仅DP到了n. . 应该DP到10w+的. . 代码例如以下: #include & ...

随机推荐

  1. 【UE4 C++】获取运行时间、设置时间流速、暂停游戏

    基于UGameplayStatics 获取运行时间 /** Returns the frame delta time in seconds, adjusted by time dilation. */ ...

  2. BUAA 2020 软件工程 结对项目作业

    Author: 17373051 郭骏 3.28添加:4.计算模块接口的设计与实现过程部分,PairCore实现的细节 项目 内容 这个作业属于哪个课程 2020春季计算机学院软件工程(罗杰 任健) ...

  3. HDI PCB一阶和二阶和三阶如何区分??

      一阶板,一次压合即成,可以想像成最普通的板二阶板,两次压合,以盲埋孔的八层板为例,先做2-7层的板,压好,这时候2-7的通孔埋孔已经做好了,再加1层和8层压上去,打1-8的通孔,做成整板.三阶板就 ...

  4. 嵌入式开发板nfs挂载

    板子要开始调试了,第一个头大的问题就是调试过程中更新的文件怎么更新到板子上,以前用sd卡拷贝来来回回太浪费时间了,adb也需要接线各种连接操作. 现在板子有wifi可用,是时候把nfs共享搭起来了. ...

  5. Luogu P2822 [NOIp2016提高组]组合数问题 | 数学、二维前缀和

    题目链接 思路:组合数就是杨辉三角,那么我们只要构造一个杨辉三角就行了.记得要取模,不然会爆.然后,再用二维前缀和统计各种情况下组合数是k的倍数的方案数.询问时直接O(1)输出即可. #include ...

  6. HTML基础-3

    图像标签(<img>)和源属性(Src) 在 HTML 中,图像由 <img> 标签定义. <img> 是空标签,意思是说,它只包含属性,并且没有闭合标签. 要在页 ...

  7. hdu 5057 Argestes and Sequence (数状数组+离线处理)

    题意: 给N个数.a[1]....a[N]. M种操作: S X Y:令a[X]=Y Q L R D P:查询a[L]...a[R]中满足第D位上数字为P的数的个数 数据范围: 1<=T< ...

  8. 七. Go并发编程--sync.Once

    一.序 单从库名大概就能猜出其作用.sync.Once使用起来很简单, 下面是一个简单的使用案例 package main import ( "fmt" "sync&qu ...

  9. Typecho部署小破站

    写在前面 以前利用 Github Page + Hexo框架 + Next主题搭建过静态博客,没错就是那个黑白色系的网页!但是体验并不是很好,一来本身是静态网页,页面内容要修改都需要在本地修改完上传到 ...

  10. c++ IO库

    1:为了支持使用宽字符的语言,标准库定义了一组类型和对象来操作wchar_t类型的数据.宽字符版本的类型和函数的名字以w开头.宽字符版本和普通的char版本定义在同一个头文件中,例如头文件fstrea ...