Submission #123286


Source Code Expand

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

namespace TaskD
{
    class Program
    {
        const long Mod = 1000000007;

        static void Main(string[] args)
        {
            var input = Console.ReadLine();
            var R = input.Split(' ')[0].Apply(int.Parse);
            var C = input.Split(' ')[1].Apply(int.Parse);
            input = Console.ReadLine();
            var X = input.Split(' ')[0].Apply(int.Parse);
            var Y = input.Split(' ')[1].Apply(int.Parse);
            input = Console.ReadLine();
            var D = input.Split(' ')[0].Apply(int.Parse);
            var L = input.Split(' ')[1].Apply(int.Parse);

            long result = 1;

            //全体
            result = Case(X, Y, D, L);
            //1辺アキ
            result -= Case(X - 1, Y, D, L)*2;
            result -= Case(X, Y - 1, D, L) * 2;
            //1辺アキ*2
            result += Case(X - 1, Y - 1, D, L) * 4;
            result += Case(X - 2, Y, D, L);
            result += Case(X, Y - 2, D, L);
            //*3
            result -= Case(X - 2, Y - 1, D, L) * 2;
            result -= Case(X - 1, Y - 2, D, L) * 2;
            //*4
            result += Case(X - 2, Y - 2, D, L);

            result = Mul(result % Mod, Mul(R - X + 1, C - Y + 1));
            result = result < 0 ? result + Mod : result;

            Console.WriteLine(result);
        }

        static long Case(int x, int y, int d, int l)
        {
            if (x <= 0 || y <= 0)
                return 0;

            long result = 1;

            for (int i = (x*y)-(d+l)+ 1; i <= x*y; i++)
            {
                result = Mul(result,i);
            }

            for (int i = 2; i <= l; i++)
            {
                result = Div(result, i);
            }

            for (int i = 2; i <= d; i++)
            {
                result = Div(result, i);
            }

            return result;
        }

        static long Combi(long n, long r)
        {
            long result = 1;
            for (long i = n - r + 1; i <= n; i++)
            {
                result = Mul(result, i);
            }

            for (long i = 2; i <= r; i++)
            {
                result = Div(result, i);
            }

            return result;
        }

        static long Pow(long x, long y)
        {
            long result = 1;

            while (y>0)
            {
                result = (y % 2 == 0) ? result : ((result * x) % Mod);
                x = (x *x) % Mod;
                y >>= 1;
            }

            return result;
        }

        static long Mul(long x, long y)
        {
            return (x * y) % Mod;
        }

        static long Div(long x, long y)
        {
            return (x * Pow(y, Mod - 2)) % Mod;
        }
    }

    public static class Ex
    {
        public static TResult Apply<T, TResult>(this T arg, Func<T, TResult> func)
        {
            return func(arg);
        }
    }
}

Submission Info

Submission Time
Task D - AtCoder社の冬
User koropicot
Language C# (Mono 2.10.8.1)
Score 101
Code Size 3103 Byte
Status AC
Exec Time 166 ms
Memory 8564 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 151 ms 8440 KB
00_sample_02E.txt AC 145 ms 8384 KB
00_sample_03E.txt AC 149 ms 8436 KB
00_sample_04.txt AC 150 ms 8444 KB
test_01.txt AC 149 ms 8436 KB
test_02.txt AC 144 ms 8512 KB
test_03E.txt AC 146 ms 8436 KB
test_04E.txt AC 151 ms 8480 KB
test_05.txt AC 150 ms 8524 KB
test_06.txt AC 150 ms 8436 KB
test_07E.txt AC 148 ms 8416 KB
test_08E.txt AC 146 ms 8448 KB
test_09.txt AC 143 ms 8448 KB
test_10.txt AC 147 ms 8464 KB
test_11E.txt AC 147 ms 8436 KB
test_12E.txt AC 150 ms 8444 KB
test_13.txt AC 149 ms 8468 KB
test_14.txt AC 164 ms 8436 KB
test_15E.txt AC 161 ms 8508 KB
test_16E.txt AC 166 ms 8440 KB
test_17.txt AC 156 ms 8468 KB
test_18.txt AC 150 ms 8444 KB
test_19E.txt AC 154 ms 8440 KB
test_20E.txt AC 162 ms 8564 KB
test_21.txt AC 158 ms 8440 KB
test_22.txt AC 159 ms 8440 KB
test_23E.txt AC 147 ms 8444 KB
test_24E.txt AC 157 ms 8440 KB
test_25.txt AC 155 ms 8448 KB
test_26.txt AC 154 ms 8400 KB
test_27E.txt AC 152 ms 8444 KB
test_28E.txt AC 149 ms 8440 KB
test_29.txt AC 150 ms 8444 KB
test_30.txt AC 149 ms 8440 KB
test_31E.txt AC 149 ms 8408 KB
test_32E.txt AC 160 ms 8504 KB
test_33.txt AC 144 ms 8444 KB
test_34.txt AC 145 ms 8436 KB
test_35.txt AC 160 ms 8504 KB
test_36E.txt AC 147 ms 8448 KB
test_37E.txt AC 147 ms 8508 KB
test_38E.txt AC 158 ms 8404 KB
test_39E.txt AC 146 ms 8448 KB
test_40.txt AC 153 ms 8432 KB
test_41.txt AC 144 ms 8444 KB
test_42.txt AC 147 ms 8444 KB
test_43.txt AC 147 ms 8444 KB
test_44.txt AC 150 ms 8416 KB
test_45E.txt AC 146 ms 8448 KB
test_46.txt AC 148 ms 8440 KB
test_47E.txt AC 148 ms 8428 KB
test_48.txt AC 145 ms 8440 KB