CF1763D Valid Bitonic Permutations
创始人
2025-06-01 21:43:11

CF1763D Valid Bitonic Permutations

题目大意

拱形排列,指由1,2,…,n1,2,\dots,n1,2,…,n组成的一个排列,从数值来看,必须是先上升后下降的。

给你五个数n,i,j,x,yn,i,j,x,yn,i,j,x,y,求有多少个排列,满足第iii个数为xxx,第jjj个数为yyy。输出答案模107910^9_71079​。

有多组数据。

1≤n≤1001\leq n\leq 1001≤n≤100,1≤t≤1001\leq t\leq 1001≤t≤100


题解

首先,我们要使i

  • 如果i>ji>ji>j,则交换i,ji,ji,j,交换x,yx,yx,y
  • 上面的操作进行后,如果x>yx>yx>y,则i=n−i+1i=n-i+1i=n−i+1,j=n−j+1j=n-j+1j=n−j+1,再交换i,ji,ji,j,交换x,yx,yx,y,相当于将序列前后翻转,这样求出的答案与原来的是等价的

令kkk表示数字nnn在序列中的位置,那么接下来,我们可以枚举kkk。

第一种情况:kkk在iii和jjj中间

如果kkk在iii和jjj之间,则序列大致如下

在这里插入图片描述

首先看第一段,y+1y+1y+1到n−1n-1n−1之间的数可以放在这一段中,要放j−k−1j-k-1j−k−1个数,那么有Cn−y+1j−k−1C_{n-y+1}^{j-k-1}Cn−y+1j−k−1​种放法。

然后放第二段,这里需要满足大于yyy的数都要放在第二段,否则这就不是拱形序列。这一段必须在nnn之前且是单调递增的一段。[i+1,j][i+1,j][i+1,j]这一段放了yyy到nnn之间的所有数,我们还要放大于xxx的数,那么还剩下的数字都在xxx和yyy之间,也就是还有y−x−1y-x-1y−x−1个数。[i+1,j][i+1,j][i+1,j]这一段要放j−ij-ij−i个数,已经放了n−y+1n-y+1n−y+1个,还要放j−i−(n−y+1)j-i-(n-y+1)j−i−(n−y+1)个数,那么第二段的放法有Cy−x−1j−i−(n−y+1)C_{y-x-1}^{j-i-(n-y+1)}Cy−x−1j−i−(n−y+1)​种。

对于第三段,111到x−1x-1x−1之间的数可以放在这一段中,要放i−1i-1i−1个数,那么放法有Cx−1i−1C_{x-1}^{i-1}Cx−1i−1​种。

剩下的都放第四段。

总共的放法数量为

∑k=i+1j−1Cn−y+1j−k−1×Cy−x−1j−i−(n−y+1)×Cx−1i−1\sum\limits_{k=i+1}^{j-1}C_{n-y+1}^{j-k-1}\times C_{y-x-1}^{j-i-(n-y+1)}\times C_{x-1}^{i-1}k=i+1∑j−1​Cn−y+1j−k−1​×Cy−x−1j−i−(n−y+1)​×Cx−1i−1​


第二种情况:kkk在jjj右边

如果kkk在jjj右边,则序列大致如下

在这里插入图片描述

首先看第一段,可以放n−y−1n-y-1n−y−1个数,要放k−j−1k-j-1k−j−1个数,放法有Cn−y−1k−j−1C_{n-y-1}^{k-j-1}Cn−y−1k−j−1​种

然后看第二段,可以放y−x−1y-x-1y−x−1个数,要放j−i−1j-i-1j−i−1个数,放法有Cy−x−1j−i−1C_{y-x-1}^{j-i-1}Cy−x−1j−i−1​种

再看第三段,可以放x−1x-1x−1个数,要放i−1i-1i−1个数,放法有Cx−1i−1C_{x-1}^{i-1}Cx−1i−1​种

剩下的都放第四段。

总共的放法数量为

∑k=j+1n−1Cn−y+1k−j−1×Cy−x−1j−i−1×Cx−1i−1\sum\limits_{k=j+1}^{n-1}C_{n-y+1}^{k-j-1}\times C_{y-x-1}^{j-i-1}\times C_{x-1}^{i-1}k=j+1∑n−1​Cn−y+1k−j−1​×Cy−x−1j−i−1​×Cx−1i−1​

上面两个式子之和就是答案。


一些特判

如果y==ny==ny==n,也就是说kkk的位置已经定了,那么就不能用上面的方法来计算答案了。

如果j==nj==nj==n,则不可能构成拱形序列,方案数为000。

否则在[i+1,j−1][i+1,j-1][i+1,j−1]之间有y−x−1y-x-1y−x−1个数可以放,要放j−i−1j-i-1j−i−1个数;在[1,i−1][1,i-1][1,i−1]之间有x−1x-1x−1个数可以放, 要放i−1i-1i−1个数。那么答案为Cy−x−1j−i−1×Cx−1i−1C_{y-x-1}^{j-i-1}\times C_{x-1}^{i-1}Cy−x−1j−i−1​×Cx−1i−1​。

在求CnmC_n^mCnm​时,如果n<0n<0n<0或m<0m<0m<0或n

时间复杂度为O(t×n)O(t\times n)O(t×n)。

code

