結果

問題 No.506 限られたジャパリまん
ユーザー hatoohatoo
提出日時 2017-10-15 08:47:48
言語 Rust
(1.77.0)
結果
AC  
実行時間 461 ms / 2,000 ms
コード長 3,234 bytes
コンパイル時間 2,372 ms
コンパイル使用メモリ 151,136 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-09-10 12:55:30
合計ジャッジ時間 4,651 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 461 ms
4,380 KB
testcase_05 AC 461 ms
4,376 KB
testcase_06 AC 1 ms
4,384 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 77 ms
4,380 KB
testcase_09 AC 20 ms
4,380 KB
testcase_10 AC 1 ms
4,376 KB
testcase_11 AC 214 ms
4,380 KB
testcase_12 AC 92 ms
4,376 KB
testcase_13 AC 1 ms
4,376 KB
testcase_14 AC 2 ms
4,376 KB
testcase_15 AC 1 ms
4,376 KB
testcase_16 AC 54 ms
4,380 KB
testcase_17 AC 36 ms
4,376 KB
testcase_18 AC 117 ms
4,380 KB
testcase_19 AC 4 ms
4,376 KB
testcase_20 AC 229 ms
4,380 KB
testcase_21 AC 227 ms
4,380 KB
testcase_22 AC 433 ms
4,380 KB
testcase_23 AC 111 ms
4,380 KB
testcase_24 AC 1 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#[allow(unused_imports)]
use std::cmp::{max, min};
#[allow(unused_imports)]
use std::collections::{HashMap, HashSet};

mod util {
    use std::io::stdin;
    use std::str::FromStr;
    use std::fmt::Debug;

    #[allow(dead_code)]
    pub fn line() -> String {
        let mut line: String = String::new();
        stdin().read_line(&mut line).unwrap();
        line.trim().to_string()
    }

    #[allow(dead_code)]
    pub fn get<T: FromStr>() -> T
    where
        <T as FromStr>::Err: Debug,
    {
        let mut line: String = String::new();
        stdin().read_line(&mut line).unwrap();
        line.trim().parse().unwrap()
    }

    #[allow(dead_code)]
    pub fn gets<T: FromStr>() -> Vec<T>
    where
        <T as FromStr>::Err: Debug,
    {
        let mut line: String = String::new();
        stdin().read_line(&mut line).unwrap();
        line.split_whitespace()
            .map(|t| t.parse().unwrap())
            .collect()
    }

    #[allow(dead_code)]
    pub fn get2<T: FromStr, U: FromStr>() -> (T, U)
    where
        <T as FromStr>::Err: Debug,
        <U as FromStr>::Err: Debug,
    {
        let mut line: String = String::new();
        stdin().read_line(&mut line).unwrap();
        let mut iter = line.split_whitespace();
        (
            iter.next().unwrap().parse().unwrap(),
            iter.next().unwrap().parse().unwrap(),
        )
    }

    #[allow(dead_code)]
    pub fn get3<S: FromStr, T: FromStr, U: FromStr>() -> (S, T, U)
    where
        <S as FromStr>::Err: Debug,
        <T as FromStr>::Err: Debug,
        <U as FromStr>::Err: Debug,
    {
        let mut line: String = String::new();
        stdin().read_line(&mut line).unwrap();
        let mut iter = line.split_whitespace();
        (
            iter.next().unwrap().parse().unwrap(),
            iter.next().unwrap().parse().unwrap(),
            iter.next().unwrap().parse().unwrap(),
        )
    }
}


#[allow(unused_macros)]
macro_rules! debug {
    ($x: expr) => {
        println!("{}: {:?}", stringify!($x), $x)
    }
}

const M: u64 = 1000000007;

fn routes(x: usize, y: usize, cache: &mut Vec<Vec<Option<u64>>>) -> u64 {
    if let Some(res) = cache[x][y] {
        return res;
    }

    let left = if x == 0 { 0 } else { routes(x - 1, y, cache) };
    let down = if y == 0 { 0 } else { routes(x, y - 1, cache) };
    let res = left + down;
    cache[x][y] = Some(res);
    res
}

fn main() {
    let hwkp: Vec<usize> = util::gets();
    let h = hwkp[0];
    let w = hwkp[1];
    let k = hwkp[2];
    let p = hwkp[3];
    let xyn: Vec<(usize, usize, String)> = (0..k).map(|_| util::get3()).collect();

    let (a, _, friends) = (0u64..1 << k)
        .filter(|b| b.count_ones() <= p as u32)
        .map(|b| {
            let mut cache = vec![vec![None; w + 1]; h + 1];
            cache[0][0] = Some(1);
            for i in 0..k {
                if b >> i & 1 != 1 {
                    cache[xyn[i].0][xyn[i].1] = Some(0);
                }
            }

            (routes(h, w, &mut cache), k - b.count_ones() as usize, b)
        })
        .max()
        .unwrap();

    println!("{}", a % M);

    for i in (0..k).filter(|&i| friends >> i & 1 == 1) {
        println!("{}", xyn[i].2);
    }
}
0