Linear Programming

Introduction

Linear programming problem in standard form is

min  c * x
s.t. A * x = b,
     x >= 0.

And the dual problem is

max r * b
s.t. r * A <= c

In the integer programming, the variables must be integers.

Artificial Variable

One can add artificial variables to convert inequaltiy to equality.

e.g. A * x <= b iff A * x + s = b, s >= 0.

Basic Solution

Let A = [B D] where B is a basis for column space, if xb = b / B and xb >= 0, then the basic solution xb is feasible. And the basic solution is actually x = [xb 0].

Let r = cb \ B, where c = [cb cd], if r * D <= cd then xb is dual feasible.

If xb is both primal and dual feasible, then it is optimum.

Two Phrase Method

Solve the artificial problem for a basic solution

min  1 * s
s.t. A * x + s = b,
     x, s >= 0

If the optimum value is zero, then the problem is feasible.

Algorithm

simplex.py

revised simplex
dual simplex

decomposition.py

Dantzig Wolfe Decomposition

bnb

branch_cut.py

branch and bound
Gomory cut

LU

pf_update.py

product form update

ft_update.py

FT-like update

dense.py

LU factorization for dense matrices

Graph

dynamic.py

0-1 knapsack problem

network_simplex.py

minimum cost flow problem

transport.py

transportation problem

Modeling

sudoku.py

Sudoku as 0-1 linear programming

Dependency

numpy, scipy.

Reference

Books

Bertsekas D. P. "Network Optimization: Continuous and Discrete Models". 1998.
Duff I. S., Erisman A. M., Reid J. K. "Direct Methods for Sparse Matrices". 2017.
Luenberger D. G., Ye Yinyu. "Linear and Nonlinear Programming". 2008.
Pan Pingqi. "Linear Programming Computation". 2014. (中文版于2012年出版)
刘红英, 夏勇等. "数学规划基础". 2012.

Papers

Huangfu Q , Hall J A J . Novel update techniques for the revised simplex method[J]. Computational Optimization & Applications, 2015, 60(3):587-608.

Further

H.D. Mittelmann, Decision Tree for Optimization Software, http://plato.asu.edu/guide.html.
Coin-OR https://www.coin-or.org/
cvxopt http://cvxopt.org/
MIPLIB http://miplib.zib.de/
MiniZinc http://www.minizinc.org/
NEOS https://neos-server.org/neos/
SCIP http://scip.zib.de/
LEMON https://lemon.cs.elte.hu/trac/lemon

Lyxn/linprog

ErrorLooks like something went wrong!

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages 0

Languages

Error
Looks like something went wrong!

Packages