Submission #1856896


Source Code Expand

package main

import "fmt"

const (
	MOD = 1000000007
)

func genComb(n int64, k int64) [][]int64 {
	// k = 0 => 1,  n = k => 1, n < k => 0
	dp := make([][]int64, n+1)
	for i := int64(0); i <= n; i++ {
		dp[i] = make([]int64, k+1)
	}

	// dp[n][k] = dp[n-1][k-1] + dp[n-1][k]
	dp[0][0] = 1
	for i := int64(1); i <= n; i++ {
		for j := int64(0); j <= k; j++ {
			if j > 0 {
				dp[i][j] = (dp[i-1][j-1] + dp[i-1][j]) % MOD
			} else {
				dp[i][j] = dp[i-1][j]
			}
		}
	}

	return dp
}

func calc(dp [][]int64, depth int, D int64, L int64, dx []int64, dy []int64, idx int, x int64, y int64, sign int64) int64 {
	if depth == 0 {
		if D+L <= x*y {
			var ret int64
			ret = (dp[x*y][D] * dp[x*y-D][L]) % MOD
			return sign * ret
		} else {
			return 0
		}
	}

	var ret int64
	ret = 0
	for i := idx; i < len(dx); i++ {
		ret = ret + calc(dp, depth-1, D, L, dx, dy, i+1, x+dx[i], y+dy[i], sign*-1)
		ret = ret % MOD
	}
	return ret
}

func main() {
	var R, C int64
	var X, Y int64
	var D, L int64
	fmt.Scanf("%d %d", &R, &C)
	fmt.Scanf("%d %d", &X, &Y)
	fmt.Scanf("%d %d", &D, &L)

	dp := genComb(900, 900)

	var res int64
	res = 1
	if D+L == X*Y {
		res = ((res % MOD) * dp[X*Y][D]) % MOD
		res = (res * (R - X + 1) * (C - Y + 1)) % MOD // 区画の組み合わせ
	} else {
		dx := []int64{-1, -1, 0, 0}
		dy := []int64{0, 0, -1, -1}
		res = (res * dp[X*Y][D]) % MOD
		res = (res * dp[X*Y-D][L]) % MOD
		for i := 0; i < len(dx); i++ {
			res = res + calc(dp, i+1, D, L, dx, dy, 0, X, Y, 1)
			for {
				if res > 0 {
					break
				}
				res = res + MOD
			}
			res = res % MOD
		}
		res = res * (R - X + 1) * (C - Y + 1) // 区画の組み合わせ
		res = res % MOD
	}

	fmt.Println(res)
}

Submission Info

Submission Time
Task D - AtCoder社の冬
User ichirin2501
Language Go (1.6)
Score 101
Code Size 1774 Byte
Status AC
Exec Time 24 ms
Memory 8064 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 11 ms 8064 KB
00_sample_02E.txt AC 12 ms 8064 KB
00_sample_03E.txt AC 11 ms 8064 KB
00_sample_04.txt AC 20 ms 8064 KB
test_01.txt AC 11 ms 8064 KB
test_02.txt AC 11 ms 8064 KB
test_03E.txt AC 11 ms 8064 KB
test_04E.txt AC 11 ms 8064 KB
test_05.txt AC 11 ms 8064 KB
test_06.txt AC 20 ms 8064 KB
test_07E.txt AC 11 ms 8064 KB
test_08E.txt AC 11 ms 8064 KB
test_09.txt AC 11 ms 8064 KB
test_10.txt AC 19 ms 8064 KB
test_11E.txt AC 11 ms 8064 KB
test_12E.txt AC 11 ms 8064 KB
test_13.txt AC 20 ms 8064 KB
test_14.txt AC 11 ms 8064 KB
test_15E.txt AC 11 ms 8064 KB
test_16E.txt AC 20 ms 8064 KB
test_17.txt AC 11 ms 8064 KB
test_18.txt AC 23 ms 8064 KB
test_19E.txt AC 21 ms 8064 KB
test_20E.txt AC 20 ms 8064 KB
test_21.txt AC 11 ms 8064 KB
test_22.txt AC 12 ms 8064 KB
test_23E.txt AC 11 ms 8064 KB
test_24E.txt AC 11 ms 8064 KB
test_25.txt AC 11 ms 8064 KB
test_26.txt AC 20 ms 8064 KB
test_27E.txt AC 11 ms 8064 KB
test_28E.txt AC 20 ms 8064 KB
test_29.txt AC 11 ms 8064 KB
test_30.txt AC 21 ms 8064 KB
test_31E.txt AC 11 ms 8064 KB
test_32E.txt AC 20 ms 8064 KB
test_33.txt AC 21 ms 8064 KB
test_34.txt AC 11 ms 8064 KB
test_35.txt AC 11 ms 8064 KB
test_36E.txt AC 21 ms 8064 KB
test_37E.txt AC 11 ms 8064 KB
test_38E.txt AC 20 ms 8064 KB
test_39E.txt AC 24 ms 8064 KB
test_40.txt AC 11 ms 8064 KB
test_41.txt AC 11 ms 8064 KB
test_42.txt AC 11 ms 8064 KB
test_43.txt AC 11 ms 8064 KB
test_44.txt AC 12 ms 8064 KB
test_45E.txt AC 11 ms 8064 KB
test_46.txt AC 20 ms 8064 KB
test_47E.txt AC 11 ms 8064 KB
test_48.txt AC 11 ms 8064 KB