This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
#define mp make_pair
#define pb push_back
typedef long long int LLI;
typedef vector<int> vi;
typedef pair<int,int> pii;
typedef vector<pii> vpii;
#define MOD 1000000007
LLI inv(LLI n) {
int e = MOD-2;
LLI r = 1;
while (e > 0) {
if (e & 1) r *= n,r %= MOD;
e >>= 1;
n *= n,n %= MOD;
}
return r;
}
LLI fact[3001],invf[3001],invpow2[6001];
LLI dp[3001][3001];
LLI choose(LLI n,LLI k) {
return (fact[n]*((invf[k]*invf[n-k]) % MOD)) % MOD;
}
int main() {
int H,W;
cin >> H >> W;
int i,j;
LLI ans = 0;
fact[0] = invf[0] = 1;
for (i = 1; i <= max(H,W); i++) fact[i] = (fact[i-1]*i) % MOD,invf[i] = inv(fact[i]);
invpow2[0] = 1;
for (i = 1; i <= H+W; i++) invpow2[i] = (invpow2[i-1]*inv(2)) % MOD;
for (i = 0; i <= W; i++) dp[0][i] = 1;
for (i = 1; i <= H; i++) {
dp[i][0] = 1;
for (j = 1; j <= W; j++) dp[i][j] = (dp[i-1][j]+4*j*dp[i-1][j-1]) % MOD;
}
for (i = 0; i <= H; i++) {
for (j = 0; j <= W; j++) {
if ((i+2*j <= H) && (j+2*i <= W)) {
LLI x = (((choose(H,i)*choose(W,2*i)) % MOD)*fact[2*i]) % MOD;
LLI y = (((choose(W-2*i,j)*choose(H-i,2*j)) % MOD)*fact[2*j]) % MOD;
ans += ((x*y) % MOD)*((dp[H-i-2*j][W-j-2*i]*invpow2[i+j]) % MOD);
ans %= MOD;
}
}
}
cout << (ans+MOD-1) % MOD << endl;
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |