Abstract

While Boolean logic has been the backbone of digital information processing, there exist classes of computationally hard problems wherein this paradigm is fundamentally inefficient. Vertex coloring of graphs, belonging to the class of combinatorial optimization, represents one such problem. It is well studied for its applications in data sciences, life sciences, social sciences and technology, and hence, motivates alternate, more efficient non-Boolean pathways towards its solution. Here we demonstrate a coupled relaxation oscillator based dynamical system that exploits insulator-metal transition in Vanadium Dioxide (VO2) to efficiently solve vertex coloring of graphs. Pairwise coupled VO2 oscillator circuits have been analyzed before for basic computing operations, but using complex networks of VO2 oscillators, or any other oscillators, for more complex tasks have been challenging in theory as well as in experiments. The proposed VO2 oscillator network harnesses the natural analogue between optimization problems and energy minimization processes in highly parallel, interconnected dynamical systems to approximate optimal coloring of graphs. We further indicate a fundamental connection between spectral properties of linear dynamical systems and spectral algorithms for graph coloring. Our work not only elucidates a physics-based computing approach but also presents tantalizing opportunities for building customized analog co-processors for solving hard problems efficiently.

Highlights

  • While Boolean logic has been the backbone of digital information processing, there exist classes of computationally hard problems wherein this paradigm is fundamentally inefficient

  • Processing is distributed in all parts of the machine; memory and processors are integrated; clear distinguishable atomic instructions are replaced by continuous time dynamics; and information is encoded in physically meaningful quantities instead of their symbolic interpretations

  • We report experimental evidence and the corresponding theoretical foundation for harnessing the continuous time dynamics of a system of coupled relaxation oscillators to solve vertex coloring of a random graphs, a combinatorial optimization problem of large-scale importance

Read more

Summary

Results

Minimum Graph Coloring Problem and its reformulation. The objective of graph coloring or vertex coloring is to assign one color (out of total k colors) to each vertex of an undirected graph such that no two adjacent vertices receive the same color. We empirically find properties 1–3 to be true for complete k-partite graphs which are the densest k-partite graphs (see Supplementary Section 5 for an analytical discussion), and considering sparse graphs as perturbations of complete partite graphs, we can say that vertex color-sorting using the coupled relaxation oscillator circuit becomes less optimal as graphs become sparse. This is known to be true for spectral and other coloring algorithms as well that k-colorable dense graphs are easier to color than sparser ones. Graph huck myciel[3] myciel[4] myciel[5] myciel[6] david queen5_5 queen6_6 queen7_7 queen8_8 DSJC125.1 DSJC125.5

Coupled Oscillator Circuit
Methods
Author Contributions
Additional Information
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call