(EN) A solution accuracy guaranteeing annealing calculation device 20 comprises a first solving means 21 that solves a combinatorial optimization problem with an annealing method and a second solving means 22 that solves a relaxation problem which is a problem generated by relaxing a constraint condition imposed on the combinatorial optimization problem, wherein the second solving means 22 calculates a lower bound of minimization in a minimization problem by solving the relaxation problem generated from the combinatorial optimization problem in the case where the combinatorial optimization problem is a minimization problem, and calculates an upper bound of maximization in a maximization problem by solving the relaxation problem generated from the combinatorial optimization problem in the case where the combinatorial optimization problem is a maximization problem.
(FR) L'invention concerne une précision de solution garantissant un dispositif de calcul de recuit (20), laquelle comprend un premier moyen de résolution (21) qui résout un problème d'optimisation combinatoire au moyen d'un procédé de recuit et un second moyen de résolution (22) qui résout un problème de relâchement qui est un problème généré en relâchant une condition de contrainte imposée au problème d'optimisation combinatoire, le second moyen de résolution (22) calculant une limite inférieure de minimisation dans un problème de minimisation en résolvant le problème de relaxation généré à partir du problème d'optimisation combinatoire dans le cas dans lequel le problème d'optimisation combinatoire est un problème de minimisation, et calculant une limite supérieure de maximisation dans un problème de maximisation en résolvant le problème de relaxation généré à partir du problème d'optimisation combinatoire dans le cas dans lequel le problème d'optimisation combinatoire est un problème de maximisation.
(JA) 解精度保証アニーリング計算装置２０は、組合せ最適化問題をアニーリング方式で求解する第１求解手段２１と、組合せ最適化問題に課されている制約条件が緩和されることによって生成された問題である緩和問題を求解する第２求解手段２２とを備え、第２求解手段２２は、組合せ最適化問題が最小化問題である場合には組合せ最適化問題から生成された緩和問題を求解することによって最小化問題における最小化対象の下界を算出し、組合せ最適化問題が最大化問題である場合には組合せ最適化問題から生成された緩和問題を求解することによって最大化問題における最大化対象の上界を算出する。
