#994676 (Rust) No.2806 Cornflake Man

• 問題: No.2806 Cornflake Man
• ユーザー: ikoma
• 提出日時: 2024-07-12 23:55:59
• 言語: Rust (1.77.0 + proconio)
• 結果: AC
• 実行時間: 75 ms / 2,000 ms
• コード長: 2,093 bytes
• コンパイル時間: 18,243 ms
• コンパイル使用メモリ: 383,032 KB
• 実行使用メモリ: 22,848 KB
• 最終ジャッジ日時: 2024-07-17 20:37:55
• 合計ジャッジ時間: 13,951 ms
• ジャッジサーバーID （参考情報）: judge5 / judge1

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	22 ms; 7,108 KB
testcase_01	AC	48 ms; 10,176 KB
testcase_02	AC	6 ms; 6,944 KB
testcase_03	AC	50 ms; 10,140 KB
testcase_04	AC	5 ms; 6,940 KB
testcase_05	AC	10 ms; 6,940 KB
testcase_06	AC	13 ms; 6,940 KB
testcase_07	AC	64 ms; 10,756 KB
testcase_08	AC	13 ms; 6,944 KB
testcase_09	AC	30 ms; 6,944 KB
testcase_10	AC	20 ms; 6,940 KB
testcase_11	AC	3 ms; 6,940 KB
testcase_12	AC	25 ms; 7,708 KB
testcase_13	AC	52 ms; 13,388 KB
testcase_14	AC	11 ms; 6,940 KB
testcase_15	AC	75 ms; 22,848 KB
testcase_16	AC	1 ms; 6,940 KB
testcase_17	AC	1 ms; 6,944 KB
testcase_18	AC	1 ms; 6,940 KB
testcase_19	AC	1 ms; 6,944 KB

ソースコード

#![allow(unused_imports, dead_code, unused_macros, unused_variables, non_snake_case, unused_parens)]
use proconio::{input,marker::{Bytes, Chars, Usize1,Isize1}};
use std::ops::*;
use std::cmp::*;
use std::mem::swap;
use std::collections::*;

const MOD:u64 = 1_000_000_007;
const INF:i64 = 0x3fff_ffff_ffff_ffff;

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),+))}};}
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),+))}};}
macro_rules! chmin {($base:expr, $($cmps:expr),+ $(,)*) => {{let cmp_min = min!($($cmps),+);if $base > cmp_min {$base = cmp_min;true} else {false}}};}
macro_rules! chmax {($base:expr, $($cmps:expr),+ $(,)*) => {{let cmp_max = max!($($cmps),+);if $base < cmp_max {$base = cmp_max;true} else {false}}};}
macro_rules! mulvec {($x:expr; $s:expr) => {vec![$x; $s]};($x:expr; $s0:expr; $( $s:expr );+) => {mulvec![vec![$x; $s0]; $( $s );+ ]};}
macro_rules! outputln {($var:expr)=>{println!("{}",$var)};($var:expr,$($vars:expr),+)=>{print!("{} ",$var);outputln!($($vars),+);};}
macro_rules! debug {($($a:expr),* $(,)*) => {eprintln!(concat!($("| ",stringify!($a), "={:?} "),*, "|"),$(&$a),*);};}


fn solve() {
    input! {
        n: usize,
        m: usize,
		mut A:[usize;n],
    }
	let As: HashSet<usize> = A.clone().into_iter().collect();
	let mut As2: HashSet<usize> = A.clone().into_iter().collect();
	A.sort();

    let mut ans = vec![];

	for a in A.into_iter().skip(1) {
		if As2.contains(&a) {
			ans.push(a);
			for i in (a..=m).step_by(a) {
				if As.contains(&i) {
					As2.remove(&i);
				}else{
					outputln!(-1);
					return;
				}
			}
		}
	}
	outputln!(ans.len());
	println!("{}", ans.iter().map(std::string::ToString::to_string).collect::<Vec<_>>().join(" "));
	
}

fn main() {
    std::thread::Builder::new()
        .stack_size(128 * 1024 * 1024)
        .spawn(|| solve()).unwrap()
        .join().unwrap();
}