#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MOD = 1e9 + 7;
int add (int a, int b) {
	a += b; if (a >= MOD) a -= MOD;
	return a;
}
int sub (int a, int b) {
	a -= b; if (a < 0) a += MOD;
	return a;
}
int mul (int a, int b) {
	return (a * 1ll * b) % MOD;
}
int power (int a, int b) {
	if (!b) return 1;
	int u = power(a, b >> 1);
	u = mul(u, u);
	if (b & 1) u = mul(u, a);
	return u;
}
const int N = 5000;
int fact[N + 1], inv[N + 1];
int nCr (int a, int b) {
	return mul(fact[a], mul(inv[b], inv[a - b]));
}
int f[N + 1][N + 1], pw4[N + 1];
int ans2 (int a, int b) {
	if (a == 0 || b == 0) {
		return a + b == 0;
	}
	if ((a + b) % 3 != 0) {
		return 0;
	}
	return mul(f[a][b], inv[(a + b) / 3]);
}
int ans (int a, int b) {
	int ret = 0;
	for (int i = 0; i <= min(a, b); i++) {
		ret = add(ret, mul(pw4[i], mul(nCr(a, i), mul(nCr(b, i), mul(fact[i], ans2(a - i, b - i))))));
	}
	return ret;
}
void solve () {
	fact[0] = 1;
	for (int i = 1; i <= N; i++) {
		fact[i] = mul(i, fact[i - 1]);
	}
	inv[N] = power(fact[N], MOD - 2);
	for (int i = N - 1; i >= 0; i--) {
		inv[i] = mul(i + 1, inv[i + 1]);
	}
	pw4[0] = 1;
	for (int i = 1; i <= N; i++) {
		pw4[i] = mul(4, pw4[i - 1]);
	}
	f[0][0] = 1;
	for (int i = 1; i <= N; i++) {
		for (int j = 1; j <= N; j++) {
			if (i >= 2) {
				f[i][j] = add(f[i][j], mul(nCr(i, 2), mul(j, f[i - 2][j - 1])));
			}
			if (j >= 2) {
				f[i][j] = add(f[i][j], mul(i, mul(nCr(j, 2), f[i - 1][j - 2])));
			}
		}
	}
	int h, w; cin >> h >> w;
	int sum = 0;
	for (int i = 0; i < h; i++) {
		for (int j = 0; j < w; j++) {
			sum = add(sum, mul(nCr(h, i), mul(nCr(w, j), ans(h - i, w - j))));
		}
	}
	cout << sum << '\n';
}
signed main () {
	ios::sync_with_stdio(0); cin.tie(0);
	int tc = 1; //cin >> tc;
	while (tc--) solve();
}
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... |