3 research outputs found
Comparing Width Parameters on Graph Classes
We study how the relationship between non-equivalent width parameters changes
once we restrict to some special graph class. As width parameters, we consider
treewidth, clique-width, twin-width, mim-width, sim-width and tree-independence
number, whereas as graph classes we consider -subgraph-free graphs,
line graphs and their common superclass, for , of -free
graphs.
We first provide a complete comparison when restricted to
-subgraph-free graphs, showing in particular that treewidth,
clique-width, mim-width, sim-width and tree-independence number are all
equivalent. This extends a result of Gurski and Wanke (2000) stating that
treewidth and clique-width are equivalent for the class of
-subgraph-free graphs.
Next, we provide a complete comparison when restricted to line graphs,
showing in particular that, on any class of line graphs, clique-width,
mim-width, sim-width and tree-independence number are all equivalent, and
bounded if and only if the class of root graphs has bounded treewidth. This
extends a result of Gurski and Wanke (2007) stating that a class of graphs
has bounded treewidth if and only if the class of line graphs of
graphs in has bounded clique-width.
We then provide an almost-complete comparison for -free graphs,
leaving one missing case. Our main result is that -free graphs of
bounded mim-width have bounded tree-independence number. This result has
structural and algorithmic consequences. In particular, it proves a special
case of a conjecture of Dallard, Milani\v{c} and \v{S}torgel.
Finally, we consider the question of whether boundedness of a certain width
parameter is preserved under graph powers. We show that the question has a
positive answer for sim-width precisely in the case of odd powers.Comment: 31 pages, 4 figures, abstract shortened due to arXiv requirement
Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes
Let be a family of graphs, and let be nonnegative
integers. The \textsc{-Covering} problem asks whether for a
graph and an integer , there exists a set of at most vertices in
such that has no induced subgraph isomorphic to a
graph in , where is the -th power of . The
\textsc{-Packing} problem asks whether for a graph and
an integer , has induced subgraphs such that each
is isomorphic to a graph in , and for distinct , the distance between and in is larger than
.
We show that for every fixed nonnegative integers and every fixed
nonempty finite family of connected graphs, the
\textsc{-Covering} problem with and the
\textsc{-Packing} problem with
admit almost linear kernels on every nowhere dense class of graphs, and admit
linear kernels on every class of graphs with bounded expansion, parameterized
by the solution size . We obtain the same kernels for their annotated
variants. As corollaries, we prove that \textsc{Distance- Vertex Cover},
\textsc{Distance- Matching}, \textsc{-Free Vertex Deletion},
and \textsc{Induced--Packing} for any fixed finite family
of connected graphs admit almost linear kernels on every nowhere
dense class of graphs and linear kernels on every class of graphs with bounded
expansion. Our results extend the results for \textsc{Distance- Dominating
Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the
result for \textsc{Distance- Independent Set} by Pilipczuk and Siebertz (EJC
2021).Comment: 38 page