The Feasible Region

Graph every constraint as a half-plane (the line, plus the side that satisfies the inequality). The feasible region (or solution region) is the region common to all the half-planes, non-negative restrictions included. Points inside or on the boundary are feasible solutions; points outside are infeasible solutions, and the outside itself is the infeasible region.

An optimal (feasible) solution is any feasible point where the objective function attains its optimal (maximum or minimum) value.

The feasible region has infinitely many points — so testing them all is impossible. Two theorems rescue the situation:

Theorem 1: if the objective function Z=ax+byZ = ax + by has an optimal value over the feasible region RR, that optimal value occurs at a corner point (vertex) of RR.

Theorem 2: if RR is bounded, then ZZ has both a maximum and a minimum on RR, each at a corner point.

(A corner point is a point of the region where two boundary lines intersect. A region is bounded if it can be enclosed inside some circle; otherwise it is unbounded — it extends indefinitely.)

Bounded region with corner values and unbounded region needing the half plane test

Key Point: the theorems shrink an infinite search to a finite checklist — only the corners matter. The whole graphical method is bookkeeping around this one fact. For an unbounded region an optimum may not exist at all (the remark after Theorem 2), which is where the extra test below comes in.

The Corner Point Method

  1. Draw the feasible region and find every corner point — by inspection or by solving the two intersecting boundary-line equations.
  2. Evaluate ZZ at each corner. Let MM be the largest of these values and mm the smallest.
  3. Bounded region: MM is the maximum and mm the minimum. Done.
  4. Unbounded region — run the half-plane test:
  • MM is the maximum only if the open half-plane ax+by>Max + by > M has no point in common with the feasible region. Otherwise ZZ has no maximum.
  • mm is the minimum only if the open half-plane ax+by<max + by < m has no point in common with the feasible region. Otherwise ZZ has no minimum.

Two special situations

  1. Multiple optimal solutions: if two corner points give the same optimal value, then every point of the segment joining them is also optimal — the objective line is parallel to that edge of the region. Board questions phrase this as "show that the minimum occurs at more than two points."
  2. No feasible region: if the constraints contradict each other, no point satisfies them all — the problem has no feasible solution, hence no optimum of any kind.

General features worth quoting in answers

  1. The feasible region of an LPP is always a convex region.
  2. Optima occur at corners; ties extend along whole edges.

Key Point (board presentation): always tabulate — corner point in one column, ZZ-value in the other, arrow at the optimum. For unbounded regions, write the half-plane test explicitly; skipping it turns a full-marks answer into a partial one, because the smallest table entry is not automatically the minimum.

Solved Examples

Example 1: A bounded maximisation

Maximise Z=4x+yZ = 4x + y subject to x+y≤50x + y \leq 50, 3x+y≤903x + y \leq 90, x,y≥0x, y \geq 0.

Solution:

  1. Region: bounded, with corners O(0,0)O(0,0), A(30,0)A(30, 0), B(20,30)B(20, 30), C(0,50)C(0, 50) — BB from solving x+y=50x + y = 50 with 3x+y=903x + y = 90.
  2. Evaluate:
Corner Z=4x+yZ = 4x + y
(0,0)(0,0) 00
(30,0)(30,0) 120120 ← Maximum
(20,30)(20,30) 110110
(0,50)(0,50) 5050

Answer: maximum Z=120Z = 120 at (30,0)(30, 0).


Example 2: A bounded minimisation

Minimise Z=200x+500yZ = 200x + 500y subject to x+2y≥10x + 2y \geq 10, 3x+4y≤243x + 4y \leq 24, x,y≥0x, y \geq 0.

Solution:

  1. Region: bounded triangle with corners (0,5)(0, 5), (4,3)(4, 3), (0,6)(0, 6) — (4,3)(4, 3) from solving x+2y=10x + 2y = 10 with 3x+4y=243x + 4y = 24.
  2. Evaluate: Z(0,5)=2500Z(0,5) = 2500; Z(4,3)=800+1500=2300Z(4,3) = 800 + 1500 = 2300; Z(0,6)=3000Z(0,6) = 3000.

Answer: minimum Z=2300Z = 2300 at (4,3)(4, 3) — a mixed-direction constraint pair can still enclose a bounded region.


Example 3: Multiple optimal solutions

Minimise and maximise Z=3x+9yZ = 3x + 9y subject to x+3y≤60x + 3y \leq 60, x+y≥10x + y \geq 10, x≤yx \leq y, x,y≥0x, y \geq 0.

Solution:

  1. Corners: A(0,10)A(0, 10), B(5,5)B(5, 5), C(15,15)C(15, 15), D(0,20)D(0, 20).
  2. Evaluate: ZA=90Z_A = 90, ZB=60Z_B = 60 (minimum), ZC=180Z_C = 180, ZD=180Z_D = 180.
  3. The tie: the maximum 180180 occurs at both CC and DD — the objective line 3x+9y=1803x + 9y = 180 is parallel to edge CDCD (both have slope −13-\dfrac{1}{3}).

Answer: minimum 6060 at (5,5)(5, 5); maximum 180180 at every point of the segment joining (15,15)(15, 15) and (0,20)(0, 20) — infinitely many optimal solutions.


Example 4: Unbounded region, and no minimum

Determine graphically the minimum of Z=−50x+20yZ = -50x + 20y subject to 2x−y≥−52x - y \geq -5, 3x+y≥33x + y \geq 3, 2x−3y≤122x - 3y \leq 12, x,y≥0x, y \geq 0.

Solution:

  1. Corners of the (unbounded) region: (0,5)(0, 5), (0,3)(0, 3), (1,0)(1, 0), (6,0)(6, 0); values 100,60,−50,−300100, 60, -50, -300 — smallest is m=−300m = -300.
  2. Half-plane test (mandatory here): graph −50x+20y<−300-50x + 20y < -300, i.e. −5x+2y<−30-5x + 2y < -30. This open half-plane does share points with the feasible region (far out along the xx-direction).
  3. Conclude: ZZ takes values below −300-300 inside the region.

Answer: ZZ has no minimum — the table's smallest entry lied, and only the test exposed it. (The same test with −50x+20y>100-50x + 20y > 100 shows there is no maximum either.)


Example 5: No feasible region at all

Minimise Z=3x+2yZ = 3x + 2y subject to x+y≥8x + y \geq 8, 3x+5y≤153x + 5y \leq 15, x,y≥0x, y \geq 0.

Solution:

  1. Graph both constraints: x+y≥8x + y \geq 8 demands points on or above a line through (8,0)(8, 0) and (0,8)(0, 8); 3x+5y≤153x + 5y \leq 15 demands points on or below a line through (5,0)(5, 0) and (0,3)(0, 3).
  2. No overlap: the first region lies entirely beyond the second in the first quadrant.

Answer: there is no feasible region, hence no feasible solution and no minimum — contradictory constraints end the problem before any table is built.