1. 程式人生 > >A Path Plan(2018黑龍江省賽)

A Path Plan(2018黑龍江省賽)

family img -m c++ ima long class b+ 黑龍江省

又get 新知識 Lindström–Gessel–Viennot引理

改引理主要是解決n條嚴格不相交的路徑的問題

技術分享圖片

其中ai代表路徑的起點bi代表路徑的終點e(ai,bj)代表aibj的方案數,答案是這個行列式的值

對於這道題而言,知道這個引理,這就是水題啊

code:

#include <bits/stdc++.h>
 
using namespace std;
 
const int MOD = 1e9 + 7;
typedef long long ll;
const int N = 2e5 + 10;
 
ll f[N],finv[N];
ll fast_pow(ll a,ll n)
{
    ll ans 
= 1; while(n) { if(n&1) ans = (ans * a)%MOD; a = (a * a)%MOD; n >>= 1; } return ans; } ll C(ll n,ll m) { return (n<0||m<0||n<m)?0:f[n]*(finv[m])%MOD*finv[n-m]%MOD; } void init() { f[0]=1; for(int i=1;i< N;i++) f[i]
=f[i-1]*i%MOD; finv[N-1] = fast_pow(f[N-1],MOD-2); for (int i=N-1; i > 0; i--) finv[i-1]=finv[i]*i%MOD; } int main() { int t; init(); scanf("%d",&t); while(t--) { int a,b,c,d; scanf("%d%d%d%d",&a,&b,&c,&d); ll ans
= (C(a+c,a)*C(b+d,b) % MOD - C(b+c,b)*C(a+d,a) % MOD + MOD)%MOD; printf("%lld\n",ans); } return 0; }

A Path Plan(2018黑龍江省賽)