| 摘要 |
The disclosed method includes: generating a problem for a quantifier elimination (QE) method from a cost function representing a relationship between a parameter set and a cost; executing, by a module that executes a processing for the QE method by term substitution, a processing for the problem, to obtain a first processing result; when the first processing result includes a first partial problem for which the term substitution is impossible, executing, by a module that execute a numerical analysis processing, a processing to minimize the cost for the first partial problem, to obtain a second processing result; when the first processing result includes a logical expression as a solution of a second partial problem for which the term substitution has been completed, generating data to identify a minimum cost value from the logical expression; and generating a minimum cost for the problem from at least the second processing result.
|
