Information processing system, solver device, information processing method, computer program product, and device

A solver device used by an information processing device that solves a combinatorial optimization problem, wherein

• the information processing device outputs coefficient information representing a plurality of coefficients in a cost function including the plurality of coefficients and N decision variables, where N is an integer of two or more,
• the solver device calculates ground state information representing values of the N decision variables by executing a solving process for minimizing the cost function based on the coefficient information,
• a first coefficient among the plurality of coefficients is expressed by a predetermined first data type,
• the coefficient information including, instead of the first coefficient, a first identification value expressed by a second data type having a smaller data size than the first data type, and
• the solver device:
• stores restoration information indicating a first restoration value corresponding to the first identification value, the first restoration value being expressed by the first data type;
• and
• acquires the first identification value included in the coefficient information and uses the first restoration value corresponding to the first identification value represented by the restoration information as the first coefficient when executing an operation on the first coefficient among the plurality of coefficients.

An information processing method of solving a combinatorial optimization problem by an information processing device and a solver device, the method comprising:

• by the information processing device, outputting coefficient information representing a plurality of coefficients in a cost function including the plurality of coefficients and N decision variables, where N is an integer of two or more;
• by the solver device, calculating the ground state information representing values of the N decision variables by executing a solving process for minimizing the cost function based on the coefficient information,
• a first coefficient among the plurality of coefficients being expressed by a predetermined first data type,
• the coefficient information including, instead of the first coefficient, a first identification value expressed by a second data type having a smaller data size than the first data type;
• and
• by the solver device,
• storing restoration information indicating a first restoration value corresponding to the first identification value, the first restoration value being expressed by the first data type, and
• acquiring the first identification value included in the coefficient information and using the first restoration value corresponding to the first identification value represented by the restoration information as the first coefficient when executing an operation on the first coefficient among the plurality of coefficients.

A computer program product comprising a computer-readable medium including programmed instructions, the instructions causes a computer to function as a solver device used in an information processing device that solves a combinatorial optimization problem, wherein

• the information processing device outputs coefficient information representing a plurality of coefficients in a cost function including the plurality of coefficients and N decision variables, where N is an integer of two or more,
• the solver device calculates the ground state information representing values of the N decision variables by executing a solving process for minimizing the cost function based on the coefficient information,
• a first coefficient among the plurality of coefficients is expressed by a predetermined first data type,
• the coefficient information includes, instead of the first coefficient, a first identification value expressed by a second data type having a smaller data size than the first data type,
• the instructions cause the computer to operate to:
• store restoration information indicating a first restoration value corresponding to the first identification value, the first restoration value being expressed by the first data type;
• and
• acquire the first identification value included in the coefficient information and use the first restoration value corresponding to the first identification value represented by the restoration information as the first coefficient when executing an operation on the first coefficient among the plurality of coefficients.

A computer program product comprising a non-transitory computer-readable recording medium on which circuit information described in a hardware description language and representing a configuration of a circuit is recorded, the circuit information causing the circuit to function as a solver device used by an information processing device that solves a combinatorial optimization problem, wherein

• the information processing device outputs coefficient information representing a plurality of coefficients in a cost function including the plurality of coefficients and N decision variables, where N is an integer of two or more,
• the solver device calculates ground state information representing values of the N decision variables by executing a solving process for minimizing the cost function based on the coefficient information,
• a first coefficient among the plurality of coefficients is expressed by a predetermined first data type,
• the coefficient information includes, instead of the first coefficient, a first identification value expressed by a second data type having a smaller data size than the first data type, and
• the solver device:
• stores restoration information indicating a first restoration value corresponding to the first identification value, the first restoration value being expressed by the first data type;
• and
• acquires the first identification value included in the coefficient information and uses the first restoration value corresponding to the first identification value represented by the restoration information as the first coefficient when executing an operation on the first coefficient among the plurality of coefficients.

A computer program product comprising a non-transitory computer-readable recording medium on which circuit information to be written in a reconfigurable semiconductor device for operating the reconfigurable semiconductor device is recorded, the circuit information causing the reconfigurable semiconductor device to function as a solver device used by an information processing device that solves a combinatorial optimization problem, wherein

• the information processing device outputs coefficient information representing a plurality of coefficients in a cost function including the plurality of coefficients and N decision variables, where N is an integer of two or more,
• the solver device calculates ground state information representing values of the N decision variables by executing a solving process for minimizing the cost function based on the coefficient information,
• a first coefficient among the plurality of coefficients is expressed by a predetermined first data type,
• the coefficient information includes, instead of the first coefficient, a first identification value expressed by a second data type having a smaller data size than the first data type, and
• the solver device:
• stores restoration information indicating a first restoration value corresponding to the first identification value, the first restoration value being expressed by the first data type;
• and
• acquires the first identification value included in the coefficient information and uses the first restoration value corresponding to the first identification value represented by the restoration information as the first coefficient when executing an operation on the first coefficient among the plurality of coefficients.