Data processing device, storage medium, and data processing method

A non-transitory computer-readable storage medium storing a data processing program that causes at least one computer to execute a process, the process comprising:

• storing values of a plurality of state variables included in an Ising-type evaluation function that evaluates a solution to a combinatorial optimization problem, values of a plurality of auxiliary variables that represent whether there is violation of each of a plurality of constraint conditions of the combinatorial optimization problem, a total value of values of a plurality of constraint terms weighted by a coefficient that represents a weight of each of the plurality of constraint conditions and a value of the evaluation function, a first local field that represents a change amount of the total value when each of the values of the plurality of state variables changes, a second local field used to specify a constraint violation amount for each of the plurality of constraint conditions, and a value of the coefficient;
• repeating, at a time of searching for the solution, a search process that includes determining whether to permit a change in a value of a first state variable among the plurality of state variables based on the first local field, updating the value of the first state variable, the first local field, the second local field, and the total value when the change in the value of the first state variable is determined to be permitted, determining whether to permit a change in a value of a first auxiliary variable among the plurality of auxiliary variables based on the second local field, and updating the value of the first auxiliary variable and the first local field when the change in the value of the first auxiliary variable is determined to be permitted;
• and
• adjusting the value of the coefficient based on one selected from the total value and whether there is the violation.

A data processing method for a computer to execute a process comprising:

• storing values of a plurality of state variables included in an Ising-type evaluation function that evaluates a solution to a combinatorial optimization problem, values of a plurality of auxiliary variables that represent whether there is violation of each of a plurality of constraint conditions of the combinatorial optimization problem, a total value of values of a plurality of constraint terms weighted by a coefficient that represents a weight of each of the plurality of constraint conditions and a value of the evaluation function, a first local field that represents a change amount of the total value when each of the values of the plurality of state variables changes, a second local field used to specify a constraint violation amount for each of the plurality of constraint conditions, and a value of the coefficient;
• repeating, at a time of searching for the solution, a search process that includes determining whether to permit a change in a value of a first state variable among the plurality of state variables based on the first local field, updating the value of the first state variable, the first local field, the second local field, and the total value when the change in the value of the first state variable is determined to be permitted, determining whether to permit a change in a value of a first auxiliary variable among the plurality of auxiliary variables based on the second local field, and updating the value of the first auxiliary variable and the first local field when the change in the value of the first auxiliary variable is determined to be permitted;
• and
• adjusting the value of the coefficient based on one selected from the total value and whether there is the violation.