Abstract: An ising solver system that searches an optimal route of a vehicle from plural routes passing through plural locations. In the ising solver system, the search of the optimal route uses a Hamiltonian. The Hamiltonian includes an equation representing an interaction between Quadratic Unconstrained Binary Optimization (QUBO) variables depending on a relation between a departure location and an arrival location or capacitated variable of the ising solver. The capacitated variable corresponds to one of the QUOBO variables and includes a variable constraint, and the location-to-location travel step number corresponds to an accumulated movement time of the vehicle.

Abstract: In an ising solver system, change of a capacitated variable in an ising solver is able to be described by introducing an interaction between QUBO variables depending on a relation between a departure point of a first city among multiple cities and an arrival point of a second city among the multiple cities, and a concept of an inter-city travel step number for travel between the multiple cities is expressed by describing the change.