結果

問題 No.1267 Stop and Coin Game
コンテスト
ユーザー phspls
提出日時 2022-11-13 23:16:19
言語 Rust
(1.94.0 + proconio + num + itertools)
コンパイル:
/usr/bin/rustc_custom
実行:
./target/release/main
結果
AC  
実行時間 87 ms / 2,000 ms
コード長 1,217 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 790 ms
コンパイル使用メモリ 193,788 KB
実行使用メモリ 11,392 KB
最終ジャッジ日時 2026-04-04 17:19:58
合計ジャッジ時間 2,838 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_0
純コード判定待ち
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

const INF: usize = 1usize << 60;

fn dfs(idx: usize, n: usize, overed: &Vec<bool>, dp: &mut Vec<usize>) -> usize {
    if overed[idx] {
        return 1;
    }
    if dp[idx] < INF {
        return dp[idx];
    }
    for i in 0..n {
        if ((idx >> i) & 1) == 1 {
            continue;
        }
        if dfs(idx | (1 << i), n, overed, dp) == 0 {
            dp[idx] = 1;
            return 1;
        }
    }
    dp[idx] = 0;
    0
}

fn main() {
    let mut nv = String::new();
    std::io::stdin().read_line(&mut nv).ok();
    let nv: Vec<usize> = nv.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
    let n = nv[0];
    let v = nv[1];
    let mut a = String::new();
    std::io::stdin().read_line(&mut a).ok();
    let a: Vec<usize> = a.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();

    if a.iter().sum::<usize>() <= v {
        println!("Draw");
        return;
    }
    let overed = (0..1<<n).map(|i| (0..n).filter(|&j| ((i >> j) & 1) == 1).map(|j| a[j]).sum::<usize>() > v).collect::<Vec<_>>();
    let mut dp = vec![INF; 1usize << n];
    dfs(0, n, &overed, &mut dp);
    if dp[0] == 0 {
        println!("Second");
    } else {
        println!("First");
    }
}
0