結果

問題 No.1884 Sequence
ユーザー cympfhcympfh
提出日時 2022-05-19 02:08:29
言語 Rust
(1.77.0)
結果
AC  
実行時間 43 ms / 2,000 ms
コード長 4,914 bytes
コンパイル時間 3,808 ms
コンパイル使用メモリ 185,268 KB
実行使用メモリ 16,672 KB
最終ジャッジ日時 2023-10-17 07:57:04
合計ジャッジ時間 5,257 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 0 ms
4,348 KB
testcase_01 AC 1 ms
4,348 KB
testcase_02 AC 1 ms
4,348 KB
testcase_03 AC 1 ms
4,348 KB
testcase_04 AC 1 ms
4,348 KB
testcase_05 AC 1 ms
4,348 KB
testcase_06 AC 1 ms
4,348 KB
testcase_07 AC 1 ms
4,348 KB
testcase_08 AC 1 ms
4,348 KB
testcase_09 AC 1 ms
4,348 KB
testcase_10 AC 41 ms
16,648 KB
testcase_11 AC 41 ms
16,648 KB
testcase_12 AC 19 ms
11,760 KB
testcase_13 AC 21 ms
12,916 KB
testcase_14 AC 20 ms
11,508 KB
testcase_15 AC 39 ms
14,560 KB
testcase_16 AC 43 ms
16,640 KB
testcase_17 AC 30 ms
14,208 KB
testcase_18 AC 34 ms
14,752 KB
testcase_19 AC 29 ms
12,728 KB
testcase_20 AC 36 ms
14,232 KB
testcase_21 AC 31 ms
15,572 KB
testcase_22 AC 38 ms
14,392 KB
testcase_23 AC 43 ms
16,644 KB
testcase_24 AC 43 ms
16,640 KB
testcase_25 AC 42 ms
16,436 KB
testcase_26 AC 42 ms
16,624 KB
testcase_27 AC 22 ms
14,744 KB
testcase_28 AC 22 ms
14,744 KB
testcase_29 AC 21 ms
14,744 KB
testcase_30 AC 23 ms
14,744 KB
testcase_31 AC 33 ms
12,408 KB
testcase_32 AC 43 ms
16,456 KB
testcase_33 AC 34 ms
16,672 KB
testcase_34 AC 35 ms
16,672 KB
testcase_35 AC 24 ms
15,572 KB
testcase_36 AC 33 ms
15,680 KB
testcase_37 AC 39 ms
16,672 KB
testcase_38 AC 35 ms
16,280 KB
testcase_39 AC 30 ms
15,572 KB
testcase_40 AC 32 ms
14,208 KB
testcase_41 AC 40 ms
15,944 KB
testcase_42 AC 42 ms
15,944 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: comparison is useless due to type limits
  --> Main.rs:41:12
   |
