Submission #2404305


Source Code Expand

macro_rules! get {
    ($t:ty) => {
        {
            let mut line: String = String::new();
            std::io::stdin().read_line(&mut line).unwrap();
            line.trim().parse::<$t>().unwrap()
        }
    };
    ($($t:ty),*) => {
        {
            let mut line: String = String::new();
            std::io::stdin().read_line(&mut line).unwrap();
            let mut iter = line.split_whitespace();
            (
                $(iter.next().unwrap().parse::<$t>().unwrap(),)*
            )
        }
    };
    ($t:ty; $n:expr) => {
        (0..$n).map(|_|
                    get!($t)
                   ).collect::<Vec<_>>()
    };
    ($($t:ty),*; $n:expr) => {
        (0..$n).map(|_|
                    get!($($t),*)
                   ).collect::<Vec<_>>()
    };
    ($t:ty ;;) => {
        {
            let mut line: String = String::new();
            std::io::stdin().read_line(&mut line).unwrap();
            line.split_whitespace()
                .map(|t| t.parse::<$t>().unwrap())
                .collect::<Vec<_>>()
        }
    };
    ($t:ty ;; $n:expr) => {
        (0..$n).map(|_| get!($t ;;)).collect::<Vec<_>>()
    };
}
const P: i64 = 1000000007;

fn main() {
    let (r, c) = get!(i64, i64);
    let (x, y) = get!(i64, i64);
    let (d, _l) = get!(i64, i64);

    // r行c列のなかにx行y列の長方形を配置する場合の数
    let num = (r - x + 1) * (c - y + 1);

    // (x * y)個の箱に、d個、l個のものを詰める場合の数 = (x * y) C d
    // n C r = n! / r! * (n - r)!
    let c = binomial(x * y, d);

    println!("{}", modulo(num * c));
}

fn binomial(n: i64, r: i64) -> i64 {
    modulo(factorial(n) * modinverse(modulo(factorial(r) * factorial(n - r))))
}

fn factorial(n: i64) -> i64 {
    if n == 0 {
        1
    } else {
        modulo(n * factorial(n - 1))
    }
}

fn modulo(n: i64) -> i64 {
    n % P
}

fn modinverse(a: i64) -> i64 {
    let (_, x, _) = egcd(a, P);
    let i = x % P;
    if i < 0 {
        i + P
    } else {
        i
    }
}

fn egcd(a: i64, b: i64) -> (i64, i64, i64) {
    if a == 0 {
        (b, 0, 1)
    } else {
        let (g, x, y) = egcd(b % a, a);
        (g, y - (b / a) * x, x)
    }
}

Submission Info

Submission Time
Task D - AtCoder社の冬
User asao1524
Language Rust (1.15.1)
Score 100
Code Size 2295 Byte
Status WA
Exec Time 2 ms
Memory 4352 KB

Judge Result

Set Name sub All
Score / Max Score 100 / 100 0 / 1
Status
AC × 25
AC × 25
WA × 27
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 2 ms 4352 KB
00_sample_02E.txt AC 2 ms 4352 KB
00_sample_03E.txt AC 2 ms 4352 KB
00_sample_04.txt WA 2 ms 4352 KB
test_01.txt WA 2 ms 4352 KB
test_02.txt WA 2 ms 4352 KB
test_03E.txt AC 2 ms 4352 KB
test_04E.txt AC 2 ms 4352 KB
test_05.txt WA 2 ms 4352 KB
test_06.txt WA 2 ms 4352 KB
test_07E.txt AC 2 ms 4352 KB
test_08E.txt AC 2 ms 4352 KB
test_09.txt WA 2 ms 4352 KB
test_10.txt WA 2 ms 4352 KB
test_11E.txt AC 2 ms 4352 KB
test_12E.txt AC 2 ms 4352 KB
test_13.txt WA 2 ms 4352 KB
test_14.txt WA 2 ms 4352 KB
test_15E.txt AC 2 ms 4352 KB
test_16E.txt AC 2 ms 4352 KB
test_17.txt WA 2 ms 4352 KB
test_18.txt WA 2 ms 4352 KB
test_19E.txt AC 2 ms 4352 KB
test_20E.txt AC 2 ms 4352 KB
test_21.txt WA 2 ms 4352 KB
test_22.txt WA 2 ms 4352 KB
test_23E.txt AC 2 ms 4352 KB
test_24E.txt AC 2 ms 4352 KB
test_25.txt WA 2 ms 4352 KB
test_26.txt WA 2 ms 4352 KB
test_27E.txt AC 2 ms 4352 KB
test_28E.txt AC 2 ms 4352 KB
test_29.txt WA 2 ms 4352 KB
test_30.txt WA 2 ms 4352 KB
test_31E.txt AC 2 ms 4352 KB
test_32E.txt AC 2 ms 4352 KB
test_33.txt WA 2 ms 4352 KB
test_34.txt WA 2 ms 4352 KB
test_35.txt WA 2 ms 4352 KB
test_36E.txt AC 2 ms 4352 KB
test_37E.txt AC 2 ms 4352 KB
test_38E.txt AC 2 ms 4352 KB
test_39E.txt AC 2 ms 4352 KB
test_40.txt WA 2 ms 4352 KB
test_41.txt WA 2 ms 4352 KB
test_42.txt WA 2 ms 4352 KB
test_43.txt WA 2 ms 4352 KB
test_44.txt WA 2 ms 4352 KB
test_45E.txt AC 2 ms 4352 KB
test_46.txt WA 2 ms 4352 KB
test_47E.txt AC 2 ms 4352 KB
test_48.txt WA 2 ms 4352 KB