結果

問題 No.1426 Got a Covered OR
ユーザー tonyu0tonyu0
提出日時 2021-03-13 07:01:44
言語 Rust
(1.72.1)
結果
AC  
実行時間 13 ms / 2,000 ms
コード長 2,502 bytes
コンパイル時間 916 ms
コンパイル使用メモリ 151,072 KB
実行使用メモリ 6,416 KB
最終ジャッジ日時 2023-08-05 03:13:51
合計ジャッジ時間 3,114 ms
ジャッジサーバーID
(参考情報)
judge11 / judge12
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,384 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 1 ms
4,376 KB
testcase_09 AC 1 ms
4,380 KB
testcase_10 AC 1 ms
4,376 KB
testcase_11 AC 1 ms
4,376 KB
testcase_12 AC 3 ms
4,376 KB
testcase_13 AC 3 ms
4,376 KB
testcase_14 AC 2 ms
4,376 KB
testcase_15 AC 2 ms
4,376 KB
testcase_16 AC 1 ms
4,376 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 8 ms
4,380 KB
testcase_19 AC 8 ms
4,376 KB
testcase_20 AC 4 ms
4,376 KB
testcase_21 AC 5 ms
4,376 KB
testcase_22 AC 4 ms
4,376 KB
testcase_23 AC 13 ms
6,416 KB
testcase_24 AC 6 ms
5,400 KB
testcase_25 AC 10 ms
4,680 KB
testcase_26 AC 10 ms
4,684 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

use std::io::*;
const MOD: u64 = 1_000_000_007;

mod enumeration {
    pub struct Enumeration {
        fact: Vec<u64>,
        finv: Vec<u64>,
        modulo: u64,
    }
    impl Enumeration {
        pub fn new(n: usize, modulo: u64) -> Enumeration {
            let mut fact: Vec<u64> = vec![1; n];
            let mut inv: Vec<u64> = vec![1; n];
            let mut finv: Vec<u64> = vec![1; n];
            for i in 2..n {
                fact[i] = fact[i - 1] * (i as u64) % modulo;
                inv[i] = modulo - (modulo / (i as u64)) * inv[(modulo as usize % i)] % modulo;
                finv[i] = inv[i] * finv[i - 1] % modulo;
            }
            Enumeration {
                fact: fact,
                finv: finv,
                modulo: modulo,
            }
        }
        pub fn c(&self, n: usize, k: usize) -> u64 {
            if n < k {
                return 0;
            }
            self.fact[n] * self.finv[n - k] % self.modulo * self.finv[k] % self.modulo
        }
    }
}
fn mod_pow(mut x: u64, mut e: u64, m: u64) -> u64 {
    let mut res = 1;
    while e > 0 {
        if e & 1 == 1 {
            res = res * x % m;
        }
        x = x * x % m;
        e >>= 1;
    }
    res
}

fn main() {
    let mut s: String = String::new();
    std::io::stdin().read_to_string(&mut s).ok();
    let mut itr = s.trim().split_whitespace();
    let n: usize = itr.next().unwrap().parse().unwrap();
    let a: Vec<i64> = (0..n)
        .map(|_| itr.next().unwrap().parse().unwrap())
        .collect();

    let mut b: Vec<(i64, i64)> = Vec::new();
    b.push((0, -1));
    for i in 0..n {
        if a[i] > 0 {
            b.push((a[i], i as i64));
        }
    }

    let en = enumeration::Enumeration::new(32, MOD);
    let mut ans = 1u64;
    let m = b.len();
    for i in 0..m - 1 {
        let len = b[i + 1].1 - b[i].1;
        let c = b[i].0;
        let d = b[i + 1].0;
        if d | c != d {
            println!("0");
            return;
        }
        let e = c.count_ones();
        let f = (c ^ d).count_ones();
        let mut tmp = 0;
        for g in 0..f + 1 {
            let mul = en.c(f as usize, g as usize)
                * mod_pow(mod_pow(2, (f + e - g) as u64, MOD) - 1, len as u64, MOD)
                % MOD;
            if g % 2 == 0 {
                tmp = (tmp + mul) % MOD;
            } else {
                tmp = (MOD + tmp - mul) % MOD;
            }
        }
        ans = (ans * tmp) % MOD;
    }

    println!("{}", ans);
}
0