For study purposes, this project implements all the mathematical models and algorithms proposed by Fischetti et al. (2018) in the following paper.
Mathematical models:
- Coverage Model (branch-and-cut-and-price)
- Arc model (branch-and-cut)
Callbacks:
- Cycle elimination constraints (separation problem)
- Exact separation
- Generalized propagation constraints (separation problem)
- Exact separation
- Heuristic separation
- Pricing problem for column generation
- Dynamic programming algorithm
In addition to the algorithms and models of the paper above, this project contains additional ideas of algorithms to solve the problem, such as:
- Branching rules
- Presolving methods
- Dual bond algorithm
- Primal heuristics
- SCIP optimization framework version 6.*
- Gurobi optimization solver version 8.1
- Lemon graph library version 1.3
cd exact-least-cost-influence/
make LPS=grb
Execution:
bin/glcip -i data/smallworld_10-8_p03.lcip -a covcg -alpha 1