結果

問題 No.506 限られたジャパリまん
ユーザー hatoo
提出日時 2017-10-15 08:47:48
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 468 ms / 2,000 ms
コード長 3,234 bytes
コンパイル時間 12,760 ms
コンパイル使用メモリ 378,692 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-06-28 04:21:26
合計ジャッジ時間 16,389 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

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