結果

問題 No.1242 高橋君とすごろく
コンテスト
ユーザー manta1130
提出日時 2020-10-03 14:47:33
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 3,377 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 15,597 ms
コンパイル使用メモリ 381,616 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-20 02:53:36
合計ジャッジ時間 15,121 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fn main() {
    let (_n, _q): (usize, usize);
    inputm!(_n, _q);

    let mut x = input_vector::<usize>();

    for _ in 0..100 {
        let mut flag = vec![false; x.len()];
        let mut ex = vec![];
        for i in 0..x.len() {
            for j in i + 1..x.len() {
                if x[i] + 6 < x[j] {
                    break;
                }
                if (x[j] - x[i]) % 2 == 0 || x[i] + x[j] <= 7 {
                    continue;
                }
                let f = (x[i] + x[j] - 7) / 2;
                if f == 1 {
                    println!("No");
                    return;
                }
                ex.push(f);
                flag[i] = true;
                flag[j] = true;
            }
        }
        for i in 0..x.len() {
            if flag[i] {
                ex.push(x[i]);
            }
        }
        ex.sort();
        ex.dedup();
        x = ex;
        if x.is_empty() {
            println!("Yes");
            return;
        }
        for i in 1..x.len() - 1 {
            if x[i - 1] + 1 == x[i] && x[i] + 1 == x[i + 1] && x[i] >= 10 {
                println!("No");
                return;
            }
        }
    }
    if x[0] == 1 {
        println!("No");
    } else {
        println!("Yes");
    }
}

pub mod input {
    use std::io;
    const SPLIT_DELIMITER: char = ' ';

    #[macro_export]
    #[allow(unused_macros)]
    macro_rules! inputm {
    ( $($x:expr ),*) => {
        {
            let temp_str = input_line_str();
            let mut split_result_iter = temp_str.split_whitespace();
                $(
                let buf_split_result = split_result_iter.next();
                let buf_split_result = buf_split_result.unwrap();
                    ($x) = buf_split_result.parse().unwrap();
                )*
        }
    };
}

    pub fn input_line_str() -> String {
        let mut s = String::new();
        io::stdin().read_line(&mut s).unwrap();
        s.trim().to_string()
    }

    pub fn input_vector2d<T>(line: usize) -> Vec<Vec<T>>
    where
        T: std::str::FromStr,
    {
        let mut v: Vec<Vec<T>> = Vec::new();

        for _ in 0..line {
            let vec_line = input_vector();
            v.push(vec_line);
        }
        v
    }

    #[allow(clippy::match_wild_err_arm)]
    pub fn input_vector<T>() -> Vec<T>
    where
        T: std::str::FromStr,
    {
        let mut v: Vec<T> = Vec::new();

        let s = input_line_str();
        let split_result = s.split(SPLIT_DELIMITER);
        for z in split_result {
            let buf = match z.parse() {
                Ok(r) => r,
                Err(_) => panic!("Parse Error",),
            };
            v.push(buf);
        }
        v
    }

    #[allow(clippy::match_wild_err_arm)]
    pub fn input_vector_row<T>(n: usize) -> Vec<T>
    where
        T: std::str::FromStr,
    {
        let mut v = Vec::with_capacity(n);
        for _ in 0..n {
            let buf = match input_line_str().parse() {
                Ok(r) => r,
                Err(_) => panic!("Parse Error",),
            };
            v.push(buf);
        }
        v
    }

    pub trait ToCharVec {
        fn to_charvec(&self) -> Vec<char>;
    }

    impl ToCharVec for String {
        fn to_charvec(&self) -> Vec<char> {
            self.to_string().chars().collect::<Vec<_>>()
        }
    }
}
use input::*;
0