41 |         if 0 <= idx && idx < n {
   |            ^^^^^^^^
   |
   = note: `#[warn(unused_comparisons)]` on by default

warning: 1 warning emitted

ソースコード

diff # 

#![allow(unused_imports, unused_macros, dead_code)]
use std::{cmp::*, collections::*};

fn main() {
    let mut sc = Scanner::new();
    let n: usize = sc.cin();
    let xs: Vec<u64> = sc.vec(n);

    let m = xs.iter().filter(|&&x| x > 0).count();
    if m <= 2 {
        put!("Yes");
        return;
    }

    let mini = *xs.iter().filter(|&&x| x > 0).min().unwrap();
    let maxi = *xs.iter().filter(|&&x| x > 0).max().unwrap();
    trace!(mini, maxi);

    if mini == maxi {
        put!("Yes");
        return;
    }

    let mut zs = vec![];
    for &x in xs.iter().filter(|&&x| x >= mini) {
        let z = x - mini;
        zs.push(z);
    }
    trace!(&zs);

    let mut g = zs[0];
    for i in 1..zs.len() {
        g = gcd(g, zs[i]);
    }
    trace!(g);

    let mut ans = "Yes";
    let mut used = vec![false; n];
    for &z in zs.iter() {
        let idx = (z / g) as usize;
        if 0 <= idx && idx < n {
            if used[idx] {
                ans = "No";
                break;
            }
            used[idx] = true;
        } else {
            ans = "No";
            break;
        }
    }
    put!(ans);
}

// @num/gcd
// @num/base
pub trait Zero {
    fn zero() -> Self;
}
pub trait One {
    fn one() -> Self;
}
pub trait Num:
    Copy
    + Eq
    + Ord
    + Zero
    + One
    + std::marker::Sized
    + std::ops::Add<Output = Self>
    + std::ops::AddAssign
    + std::ops::Sub<Output = Self>
    + std::ops::SubAssign
    + std::ops::Mul<Output = Self>
    + std::ops::Div<Output = Self>
    + std::ops::Rem<Output = Self>
{
}
pub trait Int: Num {}
pub trait Nat: Num {}

macro_rules! define_zero_one {
    ($ty:ty, $zero:expr, $one:expr) => {
        impl Zero for $ty {
            fn zero() -> Self {
                $zero
            }
        }
        impl One for $ty {
            fn one() -> Self {
                $one
            }
        }
    };
}

define_zero_one!(usize, 0, 1);
define_zero_one!(u32, 0, 1);
define_zero_one!(u64, 0, 1);
define_zero_one!(u128, 0, 1);
define_zero_one!(i32, 0, 1);
define_zero_one!(i64, 0, 1);
define_zero_one!(i128, 0, 1);
define_zero_one!(f32, 0.0, 1.0);
define_zero_one!(f64, 0.0, 1.0);

impl Num for usize {}
impl Num for u32 {}
impl Num for u64 {}
impl Num for u128 {}
impl Num for i32 {}
impl Num for i64 {}
impl Num for i128 {}
impl Nat for usize {}
impl Nat for u32 {}
impl Nat for u64 {}
impl Nat for u128 {}
impl Int for i32 {}
impl Int for i64 {}
impl Int for i128 {}

/// Number - GCD on Natural Numbers
pub fn gcd<N: Nat>(a: N, b: N) -> N {
    if b == N::zero() {
        a
    } else {
        gcd(b, a % b)
    }
}

// {{{
use std::io::{self, Write};
use std::str::FromStr;

pub struct Scanner {
    stdin: io::Stdin,
    buffer: VecDeque<String>,
}
impl Scanner {
    pub fn new() -> Self {
        Self {
            stdin: io::stdin(),
            buffer: VecDeque::new(),
        }
    }
    pub fn cin<T: FromStr>(&mut self) -> T {
        while self.buffer.is_empty() {
            let mut line = String::new();
            let _ = self.stdin.read_line(&mut line);
            for w in line.split_whitespace() {
                self.buffer.push_back(String::from(w));
            }
        }
        self.buffer.pop_front().unwrap().parse::<T>().ok().unwrap()
    }
    pub fn usize1(&mut self) -> usize {
        self.cin::<usize>() - 1
    }
    pub fn chars(&mut self) -> Vec<char> {
        self.cin::<String>().chars().collect()
    }
    pub fn vec<T: FromStr>(&mut self, n: usize) -> Vec<T> {
        (0..n).map(|_| self.cin()).collect()
    }
}
fn flush() {
    std::io::stdout().flush().unwrap();
}
#[macro_export]
macro_rules! min {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        it.next().map(|z| it.fold(z, |x, y| min!(x, y)))
    }};
    ($x:expr) => ($x);
    ($x:expr, $($ys:expr),*) => {{
        let t = min!($($ys),*);
        if $x < t { $x } else { t }
    }}
}
#[macro_export]
macro_rules! max {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        it.next().map(|z| it.fold(z, |x, y| max!(x, y)))
    }};
    ($x:expr) => ($x);
    ($x:expr, $($ys:expr),*) => {{
        let t = max!($($ys),*);
        if $x > t { $x } else { t }
    }}
}
#[macro_export]
macro_rules! trace {
    ($x:expr) => {
        #[cfg(debug_assertions)]
        eprintln!(">>> {} = {:?}", stringify!($x), $x)
    };
    ($($xs:expr),*) => { trace!(($($xs),*)) }
}
#[macro_export]
macro_rules! put {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        if let Some(x) = it.next() { print!("{}", x); }
        for x in it { print!(" {}", x); }
        println!("");
    }};
    ($x:expr) => { println!("{}", $x) };
    ($x:expr, $($xs:expr),*) => { print!("{} ", $x); put!($($xs),*) }
}
#[macro_export]
macro_rules! ndarray {
    ($x:expr;) => {
        $x
    };
    ($x:expr; $size:expr $( , $rest:expr )*) => {
        vec![ndarray!($x; $($rest),*); $size]
    };
}

// }}}
0