A - Monotonic Matrix(求x个起点到y个终点的严格不相交路径)

Count the number of n×m matrices A satisfying the following condition modulo (109+7).

  • Ai,j∈{0,1,2} for all 1≤i≤n,1≤j≤m.

  • Ai,j≤Ai+1,j for all 1≤i<n,1≤j≤m.

  • Ai,j≤Ai,j+1 for all 1≤i≤n,1≤j<m.

Input
The input consists of several test cases and is terminated by end-of-file.

Each test case contains two integers n and m.

  • 1≤n,m≤103
  • The number of test cases does not exceed 105.

Output
For each test case, print an integer which denotes the result.

Example
Input
1 2
2 2
1000 1000
Output
6
20
540949876
在这里插入图片描述
如图,有两条分界线,设起点分别是A,C终点B,D

Lindstrom-Gessel-Viennot lemma 定理:
对于一张无边权的DAG图,给定n个起点和对应的n个终点,这n条不相交路径的方案数为
在这里插入图片描述
(行列式) 其中e(a,b)为图上a到b的方案数
原理不理解,直接套用/(ㄒoㄒ)/~~
AB,CD:对于单独的轮廓线,共需要往上走n步,往右走m步。在这n+m步中选择n步向上走,即有C(n+m,n)种方式。
假设将其中一条轮廓线向左上平移一个单位,有原先的(n,0)->(0,m)变成了(n-1,-1)->(-1,m-1)
相交的情况可以理解成从A到D,从C到B。情况数是C(n+m,n-1)*C(n+m,m-1)
该图片来自lh

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值