結果

問題 No.1044 正直者大学
ユーザー anagohirameanagohirame
提出日時 2020-05-01 22:30:17
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 851 ms / 2,000 ms
コード長 692 bytes
コンパイル時間 71 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 26,496 KB
最終ジャッジ日時 2024-06-07 10:48:06
合計ジャッジ時間 11,184 ms
ジャッジサーバーID
(参考情報)
judge2 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 277 ms
26,368 KB
testcase_01 AC 282 ms
26,496 KB
testcase_02 AC 276 ms
26,240 KB
testcase_03 AC 279 ms
26,240 KB
testcase_04 AC 275 ms
26,368 KB
testcase_05 AC 295 ms
26,240 KB
testcase_06 AC 851 ms
26,368 KB
testcase_07 AC 270 ms
26,240 KB
testcase_08 AC 288 ms
26,240 KB
testcase_09 AC 278 ms
26,240 KB
testcase_10 AC 280 ms
26,240 KB
testcase_11 AC 268 ms
26,240 KB
testcase_12 AC 307 ms
26,496 KB
testcase_13 AC 581 ms
26,368 KB
testcase_14 AC 290 ms
26,368 KB
testcase_15 AC 321 ms
26,368 KB
testcase_16 AC 583 ms
26,368 KB
testcase_17 AC 376 ms
26,240 KB
testcase_18 AC 482 ms
26,240 KB
testcase_19 AC 315 ms
26,368 KB
testcase_20 AC 275 ms
26,240 KB
testcase_21 AC 318 ms
26,368 KB
testcase_22 AC 286 ms
26,240 KB
testcase_23 AC 278 ms
26,368 KB
testcase_24 AC 282 ms
26,368 KB
testcase_25 AC 280 ms
26,368 KB
testcase_26 AC 283 ms
26,368 KB
testcase_27 AC 265 ms
26,368 KB
testcase_28 AC 266 ms
26,368 KB
testcase_29 AC 276 ms
26,240 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

MOD = 10**9 + 7
list_size = 200001

f_list = [1] * list_size
f_r_list = [1] * list_size

for i in range(list_size - 1):
	f_list[i + 1] = int((f_list[i] * (i + 2)) % MOD)

f_r_list[-1] = pow(f_list[-1], MOD - 2, MOD)

for i in range(2, list_size + 1):
	f_r_list[-i] = int((f_r_list[-i + 1] * (list_size + 2 - i)) % MOD)

def comb(n, r):
	if n < r:
		return 0
	elif n == 0 or r == 0 or n == r:
		return 1
	else:
		return (((f_list[n - 1] * f_r_list[n - r - 1]) % MOD) * f_r_list[r - 1]) % MOD 

n, m, k = map(int, input().split())
ans = 0
for i in range(1, min(n, m, (n+m-k)//2)+1):
	ans += f_list[n-1] * comb(n-1, i-1) * f_list[m-1] * comb(m-1, i-1) * pow(i, MOD-2, MOD)
	ans %= MOD
print(ans)
0