otspot-core 0.5.0

Core implementation for otspot (LP/QP/MIP solver) — published as a dependency of the otspot facade
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

//! Step 5: bounds tightening from implied row activity.

use super::state::{PostsolveStep, PresolveState, PresolveStatus};
use crate::presolve::activity::propagate_row_bounds;
use crate::tolerances::ZERO_TOL;

pub(super) fn step5_bounds_tightening(
    st: &mut PresolveState,
    new_fixed: &mut usize,
    deadline: Option<std::time::Instant>,
) -> Result<(), PresolveStatus> {
    let m = st.b.len();
    for i in 0..m {
        if deadline.is_some_and(|d| std::time::Instant::now() >= d) {
            return Ok(());
        }
        if st.removed_rows[i] {
            continue;
        }
        let ct = st.constraint_types[i];
        let entries = st.active_row_entries(i);
        if entries.is_empty() {
            continue;
        }

        let updates = propagate_row_bounds(
            &entries, &st.bounds, ct, st.b[i],
            // LP presolve passes int_mask=None; acceptance is unconditional
            // (aggressive tightening, unlike MIP presolve which must not cut off
            // integer solutions).
            None,
        )
        .ok_or(PresolveStatus::Infeasible)?;

        for (j, new_lb, new_ub) in updates {
            st.postsolve_stack.push(PostsolveStep::BoundsTightened);
            st.bounds[j] = (new_lb, new_ub);
            if (new_lb - new_ub).abs() < ZERO_TOL {
                *new_fixed += 1;
            }
        }
    }
    Ok(())
}