use grb::prelude::*;
use crate::{Sample, Classifier};
use crate::common::utils;
pub(super) struct LPModel {
model: Model,
gamma: Var,
dist: Vec<Var>,
constrs: Vec<Constr>,
}
impl LPModel {
pub(super) fn init(n_sample: usize, upper_bound: f64) -> Self {
let mut env = Env::new("").unwrap();
env.set(param::OutputFlag, 0).unwrap();
let mut model = Model::with_env("MLPBoost", env).unwrap();
let gamma = add_ctsvar!(model, name: "gamma", bounds: ..)
.unwrap();
let dist = (0..n_sample).map(|i| {
let name = format!("d[{i}]");
add_ctsvar!(model, name: &name, bounds: 0.0..upper_bound)
.unwrap()
}).collect::<Vec<Var>>();
model.add_constr(&"sum_is_1", c!(dist.iter().grb_sum() == 1.0))
.unwrap();
model.set_objective(gamma, Minimize).unwrap();
model.update().unwrap();
let constrs = Vec::new();
Self { model, gamma, dist, constrs, }
}
pub(super) fn update<C>(
&mut self,
sample: &Sample,
opt_h: Option<&C>
) -> Vec<f64>
where C: Classifier
{
if let Some(h) = opt_h {
let edge = utils::margins_of_hypothesis(sample, h)
.into_iter()
.zip(self.dist.iter().copied())
.map(|(yh, d)| d * yh)
.grb_sum();
let name = format!("{t}-th hypothesis", t = self.constrs.len());
self.constrs.push(
self.model.add_constr(&name, c!(edge <= self.gamma))
.unwrap()
);
self.model.update().unwrap();
self.model.optimize().unwrap();
let status = self.model.status().unwrap();
if status != Status::Optimal {
panic!("Status is {status:?}. Something wrong.");
}
}
self.constrs.iter()
.map(|c| self.model.get_obj_attr(attr::Pi, c).unwrap().abs())
.collect::<Vec<_>>()
}
}