Disordered systems insights on computational hardness
In this review article we discuss connections between the physics of disordered systems,
phase transitions in inference problems, and computational hardness. We introduce two …
phase transitions in inference problems, and computational hardness. We introduce two …
[書籍][B] Foundations of data science
A Blum, J Hopcroft, R Kannan - 2020 - books.google.com
This book provides an introduction to the mathematical and algorithmic foundations of data
science, including machine learning, high-dimensional geometry, and analysis of large …
science, including machine learning, high-dimensional geometry, and analysis of large …
[書籍][B] Mathematics and computation: A theory revolutionizing technology and science
A Wigderson - 2019 - books.google.com
From the winner of the Turing Award and the Abel Prize, an introduction to computational
complexity theory, its connections and interactions with mathematics, and its central role in …
complexity theory, its connections and interactions with mathematics, and its central role in …
Limits of local algorithms over sparse random graphs
Local algorithms on graphs are algorithms that run in parallel on the nodes of a graph to
compute some global structural feature of the graph. Such algorithms use only local …
compute some global structural feature of the graph. Such algorithms use only local …
Low-degree hardness of random optimization problems
We consider the problem of finding nearly optimal solutions of optimization problems with
random objective functions. Such problems arise widely in the theory of random graphs …
random objective functions. Such problems arise widely in the theory of random graphs …
The overlap gap property and approximate message passing algorithms for -spin models
D Gamarnik, A Jagannath - 2021 - projecteuclid.org
We consider the algorithmic problem of finding a near ground state (near optimal solution) of
a p-spin model. We show that for a class of algorithms broadly defined as Approximate …
a p-spin model. We show that for a class of algorithms broadly defined as Approximate …
Frozen 1-RSB structure of the symmetric Ising perceptron
We prove, under an assumption on the critical points of a real-valued function, that the
symmetric Ising perceptron exhibits thefrozen 1-RSB'structure conjectured by Krauth and …
symmetric Ising perceptron exhibits thefrozen 1-RSB'structure conjectured by Krauth and …
Optimization hardness as transient chaos in an analog approach to constraint satisfaction
Boolean satisfiability (k-SAT) is one of the most studied optimization problems, as an
efficient (that is, polynomial-time) solution to k-SAT (for k≥ 3) implies efficient solutions to a …
efficient (that is, polynomial-time) solution to k-SAT (for k≥ 3) implies efficient solutions to a …
Shattering in the Ising Pure -Spin Model
We study the Ising pure $ p $-spin model for large $ p $. We investigate the landscape of the
Hamiltonian of this model. We show that for any $\gamma> 0$ and any large enough $ p …
Hamiltonian of this model. We show that for any $\gamma> 0$ and any large enough $ p …
[HTML][HTML] Reconfiguration in bounded bandwidth and tree-depth
M Wrochna - Journal of Computer and System Sciences, 2018 - Elsevier
We show that several reconfiguration problems known to be PSPACE-complete remain so
even when limited to graphs of bounded bandwidth (and hence pathwidth and treewidth) …
even when limited to graphs of bounded bandwidth (and hence pathwidth and treewidth) …