Submission #4034839


Source Code Expand

R, C = map(int, input().split())
X, Y = map(int, input().split())
D, L = map(int, input().split())

MOD = 10 ** 9 + 7
DL = D+L

def comb(n, r) :
	if n <= 0 or r < 0 or n < r:
		return 0
		
	a, b = 1, 1
		
	for i in range(n-r+1, n+1) :
		a *= i
	for i in range(2, r+1) :
		b *= i
		
	return a // b

L0 = comb(X*Y,DL)
L1 = comb((X-1)*Y,DL)*2 + comb(X*(Y-1),DL)*2
L2 = comb((X-2)*Y,DL) + comb(X*(Y-2),DL) + comb((X-1)*(Y-1),DL)*4
L3 = comb((X-2)*(Y-1),DL)*2 + comb((X-1)*(Y-2),DL)*2
L4 = 0 if X == Y == 1 else comb((X-2)*(Y-2),DL)

print((R-X+1)*(C-Y+1)*(L0-L1+L2-L3+L4)*comb(DL, D) % MOD)

Submission Info

Submission Time
Task D - AtCoder社の冬
User zurukumo
Language Python (3.4.3)
Score 101
Code Size 612 Byte
Status AC
Exec Time 19 ms
Memory 3192 KB

Judge Result

Set Name sub All
Score / Max Score 100 / 100 1 / 1
Status
AC × 25
AC × 52
Set Name Test Cases
sub 00_sample_01E.txt, 00_sample_02E.txt, 00_sample_03E.txt, test_03E.txt, test_04E.txt, test_07E.txt, test_08E.txt, test_11E.txt, test_12E.txt, test_15E.txt, test_16E.txt, test_19E.txt, test_20E.txt, test_23E.txt, test_24E.txt, test_27E.txt, test_28E.txt, test_31E.txt, test_32E.txt, test_36E.txt, test_37E.txt, test_38E.txt, test_39E.txt, test_45E.txt, test_47E.txt
All 00_sample_01E.txt, 00_sample_02E.txt, 00_sample_03E.txt, 00_sample_04.txt, test_01.txt, test_02.txt, test_03E.txt, test_04E.txt, test_05.txt, test_06.txt, test_07E.txt, test_08E.txt, test_09.txt, test_10.txt, test_11E.txt, test_12E.txt, test_13.txt, test_14.txt, test_15E.txt, test_16E.txt, test_17.txt, test_18.txt, test_19E.txt, test_20E.txt, test_21.txt, test_22.txt, test_23E.txt, test_24E.txt, test_25.txt, test_26.txt, test_27E.txt, test_28E.txt, test_29.txt, test_30.txt, test_31E.txt, test_32E.txt, test_33.txt, test_34.txt, test_35.txt, test_36E.txt, test_37E.txt, test_38E.txt, test_39E.txt, test_40.txt, test_41.txt, test_42.txt, test_43.txt, test_44.txt, test_45E.txt, test_46.txt, test_47E.txt, test_48.txt
Case Name Status Exec Time Memory
00_sample_01E.txt AC 18 ms 3064 KB
00_sample_02E.txt AC 18 ms 3064 KB
00_sample_03E.txt AC 18 ms 3064 KB
00_sample_04.txt AC 19 ms 3064 KB
test_01.txt AC 18 ms 3064 KB
test_02.txt AC 18 ms 3064 KB
test_03E.txt AC 18 ms 3064 KB
test_04E.txt AC 18 ms 3064 KB
test_05.txt AC 18 ms 3064 KB
test_06.txt AC 18 ms 3064 KB
test_07E.txt AC 18 ms 3064 KB
test_08E.txt AC 18 ms 3064 KB
test_09.txt AC 18 ms 3064 KB
test_10.txt AC 18 ms 3064 KB
test_11E.txt AC 18 ms 3064 KB
test_12E.txt AC 18 ms 3064 KB
test_13.txt AC 18 ms 3064 KB
test_14.txt AC 18 ms 3064 KB
test_15E.txt AC 18 ms 3064 KB
test_16E.txt AC 18 ms 3064 KB
test_17.txt AC 18 ms 3192 KB
test_18.txt AC 18 ms 3064 KB
test_19E.txt AC 18 ms 3064 KB
test_20E.txt AC 18 ms 3064 KB
test_21.txt AC 18 ms 3064 KB
test_22.txt AC 18 ms 3064 KB
test_23E.txt AC 18 ms 3064 KB
test_24E.txt AC 18 ms 3064 KB
test_25.txt AC 18 ms 3064 KB
test_26.txt AC 18 ms 3064 KB
test_27E.txt AC 18 ms 3064 KB
test_28E.txt AC 18 ms 3064 KB
test_29.txt AC 18 ms 3064 KB
test_30.txt AC 19 ms 3064 KB
test_31E.txt AC 18 ms 3064 KB
test_32E.txt AC 18 ms 3064 KB
test_33.txt AC 18 ms 3064 KB
test_34.txt AC 18 ms 3064 KB
test_35.txt AC 18 ms 3064 KB
test_36E.txt AC 18 ms 3064 KB
test_37E.txt AC 18 ms 3064 KB
test_38E.txt AC 18 ms 3064 KB
test_39E.txt AC 18 ms 3064 KB
test_40.txt AC 18 ms 3064 KB
test_41.txt AC 18 ms 3064 KB
test_42.txt AC 18 ms 3064 KB
test_43.txt AC 18 ms 3064 KB
test_44.txt AC 18 ms 3064 KB
test_45E.txt AC 18 ms 3064 KB
test_46.txt AC 18 ms 3064 KB
test_47E.txt AC 18 ms 3064 KB
test_48.txt AC 18 ms 3064 KB