Abstract: A storing unit stores, amongst coefficients, values of a coefficient group associated with one selected from multiple variable groups, which are obtained by dividing state variables of an evaluation function. A searching unit searches for a solution to an optimization problem by repeating update processing, which includes calculating, using the values of the coefficient group, a value change of the evaluation function responsive to changing the value of each state variable of the variable group and changing the value of one state variable thereof based on the value change and temperature. A processing unit calculates multiplicity indicating the iteration count in which the values of the variable group are maintained in a search using Markov chain Monte Carlo (MCMC), and causes, responsive to cumulated multiplicity exceeding a threshold, the searching unit to perform the update processing using the values of the coefficient group associated with a different variable group.

Abstract: A storage unit stores some of a plurality of coupling coefficients stored in a storage device. A processing unit takes a plurality of first state variables among a plurality of state variables as a trial target set. The processing unit performs a process of reading a plurality of first coupling coefficients corresponding to a plurality of first pairs of the first state variables belonging to the trial target set from the storage device, storing the plurality of first coupling coefficients in the storage unit, and conducting, a plurality of times, a trial on whether to update the value of any first state variable belonging to the trial target set using the plurality of first coupling coefficients. The processing unit repeats change of the trial target set and the process, so as to target all the plurality of state variables in the trials.