Math 2.0

Operations research, mathematical programming Definition

Linear programming

Builds on Matrix

Definition

Let AA be a real m×nm \times n matrix, let b∈ℝmb \in \R^m and let c∈ℝnc \in \R^n. For vectors u,w∈ℝmu, w \in \R^m, write u≤wu \le w when ui≤wiu_i \le w_i for every ii. The linear program given by (A,b,c)(A, b, c) is the problem maximize cTxsubject toAx≤b,x∈ℝn.\text{maximize } c^T x \quad \text{subject to} \quad A x \le b, \quad x \in \R^n. A point xx with Ax≤bA x \le b is a feasible solution, and the set of them is the feasible region. A feasible solution x∗x^* is optimal if cTx∗≥cTxc^T x^* \ge c^T x for every feasible solution xx, and then cTx∗c^T x^* is the optimal value. Linear programming is the study and solution of linear programs.

Remarks

Example: maximize x+yx + y subject to x≥0x \ge 0, y≥0y \ge 0, x+2y≤4x + 2y \le 4 and 3x+y≤63x + y \le 6. The feasible region is the quadrilateral with vertices (0,0)(0,0), (2,0)(2,0), (8/5,6/5)(8/5, 6/5) and (0,2)(0,2). The objective takes the values 00, 22, 14/514/5 and 22 at these vertices, so the optimal value is 14/514/5, attained at (8/5,6/5)(8/5, 6/5).

Non-example: maximizing x+yx + y subject to x2+y2≤1x^2 + y^2 \le 1 is not a linear program, because the constraint is not a linear inequality.

Every linear program is of exactly one of three kinds: infeasible, unbounded (the objective is not bounded above on the feasible region), or with an optimal solution. Other standard forms, such as maximizing cTxc^T x subject to Ax=bA x = b and x≥0x \ge 0, are equivalent to this one after adding slack variables or splitting free variables. The dual of the program above is to minimize bTyb^T y subject to ATy=cA^T y = c and y≥0y \ge 0. If one of the two programs has an optimal solution, so does the other, with the same optimal value.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Matrix concept
  2. Linear programming definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Linear_programming
About this page
Tag32CP806EHX
URIm2://32CP806EHX
Kinddefinition
WritingW0 stub
MSC90C05, 52B55
DefinesLinear programming
UsesMatrix

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.