US 12,001,812 B2
Ising machine data input apparatus and method of inputting data into an Ising machine
Alberto Moraglio, London (GB); and Serban Georgescu, London (GB)
Assigned to FUJITSU LIMITED, Kawasaki (JP)
Filed by FUJITSU LIMITED, Kawasaki (JP)
Filed on Mar. 27, 2020, as Appl. No. 16/832,674.
Claims priority of application No. 19181833 (EP), filed on Jun. 21, 2019.
Prior Publication US 2020/0401374 A1, Dec. 24, 2020
Int. Cl. G06F 7/548 (2006.01); G06F 17/18 (2006.01)
CPC G06F 7/548 (2013.01) [G06F 17/18 (2013.01)] 14 Claims
OG exemplary drawing
 
1. An Ising machine data input apparatus to communicate with a computer operating as an Ising machine, the Ising machine data input apparatus, comprising:
an inputter to receive an input expression representing an optimization problem, formulation of the input expression received by the inputter being in a format unsuitable for inputting into the computer operating as the Ising machine;
a converter to carry out a conversion process to convert the input expression, which is received through the inputter, from the format unsuitable for inputting into the computer operating as the Ising machine to a format suitable for inputting into the computer operating as the Ising machine, the converter including:
a dataset creator to receive the input expression from the inputter and create a dataset of input-output data pairs on basis of an evaluation of the formulation of the input expression, whereby a set number of data points are identified to create the dataset of input-output pairs to evolve the optimization problem as initially represented in the input expression received through the inputter into a form in the format suitable for inputting into the computer operating as the Ising machine,
a database to store the dataset of input-output data pairs created by the dataset creator, including a first subset of the dataset which forms a training dataset and a second subset of the dataset which forms a test data set, the second subset of the dataset being different from the first subset of the dataset,
a fitter to obtain the first subset of the dataset stored in the database and derive a mathematical expression by fitting the first subset of the dataset obtained from the database to coefficients of an exemplary mathematical expression in the format suitable for inputting into the Ising machine, and
a tester to compare an output value produced by the formulation of the input expression received and an output value produced by input-output data pairs of the test data set formed by the second subset to thereby assess whether an aggregated difference value between the formulation of the input expression received and the derived mathematical expression meets a preset quality threshold; and
a validator to output, by the Ising machine data input apparatus, the derived mathematical expression, as the optimization problem in the format suitable for input to the computer operating as the Ising machine, when the derived mathematical expression is assessed as meeting the preset quality threshold, and cause the converter to repeat the conversion process when the derived mathematical expression is assessed as being below the preset quality threshold;
wherein the converter repeats the conversion process using a different input expression representing the optimization problem until the aggregated difference value between the formulation of the input expression and the derived mathematical expression is below the preset quality threshold, the conversion process to allow a human user to input the different input expression.