Artificial Variable¶

Definition¶

An artificial variable $R_i\ge0$ is introduced temporarily into an equality or a converted $\ge$ constraint to construct an initial basis. It is added with coefficient $+1$ and initially takes the nonnegative right-hand-side value while the other variables in that row are zero.

Interpretation¶

An artificial variable is a temporary device for starting the simplex method. It gives a constraint row a ready starting value when neither a slack nor a surplus variable can provide one. It has no practical interpretation and must be driven to zero before the original equations hold.

The figure shows why the surplus alone is not enough. After subtracting $S_1$, setting $x_A=x_B=0$ in the first row would give $S_1=-6$$-6$, which violates $S_1\ge0$$0$, and the equation $3x_A+x_B=6$ has no added variable at all. Adding $R_1$ and $R_2$ with coefficient $+1$ gives both rows a nonnegative starting value.

A solution with $R_1>0$ does not satisfy the original row: it gives $x_A+2x_B-S_1=6-R_1<6$$6$. The original constraints hold exactly when every artificial variable is zero. This is why Phase I of the two-phase method pushes their sum down to zero, and why a positive minimum shows that the original problem is infeasible. A $\le$ row with a nonnegative right-hand side needs no artificial variable, because its slack already starts at the right-hand side.

Unlike a slack or surplus, which measures a real amount and may stay positive in the final solution, an artificial variable measures nothing and must be zero in any solution of the original problem.

Key Results¶

• They differ from slack and surplus variables, which record genuine inequalities.
• The first phase of the two-phase method maximizes the negative sum of artificial variables.
• The original constraints are recovered when every artificial variable is zero.

Examples¶

In the figure, setting $x_A=x_B=S_1=0$ gives the initial artificial basis $R_1=R_2=6$$6$. Minimizing $R_1+R_2$ is equivalent to maximizing its negative, as used in Phase I.

• $2x_1+3x_2=6$ becomes $2x_1+3x_2+R_1=6$$6$.
• $3x_1-x_2\ge4$ becomes $3x_1-x_2-S_1+R_2=4$$4$.

Prerequisites¶

• Augmented Form
• Surplus Variable

Related Concepts¶

• Two-Phase Method
• Infeasible Linear Program

Sources¶

• OR Modelling · Week 2

Last updated: 20 October 2026 03:02