折り返しとかいう天才解法は思い付けなかったので筋肉した。

solution

組み合わせで頑張る。$O(N+M+K^2)$。

$K$回の寄り道の内で左に進む回数を$i$と固定する。 $N+M+2K$回の移動の内$N+2i$回が左右の移動で$M+2(K-i)$回が上下の移動。 この分け方は${}_{N+M+2K}C_{N+2i}$通り。 左右にだけ注目する。 単純には左に動く位置を選んで${}_{N+2i}C_i$通りであるが、負の座標には侵入できないためこれではだめ。 なので負の座標に侵入するような動き方の数を数えて引く。 直接求めるのは簡単でないので、初めて負の座標に侵入するのが$t$回目の左への移動だとしてこの$t$で分割する。 そうすると漸化式$\mathrm{forbidden}(t) = {}_{2t-1}C_t - \sum_{1 \le t’ \lt t} {}_{2(t-t’)}C_{t-t’} \mathrm{forbidden}(t’)$で求まる。

implementation

#include <cstdio>
#include <vector>
#include <cassert>
#define repeat(i,n) for (int i = 0; (i) < int(n); ++(i))
#define repeat_from(i,m,n) for (int i = (m); (i) < int(n); ++(i))
using ll = long long;
using namespace std;

ll powmod(ll x, ll y, ll p) { // O(log y)
    assert (0 <= x and x < p);
    assert (0 <= y);
    ll z = 1;
    for (ll i = 1; i <= y; i <<= 1) {
        if (y & i) z = z * x % p;
        x = x * x % p;
    }
    return z;
}
ll inv(ll x, ll p) { // p must be a prime, O(log p)
    assert ((x % p + p) % p != 0);
    return powmod(x, p-2, p);
}
template <int mod>
int fact(int n) {
    static vector<int> memo(1,1);
    if (memo.size() <= n) {
        int l = memo.size();
        memo.resize(n+1);
        repeat_from (i,l,n+1) memo[i] = memo[i-1] *(ll) i % mod;
    }
    return memo[n];
}
template <int mod>
int inv_fact(int n) {
    static vector<int> memo(1,1);
    if (memo.size() <= n) {
        int l = memo.size();
        memo.resize(n+1);
        repeat_from (i,l,n+1) if (i >= 1) memo[i] = inv(fact<mod>(i), mod);
    }
    return memo[n];
}
template <int mod>
int choose(int n, int r) { // O(n) at first time, otherwise O(\log n)
    if (n < r) return 0;
    r = min(r, n - r);
    return fact<mod>(n) *(ll) inv_fact<mod>(n-r) % mod *(ll) inv_fact<mod>(r) % mod;
}

constexpr int mod = 1e9+7;
int main() {
    int n, m, k; scanf("%d%d%d", &n, &m, &k);
    vector<int> forbidden(k+1);
    repeat (i, k+1) {
        ll acc = 0;
        repeat (j, i) {
            int l = i - j;
            acc += forbidden[j] *(ll) choose<mod>(2*l, l) % mod;
        }
        forbidden[i] = (choose<mod>(2*i-1, i) - acc % mod + mod) % mod;
    }
    ll result = 0;
    repeat (i, k+1) {
        int l = k - i;
        ll a = 0;
        repeat (j, i+1) {
            a += forbidden[j] *(ll) choose<mod>(n + 2*(i-j)+1, i-j) % mod;
        }
        a = (choose<mod>(n + 2*i, i) -(ll) a % mod + mod) % mod;
        ll b = 0;
        repeat (j, l+1) {
            b += forbidden[j] *(ll) choose<mod>(m + 2*(l-j)+1, l-j) % mod;
        }
        b = (choose<mod>(m + 2*l, l) -(ll) b % mod + mod) % mod;
        result += choose<mod>(n + m + 2*k, n + 2*i) *(ll) a % mod * b % mod;
    }
    printf("%lld\n", result % mod);
    return 0;
}