← 2018 Paper 2

UPSC 2018 Maths Optional Paper 2 Q3c — Step-by-Step Solution

15 marks · Section A

LPP: standard form; basic, basic feasible, optimal solutions · Linear Programming · asked 6× in 13 yrs · Read the full method →

Question

How many basic solutions are there in the following linearly independent set of equations? Find all of them.

2x1x2+3x3+x4=64x12x2x3+2x4=10.\begin{aligned}2x_1-x_2+3x_3+x_4&=6\\ 4x_1-2x_2-x_3+2x_4&=10.\end{aligned}

Technique

Basic solutions == non-singular m×mm\times m column selections; (nm)\binom{n}{m} candidates minus the singular ones; solve each 2×22\times2 system.

Solution

We have m=2m=2 equations in n=4n=4 unknowns. A basic solution is obtained by choosing m=2m=2 variables as basic (the rest set to 00) such that the 2×22\times2 coefficient submatrix (the basis matrix BB) is non-singular, then solving BxB=bB\,x_B=b.

Step 1 — Count the candidate selections

The number of ways to choose 22 basic variables out of 44 is

(42)=6.\binom{4}{2}=6.

But a selection yields a (unique) basic solution only if the corresponding 2×22\times2 submatrix is invertible. The coefficient matrix and RHS are

A=(21314212),b=(610).A=\begin{pmatrix}2&-1&3&1\\4&-2&-1&2\end{pmatrix},\qquad b=\begin{pmatrix}6\\10\end{pmatrix}.

rank(A)=2\operatorname{rank}(A)=2 (rows are independent), confirming the system is “linearly independent” as stated.

Step 2 — Identify which 2×22\times2 submatrices are singular

Note the columns: C1=(24), C2=(12), C3=(31), C4=(12)C_1=\binom{2}{4},\ C_2=\binom{-1}{-2},\ C_3=\binom{3}{-1},\ C_4=\binom{1}{2}. The columns C1,C2,C4C_1,C_2,C_4 are all proportional to (12)\binom12:

C1=2(12),C2=(12),C4=(12).C_1=2\binom12,\quad C_2=-\binom12,\quad C_4=\binom12.

Any pair chosen entirely from {C1,C2,C4}\{C_1,C_2,C_4\} has determinant 00 (parallel columns). Those pairs are

{C1,C2}, {C1,C4}, {C2,C4}  3 singularno basic solution.\{C_1,C_2\},\ \{C_1,C_4\},\ \{C_2,C_4\}\ \Rightarrow\ \text{3 singular} \Rightarrow\text{no basic solution.}

The remaining 33 pairs each contain C3C_3 (which is not parallel to (12)\binom12), so each is non-singular and gives exactly one basic solution:

{C1,C3}={x1,x3},{C2,C3}={x2,x3},{C3,C4}={x3,x4}.\{C_1,C_3\}=\{x_1,x_3\},\quad \{C_2,C_3\}=\{x_2,x_3\},\quad \{C_3,C_4\}=\{x_3,x_4\}. Number of basic solutions=3.\boxed{\text{Number of basic solutions}=3.}

Step 3 — Compute the three basic solutions

(a) Basic {x1,x3}\{x_1,x_3\}, set x2=x4=0x_2=x_4=0:

2x1+3x3=64x1x3=10.\begin{aligned}2x_1+3x_3&=6\\4x_1-x_3&=10.\end{aligned}

From the pair: multiply the second by 33: 12x13x3=3012x_1-3x_3=30; add to the first: 14x1=36x1=18714x_1=36\Rightarrow x_1=\tfrac{18}{7}. Then x3=4x110=72710=27x_3=4x_1-10=\tfrac{72}{7}-10=\tfrac{2}{7}.

(x1,x2,x3,x4)=(187,0,27,0)(2.571,0,0.286,0).Feasible (0).\Big(x_1,x_2,x_3,x_4\Big)=\Big(\tfrac{18}{7},\,0,\,\tfrac{2}{7},\,0\Big)\approx(2.571,0,0.286,0).\quad\textbf{Feasible }(\ge0).

(b) Basic {x2,x3}\{x_2,x_3\}, set x1=x4=0x_1=x_4=0:

x2+3x3=62x2x3=10.\begin{aligned}-x_2+3x_3&=6\\-2x_2-x_3&=10.\end{aligned}

From the first x2=3x36x_2=3x_3-6; substitute: 2(3x36)x3=107x3+12=10x3=27-2(3x_3-6)-x_3=10\Rightarrow -7x_3+12=10\Rightarrow x_3=\tfrac{2}{7}, then x2=3276=367x_2=3\cdot\tfrac27-6=-\tfrac{36}{7}.

(0,367,27,0)(0,5.143,0.286,0).Infeasible (x2<0).\Big(0,\,-\tfrac{36}{7},\,\tfrac{2}{7},\,0\Big)\approx(0,-5.143,0.286,0).\quad\textbf{Infeasible }(x_2<0).

(c) Basic {x3,x4}\{x_3,x_4\}, set x1=x2=0x_1=x_2=0:

3x3+x4=6x3+2x4=10.\begin{aligned}3x_3+x_4&=6\\-x_3+2x_4&=10.\end{aligned}

From the first x4=63x3x_4=6-3x_3; substitute: x3+2(63x3)=107x3+12=10x3=27-x_3+2(6-3x_3)=10\Rightarrow -7x_3+12=10\Rightarrow x_3=\tfrac27, then x4=667=367x_4=6-\tfrac67=\tfrac{36}{7}.

(0,0,27,367)(0,0,0.286,5.143).Feasible (0).\Big(0,\,0,\,\tfrac{2}{7},\,\tfrac{36}{7}\Big)\approx(0,0,0.286,5.143).\quad\textbf{Feasible }(\ge0).

Summary

Answer

  Basis {x1,x3}:(187,0,27,0)(basic feasible)Basis {x2,x3}:(0,367,27,0)(basic, infeasible)Basis {x3,x4}:(0,0,27,367)(basic feasible)  \boxed{\; \begin{array}{llc} \text{Basis }\{x_1,x_3\}:&\big(\tfrac{18}{7},0,\tfrac{2}{7},0\big)&\text{(basic feasible)}\\[3pt] \text{Basis }\{x_2,x_3\}:&\big(0,-\tfrac{36}{7},\tfrac{2}{7},0\big)&\text{(basic, infeasible)}\\[3pt] \text{Basis }\{x_3,x_4\}:&\big(0,0,\tfrac{2}{7},\tfrac{36}{7}\big)&\text{(basic feasible)} \end{array}\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.