AbstractPresent algorithms for the selection of design variables produce a single combination of design variables which results in a solution sequence of minimum difficulty. A new theory entitledsolution mappingresults in information about all optimal combinations of design variables. This theory gives detailed information about the structure of all underspecified systems of algebraic equations which do not contain persistent iteration.