| 摘要 |
<P>PROBLEM TO BE SOLVED: To quickly obtain a proper solution even when a solution cannot be obtained within an allowable time by formula manipulation. <P>SOLUTION: An information processing method includes the steps of: generating a problem for a quantifier elimination method from a cost function representing a relation between a parameter set and a cost; causing a first module which executes processing for the quantifier elimination method with term substitution, to execute processing for the generated problem to obtain a first processing result; when the first processing result includes data of a partial problem not allowing the term substitution, causing a second module which executes numerical analysis processing, to perform processing of minimizing the cost for the partial problem not allowing the term substitution to obtain a second processing result; when the first processing result includes a logical expression being a solution of a partial problem subjected to the term substitution, generating first data for specifying a minimum cost value from the logical expression; and generating data representing a minimum cost for the problem from the second processing result and, if the first data has been generated, the first data. <P>COPYRIGHT: (C)2013,JPO&INPIT |
