Solving Constraint Integer Programs

branch_leastinf.h File Reference

Detailed Description

least infeasible LP branching rule

Tobias Achterberg

The least infeasible branching rule selects a candidate variable $j$ with fractional solution value $ \hat{x}_j$ which maximizes

\[ \max \left\{ \lceil \hat{x}_j \rceil - \hat{x}_j, \hat{x}_j - \lfloor \hat{x}_j \rfloor \right\}. \]

i. e., a variable which already is closest to being integral among all branching candidates.

The least infeasible rule and many other branching rules of SCIP are explained and compared in

Tobias Achterberg
Constraint Integer Programming
PhD Thesis, Technische Universit├Ąt Berlin, 2007

Definition in file branch_leastinf.h.

#include "scip/scip.h"

Go to the source code of this file.


SCIP_RETCODE SCIPincludeBranchruleLeastinf (SCIP *scip)

Function Documentation

SCIP_RETCODE SCIPincludeBranchruleLeastinf ( SCIP scip)

creates the least infeasible LP branching rule and includes it in SCIP

scipSCIP data structure