結果

問題 No.1242 高橋君とすごろく
コンテスト
ユーザー o2c
提出日時 2020-10-02 22:45:57
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 3,447 bytes
コンパイル時間 14,961 ms
コンパイル使用メモリ 401,544 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-07-20 02:49:18
合計ジャッジ時間 15,649 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff # 

#![allow(unused_imports)]
use {std::cmp::*, std::collections::*, std::io::Write, std::ops::*};

#[allow(unused_macros)]
macro_rules !dbg {($($e :expr ) ,*) =>{#[cfg (debug_assertions ) ] $({let (e ,mut err ) =(stringify !($e ) ,std ::io ::stderr () ) ;writeln !(err ,"{} = {:?}" ,e ,$e ) .unwrap () } ) *} ;}
#[allow(unused_macros)]
macro_rules !min {($a :expr $(,) *) =>{{$a } } ;($a :expr ,$b :expr $(,) *) =>{{std ::cmp ::min ($a ,$b ) } } ;($a :expr ,$($rest :expr ) ,+$(,) *) =>{{std ::cmp ::min ($a ,min !($($rest ) ,+) ) } } ;}
#[allow(unused_macros)]
macro_rules !chmin {($base :expr ,$($cmps :expr ) ,+$(,) *) =>{{let cmp_min =min !($($cmps ) ,+) ;if $base >cmp_min {$base =cmp_min ;true } else {false } } } ;}
#[allow(unused_macros)]
macro_rules !max {($a :expr $(,) *) =>{{$a } } ;($a :expr ,$b :expr $(,) *) =>{{std ::cmp ::max ($a ,$b ) } } ;($a :expr ,$($rest :expr ) ,+$(,) *) =>{{std ::cmp ::max ($a ,max !($($rest ) ,+) ) } } ;}
#[allow(unused_macros)]
macro_rules !chmax {($base :expr ,$($cmps :expr ) ,+$(,) *) =>{{let cmp_max =max !($($cmps ) ,+) ;if $base <cmp_max {$base =cmp_max ;true } else {false } } } ;}

#[allow(dead_code)]
mod scanner {
    use std;
    use std::io::Read;
    use std::str::FromStr;
    use std::str::SplitWhitespace;
    pub struct Scanner<'a> {
        it: SplitWhitespace<'a>,
    }
    impl<'a> Scanner<'a> {
        pub fn new(s: &'a String) -> Scanner<'a> {
            Scanner {
                it: s.split_whitespace(),
            }
        }
        pub fn next<T: FromStr>(&mut self) -> T {
            match self.it.next().unwrap().parse::<T>() {
                Ok(v) => v,
                _ => panic!("Scanner error"),
            }
        }
        pub fn next_chars(&mut self) -> Vec<char> {
            self.next::<String>().chars().collect()
        }
        pub fn next_vec<T: FromStr>(&mut self, len: usize) -> Vec<T> {
            (0..len).map(|_| self.next()).collect()
        }
    }
    pub fn read_string() -> String {
        let mut s = String::new();
        std::io::stdin().read_to_string(&mut s).unwrap();
        s
    }
}

fn main() {
    let sc = scanner::read_string();
    let mut sc = scanner::Scanner::new(&sc);
    let out = std::io::stdout();
    let mut out = std::io::BufWriter::new(out.lock());

    let _n: usize = sc.next();
    let k: usize = sc.next();
    let a: Vec<usize> = sc.next_vec(k);
    let mut set = a
        .iter()
        .copied()
        .collect::<std::collections::BTreeSet<usize>>();
    let mut q = std::collections::BinaryHeap::<usize>::new();
    for &a in a.iter() {
        q.push(a);
    }
    while let Some(a) = q.pop() {
        if a > 5 && set.contains(&(a - 1)) && set.contains(&(a - 2)) {
            writeln!(out, "No").unwrap();
            return;
        }
        if a > 4 && set.contains(&(a - 1)) {
            if !set.contains(&(a - 4)) {
                q.push(a - 4);
                set.insert(a - 4);
            }
        }
        if a > 5 && set.contains(&(a - 3)) {
            if !set.contains(&(a - 5)) {
                q.push(a - 5);
                set.insert(a - 5);
            }
        }
        if a > 6 && set.contains(&(a - 5)) {
            if !set.contains(&(a - 6)) {
                q.push(a - 6);
                set.insert(a - 6);
            }
        }
    }
    if set.contains(&1) {
        writeln!(out, "No").unwrap();
    } else {
        writeln!(out, "Yes").unwrap();
    }
}
0