#474116 (C++14) No.1044 正直者大学

• 問題: No.1044 正直者大学
• ユーザー: square1001
• 提出日時: 2020-05-01 21:48:17
• 言語: C++14 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 30 ms / 2,000 ms
• コード長: 2,064 bytes
• コンパイル時間: 816 ms
• コンパイル使用メモリ: 82,440 KB
• 実行使用メモリ: 5,248 KB
• 最終ジャッジ日時: 2024-12-25 03:11:11
• 合計ジャッジ時間: 2,530 ms
• ジャッジサーバーID （参考情報）: judge3 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	28 ms; 5,248 KB
testcase_01	AC	27 ms; 5,248 KB
testcase_02	AC	27 ms; 5,248 KB
testcase_03	AC	27 ms; 5,248 KB
testcase_04	AC	26 ms; 5,248 KB
testcase_05	AC	26 ms; 5,248 KB
testcase_06	AC	30 ms; 5,248 KB
testcase_07	AC	26 ms; 5,248 KB
testcase_08	AC	26 ms; 5,248 KB
testcase_09	AC	26 ms; 5,248 KB
testcase_10	AC	25 ms; 5,248 KB
testcase_11	AC	26 ms; 5,248 KB
testcase_12	AC	26 ms; 5,248 KB
testcase_13	AC	28 ms; 5,248 KB
testcase_14	AC	27 ms; 5,248 KB
testcase_15	AC	27 ms; 5,248 KB
testcase_16	AC	29 ms; 5,248 KB
testcase_17	AC	28 ms; 5,248 KB
testcase_18	AC	29 ms; 5,248 KB
testcase_19	AC	27 ms; 5,248 KB
testcase_20	AC	27 ms; 5,248 KB
testcase_21	AC	28 ms; 5,248 KB
testcase_22	AC	28 ms; 5,248 KB
testcase_23	AC	27 ms; 5,248 KB
testcase_24	AC	27 ms; 5,248 KB
testcase_25	AC	26 ms; 5,248 KB
testcase_26	AC	26 ms; 5,248 KB
testcase_27	AC	26 ms; 5,248 KB
testcase_28	AC	27 ms; 5,248 KB
testcase_29	AC	26 ms; 5,248 KB

ソースコード

#ifndef CLASS_MODINT
#define CLASS_MODINT

#include <cstdint>

template <std::uint32_t mod>
class modint {
private:
	std::uint32_t n;
public:
	modint() : n(0) {};
	modint(std::int64_t n_) : n((n_ >= 0 ? n_ : mod - (-n_) % mod) % mod) {};
	static constexpr std::uint32_t get_mod() { return mod; }
	std::uint32_t get() const { return n; }
	bool operator==(const modint& m) const { return n == m.n; }
	bool operator!=(const modint& m) const { return n != m.n; }
	modint& operator+=(const modint& m) { n += m.n; n = (n < mod ? n : n - mod); return *this; }
	modint& operator-=(const modint& m) { n += mod - m.n; n = (n < mod ? n : n - mod); return *this; }
	modint& operator*=(const modint& m) { n = std::uint64_t(n) * m.n % mod; return *this; }
	modint operator+(const modint& m) const { return modint(*this) += m; }
	modint operator-(const modint& m) const { return modint(*this) -= m; }
	modint operator*(const modint& m) const { return modint(*this) *= m; }
	modint inv() const { return (*this).pow(mod - 2); }
	modint pow(std::uint64_t b) const {
		modint ans = 1, m = modint(*this);
		while (b) {
			if (b & 1) ans *= m;
			m *= m;
			b >>= 1;
		}
		return ans;
	}
};

#endif // CLASS_MODINT

#include <cmath>
#include <string>
#include <vector>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std;
const int lim = 200000;
using mint = modint<1000000007>;
int main() {
	vector<mint> fact(lim + 1), factinv(lim + 1);
	fact[0] = 1; factinv[0] = 1;
	for (int i = 1; i <= lim; ++i) {
		fact[i] = fact[i - 1] * i;
		factinv[i] = fact[i].inv();
	}
	function<mint(int, int)> comb = [&](int a, int b) {
		if (b < 0 || a < b) return mint(0);
		return fact[a] * factinv[b] * factinv[a - b];
	};
	int N, M, K;
	cin >> N >> M >> K;
	mint ans = 0;
	for (int i = 1; i <= (N + M - K) / 2; ++i) {
		ans += comb(N - 1, i - 1) * comb(M - 1, i - 1) * 2;
		ans += comb(N - 1, i) * comb(M - 1, i - 1);
		ans += comb(N - 1, i - 1) * comb(M - 1, i);
	}
	ans *= fact[N];
	ans *= fact[M];
	ans *= mint(N + M).inv();
	cout << ans.get() << endl;
	return 0;
}