English
Related papers

Related papers: Isolation schemes for problems on decomposable gra…

200 papers

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in…

Data Structures and Algorithms · Computer Science 2020-03-24 Andrzej Grzesik , Tereza Klimošová , Marcin Pilipczuk , Michał Pilipczuk

We continue the study of $(\mathrm{tw},\omega)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this…

Combinatorics · Mathematics 2023-12-19 Clément Dallard , Martin Milanič , Kenny Štorgel

Over the past decade, we witness an increasing amount of interest in the design of exact exponential-time and parameterized algorithms for problems in Graph Drawing. Unfortunately, we still lack knowledge of general methods to develop such…

Data Structures and Algorithms · Computer Science 2023-10-10 Siddharth Gupta , Guy Sa'ar , Meirav Zehavi

Many problems are known to be solvable in subexponential parameterized time when the input graph is planar. The bidimensionality framework of Demaine, Fomin, Hajiaghay, and Thilikos [JACM'05] and the treewidth-pattern-covering approach by…

Data Structures and Algorithms · Computer Science 2026-04-02 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach

We consider a decision network on an undirected graph in which each node corresponds to a decision variable, and each node and edge of the graph is associated with a reward function whose value depends only on the variables of the…

Probability · Mathematics 2009-12-03 David Gamarnik , David Goldberg , Theophane Weber

The independence gap of a graph was introduced by Ekim et al. (2018) as a measure of how far a graph is from being well-covered. It is defined as the difference between the maximum and minimum size of a maximal independent set. We…

Combinatorics · Mathematics 2018-12-14 Tınaz Ekim , Didem Gözüpek , Ademir Hujdurović , Martin Milanič

We develop a new approach for approximating large independent sets when the input graph is a one-sided spectral expander - that is, the uniform random walk matrix of the graph has its second eigenvalue bounded away from 1. Consequently, we…

Data Structures and Algorithms · Computer Science 2024-11-07 Mitali Bafna , Jun-Ting Hsieh , Pravesh K. Kothari

The problem of finding a maximum $2$-matching without short cycles has received significant attention due to its relevance to the Hamilton cycle problem. This problem is generalized to finding a maximum $t$-matching which excludes specified…

Combinatorics · Mathematics 2023-11-01 Yuni Iwamasa , Yusuke Kobayashi , Kenjiro Takazawa

We consider a generic algorithmic paradigm that we call progressive exploration, which can be used to develop simple and efficient parameterized graph algorithms. We identify two model-theoretic properties that lead to efficient progressive…

Logic in Computer Science · Computer Science 2018-11-19 Grzegorz Fabiański , Michał Pilipczuk , Sebastian Siebertz , Szymon Toruńczyk

There are many complex combinatorial problems which involve searching for an undirected graph satisfying given constraints. Such problems are often highly challenging because of the large number of isomorphic representations of their…

Artificial Intelligence · Computer Science 2016-02-05 Avraham Itzhakov , Michael Codish

It has been observed independently by many researchers that the isolating cut lemma of Li and Panigrahi [FOCS 2020] can be easily extended to obtain new algorithms for finding the non-trivial minimizer of a symmetric submodular function and…

Data Structures and Algorithms · Computer Science 2021-03-30 Sagnik Mukhopadhyay , Danupon Nanongkai

We give an algorithm for solving unique games (UG) instances whenever low-degree sum-of-squares proofs certify good bounds on the small-set-expansion of the underlying constraint graph via a hypercontractive inequality. Our algorithm is in…

Computational Complexity · Computer Science 2021-06-29 Mitali Bafna , Boaz Barak , Pravesh Kothari , Tselil Schramm , David Steurer

We study the Maximum Independent Set (MIS) problem under the notion of stability introduced by Bilu and Linial (2010): a weighted instance of MIS is $\gamma$-stable if it has a unique optimal solution that remains the unique optimum under…

Data Structures and Algorithms · Computer Science 2021-11-30 Haris Angelidakis , Pranjal Awasthi , Avrim Blum , Vaggos Chatziafratis , Chen Dan

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given…

Discrete Mathematics · Computer Science 2011-07-11 Rémy Belmonte , Martin Vatshelle

A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. The problem of finding edge-disjoint Hamiltonian cycles in a given regular graph has many applications in combinatorial optimization and…

Combinatorics · Mathematics 2022-01-12 Andrey Kostenko , Andrei Nikolaev

We study the two inference problems of detecting and recovering an isolated community of \emph{general} structure planted in a random graph. The detection problem is formalized as a hypothesis testing problem, where under the null…

Data Structures and Algorithms · Computer Science 2022-01-25 Wasim Huleihel

We study homomorphism polynomials, which are polynomials that enumerate all homomorphisms from a pattern graph $H$ to $n$-vertex graphs. These polynomials have received a lot of attention recently for their crucial role in several new…

Computational Complexity · Computer Science 2020-11-17 Balagopal Komarath , Anurag Pandey , C. S. Rahul

We consider the problem of finding a Hamiltonian path or cycle with precedence constraints in the form of a partial order on the vertex set. We study the complexity for graph width parameters for which the ordinary problems…

Discrete Mathematics · Computer Science 2025-10-10 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

We prove that Graph Isomorphism and Canonization in graphs excluding a fixed graph $H$ as a minor can be solved by an algorithm working in time $f(H)\cdot n^{O(1)}$, where $f$ is some function. In other words, we show that these problems…

Data Structures and Algorithms · Computer Science 2022-10-27 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh