Source author record

Therese Biedl

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

36works
8topics
4close collaborators

Published work

36 publications

preprint2026arXiv

Using Ray-shooting Queries for Sublinear Algorithms for Dominating Sets in RDV Graphs

In this paper, we study the dominating set problem in \emph{RDV graphs}, a graph class that lies between interval graphs and chordal graphs and is defined as the \textbf{v}ertex-intersection graphs of \textbf{d}ownward paths in a \textbf{r}ooted tree. It was shown in a previous paper that adjacency queries in an RDV graph can be reduced to the question whether a horizontal segment intersects a vertical segment. This was then used to find a maximum matching in an nn-vertex RDV graph, using priority search trees, in O(nlog⁡n)O(n\log n) time, i.e., without even looking at all edges. In this paper, we show that if additionally we also use a ray shooting data structure, we can also find a minimum dominating set in an RDV graph O(nlog⁡n)O(n\log n) time (presuming a linear-sized representation of the graph is given). The same idea can also be used for a new proof to find a minimum dominating set in an interval graph in O(n)O(n) time.

preprint2023arXiv

Large Matchings in Maximal 1-planar graphs

It is well-known that every maximal planar graph has a matching of size at least n+83\tfrac{n+8}{3} if n≥14n\geq 14. In this paper, we investigate similar matching-bounds for maximal \emph{1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. In particular we show that every 3-connected simple-maximal 1-planar graph has a matching of size at least 2n+65\tfrac{2n+6}{5}; the bound decreases to 3n+1410\tfrac{3n+14}{10} if the graph need not be 3-connected. We also give (weaker) bounds when the graph comes with a fixed 1-planar drawing or is not simple. All our bounds are tight in the sense that some graph that satisfies the restrictions has no bigger matching.

preprint2023arXiv

On the complexity of embedding in graph products

Graph embedding, especially as a subgraph of a grid, is an old topic in VLSI design and graph drawing. In this paper, we investigate related questions concerning the complexity of embedding a graph GG in a host graph that is the strong product of a path PP with a graph HH that satisfies some properties, such as having small treewidth, pathwidth or tree depth. We show that this is NP-hard, even under numerous restrictions on both GG and HH. In particular, computing the row pathwidth and the row treedepth is NP-hard even for a tree of small pathwidth, while computing the row treewidth is NP-hard even for series-parallel graphs.

preprint2022arXiv

Reconfiguration of Non-crossing Spanning Trees

For a set PP of nn points in the plane in general position, a non-crossing spanning tree is a spanning tree of the points where every edge is a straight-line segment between a pair of points and no two edges intersect except at a common endpoint. We study the problem of reconfiguring one non-crossing spanning tree of PP to another using a sequence of flips where each flip removes one edge and adds one new edge so that the result is again a non-crossing spanning tree of PP. There is a known upper bound of 2n−42n-4 flips [Avis and Fukuda, 1996] and a lower bound of 1.5n−51.5n - 5 flips. We give a reconfiguration algorithm that uses at most 2n−32n-3 flips but reduces that to 1.5n−21.5n-2 flips when one tree is a path and either: the points are in convex position; or the path is monotone in some direction. For points in convex position, we prove an upper bound of 2d−Ω(log⁡d)2d - Ω(\log d) where dd is half the size of the symmetric difference between the trees. We also examine whether the happy edges (those common to the initial and final trees) need to flip, and we find exact minimum flip distances for small point sets using exhaustive search.

preprint2020arXiv

Building a larger class of graphs for efficient reconfiguration of vertex colouring

A kk-colouring of a graph GG is an assignment of at most kk colours to the vertices of GG so that adjacent vertices are assigned different colours. The reconfiguration graph of the kk-colourings, Rk(G)\mathcal{R}_k(G), is the graph whose vertices are the kk-colourings of GG and two colourings are joined by an edge in Rk(G)\mathcal{R}_k(G) if they differ in colour on exactly one vertex. For a kk-colourable graph GG, we investigate the connectivity and diameter of Rk+1(G)\mathcal{R}_{k+1}(G). It is known that not all weakly chordal graphs have the property that Rk+1(G)\mathcal{R}_{k+1}(G) is connected. On the other hand, Rk+1(G)\mathcal{R}_{k+1}(G) is connected and of diameter O(n2)O(n^2) for several subclasses of weakly chordal graphs such as chordal, chordal bipartite, and P4P_4-free graphs. We introduce a new class of graphs called OAT graphs that extends the latter classes and in fact extends outside the class of weakly chordal graphs. OAT graphs are built from four simple operations, disjoint union, join, and the addition of a clique or comparable vertex. We prove that if GG is a kk-colourable OAT graph then Rk+1(G)\mathcal{R}_{k+1}(G) is connected with diameter O(n2)O(n^2). Furthermore, we give polynomial time algorithms to recognize OAT graphs and to find a path between any two colourings in Rk+1(G)\mathcal{R}_{k+1}(G).

preprint2020arXiv

Drawing Halin-graphs with small height

In this paper, we study how to draw Halin-graphs, i.e., planar graphs that consist of a tree TT and a cycle among the leaves of that tree. Based on tree-drawing algorithms and the pathwidth pw(T) pw(T) , a well-known graph parameter, we find poly-line drawings of height at most 6pw(T)+3∈O(log⁡n)6pw(T)+3\in O(\log n). We also give an algorithm for straight-line drawings, and achieve height at most 12pw(T)+112pw(T)+1 for Halin-graphs, and smaller if the Halin-graph is cubic. We show that the height achieved by our algorithms is optimal in the worst case (i.e. for some Halin-graphs).

preprint2020arXiv

Drawing outer-1-planar graphs revisited

In a recent article (Auer et al, Algorithmica 2016) it was claimed that every outer-1-planar graph has a planar visibility representation of area O(nlog⁡n)O(n\log n). In this paper, we show that this is wrong: There are outer-1-planar graphs that require Ω(n2)Ω(n^2) area in any planar drawing. Then wegive a construction (using crossings, but preserving a given outer-1-planar embedding) that results in an orthogonal box-drawing with O(n log n) area and at most two bends per edge.

preprint2020arXiv

Finding large matchings in 1-planar graphs of minimum degree 3

A matching is a set of edges without common endpoint. It was recently shown that every 1-planar graph (i.e., a graph that can be drawn in the plane with at most one crossing per edge) that has minimum degree 3 has a matching of size at least n+127\frac{n+12}{7}, and this is tight for some graphs. The proof did not come with an algorithm to find the matching more efficiently than a general-purpose maximum-matching algorithm. In this paper, we give such an algorithm. More generally, we show that any matching that has no augmenting paths of length 9 or less has size at least n+127\frac{n+12}{7} in a 1-planar graph with minimum degree 3.

preprint2020arXiv

Matchings in 1-planar graphs with large minimum degree

In 1979, Nishizeki and Baybars showed that every planar graph with minimum degree 3 has a matching of size n3+c\frac{n}{3}+c (where the constant cc depends on the connectivity), and even better bounds hold for planar graphs with minimum degree 4 and 5. In this paper, we investigate similar matching-bounds for {\em 1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. We show that every 1-planar graph with minimum degree 3 has a matching of size at least 17n+127\frac{1}{7}n+\frac{12}{7}, and this is tight for some graphs. We provide similar bounds for 1-planar graphs with minimum degree 4 and 5, while the case of minimum degree 6 and 7 remains open.

preprint2020arXiv

On Layered Fan-Planar Graph Drawings

In this paper, we study fan-planar drawings that use hh layers and are proper, i.e., edges connect adjacent layers. We show that if the embedding of the graph is fixed, then testing the existence of such drawings is fixed-parameter tractable in hh, via a reduction to a similar result for planar graphs by Dujmović et al. If the embedding is not fixed, then we give partial results for h=2h=2: It was already known how to test existence of fan-planar proper 2-layer drawings for 2-connected graphs, and we show here how to test this for trees. Along the way, we exhibit other interesting results for graphs with a fan-planar proper hh-layer drawings; in particular we bound their pathwidth and show that they have a bar-1-visibility representation.

preprint2020arXiv

Reconstructing a Polyhedron between Polygons in Parallel Slices

Given two nn-vertex polygons, P=(p1,…,pn)P=(p_1, \ldots, p_n) lying in the xyxy-plane at z=0z=0, and P′=(p1′,…,pn′)P'=(p'_1, \ldots, p'_n) lying in the xyxy-plane at z=1z=1, a banded surface is a triangulated surface homeomorphic to an annulus connecting PP and P′P' such that the triangulation's edge set contains vertex disjoint paths πiπ_i connecting pip_i to pi′p'_i for all i=1,…,ni =1, \ldots, n. The surface then consists of bands, where the iith band goes between πiπ_i and πi+1π_{i+1}. We give a polynomial-time algorithm to find a banded surface without Steiner points if one exists. We explore connections between banded surfaces and linear morphs, where time in the morph corresponds to the zz direction. In particular, we show that if PP and P′P' are convex and the linear morph from PP to P′P' (which moves the iith vertex on a straight line from pip_i to pi′p'_i) remains planar at all times, then there is a banded surface without Steiner points.

preprint2016arXiv

Ideal Tree-drawings of Approximately Optimal Width (And Small Height)

For rooted trees, an ideal drawing is one that is planar, straight-line, strictly-upward, and order-preserving. This paper considers ideal drawings of rooted trees with the objective of keeping the width of such drawings small. It is not known whether finding the minimum-possible width is NP-hard or polynomial. This paper gives a 2-approximation for this problem, and a 2Δ2Δ-approximation (for ΔΔ-ary trees) where additionally the height is O(n)O(n). For trees with Δ≤3Δ\leq 3, the former algorithm finds ideal drawings with minimum-possible width.

preprint2016arXiv

Non-aligned drawings of planar graphs

A non-aligned drawing of a graph is a drawing where no two vertices are in the same row or column. Auber et al. showed that not all planar graphs have non-aligned drawings that are straight-line, planar, and in the minimal-possible n×nn\times n-grid. They also showed that such drawings exist if up to n−3n-3 edges may have a bend. In this paper, we give algorithms for non-aligned planar drawings that improve on the results by Auber et al. In particular, we give such drawings in an n×nn\times n-grid with significantly fewer bends, and we study what grid-size can be achieved if we insist on having straight-line drawings.

preprint2016arXiv

On rr-Guarding Thin Orthogonal Polygons

Guarding a polygon with few guards is an old and well-studied problem in computational geometry. Here we consider the following variant: We assume that the polygon is orthogonal and thin in some sense, and we consider a point pp to guard a point qq if and only if the minimum axis-aligned rectangle spanned by pp and qq is inside the polygon. A simple proof shows that this problem is NP-hard on orthogonal polygons with holes, even if the polygon is thin. If there are no holes, then a thin polygon becomes a tree polygon in the sense that the so-called dual graph of the polygon is a tree. It was known that finding the minimum set of rr-guards is polynomial for tree polygons, but the run-time was O~(n17)\tilde{O}(n^{17}). We show here that with a different approach the running time becomes linear, answering a question posed by Biedl et al. (SoCG 2011). Furthermore, the approach is much more general, allowing to specify subsets of points to guard and guards to use, and it generalizes to polygons with hh holes or thickness KK, becoming fixed-parameter tractable in h+Kh+K.

preprint2016arXiv

On Guarding Orthogonal Polygons with Sliding Cameras

A sliding camera inside an orthogonal polygon PP is a point guard that travels back and forth along an orthogonal line segment γγ in PP. The sliding camera gg can see a point pp in PP if the perpendicular from pp onto γγ is inside PP. In this paper, we give the first constant-factor approximation algorithm for the problem of guarding PP with the minimum number of sliding cameras. Next, we show that the sliding guards problem is linear-time solvable if the (suitably defined) dual graph of the polygon has bounded treewidth. Finally, we study art gallery theorems for sliding cameras, thus, give upper and lower bounds in terms of the number of guards needed relative to the number of vertices nn.

preprint2016arXiv

Order-preserving 1-string representations of planar graphs

This paper considers 1-string representations of planar graphs that are order-preserving in the sense that the order of crossings along the curve representing vertex vv is the same as the order of edges in the clockwise order around vv in the planar embedding. We show that this does not exist for all planar graphs (not even for all planar 3-trees), but show existence for some subclasses of planar partial 3-trees. In particular, for outer-planar graphs it can be order-preserving and outer-string in the sense that all ends of strings are on the outside of the representation.

preprint2016arXiv

Order-preserving drawings of trees with approximately optimal height (and small width)

In this paper, we study how to draw trees so that they are planar, straight-line and respect a given order of edges around each node. We focus on minimizing the height, and show that we can always achieve a height of at most 2pw(T)+1, where pw(T) (the so-called pathwidth) is a known lower bound on the height. Hence we give an asymptotic 2-approximation algorithm. We also create a drawing whose height is at most 3pw(T ), but where the width can be bounded by the number of nodes. Finally we construct trees that require height 2pw(T)+1 in all planar order-preserving straight-line drawings.

preprint2016arXiv

Sliding k-Transmitters: Hardness and Approximation

A sliding k-transmitter in an orthogonal polygon P is a mobile guard that travels back and forth along an orthogonal line segment s inside P. It can see a point p in P if the perpendicular from p onto s intersects the boundary of P at most k times. We show that guarding an orthogonal polygon P with the minimum number of k-transmitters is NP-hard, for any fixed k>0, even if P is simple and monotone. Moreover, we give an O(1)-approximation algorithm for this problem.

preprint2016arXiv

Splitting B2B_2-VPG graphs into outer-string and co-comparability graphs

In this paper, we show that any B2B_2-VPG graph (i.e., an intersection graph of orthogonal curves with at most 2 bends) can be decomposed into O(log⁡n)O(\log n) outerstring graphs or O(log⁡3n)O(\log^3 n) permutation graphs. This leads to better approximation algorithms for hereditary graph problems, such as independent set, clique and clique cover, on B2B_2-VPG graphs.

preprint2015arXiv

11-String B1B_1-VPG Representations of Planar Partial 33-Trees and Some Subclasses

Planar partial 33-trees are subgraphs of those planar graphs obtained by repeatedly inserting a vertex of degree 33 into a face. In this paper, we show that planar partial 33-trees have 11-string B1B_1-VPG representations, i.e., representations where every vertex is represented by an orthogonal curve with at most one bend, every two curves intersect at most once, and intersections of curves correspond to edges in the graph. We also that some subclasses of planar partial 3-trees have L-representations, i.e., a B1B_1-VPG representation where every curve has the shape of an L.

preprint2015arXiv

DAG-width of Control Flow Graphs with Applications to Model Checking

The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to consider a measure of width for digraphs instead. We use the so-called DAG-width and show that the DAG-width of control flow graphs arising from structured (goto-free) programs is at most three. Additionally, we also give a linear time algorithm to compute the DAG decomposition of these control flow graphs. One consequence of this result is that parity games (and hence the μμ-calculus model checking problem), which are known to be tractable on graphs of bounded DAG-width, can be solved efficiently in practice on control flow graphs.

preprint2015arXiv

Optimum-width upward drawings of trees

An upward drawing of a tree is a drawing such that no parents are below their children. It is order-preserving if the edges to children appear in prescribed order around each node. Chan showed that any tree has an upward order-preserving drawing with width O(log n). In this paper, we present linear-time algorithms that finds upward with instance-optimal width, i.e., the width is the minimum-possible for the input tree. We study two different models. In the first model, the drawings need not be order-preserving; a very simple algorithm then finds straight-line drawings of optimal width. In the second model, the drawings must be order-preserving; and we give an algorithm that finds optimum-width poly-line drawings, i.e., edges are allowed to have bends. We also briefly study order-preserving upward straight-line drawings, and show that some trees require larger width if drawings must be straight-line.

preprint2015arXiv

Representing Directed Trees as Straight Skeletons

The straight skeleton of a polygon is the geometric graph obtained by tracing the vertices during a mitered offsetting process. It is known that the straight skeleton of a simple polygon is a tree, and one can naturally derive directions on the edges of the tree from the propagation of the shrinking process. In this paper, we ask the reverse question: Given a tree with directed edges, can it be the straight skeleton of a polygon? And if so, can we find a suitable simple polygon? We answer these questions for all directed trees where the order of edges around each node is fixed.

preprint2015arXiv

Small-Area Orthogonal Drawings of 3-Connected Graphs

It is well-known that every graph with maximum degree 4 has an orthogonal drawing with area at most 4964n2+O(n)≈0.76n2\frac{49}{64} n^2+O(n) \approx 0.76n^2. In this paper, we show that if the graph is 3-connected, then the area can be reduced even further to 916n2+O(n)≈0.56n2\frac{9}{16}n^2+O(n) \approx 0.56n^2. The drawing uses the 3-canonical order for (not necessarily planar) 3-connected graphs, which is a special Mondshein sequence and can hence be computed in linear time. To our knowledge, this is the first application of a Mondshein sequence in graph drawing.

preprint2015arXiv

The (3,1)-ordering for 4-connected planar triangulations

Canonical orderings of planar graphs have frequently been used in graph drawing and other graph algorithms. In this paper we introduce the notion of an (r,s)(r,s)-canonical order, which unifies many of the existing variants of canonical orderings. We then show that (3,1)(3,1)-canonical ordering for 4-connected triangulations always exist; to our knowledge this variant of canonical ordering was not previously known. We use it to give much simpler proofs of two previously known graph drawing results for 4-connected planar triangulations, namely, rectangular duals and rectangle-of-influence drawings.

preprint2015arXiv

Triangulating planar graphs while keeping the pathwidth small

Any simple planar graph can be triangulated, i.e., we can add edges to it, without adding multi-edges, such that the result is planar and all faces are triangles. In this paper, we study the problem of triangulating a planar graph without increasing the pathwidth by much. We show that if a planar graph has pathwidth kk, then we can triangulate it so that the resulting graph has pathwidth O(k)O(k) (where the factors are 1, 8 and 16 for 3-connected, 2-connected and arbitrary graphs). With similar techniques, we also show that any outer-planar graph of pathwidth kk can be turned into a maximal outer-planar graph of pathwidth at most 4k+44k+4. The previously best known result here was 16k+1516k+15.

preprint2015arXiv

Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings

We present a simple and versatile formulation of grid-based graph representation problems as an integer linear program (ILP) and a corresponding SAT instance. In a grid-based representation vertices and edges correspond to axis-parallel boxes on an underlying integer grid; boxes can be further constrained in their shapes and interactions by additional problem-specific constraints. We describe a general d-dimensional model for grid representation problems. This model can be used to solve a variety of NP-hard graph problems, including pathwidth, bandwidth, optimum st-orientation, area-minimal (bar-k) visibility representation, boxicity-k graphs and others. We implemented SAT-models for all of the above problems and evaluated them on the Rome graphs collection. The experiments show that our model successfully solves NP-hard problems within few minutes on small to medium-size Rome graphs.

preprint2014arXiv

Straightening out planar poly-line drawings

We show that any yy-monotone poly-line drawing can be straightened out while maintaining yy-coordinates and height. The width may increase much, but we also show that on some graphs exponential width is required if we do not want to increase the height. Likewise yy-monotonicity is required: there are poly-line drawings (not yy-monotone) that cannot be straightened out while maintaining the height. We give some applications of our result.

preprint2013arXiv

Dihedral angles and orthogonal polyhedra

Consider an orthogonal polyhedron, i.e., a polyhedron where (at least after a suitable rotation) all faces are perpendicular to a coordinate axis, and hence all edges are parallel to a coordinate axis. Clearly, any facial angle and any dihedral angle is a multiple of π/2π/2. In this note we explore the converse: if the facial and/or dihedral angles are all multiples of π/2π/2, is the polyhedron necessarily orthogonal? The case of facial angles was answered previously. In this note we show that if both the facial and dihedral angles are multiples of π/2π/2 then the polyhedron is orthogonal (presuming connectivity), and we give examples to show that the condition for dihedral angles alone does not suffice.

preprint2013arXiv

On triangulating k-outerplanar graphs

A k-outerplanar graph is a graph that can be drawn in the plane without crossing such that after k-fold removal of the vertices on the outer-face there are no vertices left. In this paper, we study how to triangulate a k-outerplanar graph while keeping its outerplanarity small. Specifically, we show that not all k-outerplanar graphs can be triangulated so that the result is k-outerplanar, but they can be triangulated so that the result is (k+1)-outerplanar.

preprint2013arXiv

Trees and co-trees with constant maximum degree in planar 3-connected graphs

This paper considers the conjecture by Grünbaum that every planar 3-connected graph has a spanning tree TT such that both TT and its co-tree have maximum degree at most 3. Here, the co-tree of TT is the spanning tree of the dual obtained by taking the duals of the non-tree edges. While Grünbaum's conjecture remains open, we show that every planar 3-connected graph has a spanning tree TT such that both TT and its co-tree have maximum degree at most 5. It can be found in linear time.

preprint2011arXiv

Computing Cartograms with Optimal Complexity

In a rectilinear dual of a planar graph vertices are represented by simple rectilinear polygons and edges are represented by side-contact between the corresponding polygons. A rectilinear dual is called a cartogram if the area of each region is equal to a pre-specified weight of the corresponding vertex. The complexity of a cartogram is determined by the maximum number of corners (or sides) required for any polygon. In a series of papers the polygonal complexity of such representations for maximal planar graphs has been reduced from the initial 40 to 34, then to 12 and very recently to the currently best known 10. Here we describe a construction with 8-sided polygons, which is optimal in terms of polygonal complexity as 8-sided polygons are sometimes necessary. Specifically, we show how to compute the combinatorial structure and how to refine the representation into an area-universal rectangular layout in linear time. The exact cartogram can be computed from the area-universal rectangular layout with numerical iteration, or can be approximated with a hill-climbing heuristic. We also describe an alternative construction for Hamiltonian maximal planar graphs, which allows us to directly compute the cartograms in linear time. Moreover, we prove that even for Hamiltonian graphs 8-sided rectilinear polygons are necessary, by constructing a non-trivial lower bound example. The complexity of the cartograms can be reduced to 6 if the Hamiltonian path has the extra property that it is one-legged, as in outer-planar graphs. Thus, we have optimal representations (in terms of both polygonal complexity and running time) for Hamiltonian maximal planar and maximal outer-planar graphs.

preprint2009arXiv

Improved Approximation Algorithms for Segment Minimization in Intensity Modulated Radiation Therapy

he segment minimization problem consists of finding the smallest set of integer matrices that sum to a given intensity matrix, such that each summand has only one non-zero value, and the non-zeroes in each row are consecutive. This has direct applications in intensity-modulated radiation therapy, an effective form of cancer treatment. We develop three approximation algorithms for matrices with arbitrarily many rows. Our first two algorithms improve the approximation factor from the previous best of 1+log⁡2h1+\log_2 h to (roughly) 3/2⋅(1+log⁡3h)3/2 \cdot (1+\log_3 h) and 11/6⋅(1+log⁡4h)11/6\cdot(1+\log_4{h}), respectively, where hh is the largest entry in the intensity matrix. We illustrate the limitations of the specific approach used to obtain these two algorithms by proving a lower bound of (2b−2)b⋅log⁡bh+1b\frac{(2b-2)}{b}\cdot\log_b{h} + \frac{1}{b} on the approximation guarantee. Our third algorithm improves the approximation factor from 2⋅(log⁡D+1)2 \cdot (\log D+1) to 24/13⋅(log⁡D+1)24/13 \cdot (\log D+1), where DD is (roughly) the largest difference between consecutive elements of a row of the intensity matrix. Finally, experimentation with these algorithms shows that they perform well with respect to the optimum and outperform other approximation algorithms on 77% of the 122 test cases we consider, which include both real world and synthetic data.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.