74 research outputs found
Parameterized Complexity of Vertex Splitting to Pathwidth at most 1
Motivated by the planarization of 2-layered straight-line drawings, we
consider the problem of modifying a graph such that the resulting graph has
pathwidth at most 1. The problem Pathwidth-One Vertex Explosion (POVE) asks
whether such a graph can be obtained using at most vertex explosions, where
a vertex explosion replaces a vertex by deg degree-1 vertices, each
incident to exactly one edge that was originally incident to . For POVE, we
give an FPT algorithm with running time and an
kernel, thereby improving over the -kernel by Ahmed et al. [GD 22] in a
more general setting. Similarly, a vertex split replaces a vertex by two
distinct vertices and and distributes the edges originally incident
to arbitrarily to and . Analogously to POVE, we define the
problem variant Pathwidth-One Vertex Splitting (POVS) that uses the split
operation instead of vertex explosions. Here we obtain a linear kernel and an
algorithm with running time . This answers an open
question by Ahmed et al. [GD22].
Finally, we consider the problem Vertex Splitting (-VS), which
generalizes the problem POVS and asks whether a given graph can be turned into
a graph of a specific graph class using at most vertex splits. For
graph classes that can be tested in monadic second-order graph logic
(MSO), we show that the problem -VS can be expressed as an MSO
formula, resulting in an FPT algorithm for -VS parameterized by if
additionally has bounded treewidth. We obtain the same result for the
problem variant using vertex explosions
Hierarchy of Transportation Network Parameters and Hardness Results
The graph parameters highway dimension and skeleton dimension were introduced to capture the properties of transportation networks. As many important optimization problems like Travelling Salesperson, Steiner Tree or k-Center arise in such networks, it is worthwhile to study them on graphs of bounded highway or skeleton dimension.
We investigate the relationships between mentioned parameters and how they are related to other important graph parameters that have been applied successfully to various optimization problems. We show that the skeleton dimension is incomparable to any of the parameters distance to linear forest, bandwidth, treewidth and highway dimension and hence, it is worthwhile to study mentioned problems also on graphs of bounded skeleton dimension. Moreover, we prove that the skeleton dimension is upper bounded by the max leaf number and that for any graph on at least three vertices there are edge weights such that both parameters are equal.
Then we show that computing the highway dimension according to most recent definition is NP-hard, which answers an open question stated by Feldmann et al. [Andreas Emil Feldmann et al., 2015]. Finally we prove that on graphs G=(V,E) of skeleton dimension O(log^2 |V|) it is NP-hard to approximate the k-Center problem within a factor less than 2
Edge deletion to tree-like graph classes
For a fixed property (graph class) , given a graph and an integer
, the -deletion problem consists in deciding if we can turn into a
graph with the property by deleting at most edges of . The
-deletion problem is known to be NP-hard for most of the well-studied
graph classes (such as chordal, interval, bipartite, planar, comparability and
permutation graphs, among others), with the notable exception of trees.
Motivated by this fact, in this work we study the deletion problem for some
classes close to trees. We obtain NP-hardness results for several classes of
sparse graphs, for which we prove that deletion is hard even when the input is
a bipartite graph. In addition, we give sufficient structural conditions for
the graph class for NP-hardness. In the case of deletion to cactus, we
show that the problem becomes tractable when the input is chordal, and we give
polynomial-time algorithms for quasi-threshold graphs.Comment: 12 pages, no figure
Parameterization of Tensor Network Contraction
We present a conceptually clear and algorithmically useful framework for parameterizing the costs of tensor network contraction. Our framework is completely general, applying to tensor networks with arbitrary bond dimensions, open legs, and hyperedges. The fundamental objects of our framework are rooted and unrooted contraction trees, which represent classes of contraction orders. Properties of a contraction tree correspond directly and precisely to the time and space costs of tensor network contraction. The properties of rooted contraction trees give the costs of parallelized contraction algorithms. We show how contraction trees relate to existing tree-like objects in the graph theory literature, bringing to bear a wide range of graph algorithms and tools to tensor network contraction. Independent of tensor networks, we show that the edge congestion of a graph is almost equal to the branchwidth of its line graph
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree and integer
: (1) What is the minimum number of degree- subtrees that partition
? (2) What is the minimum number of degree- subtrees that cover
? We answer the first question by providing an explicit formula for the
minimum number of subtrees, and we describe a linear time algorithm that finds
the corresponding partition. For the second question, we present a polynomial
time algorithm that computes a minimum covering. We then establish a tight
bound on the number of subtrees in coverings of trees with given maximum degree
and pathwidth. Our results show that pathwidth is the right parameter to
consider when studying coverings of trees by degree-3 subtrees. We briefly
consider coverings of general graphs by connected subgraphs of bounded degree
Treewidth of display graphs: bounds, brambles and applications
Phylogenetic trees and networks are leaf-labelled graphs used to model evolution. Display graphs are created by identifying common leaf labels in two or more phylogenetic trees or networks. The treewidth of such graphs is bounded as a function of many common dissimilarity measures between phylogenetic trees and this has been leveraged in fixed parameter tractability results. Here we further elucidate the properties of display graphs and their interaction with treewidth. We show that it is NP-hard to recognize display graphs, but that display graphs of bounded treewidth can be recognized in linear time. Next we show that if a phylogenetic network displays (i.e. topologically embeds) a phylogenetic tree, the treewidth of their display graph is bounded by a function of the treewidth of the original network (and also by various other parameters). In fact, using a bramble argument we show that this treewidth bound is sharp up to an additive term of 1. We leverage this bound to give an FPT algorithm, parameterized by treewidth, for determining whether a network displays a tree, which is an intensively-studied problem in the field. We conclude with a discussion on the future use of display graphs and treewidth in phylogenetics
Algorithms for outerplanar graph roots and graph roots of pathwidth at most 2
Deciding whether a given graph has a square root is a classical problem that
has been studied extensively both from graph theoretic and from algorithmic
perspectives. The problem is NP-complete in general, and consequently
substantial effort has been dedicated to deciding whether a given graph has a
square root that belongs to a particular graph class. There are both
polynomial-time solvable and NP-complete cases, depending on the graph class.
We contribute with new results in this direction. Given an arbitrary input
graph G, we give polynomial-time algorithms to decide whether G has an
outerplanar square root, and whether G has a square root that is of pathwidth
at most 2
- …