HDU 5852 Intersection is not allowed!(LGV定理行列式求组合数)题解

时间:2023-01-02 13:55:38

题意:有K个棋子在一个大小为N×N的棋盘。一开始,它们都在棋盘的顶端,它们起始的位置是 (1,a1),(1,a2),...,(1,ak) ,它们的目的地是 (n,b1),(n,b2),...,(n,bk)。

一个位于 (r,c) 的棋子每一步只能向右走到 (r,c+1) 或者向下走到 (r+1,c) 。

我们把 i 棋子从 (1,ai) 走到 (n,bi) 的路径记作 pi 。

你的任务是计算有多少种方案把n个棋子送到目的地,并且对于任意两个不同的棋子 i,j ,使得路径 pi 与 pj 不相交(即没有公共点)。

思路:这里有一个结论,n个起点到n个终点的不相交路径的种数为:每个起点到每个终点的可能数组成的n*n的矩阵的行列式。

HDU 5852 Intersection is not allowed!(LGV定理行列式求组合数)题解

即求上矩阵行列式,其中e(ai,bi)代表从ai起点到bi终点的可能路径数量。

行列式求解用高斯消元。提交要用G++,C++一直超时emmmm

参考:HDU 5852:Intersection is not allowed!(行列式+逆元求组合数)

代码:

#include<set>
#include<map>
#include<stack>
#include<cmath>
#include<queue>
#include<vector>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
typedef long long ll;
using namespace std;
const int maxn = 1e5 + ;
const int seed = ;
const ll MOD = ;
const int INF = 0x3f3f3f3f;
int a[maxn], b[maxn];
ll e[][];
ll fac[maxn << ], niYuan[maxn << ];
ll pmul(ll a, ll b){
ll ans = ;
while(b){
if(b & ) ans = ans * a % MOD;
a = a * a % MOD;
b >>= ;
}
return ans;
}
ll C(int n, int m){
ll ret = fac[n] * niYuan[m] % MOD;
return ret * niYuan[n - m] % MOD;
}
void initFac(){
fac[] = niYuan[] = ;
for(ll i = ; i <= ; i++){
fac[i] = fac[i - ] * i % MOD;
niYuan[i] = pmul(fac[i], MOD - );
}
}
ll guass(int n){
ll ans = , f = ; //行列式和符号位
for(int i = ; i <= n; i++){
for(int j = i + ; j <= n; j++){
int x = i, y = j;
while(e[y][i]){
ll t = e[x][i] / e[y][i];
for(int k = i; k <= n; k++)
e[x][k] = (e[x][k] - e[y][k] * 1LL * t % MOD) % MOD;
swap(x,y);
}
if(x != i){
for(int k = ; k <= n; k++)
swap(e[i][k], e[j][k]);
f = -f;
}
}
ans = ans * e[i][i] % MOD;
if(ans == ) return ;
}
return (ans * f + MOD) % MOD;
}
int main(){
initFac();
int t;
scanf("%d", &t);
while(t--){
int n, k;
scanf("%d%d", &n, &k);
for(int i = ; i <= k; i++)
scanf("%d", &a[i]);
for(int i = ; i <= k; i++)
scanf("%d", &b[i]);
for(int i = ; i <= k; i++){
for(int j = ; j <= k; j++){
if(b[j] >= a[i]){
e[i][j] = C(n - + b[j] - a[i], b[j] - a[i]);
}
else e[i][j] = ;
}
}
printf("%lld\n", guass(k));
}
return ;
}

