27 research outputs found
Taming a non-convex landscape with dynamical long-range order: memcomputing Ising benchmarks
Recent work on quantum annealing has emphasized the role of collective
behavior in solving optimization problems. By enabling transitions of clusters
of variables, such solvers are able to navigate their state space and locate
solutions more efficiently despite having only local connections between
elements. However, collective behavior is not exclusive to quantum annealers,
and classical solvers that display collective dynamics should also possess an
advantage in navigating a non-convex landscape. Here, we give evidence that a
benchmark derived from quantum annealing studies is solvable in polynomial time
using digital memcomputing machines, which utilize a collection of dynamical
components with memory to represent the structure of the underlying
optimization problem. To illustrate the role of memory and clarify the
structure of these solvers we propose a simple model of these machines that
demonstrates the emergence of long-range order. This model, when applied to
finding the ground state of the Ising frustrated-loop benchmarks, undergoes a
transient phase of avalanches which can span the entire lattice and
demonstrates a connection between long-range behavior and their probability of
success. These results establish the advantages of computational approaches
based on collective dynamics of continuous dynamical systems
Critical branching processes in digital memcomputing machines
Memcomputing is a novel computing paradigm that employs time non-locality
(memory) to solve combinatorial optimization problems. It can be realized in
practice by means of non-linear dynamical systems whose point attractors
represent the solutions of the original problem. It has been previously shown
that during the solution search digital memcomputing machines go through a
transient phase of avalanches (instantons) that promote dynamical long-range
order. By employing mean-field arguments we predict that the distribution of
the avalanche sizes follows a Borel distribution typical of critical branching
processes with exponent . We corroborate this analysis by solving
various random 3-SAT instances of the Boolean satisfiability problem. The
numerical results indicate a power-law distribution with exponent , in very good agreement with the mean-field analysis. This indicates
that memcomputing machines self-tune to a critical state in which avalanches
are characterized by a branching process, and that this state persists across
the majority of their evolution.Comment: 5 pages, 3 figure
MemComputing Integer Linear Programming
Integer linear programming (ILP) encompasses a very important class of
optimization problems that are of great interest to both academia and industry.
Several algorithms are available that attempt to explore the solution space of
this class efficiently, while requiring a reasonable compute time. However,
although these algorithms have reached various degrees of success over the
years, they still face considerable challenges when confronted with
particularly hard problem instances, such as those of the MIPLIB 2010 library.
In this work we propose a radically different non-algorithmic approach to ILP
based on a novel physics-inspired computing paradigm: Memcomputing. This
paradigm is based on digital (hence scalable) machines represented by
appropriate electrical circuits with memory. These machines can be either built
in hardware or, as we do here, their equations of motion can be efficiently
simulated on our traditional computers. We first describe a new circuit
architecture of memcomputing machines specifically designed to solve for the
linear inequalities representing a general ILP problem. We call these
self-organizing algebraic circuits, since they self-organize dynamically to
satisfy the correct (algebraic) linear inequalities. We then show simulations
of these machines using MATLAB running on a single core of a Xeon processor for
several ILP benchmark problems taken from the MIPLIB 2010 library, and compare
our results against a renowned commercial solver. We show that our approach is
very efficient when dealing with these hard problems. In particular, we find
within minutes feasible solutions for one of these hard problems (f2000 from
MIPLIB 2010) whose feasibility, to the best of our knowledge, has remained
unknown for the past eight years
Hardware implementation of digital memcomputing on small-size FPGAs
Memcomputing is a novel computing paradigm beyond the von-Neumann one. Its
digital version is designed for the efficient solution of combinatorial
optimization problems, which emerge in various fields of science and
technology. Previously, the performance of digital memcomputing machines (DMMs)
was demonstrated using software simulations of their ordinary differential
equations. Here, we present the first hardware realization of a DMM algorithm
on a low-cost FPGA board. In this demonstration, we have implemented a Boolean
satisfiability problem solver. To optimize the use of hardware resources, the
algorithm was partially parallelized. The scalability of the present
implementation is explored and our FPGA-based results are compared to those
obtained using a python code running on a traditional (von-Neumann) computer,
showing one to two orders of magnitude speed-up in time to solution. This
initial small-scale implementation is projected to state-of-the-art FPGA boards
anticipating further advantages of the hardware realization of DMMs over their
software emulation