Forcing substructure

From Glossary

Jump to: navigation, search

A subsystem of the constraints and the variables in them that forces some value. For example, the following system is a forcing substructure because each variable, which is required to be non-negative, is forced to be zero.

LaTeX: 
\begin{array}{rcl}
-x -y & = & 0 \\
y - z & = & 0 \\
y & \ge & 0 \\
z & \ge & 0.      
\end{array}


Views
Personal tools