Struct IntegerLinearProgram 

pub struct IntegerLinearProgram {
    pub ge_ph: Polyhedron,
    pub eq_ph: Polyhedron,
    pub of: Vec<f64>,
}

Data structure for an integer linear program (ILP).

Fields

ge_ph: Polyhedron

Polyhedron with constraints on the form $ A \ge b $.

eq_ph: Polyhedron

Polyhedron with constraints on the form $ A = b $.

of: Vec<f64>

Objective function.

Implementations

impl IntegerLinearProgram

pub fn solve(&self) -> IntegerSolution

Solves a linear program with the revised simplex algorithm and produces an integer solution using the Land-Doig-Dakins algorithm.

Example:

Solve the linear program $$ \max \quad -4x_1+-5x_2 $$ $$ s.t. \quad x_1+4x_2 \geq 4 $$ $$ \qquad \ 3x_1+2x_2 \geq 6 $$ $$ \qquad \ x_1, x_2 \geq 0$$

use puanrs::solver::IntegerLinearProgram;
use puanrs::polyopt::{Polyhedron, VariableFloat};
use puanrs::linalg::Matrix;
let sol = IntegerLinearProgram {
                ge_ph: Polyhedron {
                        a: Matrix{
                            val: vec![1.0, 4.0, 3.0, 2.0],
                            nrows: 2,
                            ncols: 2
                        },
                        b: vec![4.0, 6.0],
                        variables: vec![ VariableFloat { id:0, bounds: (0.0,f64::MAX) }, VariableFloat { id: 1, bounds: (0.0,f64::MAX) }],
                        index: vec![Some(0),Some(1)],
                },
                eq_ph: Default::default(),
                of: vec![-4.0, -5.0],
            }.solve();
assert_eq!(sol.z, -13);
assert_eq!(sol.x, vec![2, 1]);
assert_eq!(sol.status_code, 5);

Trait Implementations

impl Clone for IntegerLinearProgram

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for IntegerLinearProgram

fn default() -> IntegerLinearProgram

Returns the “default value” for a type.