結果

問題 No.733 分身並列コーディング
ユーザー 37kt
提出日時 2025-03-23 17:44:48
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 342 ms / 1,500 ms
コード長 5,050 bytes
コンパイル時間 12,235 ms
コンパイル使用メモリ 401,436 KB
実行使用メモリ 7,328 KB
最終ジャッジ日時 2025-03-23 17:45:09
合計ジャッジ時間 19,272 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff #

// verification-helper: PROBLEM https://yukicoder.me/problems/no/733

pub use __cargo_equip::prelude::*;

use bit_subset::BitSubsetExt;
use macros::chmin;
use proconio::{fastout, input};

const INF: usize = 1 << 60;

#[fastout]
fn main() {
    input! {
        m: usize,
        n: usize,
        a: [usize; n],
    }
    let mut b = vec![0; 1 << n];
    for i in 0..n {
        for s in 0..1 << n {
            if s >> i & 1 == 0 {
                b[s | 1 << i] = b[s] + a[i];
            }
        }
    }

    let mut dp = vec![INF; 1 << n];
    dp[0] = 0;
    for s in 0usize..1 << n {
        for t in s.subsets() {
            if b[t] <= m {
                chmin!(dp[s], dp[s ^ t] + 1);
            }
        }
    }

    println!("{}", dp.last().unwrap());
}

// The following code was expanded by `cargo-equip`.

///  # Bundled libraries
/// 
///  - `bit_subset 0.1.0 (path+███████████████████████████████████████████)` published in **missing** licensed under `CC0-1.0` as `crate::__cargo_equip::crates::bit_subset`
///  - `macros 0.1.0 (path+███████████████████████████████████████)`         published in **missing** licensed under `CC0-1.0` as `crate::__cargo_equip::crates::macros`
#[cfg_attr(any(), rustfmt::skip)]
#[allow(unused)]
mod __cargo_equip {
    pub(crate) mod crates {
        pub mod bit_subset {pub trait BitSubsetExt{fn subsets(self)->BitSubsetIterator;fn combinations(self,k:usize)->BitCombinationIterator;}impl BitSubsetExt for usize{fn subsets(self)->BitSubsetIterator{BitSubsetIterator{s:self,x:Some(0),}}fn combinations(self,k:usize)->BitCombinationIterator{BitCombinationIterator{s:self,x:(k<=self.count_ones()as usize).then_some((1<<k)-1),}}}#[derive(Clone,Copy)]pub struct BitSubsetIterator{s:usize,x:Option<usize>,}impl Iterator for BitSubsetIterator{type Item=usize;fn next(&mut self)->Option<Self::Item>{let res=self.x;if let Some(x)=res{let y=x.wrapping_sub(self.s)&self.s;self.x=(y>0).then_some(y);}res}}#[derive(Clone,Copy)]pub struct BitCombinationIterator{s:usize,x:Option<usize>,}impl Iterator for BitCombinationIterator{type Item=usize;fn next(&mut self)->Option<Self::Item>{let res=self.x;if let Some(t)=res{if t==0{self.x=None;}else{let x=t&t.wrapping_neg();let y=t+x;let t=(((t&!y)/x)>>1)|y;self.x=(t<1<<self.s.count_ones()as usize).then_some(t);}}res.map(|t|unsafe{std::arch::x86_64::_pdep_u64(t as u64,self.s as u64)as usize})}}}
        pub mod macros {pub use crate::__cargo_equip::macros::macros::*;mod chminmax{#[macro_export]macro_rules!__cargo_equip_macro_def_macros_min{($a:expr$(,)*)=>{{$a}};($a:expr,$b:expr$(,)*)=>{{std::cmp::min($a,$b)}};($a:expr,$($rest:expr),+$(,)*)=>{{std::cmp::min($a,$crate::__cargo_equip::crates::macros::min!($($rest),+))}};}macro_rules!min{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_min!{$($tt)*})}#[macro_export]macro_rules!__cargo_equip_macro_def_macros_max{($a:expr$(,)*)=>{{$a}};($a:expr,$b:expr$(,)*)=>{{std::cmp::max($a,$b)}};($a:expr,$($rest:expr),+$(,)*)=>{{std::cmp::max($a,$crate::__cargo_equip::crates::macros::max!($($rest),+))}};}macro_rules!max{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_max!{$($tt)*})}#[macro_export]macro_rules!__cargo_equip_macro_def_macros_chmin{($base:expr,$($cmps:expr),+$(,)*)=>{{let cmp_min=$crate::__cargo_equip::crates::macros::min!($($cmps),+);if$base>cmp_min{$base=cmp_min;true}else{false}}};}macro_rules!chmin{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_chmin!{$($tt)*})}#[macro_export]macro_rules!__cargo_equip_macro_def_macros_chmax{($base:expr,$($cmps:expr),+$(,)*)=>{{let cmp_max=$crate::__cargo_equip::crates::macros::max!($($cmps),+);if$base<cmp_max{$base=cmp_max;true}else{false}}};}macro_rules!chmax{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_chmax!{$($tt)*})}}#[allow(unused_imports)]pub use chminmax::*;mod mvec{#[macro_export]macro_rules!__cargo_equip_macro_def_macros_mvec{($x:expr;$n:expr)=>{vec![$x;$n]};($x:expr;$n:expr$(;$m:expr)+)=>{vec![mvec![$x$(;$m)*];$n]};}macro_rules!mvec{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_mvec!{$($tt)*})}}#[allow(unused_imports)]pub use mvec::*;mod yes{#[macro_export]macro_rules!__cargo_equip_macro_def_macros_yes{()=>{{println!("Yes");}};($a:expr)=>{{if$a{println!("Yes");}else{println!("No");}}};}macro_rules!yes{($($tt:tt)*)=>(crate::__cargo_equip_macro_def_macros_yes!{$($tt)*})}}#[allow(unused_imports)]pub use yes::*;}
    }

    pub(crate) mod macros {
        pub mod bit_subset {}
        pub mod macros {pub use crate::{__cargo_equip_macro_def_macros_chmax as chmax,__cargo_equip_macro_def_macros_chmin as chmin,__cargo_equip_macro_def_macros_max as max,__cargo_equip_macro_def_macros_min as min,__cargo_equip_macro_def_macros_mvec as mvec,__cargo_equip_macro_def_macros_yes as yes};}
    }

    pub(crate) mod prelude {pub use crate::__cargo_equip::crates::*;}

    mod preludes {
        pub mod bit_subset {}
        pub mod macros {}
    }
}
0