English
Related papers

Related papers: Can You Link Up With Treewidth?

200 papers

For a graph $G$ with at least two vertices, the maximum local edge-connectivity of $G$ is the maximum number of edge-disjoint $(u,v)$-paths over all distinct pairs of vertices $(u,v)$ in $G$. Stiebitz and Toft (2018) proved a Brooks-type…

Combinatorics · Mathematics 2026-03-19 Sam Bastida , Nick Brettell

In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomass\'e…

Combinatorics · Mathematics 2025-10-28 Édouard Bonnet , O-joung Kwon , David R. Wood

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of…

Data Structures and Algorithms · Computer Science 2015-11-30 Marcin Pilipczuk

Motivated by applications in network epidemiology, we consider the problem of determining whether it is possible to delete at most $k$ edges from a given input graph (of small treewidth) so that the resulting graph avoids a set…

Data Structures and Algorithms · Computer Science 2017-04-20 Jessica Enright , Kitty Meeks

For some years it was believed that for "connectivity" problems such as Hamiltonian Cycle, algorithms running in time 2^{O(tw)}n^{O(1)} -called single-exponential- existed only on planar and other sparse graph classes, where tw stands for…

Data Structures and Algorithms · Computer Science 2013-12-11 Julien Baste , Ignasi Sau

The Small Set Expansion Hypothesis (SSEH) is a conjecture which roughly states that it is NP-hard to distinguish between a graph with a small subset of vertices whose edge expansion is almost zero and one in which all small subsets of…

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

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

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the graph homomorphism problem, denoted by $Hom(H)$, the graph $H$ is fixed and we need to determine if there exists a homomorphism from…

Discrete Mathematics · Computer Science 2023-12-08 Carla Groenland , Isja Mannens , Jesper Nederlof , Marta Piecyk , Paweł Rzążewski

Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time's dependence on…

Data Structures and Algorithms · Computer Science 2009-11-05 Michael Lampis

For a $k$-uniform hypergraph $H$, let $\delta_1(H)$ denote the minimum vertex degree of $H$, and $\nu(H)$ denote the size of the largest matching in $H$. In this paper, we show that for any $k\geq 3$ and $\beta>0$, there exists an integer…

Combinatorics · Mathematics 2022-09-21 Mingyang Guo , Hongliang Lu , Yaolin Jiang

We obtain the following new coloring results: * A 3-colorable graph on $n$ vertices with maximum degree~$\Delta$ can be colored, in polynomial time, using $O((\Delta \log\Delta)^{1/3} \cdot\log{n})$ colors. This slightly improves an…

Data Structures and Algorithms · Computer Science 2016-08-31 Eran Halperin , Ram Nathaniel , Uri Zwick

The Strong Exponential Time Hypothesis (SETH) is a standard assumption in (fine-grained) parameterized complexity and many tight lower bounds are based on it. We consider a number of reasonable weakenings of the SETH, with sources from (i)…

Computational Complexity · Computer Science 2025-10-14 Michael Lampis

The starting point of our work is a decade-old open question concerning the subexponential parameterized complexity of \textsc{2-Layer Crossing Minimization}. In this problem, the input is an $n$-vertex graph $G$ whose vertices are…

Data Structures and Algorithms · Computer Science 2025-10-16 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh , Meirav Zehavi

We consider the classic problem of Network Reliability. A network is given together with a source vertex, one or more target vertices, and probabilities assigned to each of the edges. Each edge appears in the network with its associated…

Combinatorics · Mathematics 2019-03-20 Amir Kafshdar Goharshady , Fatemeh Mohammadi

Distributed networks are prone to errors so verifying their output is critical. Hence, we develop LOCAL certification protocols for graph properties in which nodes are given certificates that allow them to check whether their network as a…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-16 Linda Cook , Eun Jung Kim , Tomáš Masařík

Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph…

Combinatorics · Mathematics 2022-02-02 Tara Abrishami , Maria Chudnovsky , Kristina Vušković

Given a graph $H$, let us denote by $f_\chi(H)$ and $f_\ell(H)$, respectively, the maximum chromatic number and the maximum list chromatic number of $H$-minor-free graphs. Hadwiger's famous coloring conjecture from 1943 states that…

Combinatorics · Mathematics 2023-04-11 Olivier Fischer , Raphael Steiner

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

Treewidth (tw) is an important parameter that, when bounded, yields tractability for many problems. For example, graph problems expressible in Monadic Second Order (MSO) logic and QUANTIFIED SAT or, more generally, QUANTIFIED CSP, are FPT…

Computational Complexity · Computer Science 2025-03-18 Florent Foucaud , Esther Galby , Liana Khazaliya , Shaohua Li , Fionn Mc Inerney , Roohani Sharma , Prafullkumar Tale

Given a graph $G=(V,E)$, a set $\mathcal{F}$ of forbidden subgraphs, we study $\mathcal{F}$-Free Edge Deletion, where the goal is to remove minimum number of edges such that the resulting graph does not contain any $F\in \mathcal{F}$ as a…

Data Structures and Algorithms · Computer Science 2021-02-12 Ajinkya Gaikwad , Soumen Maity