SOLUTION SEARCH SYSTEM AND METHOD AND SOLUTION SEARCH PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a solution search system capable of quickly and efficiently solving an SAT(Satisfiability) problem.SOLUTION: The solution search system includes: a plurality of data generation units 11 for outputting data having fluctuation; a data conversion part 12 for reading data output from the data generation unit 11, and for converting the data into information; an output adjustment part 14 for adjusting the output of the data by transmitting an output adjustment signal to any of those data generation units; and a feedback control part 13 for controlling the transmission of the output adjustment signal by the output adjustment part 14 on the basis of the information converted by the data conversion part 12 and preliminarily input search problem information. The feedback control part 13 displays a solution to the search problem information on the basis of information related to the output data from the data generation unit 11 finally converted by the data conversion part 12 via the repetition of the transmission control of the output adjustment signal.