HDU 5852 Intersection is not allowed!(LGV定理行列式求组合数)题解的更多相关文章

  1. HDU 5852 Intersection is not allowed&excl; &lpar; 2016多校9、不相交路径的方案、LGV定理、行列式计算 &rpar;

    题目链接 题意 : 给定方格中第一行的各个起点.再给定最后一行与起点相对应的终点.问你从这些起点出发到各自的终点.不相交的路径有多少条.移动方向只能向下或向右 分析 : 首先对于多起点和多终点的不相交 ...

  2. hdu5852 Intersection is not allowed&excl; 【矩阵行列式】

    题意 给出\(n*n\)网格\((n<=10^5)\) 顶部有\(K\)个起点,底部有\(K\)个相对应的终点 每次只能向下或向右走 求有多少种从各个起点出发到达对应终点且路径不相交的路径? 对 ...

  3. FJNU2018低程A 逃跑路线(Lucas &plus; 中国剩余定理 &plus; LGV定理)题解

    题目描述 n个人在w*h的*里面想要逃跑,已知他们的同伙在坐标(bi,h)接应他们,他们现在被关在(ai,1)现在他们必须要到同伙那里才有逃出去的机会,这n个人又很蠢只会从(x,y)->(x+ ...

  4. LGV定理 &lpar;CodeForces 348 D Turtles&rpar;&sol;&lpar;牛客暑期多校第一场A Monotonic Matrix&rpar;

    又是一个看起来神奇无比的东东,证明是不可能证明的,这辈子不可能看懂的,知道怎么用就行了,具体看wikihttps://en.wikipedia.org/wiki/Lindstr%C3%B6m%E2%8 ...

  5. LGV定理

    LGV定理用于解决路径不相交问题. 定理 有 \(n\) 个起点 \(1, 2, 3, ..., n\),它们 分别对应 要到 \(n\) 个终点 \(A, B, C, ..., X\),并且要求路径 ...

  6. CodeForces 348D Turtles(LGV定理)题解

    题意:两只乌龟从1 1走到n m,只能走没有'#'的位置,问你两只乌龟走的时候不见面的路径走法有几种 思路:LGV定理模板.但是定理中只能从n个不同起点走向n个不同终点,那么需要转化.显然必有一只从1 ...

  7. 数学--数论--HDU 4675 GCD of Sequence&lpar;莫比乌斯反演&plus;卢卡斯定理求组合数&plus;乘法逆元&plus;快速幂取模)

    先放知识点: 莫比乌斯反演 卢卡斯定理求组合数 乘法逆元 快速幂取模 GCD of Sequence Alice is playing a game with Bob. Alice shows N i ...

  8. Lindstr&&num;246&semi;m–Gessel–Viennot lemma定理 行列式板子

    https://blog.csdn.net/qq_37025443/article/details/86537261 博客 下面是wiki上的讲解,建议耐心地看一遍...虽然看了可能还是不懂 http ...

  9. HDU 5698——瞬间移动——————【逆元求组合数】

    瞬间移动 Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)Total Submis ...

随机推荐

  1. readonly

    readonly 关键字是可以在字段上使用的修饰符.  当字段声明包括 readonly 修饰符时,该声明引入的字段赋值只能作为声明的一部分出现,或者出现在同一类的构造函数中. 示例     在此示例 ...

  2. Qt qml treeview 树控件

    qml并没有提供树控件,只能自己写了.model仍然用ListModel对象,弄成层级的就行.delegate必须用loader动态的增加子控件,如此而已. [先看效果] [下载] http://do ...

  3. Informatica9&period;6&period;1在Linux Red Hat 5&period;8上安装遇到的有关问题整理&lowbar;3

    3.Repository Service启动后的页面编码问题 1)错误信息: 2)原因分析及解决步骤 原因分析: informatica产品安装背后AdminConsole的Code page默认为U ...

  4. 关于SQL&bsol;SQL Server的三值逻辑简析

    在SQL刚入门的时候,我们筛选为某列值为NULL的行,一般会采用如下的方式: SELECT * FROM Table AS T WHERE T.Col=NULL  www.2cto.com   而实际 ...

  5. nodejs中http-proxy使用小结

    最近在写xmocker的工具,用于开发前期的mock数据,不可避免的用到了代理的中间件.当然,github上有关于http-proxy封装的中间件.毕竟是自己练手的项目,就自己写了个中间件,方便定制功 ...

  6. notes for lxf(四)

    类名首字母通常大写 创建实例 类名 +() __init__方法 创建实例时把一些属性绑上去 __init__方法第一参数永远是self 表示船舰的实例本身 类是实例的模板 实例是一个一个具体的对象 ...

  7. Perl正则表达式超详细教程

    前言 想必学习perl的人,对基础正则表达式都已经熟悉,所以学习perl正则会很轻松.这里我不打算解释基础正则的内容,而是直接介绍基础正则中不具备的但perl支持的功能.关于基础正则表达式的内容,可参 ...

  8. JSP内置对象page&sol;pageContext&sol;Config&sol;Exception

    Config对象 config对象实是在一个Servlet初始化时,JSP引擎向它传递信息用的,此信息包括Servlet初始化时所要用到的参数(通过属性名和属性值构成)以及服务器的有关信息(通过传递一 ...

  9. C&num; winform程序防止前台卡死

    https://blog.csdn.net/Emiedon/article/details/51069193 在实际开发中,如果需要实时的显示后台处理的情况,我们可能要在前台用一些控件去显示 所以我们 ...

  10. static为什么一般与final一起用?

    static和final的意义是不同的,static修饰的时候代表对象是静态的,而final修饰的时候代表对象只能赋值一次,他们连用的时候是因为定义的那个对象既要它是静态的,也要求它的值不能再被修改. ...