結果
| 問題 |
No.1410 A lot of Bit Operations
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-11-17 22:24:16 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 2,211 bytes |
| コンパイル時間 | 16,340 ms |
| コンパイル使用メモリ | 382,572 KB |
| 実行使用メモリ | 6,824 KB |
| 最終ジャッジ日時 | 2024-12-24 05:07:31 |
| 合計ジャッジ時間 | 18,192 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | WA * 2 |
| other | AC * 5 WA * 39 |
ソースコード
use std::io::Read;
fn get_word() -> String {
let stdin = std::io::stdin();
let mut stdin=stdin.lock();
let mut u8b: [u8; 1] = [0];
loop {
let mut buf: Vec<u8> = Vec::with_capacity(16);
loop {
let res = stdin.read(&mut u8b);
if res.unwrap_or(0) == 0 || u8b[0] <= b' ' {
break;
} else {
buf.push(u8b[0]);
}
}
if buf.len() >= 1 {
let ret = String::from_utf8(buf).unwrap();
return ret;
}
}
}
#[allow(dead_code)]
fn get<T: std::str::FromStr>() -> T { get_word().parse().ok().unwrap() }
const MOD: i64 = 1_000_000_007;
fn powmod(x: i64, mut e: i64) -> i64 {
let mut sum = 1;
let mut cur = x % MOD;
while e > 0 {
if e % 2 != 0 {
sum = sum * cur % MOD;
}
cur = cur * cur % MOD;
e /= 2;
}
sum
}
// https://yukicoder.me/problems/no/1410 (3)
// P S_{15-i} Q = 2^N - 1 - P S_i Q。
// R は P S_i Q と2^N - 1 - P S_i Q の間でなければならない (両端含む)。
// P S_i Q < 2^{N-1} のとき、このような R は 2^N - 2 * P S_i Q 個ある。
// P S_i Q >= 2^{N-1} のとき、このような R は 2 * P S_i Q + 2 - 2^N 個ある。
// これらの値から 2 を引いたものを考える。
// P S_i Q = 1 となる 0 <= P, Q <= 1 が x 個の場合 (1 <= x <= 4)、LSB 以外のビットが 1 になる (P, Q) は (x * x + (4 - x) * (4 - x)) * 2^{2(N - 2)} 通り。これらの和をとると (x * x + (4 - x)) * (4 - x) * 2^{2(N - 2)} * (2^{N + 1} - 2) 通り。これに 2^{2N + 1} を足したものが答え。
fn main() {
let n: i64 = get();
let k: Vec<_> = get_word().chars().collect();
let mut tot = 0;
for i in 0..8 {
if k[i] == 'o' {
if n == 0 {
tot += 1;
continue;
}
let x = i.count_ones() as i64;
let mut tmp = x * x + (4 - x) * (4 - x);
tmp = tmp * powmod(2, 2 * n - 3 + MOD - 1) % MOD;
tmp = tmp * (powmod(2, n) - 1) % MOD;
tot = (tot + tmp + powmod(2, 2 * n + 1)) % MOD;
}
}
println!("{}", tot);
}