English
Related papers

Related papers: Algorithmic barriers from phase transitions

200 papers

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, a natural $n^{O(\varepsilon^2 \log n)}$-time, degree $O(\varepsilon^2 \log n)$ sum-of-squares semidefinite program…

Computational Complexity · Computer Science 2021-05-18 Pravesh K. Kothari , Peter Manohar

For a fixed graph $H$, in the graph homomorphism problem, denoted by $Hom(H)$, we are given a graph $G$ and we have to determine whether there exists an edge-preserving mapping $\varphi: V(G) \to V(H)$. Note that $Hom(C_3)$, where $C_3$ is…

Combinatorics · Mathematics 2024-10-23 Marta Piecyk

We introduce a new notion of resilience for constraint satisfaction problems, with the goal of more precisely determining the boundary between NP-hardness and the existence of efficient algorithms for resilient instances. In particular, we…

Computational Complexity · Computer Science 2014-06-13 Jeremy Kun , Lev Reyzin

The factor graph of an instance of a symmetric constraint satisfaction problem on n Boolean variables and m constraints (CSPs such as k-SAT, k-AND, k-LIN) is a bipartite graph describing which variables appear in which constraints. The…

Computational Complexity · Computer Science 2012-05-01 Uriel Feige , Shlomo Jozeph

The Graph Isomorphism (GI) problem is a theoretically interesting problem because it has not been proven to be in P nor to be NP-complete. Babai made a breakthrough in 2015 when announcing a quasipolynomial time algorithm for GI problem.…

Data Structures and Algorithms · Computer Science 2020-02-13 Duc Hung Pham , Krishna V. Palem , M. V. Panduranga Rao

A $k$-coloring of a tournament is a partition of its vertices into $k$ acyclic sets. Deciding if a tournament is 2-colorable is NP-hard. A natural problem, akin to that of coloring a 3-colorable graph with few colors, is to color a…

Data Structures and Algorithms · Computer Science 2024-11-25 Felix Klingelhoefer , Alantha Newman

A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that…

Combinatorics · Mathematics 2026-04-13 Emma Hogan , Alex Scott , Dmitry Tsarev

The generalized coloring numbers of Kierstead and Yang (Order 2003) offer an algorithmically-useful characterization of graph classes with bounded expansion. In this work, we consider the hardness and approximability of these parameters.…

Computational Complexity · Computer Science 2023-03-17 Michael Breen-McKay , Brian Lavallee , Blair D. Sullivan

If each edge (u,v) of a graph G=(V,E) is decorated with a permutation pi_{u,v} of k objects, we say that it has a permuted k-coloring if there is a coloring sigma from V to {1,...,k} such that sigma(v) is different from pi_{u,v}(sigma(u))…

Combinatorics · Mathematics 2011-11-16 Varsha Dani , Cristopher Moore , Anna Olson

This work revisits the PCP Verifiers used in the works of Hastad [Has01], Guruswami et al.[GHS02], Holmerin[Hol02] and Guruswami[Gur00] for satisfiable Max-E3-SAT and Max-Ek-Set-Splitting, and independent set in 2-colorable 4-uniform…

Computational Complexity · Computer Science 2013-12-11 Rishi Saket

In the multicoloring problem, also known as ($a$:$b$)-coloring or $b$-fold coloring, we are given a graph G and a set of $a$ colors, and the task is to assign a subset of $b$ colors to each vertex of G so that adjacent vertices receive…

Data Structures and Algorithms · Computer Science 2017-02-20 Marthe Bonamy , Łukasz Kowalik , Michał Pilipczuk , Arkadiusz Socała , Marcin Wrochna

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

The quantum k-Local Hamiltonian problem is a natural generalization of classical constraint satisfaction problems (k-CSP) and is complete for QMA, a quantum analog of NP. Although the complexity of k-Local Hamiltonian problems has been well…

Quantum Physics · Physics 2021-11-16 Ojas Parekh , Kevin Thompson

In 1970 Hajnal and Szemer\'edi proved a conjecture of Erd\"os that for a graph with maximum degree $\Delta$, there exists an equitable $\Delta+1$ coloring; that is a coloring where color class sizes differ by at most $1$. In 2007 Kierstand…

Combinatorics · Mathematics 2026-03-10 Aiya Kuchukova , Will Perkins , Xavier Povill

Circular coloring is a constraints satisfaction problem where colors are assigned to nodes in a graph in such a way that every pair of connected nodes has two consecutive colors (the first color being consecutive to the last). We study…

Disordered Systems and Neural Networks · Physics 2016-08-31 Christian Schmidt , Nils-Eric Guenther , Lenka Zdeborová

In recent years, several powerful techniques have been developed to design {\em randomized} polynomial-space parameterized algorithms. In this paper, we introduce an enhancement of color coding to design deterministic polynomial-space…

Data Structures and Algorithms · Computer Science 2017-12-20 Gregory Gutin , Felix Reidl , Magnus Wahlström , Meirav Zehavi

Given a set of obstacles and two points, is there a path between the two points that does not cross more than $k$ different obstacles? This is a fundamental problem that has undergone a tremendous amount of work. It is known to be NP-hard,…

Computational Geometry · Computer Science 2017-12-13 Eduard Eiben , Iyad Kanj

The Promise Constraint Satisfaction Problem (PCSP) is a recently introduced vast generalization of the Constraint Satisfaction Problem (CSP). We investigate the computational complexity of a class of PCSPs beyond the most studied cases -…

Computational Complexity · Computer Science 2020-10-12 Libor Barto , Diego Battistelli , Kevin M. Berg

The question of whether 3-Coloring can be solved in polynomial-time for the diameter two graphs is a well-known open problem in the area of algorithmic graph theory. We study the problem restricted to graph classes that avoid cycles of…

Data Structures and Algorithms · Computer Science 2023-07-28 Tereza Klimošová , Vibha Sahlot

Given an integer $k$ and a graph where every edge is colored either red or blue, the goal of the exact matching problem is to find a perfect matching with the property that exactly $k$ of its edges are red. Soon after Papadimitriou and…

Data Structures and Algorithms · Computer Science 2023-10-02 Nicolas {El Maalouly} , Raphael Steiner , Lasse Wulf