English
Related papers

Related papers: Algorithmic barriers from phase transitions

200 papers

In the last 30 years it was found that many combinatorial systems undergo phase transitions. One of the most important examples of these can be found among the random k-satisfiability problems (often referred to as k-SAT), asking whether…

Data Analysis, Statistics and Probability · Physics 2010-02-02 K. A. Zweig , G. Palla , T. Vicsek

In a simple, undirected graph G, an edge 2-coloring is a coloring of the edges such that no vertex is incident to edges with more than 2 distinct colors. The problem maximum edge 2-coloring (ME2C) is to find an edge 2-coloring in a graph G…

Discrete Mathematics · Computer Science 2025-05-07 Tobias Mömke , Alexandru Popa , Aida Roshany-Tabrizi , Michael Ruderer , Roland Vincze

Random constraint satisfaction problems can exhibit a phase where the number of constraints per variable $\alpha$ makes the system solvable in theory on the one hand, but also makes the search for a solution hard, meaning that common…

Disordered Systems and Neural Networks · Physics 2022-01-11 Angelo Giorgio Cavaliere , Thibault Lesieur , Federico Ricci-Tersenghi

We take an algorithmic approach to studying the solution space geometry of relatively sparse random and bounded degree $k$-CNFs for large $k$. In the course of doing so, we establish that with high probability, a random $k$-CNF $\Phi$ with…

Data Structures and Algorithms · Computer Science 2022-07-18 Zongchen Chen , Nitya Mani , Ankur Moitra

In the Densest $k$-Subgraph problem, given an undirected graph $G$ and an integer $k$, the goal is to find a subgraph of $G$ on $k$ vertices that contains maximum number of edges. Even though the state-of-the-art algorithm for the problem…

Computational Complexity · Computer Science 2017-04-11 Pasin Manurangsi

We present efficient counting and sampling algorithms for random $k$-SAT when the clause density satisfies $\alpha \le \frac{2^k}{\mathrm{poly}(k)}.$ In particular, the exponential term $2^k$ matches the satisfiability threshold…

Data Structures and Algorithms · Computer Science 2024-11-06 Zongchen Chen , Aditya Lonkar , Chunyang Wang , Kuan Yang , Yitong Yin

Here we study the NP-complete $K$-SAT problem. Although the worst-case complexity of NP-complete problems is conjectured to be exponential, there exist parametrized random ensembles of problems where solutions can typically be found in…

Disordered Systems and Neural Networks · Physics 2019-07-11 Hendrik Schawe , Roman Bleim , Alexander K. Hartmann

We study the problem of counting $k$-hypergraphlets, an interesting but surprisingly ignored primitive, with the aim of understanding whether efficient algorithms exist. To this end, we consider color coding, a well-known technique for…

Data Structures and Algorithms · Computer Science 2026-04-15 Marco Bressan , Stefano Clemente , Giacomo Fumagalli

We study algorithmic matroid intersection coloring. Given $k$ matroids on a common ground set $U$ of $n$ elements, the goal is to partition $U$ into the fewest number of color classes, where each color class is independent in all matroids.…

Data Structures and Algorithms · Computer Science 2026-04-07 Stephen Arndt , Benjamin Moseley , Kirk Pruhs , Chaitanya Swamy , Michael Zlatin

In this paper, we present a polynomial-time algorithm that approximates sufficiently high-value Max 2-CSPs on sufficiently dense graphs to within $O(N^{\varepsilon})$ approximation ratio for any constant $\varepsilon > 0$. Using this…

Data Structures and Algorithms · Computer Science 2015-07-31 Pasin Manurangsi , Dana Moshkovitz

For a large class of random constraint satisfaction problems (CSP), deep but non-rigorous theory from statistical physics predict the location of the sharp satisfiability transition. The works of Ding, Sly, Sun (2014, 2016) and Coja-Oghlan,…

Combinatorics · Mathematics 2023-08-07 Evan Chang , Neel Kolhe , Youngtak Sohn

We consider the problem of coloring the vertices of a large sparse random graph with a given number of colors so that no adjacent vertices have the same color. Using the cavity method, we present a detailed and systematic analytical study…

Disordered Systems and Neural Networks · Physics 2011-11-09 Lenka Zdeborová , Florent Krzakala

The Rainbow k-Coloring problem asks whether the edges of a given graph can be colored in $k$ colors so that every pair of vertices is connected by a rainbow path, i.e., a path with all edges of different colors. Our main result states that…

Data Structures and Algorithms · Computer Science 2016-02-19 Łukasz Kowalik , Juho Lauri , Arkadiusz Socała

We consider the classical $k$-Center problem in undirected graphs. The problem is known to have a polynomial-time 2-approximation. There are even $(2+\varepsilon)$-approximations running in near-linear time. The conventional wisdom is that…

Data Structures and Algorithms · Computer Science 2025-03-13 Ce Jin , Yael Kirkpatrick , Virginia Vassilevska Williams , Nicole Wein

The coloring problem (i.e., computing the chromatic number of a graph) can be solved in $O^*(2^n)$ time, as shown by Bj\"orklund, Husfeldt and Koivisto in 2009. For $k=3,4$, better algorithms are known for the $k$-coloring problem.…

Data Structures and Algorithms · Computer Science 2021-02-15 Or Zamir

Given an edge-colored graph, the goal of the proportional fair matching problem is to find a maximum weight matching while ensuring proportional representation (with respect to the number of edges) of each color. The colors may correspond…

Data Structures and Algorithms · Computer Science 2024-12-17 Sharmila Duppala , Nathaniel Grammel , Juan Luque , Calum MacRury , Aravind Srinivasan

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

We consider the problem of coloring k-colorable graphs with the fewest possible colors. We present a randomized polynomial time algorithm that colors a 3-colorable graph on $n$ vertices with min O(Delta^{1/3} log^{1/2} Delta log n),…

Data Structures and Algorithms · Computer Science 2007-05-23 David Karger , Rajeev Motwani , Madhu Sudan

The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$…

Combinatorics · Mathematics 2021-06-08 S. M. Dhannya , N. S. Narayanaswamy

We consider the problem of recovering an unknown $k$-factor, hidden in a weighted random graph. For $k=1$ this is the planted matching problem, while the $k=2$ case is closely related to the planted travelling salesman problem. The…

Disordered Systems and Neural Networks · Physics 2021-04-09 Gabriele Sicuro , Lenka Zdeborová