#include
using namespace std;
const int N=1000;
long long ans,jc[1005],ny[1005];
long long mod=1000000007;
long long mi(long long t,long long v){if(!v) return 1;long long re=mi(t,v/2);re=re*re%mod;if(v&1) re=re*t%mod;return re;
}
long long C(int x,int y){if(x<0||y<0) return 0;if(xjc[0]=1;for(int i=1;i<=N;i++) jc[i]=jc[i-1]*i%mod;ny[N]=mi(jc[N],mod-2);for(int i=N-1;i>=0;i--) ny[i]=ny[i+1]*(i+1)%mod;
}
int main()
{int T,n,i,j,x,y;init();scanf("%d",&T);while(T--){scanf("%d%d%d%d%d",&n,&i,&j,&x,&y);if(i>j){swap(i,j);swap(x,y);}if(x>y){i=n-i+1;j=n-j+1;swap(i,j);swap(x,y);}ans=0;if(y==n){ans=C(y-x-1,j-i-1)*C(x-1,i-1)%mod;if(j==n) ans=0;printf("%lld\n",ans);continue;}for(int k=i+1;k<=j-1;k++){ans=(ans+C(n-y-1,j-k-1)*C(y-x-1,j-i-(n-y+1))%mod*C(x-1,i-1)%mod)%mod;}for(int k=j+1;k<=n-1;k++){ans=(ans+C(n-y-1,k-j-1)*C(y-x-1,j-i-1)%mod*C(x-1,i-1)%mod)%mod;}printf("%lld\n",ans);}return 0;
}

相关内容

热门资讯

【实验报告】实验一 图像的... 实验目的熟悉Matlab图像运算的基础——矩阵运算;熟悉图像矩阵的显示方法࿰...
MATLAB | 全网最详细网... 一篇超超超长,超超超全面网络图绘制教程,本篇基本能讲清楚所有绘制要点&#...
大模型落地比趋势更重要,NLP... 全球很多人都开始相信,以ChatGPT为代表的大模型,将带来一场NLP领...
Linux学习之端口、网络协议... 端口:设备与外界通讯交流的出口 网络协议:   网络协议是指计算机通信网...
kuernetes 资源对象分... 文章目录1. pod 状态1.1 容器启动错误类型1.2 ImagePullBackOff 错误1....
STM32实战项目-数码管 程序实现功能: 1、上电后,数码管间隔50ms计数; 2、...
TM1638和TM1639差异... TM1638和TM1639差异说明 ✨本文不涉及具体的单片机代码驱动内容,值针对芯...
Qt+MySql开发笔记:Qt... 若该文为原创文章,转载请注明原文出处 本文章博客地址:https://h...
Java内存模型中的happe... 第29讲 | Java内存模型中的happen-before是什么? Java 语言...
《扬帆优配》算力概念股大爆发,... 3月22日,9股封单金额超亿元,工业富联、鸿博股份、鹏鼎控股分别为3.0...
CF1763D Valid B... CF1763D Valid Bitonic Permutations 题目大意 拱形排列࿰...
SQL语法 DDL、DML、D... 文章目录1 SQL通用语法2 SQL分类3 DDL 数据定义语言3.1 数据库操作3.2 表操作3....
文心一言 VS ChatGPT... 3月16号,百度正式发布了『文心一言』,这是国内公司第一次发布类Chat...
CentOS8提高篇5:磁盘分...        首先需要在虚拟机中模拟添加一块新的硬盘设备,然后进行分区、格式化、挂载等...
Linux防火墙——SNAT、... 目录 NAT 一、SNAT策略及作用 1、概述 SNAT应用环境 SNAT原理 SNAT转换前提条...
部署+使用集群的算力跑CPU密... 我先在开头做一个总结,表达我最终要做的事情和最终环境是如何的,然后我会一...
Uploadifive 批量文... Uploadifive 批量文件上传_uploadifive 多个上传按钮_asing1elife的...
C++入门语法基础 文章目录:1. 什么是C++2. 命名空间2.1 域的概念2.2 命名...
2023年全国DAMA-CDG... DAMA认证为数据管理专业人士提供职业目标晋升规划,彰显了职业发展里程碑及发展阶梯定义...
php实现助记词转TRX,ET... TRX助记词转地址网上都是Java,js或其他语言开发的示例,一个简单的...
【分割数据集操作集锦】毕设记录 1. 按要求将CSV文件转成json文件 有时候一些网络模型的源码会有data.json这样的文件里...
Postman接口测试之断言 如果你看文字部分还是不太理解的话,可以看看这个视频,详细介绍postma...
前端学习第三阶段-第4章 jQ... 4-1 jQuery介绍及常用API导读 01-jQuery入门导读 02-JavaScri...
4、linux初级——Linu... 目录 一、用CRT连接开发板 1、安装CRT调试工具 2、连接开发板 3、开机后ctrl+c...
Urban Radiance ... Urban Radiance Fields:城市辐射场 摘要:这项工作的目标是根据扫描...
天干地支(Java) 题目描述 古代中国使用天干地支来记录当前的年份。 天干一共有十个,分别为:...
SpringBoot雪花ID长... Long类型精度丢失 最近项目中使用雪花ID作为主键,雪花ID是19位Long类型数...
对JSP文件的理解 JSP是java程序。(JSP本质还是一个Servlet) JSP是&#...
【03173】2021年4月高... 一、单向填空题1、大量应用软件开发工具,开始于A、20世纪70年代B、20世纪 80年...
LeetCode5.最长回文子... 目录题目链接题目分析解题思路暴力中心向两边拓展搜索 题目链接 链接 题目分析 简单来说࿰...