Patent ID: 8606736

Claim:
A computer-readable, non-transitory medium storing a program for causing a computer to execute a process, the process comprising: causing a cylindrical algebraic decomposition processing unit that carries out a projection processing to carry out the projection processing for a first expression that appears in a quantifier elimination problem equivalent to an optimization problem including a plurality of objective functions and to generate second expressions that are projection factors of the first expression; obtaining data of the generated second expressions from the cylindrical algebraic decomposition processing unit; first calculating a plurality of sets of values of the plurality of objective functions by generating a plurality of value sets of variables in the plurality of objective functions and substituting the generated plurality of value sets of the variables into the plurality of objective functions; extracting points including non-dominated solutions in a space mapped by values of the plurality of objective functions, from a plurality of points corresponding to the plurality of sets of values; second calculating, for each of the second expressions, an evaluation value concerning a distance between a corresponding second expression and each of the extracted points; and identifying a second expression whose evaluation value is minimum.