Lightsolver challenges a leading deep learning solver for Max-2-SAT problems
Quantum Physics
2023-03-14 v2 Machine Learning
Abstract
Maximum 2-satisfiability (MAX-2-SAT) is a type of combinatorial decision problem that is known to be NP-hard. In this paper, we compare LightSolver's quantum-inspired algorithm to a leading deep-learning solver for the MAX-2-SAT problem. Experiments on benchmark data sets show that LightSolver achieves significantly smaller time-to-optimal-solution compared to a state-of-the-art deep-learning algorithm, where the gain in performance tends to increase with the problem size.
Cite
@article{arxiv.2302.06926,
title = {Lightsolver challenges a leading deep learning solver for Max-2-SAT problems},
author = {Hod Wirzberger and Assaf Kalinski and Idan Meirzada and Harel Primack and Yaniv Romano and Chene Tradonsky and Ruti Ben Shlomi},
journal= {arXiv preprint arXiv:2302.06926},
year = {2023}
}