【すらっくへんすう (slack variable)】
不等式において両辺の差, すなわち余裕分を表す変数のこと. スラック変数 y {\displaystyle y\,} を用いると, 不等式制約 g ( x ) ≤ b {\displaystyle g(x)\leq b\,} を等式制約 g ( x ) + y = b {\displaystyle g(x)+y=b\,} と非負条件 y ≥ 0 {\displaystyle y\geq 0\,} によって表すことができる.