Submission #62071072

---

Source Code Expand

#[allow(unused_imports)]
use proconio::{input, marker::Usize1};

fn dp(key: i64, x: usize, v: &Vec<(i64, usize)>) -> usize {
    let mut dp = vec![-1; x+1];
    dp[0] = 0;
    for &(a, c) in v {
        for i in (0..x+1).rev() {
            if i+c >= x+1 {
                continue;
            }
            let val = dp[i] + a;
            dp[i+c].chmax(val);
        }
    }
    // key以上で最小のindex
    for (i, &xi) in dp.iter().enumerate() {
        if xi >= key {
            return i;
        }
    }
    return x+1;
}

fn main() {
    input!{
        n: usize,
        x: usize,
        v: [(Usize1, i64, usize); n],
    }
 
    let v = v.iter().fold(vec![vec![]; 3], |mut v, &(i, a, c)| {
        v[i].push((a, c));
        v
    });


    let mut ok = 0;
    let mut ng = 1e18 as i64;
    // let mut ng = 10;
    while ng-ok>1 {
        let mid = (ok+ng)/2;
        let s = (0..3).into_iter().map(|i| {
            let res = dp(mid, x, &v[i]);
            res
        }).sum::<usize>();

        if s <= x {
            ok = mid;
        } else {
            ng = mid;
        }
    }
    println!("{}", ok);
}

pub trait ChLibs<T: std::cmp::Ord> {
    fn chmin(&mut self, elm: T) -> bool;
    fn chmax(&mut self, elm: T) -> bool;
}

impl<T: std::cmp::Ord> ChLibs<T> for T {
    fn chmin(&mut self, elm: T) -> bool {
        if *self > elm {
            *self = elm;
            true
        } else {
            false
        }
    }

    fn chmax(&mut self, elm: T) -> bool {
        if *self < elm {
            *self = elm;
            true
        } else {
            false
        }
    }
}
pub trait Debuggable {
    fn debug_string(&self) -> String;
}

impl<T: std::fmt::Debug + std::fmt::Display> Debuggable for Vec<T> {
    fn debug_string(&self) -> String {
        use itertools::Itertools;
        use std::iter::repeat;
        if let Some(max_size) = self.iter()
            .enumerate()
            .map(|(i, x)| (format!("{:?}", x).len()).max(format!("{:?}", i).len()))
            .max() {
                let mut idx = String::from("idx |");   
                let mut val = String::from("val |");   
                for (i, xi) in self.iter().enumerate() {
                    idx.push_str(
                        &format!(" {:>w$} |", i, w=max_size)
                    );
                    val.push_str(
                        &format!(" {:>w$} |", xi, w=max_size)
                    );
                }

                format!("{}\n{}\n{}\n", idx, repeat('-').take(idx.len()).join(""), val)
            } else {
                format!("idx | \nval |\n")
            }
    }
}

impl<T: std::fmt::Debug + std::fmt::Display> Debuggable for std::collections::BTreeSet<T> {
    fn debug_string(&self) -> String {
        use itertools::Itertools;
        format!("{{ {} }}", self.iter().join(", "))
    }
}

impl<T, U> Debuggable for std::collections::BTreeMap<T, U> 
where T: std::fmt::Debug + std::fmt::Display, U: std::fmt::Debug + std::fmt::Display
{
    fn debug_string(&self) -> String {
        use itertools::Itertools;
        format!(
            "{{\n{}\n }}", self.iter()
                .map(|(k, v)| format!("{k} -> {v}, "))
                .join("\n")
        )
    }
}

// lg! マクロの定義
#[macro_export]
macro_rules! lg {
    ($val:expr) => {
        #[cfg(feature = "local")]
        {
            {
                use Debuggable;
                let val = &$val;
                eprintln!(
                    "[{}:{}] {} = \n{}",
                    file!(),
                    line!(),
                    stringify!($val),
                    val.debug_string()
                );
                val
            }
        }
    }
}
    

Submission Info

Judge Result