結果

問題 No.2609 Decreasing GCDs
ユーザー NakLon131NakLon131
提出日時 2024-01-19 22:20:03
言語 Rust
(1.77.0 + proconio)
結果
WA  
実行時間 -
コード長 3,286 bytes
コンパイル時間 13,878 ms
コンパイル使用メモリ 378,084 KB
実行使用メモリ 17,024 KB
最終ジャッジ日時 2024-09-28 04:42:01
合計ジャッジ時間 20,769 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 163 ms
16,896 KB
testcase_01 AC 155 ms
16,896 KB
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

fn main() {
    input!{
        n: usize,
    }

    // 素数を列挙
    let erato = eratos(10000000);
    fn eratos(n: usize) -> Vec<usize> {
        let mut l = vec![true; n+1];
        l[0] = false; l[1] = false;
        for i in 2..=n {
            if !l[i] { continue; }
            let mut j = 2*i;
            while j <= n {
                l[j] = false;
                j += i;
            }
        }
        let mut ret = Vec::new();
        for i in 0..=n {
            if l[i] {
                ret.push(i);
            }
        }
        ret
    }

    // 大 -> 小の順に該当するデータを作る
    let mut ans = vec![1; n];
    for i in 0..n-1 {
        // GCDを作る
        ans[i] *= i+1;
        ans[i+1] *= i+1;
    }
    ans.reverse();  // 小 -> 大に直す


    // nより大きい素数から始める
    let mut pos = lower_bound(&erato, n+1);
    // 1項目を確定
    ans[0] *= erato[pos];
    pos += 1;

    // 2項目以降
    let mut i = 1;
    while i < n {
        if ans[i] * erato[pos] > ans[i-1] {
            ans[i] *= erato[pos];
            i += 1;
        }
        else{
            pos += 1;
        }
    }
    for i in 0..n-1 {
        print!("{} ", ans[i]);
    }
    println!("{}", ans[n-1]);

    // 二分探索
    pub fn lower_bound<T: std::cmp::PartialOrd>(vec: &Vec<T>, val: T) -> usize {
        let mut l = 0;
        let mut r = vec.len();
        while r - l > 0 {
            let m = (l + r) / 2;
            if vec[m] < val {
                l = m + 1;
            } else {
                r = m;
            }
        }
        l
    }



}
// ---------- begin input macro ----------
#[macro_export]
macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    ($($r:tt)*) => {
        let s = {
            use std::io::Read;
            let mut s = String::new();
            std::io::stdin().read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

#[macro_export]
macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};
    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

#[macro_export]
macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };
    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };
    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };
    ($iter:expr, bytes) => {
        read_value!($iter, String).bytes().collect::<Vec<u8>>()
    };
    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };
    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}
// ---------- end input macro ----------
#[allow(unused)]
use std::{
	io::stderr, io::stdin, io::BufRead, io::Write,
	mem::swap,
	cmp::min, cmp::max,
	cmp::Reverse,
	collections::HashSet, collections::BTreeSet,
	collections::HashMap, collections::BTreeMap,
	collections::BinaryHeap,
	collections::VecDeque,
};
0