Submission #123646


Source Code Expand

using System;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static readonly int Mod = 1000000007;

    static void Main(string[] args)
    {
        long H = Read.NextLong(), W = Read.NextLong();
        long Y = Read.NextLong(), X = Read.NextLong();
        long A = Read.NextLong(), B = Read.NextLong();
        long[,] C = ModC(900, Mod);

        long ans = C[Y * X, A] % Mod * C[Y * X - A, B] % Mod;
        for (int dy = 0; dy <= 2; dy++)
            for (int dx = 0; dx <= 2; dx++)
            {
                if (dx + dy == 0) continue;
                long y = Y - dy, x = X - dx;
                if (y <= 0 || x <= 0 || y * x < A + B) continue;
                int sign = (dy + dx) % 2 == 1 ? -1 : 1;
                long count = C[2, dy] * C[2, dx] * C[y * x, A] % Mod * C[y * x - A, B] % Mod;
                ans = ((ans + count * sign) % Mod + Mod) % Mod;
            }

        ans = ans * (H - Y + 1) * (W - X + 1) % Mod;
        Console.WriteLine(ans);
        Console.ReadLine();
    }
    
    static long[,] ModC(int n, int mod)
    {
        long[,] c = new long[n + 1, n + 1];
        for (int i = 0; i <= n; i++)
        {
            c[i, 0] = c[i, i] = 1;
            for (int j = 1; j < i; j++)
                c[i, j] = (c[i - 1, j] + c[i - 1, j - 1]) % mod;
        }
        return c;
    }

    static class Read
    {
        private static Queue<string> que = new Queue<string>();
        public static string Next() { return Dequeue(); }
        public static int NextInt() { return int.Parse(Dequeue()); }
        public static long NextLong() { return long.Parse(Dequeue()); }
        public static double NextDouble() { return double.Parse(Dequeue()); }
        private static string Dequeue()
        {
            if (que.Count == 0) foreach (var s in Console.ReadLine().Split()) que.Enqueue(s);
            return que.Dequeue();
        }
    }
}

Submission Info

Submission Time
Task D - AtCoder社の冬
User eitaho
Language C# (Mono 2.10.8.1)
Score 101
Code Size 1971 Byte
Status AC
Exec Time 192 ms
Memory 15404 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 186 ms 15288 KB
00_sample_02E.txt AC 172 ms 15256 KB
00_sample_03E.txt AC 173 ms 15308 KB
00_sample_04.txt AC 176 ms 15304 KB
test_01.txt AC 181 ms 15304 KB
test_02.txt AC 175 ms 15288 KB
test_03E.txt AC 175 ms 15296 KB
test_04E.txt AC 174 ms 15296 KB
test_05.txt AC 174 ms 15296 KB
test_06.txt AC 170 ms 15316 KB
test_07E.txt AC 177 ms 15292 KB
test_08E.txt AC 180 ms 15292 KB
test_09.txt AC 176 ms 15312 KB
test_10.txt AC 179 ms 15304 KB
test_11E.txt AC 180 ms 15288 KB
test_12E.txt AC 192 ms 15288 KB
test_13.txt AC 176 ms 15312 KB
test_14.txt AC 175 ms 15308 KB
test_15E.txt AC 178 ms 15292 KB
test_16E.txt AC 173 ms 15284 KB
test_17.txt AC 172 ms 15292 KB
test_18.txt AC 173 ms 15296 KB
test_19E.txt AC 173 ms 15284 KB
test_20E.txt AC 176 ms 15404 KB
test_21.txt AC 178 ms 15312 KB
test_22.txt AC 176 ms 15304 KB
test_23E.txt AC 176 ms 15348 KB
test_24E.txt AC 172 ms 15340 KB
test_25.txt AC 177 ms 15296 KB
test_26.txt AC 173 ms 15288 KB
test_27E.txt AC 179 ms 15296 KB
test_28E.txt AC 173 ms 15292 KB
test_29.txt AC 178 ms 15276 KB
test_30.txt AC 173 ms 15284 KB
test_31E.txt AC 172 ms 15288 KB
test_32E.txt AC 173 ms 15352 KB
test_33.txt AC 169 ms 15292 KB
test_34.txt AC 182 ms 15284 KB
test_35.txt AC 173 ms 15292 KB
test_36E.txt AC 177 ms 15304 KB
test_37E.txt AC 178 ms 15296 KB
test_38E.txt AC 176 ms 15292 KB
test_39E.txt AC 177 ms 15320 KB
test_40.txt AC 179 ms 15304 KB
test_41.txt AC 176 ms 15356 KB
test_42.txt AC 179 ms 15316 KB
test_43.txt AC 179 ms 15288 KB
test_44.txt AC 180 ms 15292 KB
test_45E.txt AC 178 ms 15296 KB
test_46.txt AC 174 ms 15296 KB
test_47E.txt AC 171 ms 15312 KB
test_48.txt AC 178 ms 15352 KB