Condensed Matter > Disordered Systems and Neural Networks
[Submitted on 11 Sep 2022 (this version), latest version 25 May 2023 (v2)]
Title:Hard Optimization Problems have Soft Edges
View PDFAbstract:Finding a Maximum Clique is a classic property test from graph theory; find any one of the largest complete subgraphs in an Erd{ö}s-R{é}nyi $G(N,p)$ random graph. It is the simplest of many such problems in which algorithms requiring only a small power of $N$ steps cannot reach solutions which probabilistic arguments show must exist, exposing an inherently "hard" phase within the solution space of the problem. Such "hard" phases are seen in many NP-Complete problems, in the limit when $N \to \infty$. But optimization problems arise and must be solved at finite N. We use this simplest case, MaxClique, to explore the structure of the problem as a function of $N$ and $K$, the clique size. It displays a complex phase boundary, a staircase of steps at each of which $2 \log_2N$ and $K_{\text{max}}$, the maximum size of clique that can be found, increase by $1$. Each of its boundaries have finite width, and these widths allow local algorithms to find cliques beyond the limits defined by the study of infinite systems. We explore the performance of a number of extensions of traditional fast local algorithms, and find that much of the "hard" space remains accessible at finite $N$.
The "hidden clique" problem embeds a clique somewhat larger than those which occur naturally in a $G(N,p)$ random graph. Since such a clique is unique, we find that local searches which stop early, once evidence for the hidden clique is found, may outperform the best message passing or spectral algorithms.
Submission history
From: Raffaele Marino [view email][v1] Sun, 11 Sep 2022 09:49:12 UTC (1,323 KB)
[v2] Thu, 25 May 2023 08:52:31 UTC (1,654 KB)
Current browse context:
cond-mat.dis-nn
Change to browse by:
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
IArxiv Recommender
(What is IArxiv?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.