← 2026 Paper 2
UPSC 2026 Maths Optional Paper 2 Q4c — Step-by-Step Solution
20 marks · Section A
Simplex method (basic) · Linear Programming · asked 10× in 14 yrs · Read the full method →
Question
Solve the following linear programming problem by the Simplex method:
Maximize Z=4x1+10x2
subject to the constraints
2x1+x2≤10
2x1+5x2≤20
2x1+3x2≤18
x1,x2≥0
Obtain an alternate optimal solution, if it exists, with explanation.
Technique
All three constraints are ≤ with non-negative right-hand sides, so slack variables alone give a ready-made feasible basis — no artificial variables, no Big-M, no two-phase. Run the Simplex table; the optimum arrives after one pivot. The alternate-optimum question is then decided by a single diagnostic: at optimality a non-basic variable with net evaluation cj−zj=0 means the entering of that variable changes the vertex but not Z, so a second optimal basic feasible solution exists — pivot once more to produce it, and then report the set of optima, which is the whole segment joining the two vertices, not two isolated points. There is also a structural tell worth spotting before any tableau is written: Z=4x1+10x2=2(2x1+5x2) is exactly twice the left side of the second constraint, so Z≤40 identically, with equality precisely when that constraint is tight.
Solution
Step 0 — Notation and convention (state it; the sign of the optimality test depends on it).
I use the net evaluation row Δj=cj−zj, where zj=cBB−1aj is the “imputed cost” of column j. For a maximisation problem:
- the current basic feasible solution is optimal iff cj−zj≤0 for every j;
- if some cj−zj>0, the variable with the largest such value enters;
- the leaving variable is fixed by the minimum ratio test min{xBi/yij:yij>0}.
(A reader who prefers the zj−cj convention simply reverses every sign: optimality is then zj−cj≥0 and the entering variable is the most negative. Nothing else changes.)
Step 1 — Standard form.
Introduce slack variables s1,s2,s3≥0, one per constraint. The problem becomes
Max Z=4x1+10x2+0⋅s1+0⋅s2+0⋅s3
subject to
2x1+x2+s12x1+5x2+s22x1+3x2+s3x1,x2,s1,s2,s3=10=20=18≥0.
Since every right-hand side is non-negative, (s1,s2,s3)=(10,20,18) with x1=x2=0 is a basic feasible solution at once: the slack columns form an identity matrix. No artificial variables are needed.
Step 2 — Initial table (Table I).
| cj→ | | | 4 | 10 | 0 | 0 | 0 | |
|---|
| cB | Basis | xB | x1 | x2 | s1 | s2 | s3 | Ratio xB/yi2 |
| 0 | s1 | 10 | 2 | 1 | 1 | 0 | 0 | 10/1=10 |
| 0 | s2 | 20 | 2 | 5 | 0 | 1 | 0 | 20/5=4← |
| 0 | s3 | 18 | 2 | 3 | 0 | 0 | 1 | 18/3=6 |
| zj | Z=0 | 0 | 0 | 0 | 0 | 0 | |
| cj−zj | | 4 | ↑10 | 0 | 0 | 0 | |
cB=(0,0,0), so zj=0 for all j and cj−zj=cj.
Entering variable. c2−z2=10 is the largest positive net evaluation ⇒ x2 enters.
Leaving variable. Ratios xBi/yi2 over yi2>0: 10/1=10, 20/5=4, 18/3=6. The minimum is 4 in row 2 ⇒ s2 leaves. Pivot element y22=5.
Step 3 — Pivot 1 ⇒ Table II.
Row operations: R2→R2/5; then R1→R1−1⋅R2new, R3→R3−3⋅R2new.
| cj→ | | | 4 | 10 | 0 | 0 | 0 | |
|---|
| cB | Basis | xB | x1 | x2 | s1 | s2 | s3 | Ratio xB/yi1 |
| 0 | s1 | 6 | 8/5 | 0 | 1 | −1/5 | 0 | 6÷58=15/4← |
| 10 | x2 | 4 | 2/5 | 1 | 0 | 1/5 | 0 | 4÷52=10 |
| 0 | s3 | 6 | 4/5 | 0 | 0 | −3/5 | 1 | 6÷54=15/2 |
| zj | Z=40 | 4 | 10 | 0 | 2 | 0 | |
| cj−zj | | 0 | 0 | 0 | −2 | 0 | |
Here cB=(0,10,0) and zj=∑icBiyij; e.g. z1=0⋅58+10⋅52+0⋅54=4 and z4=10⋅51=2. The objective value is Z=cB⋅xB=0⋅6+10⋅4+0⋅6=40.
Optimality test. Every cj−zj≤0. Hence Table II is optimal:
x1=0,x2=4,s1=6, s2=0, s3=6,Zmax=40.
(All basic variables are strictly positive, so this optimal basic feasible solution is non-degenerate. That matters in Step 4.)
Step 4 — Does an alternate optimum exist? The diagnostic, stated as a rule.
Rule. At an optimal Simplex table, if some non-basic variable has net evaluation cj−zj=0, then bringing it into the basis changes the basic feasible solution but leaves Z unchanged (the objective changes by (cj−zj)θ=0, where θ is the entering value). Hence an alternate optimal basic feasible solution exists, and every convex combination of the two is optimal too. If instead cj−zj<0 for every non-basic j, the optimum is unique.
In Table II the non-basic variables are x1 and s2, with
c1−z1=0 (non-basic x1),c4−z4=−2<0 (non-basic s2).
The zero at the non-basic column x1 is exactly the signature above, so an alternate optimal solution exists. Moreover the table is non-degenerate and the entering value will be θ=15/4>0, so the pivot genuinely moves to a different vertex — it is not the degenerate false alarm in which a zero cj−zj merely relabels the same point.
Step 5 — Perform the extra pivot ⇒ Table III (the second optimal vertex).
Enter x1. Minimum ratio test (column x1, all entries positive): 6÷58=415, 4÷52=10, 6÷54=215. Minimum 415 in row 1 ⇒ s1 leaves; pivot element 58.
Row operations: R1→85R1; then R2→R2−52R1new, R3→R3−54R1new.
| cj→ | | | 4 | 10 | 0 | 0 | 0 |
|---|
| cB | Basis | xB | x1 | x2 | s1 | s2 | s3 |
| 4 | x1 | 15/4 | 1 | 0 | 5/8 | −1/8 | 0 |
| 10 | x2 | 5/2 | 0 | 1 | −1/4 | 1/4 | 0 |
| 0 | s3 | 3 | 0 | 0 | −1/2 | −1/2 | 1 |
| zj | Z=40 | 4 | 10 | 0 | 2 | 0 |
| cj−zj | | 0 | 0 | 0 | −2 | 0 |
Check of the new zj: z3=4⋅85+10⋅(−41)+0=25−25=0, so c3−z3=0−0=0; and z4=4⋅(−81)+10⋅41+0=−21+25=2, so c4−z4=−2. The objective is
Z=4⋅415+10⋅25+0⋅3=15+25=40,
unchanged, as the rule predicted. All cj−zj≤0, so this table is optimal as well. Note the mirror image of the diagnostic: now s1 is non-basic with c3−z3=0 — pivoting on it returns to Table II, confirming the two vertices are the endpoints of one optimal edge.
Second optimal basic feasible solution:
x1=415=3.75,x2=25=2.5,s1=0, s2=0, s3=3,Z=40.
Feasibility check of this point in the original constraints:
2(3.75)+2.5=10≤10 (tight), 2(3.75)+5(2.5)=7.5+12.5=20≤20 (tight), 2(3.75)+3(2.5)=7.5+7.5=15≤18 (slack 3). ✓
Step 6 — The full set of optimal solutions (this, not two points, is the answer to “obtain an alternate optimal solution”).
The optimal set of an LP is a face of the feasible polyhedron, hence convex. Both
P1=(0,4)andP2=(415,25)
are optimal with Z=40, so every convex combination of them is feasible (convexity of the feasible region) and gives
Z=4x1+10x2=λ⋅40+(1−λ)⋅40=40.
Therefore the complete solution set is the line segment
(x1,x2)=λ(0,4)+(1−λ)(415,25)=(415(1−λ),25+3λ),0≤λ≤1,
equivalently, in the more usable parametric form
x1=t,x2=4−52t,0≤t≤415,Z≡40.
(λ=1 recovers P1; λ=0 recovers P2; t=x1.) The two basic feasible solutions found by the Simplex method are precisely the two end points of this segment; the infinitely many optimal points strictly between them are non-basic (they are not vertices), which is why the Simplex method can only ever produce the endpoints.
Step 7 — The structural reason (why the optimum had to be an edge, and an independent proof that Zmax=40).
The objective is an exact multiple of the second constraint’s left-hand side:
Z=4x1+10x2=2(2x1+5x2).
Hence for every feasible point,
Z=2(2x1+5x2)≤2⋅20=40,
with equality iff 2x1+5x2=20, i.e. iff the second constraint is tight (s2=0). So:
- Zmax=40, proved directly, with no Simplex at all;
- the optimal set is exactly the feasible part of the line 2x1+5x2=20.
Determining that feasible part: on the line, x2=4−52x1, and
x2≥0⟺x1≤10;x1≥0;
2x1+x2≤10⟺2x1+4−52x1≤10⟺58x1≤6⟺x1≤415;
2x1+3x2≤18⟺2x1+12−56x1≤18⟺54x1≤6⟺x1≤215.
The binding restriction is 0≤x1≤415 — precisely the segment of Step 6. This confirms the Simplex output completely and independently, and it explains the phenomenon: the objective line is parallel to (indeed coincident with) the boundary line of constraint 2, which is the geometric signature of alternate optima. In the table language, the parallelism shows up as the zero net evaluation on a non-basic column.
Two further structural observations worth one line each:
- Constraint 3 is redundant. At all four vertices of the region cut out by 2x1+x2≤10, 2x1+5x2≤20, x≥0 — namely (0,0),(5,0),(415,25),(0,4) — we get 2x1+3x2=0,10,15,12, all ≤18; since 2x1+3x2 is linear, it is ≤18 on the whole convex hull. So 2x1+3x2≤18 removes nothing and s3>0 at every optimal point. It is a distractor constraint.
- Vertex enumeration as a cross-check. The feasible vertices and their objective values are (0,0):0, (5,0):20, (415,25):40, (0,4):40. The maximum 40 is attained at two adjacent vertices — the tie is the alternate optimum.
A sketch is optional here, and should be the first thing sacrificed. The question prescribes the Simplex method, so the tables carry the marks and the algebra of Step 7 already proves everything a picture could show — more sharply, in fact, since Z=2(2x1+5x2)≤40 is a proof and a drawing is not. If two minutes are genuinely spare after Steps 1–6, a small graph of the quadrilateral O(0,0)→A(5,0)→B(415,25)→C(0,4), with each vertex labelled by its coordinates and its Z value and with the optimal iso-profit line 4x1+10x2=40 drawn along the whole edge CB, makes the alternate optimum visible at a glance. Draw 2x1+3x2=18 too if you draw anything: its lying entirely outside the region is the redundancy claim. But do not start the graph before the second pivot is on the page.
Answer
Optimum: Zmax=40.First optimal BFS (Table II): x1=0, x2=4;s1=6, s2=0, s3=6.Alternate optimum exists because the non-basic variable x1 has c1−z1=0 at optimality.Second optimal BFS (Table III): x1=415, x2=25;s1=0, s2=0, s3=3;Z=40.Complete optimal set = the segment(x1,x2)=λ(0,4)+(1−λ)(415,25), 0≤λ≤1[i.e. x1=t, x2=4−52t, 0≤t≤415].Reason: Z=4x1+10x2=2(2x1+5x2)≤2(20)=40, equality iff 2x1+5x2=20;the objective line is coincident with the second constraint’s boundary, so the optimum is an edge, not a vertex.