CPC G06N 7/08 (2013.01) [G06F 7/50 (2013.01); G06F 7/535 (2013.01); G06F 17/11 (2013.01); G06N 10/80 (2022.01)] | 19 Claims |
1. An information processing system comprising:
an information processing device configured to:
generate logical expression data from constraint data including a constraint of a combinatorial optimization problem expressed in a formal language;
generate a penalty term data including a penalty term having a binary variable parameter by converting the logical expression data; and
generate objective function data which includes an objective function of the combinatorial optimization problem synthesized with the penalty term; and
a PUBO solver comprising a controller, a processing circuit, and a communication circuit, wherein:
the communication circuit is configured to receive a control signal transmitted from the information processing device;
the controller is configured to control the processing circuit based on the received control signal, causing the PUBO solver to calculate a solution of an Ising Model by using the binary variable parameter in the penalty term data or the objective function data as spins, and
the controller to transmit data including the solution to the information processing device via the communication circuit,
wherein
a first storage is configured to store first objective function data which includes an objective function of the combinatorial optimization problem, and
the information processing device is configured to generate second objective function data which includes the objective function synthesized with the penalty term.
|