-
Reconfiguration of unit squares and disks: PSPACE-hardness in simple settings
Authors:
Mikkel Abrahamsen,
Kevin Buchin,
Maike Buchin,
Linda Kleist,
Maarten Löffler,
Lena Schlipf,
André Schulz,
Jack Stade
Abstract:
We study two well-known reconfiguration problems. Given a start and a target configuration of geometric objects in a polygon, we wonder whether we can move the objects from the start configuration to the target configuration while avoiding collisions between the objects and staying within the polygon. Problems of this type have been considered since the early 80s by roboticists and computational g…
▽ More
We study two well-known reconfiguration problems. Given a start and a target configuration of geometric objects in a polygon, we wonder whether we can move the objects from the start configuration to the target configuration while avoiding collisions between the objects and staying within the polygon. Problems of this type have been considered since the early 80s by roboticists and computational geometers. In this paper, we study some of the simplest possible variants where the objects are unlabeled unit squares or unit disks. In unlabeled reconfiguration, the objects are identical, so that any object is allowed to end at any of the targets positions.
We show that it is PSPACE-hard to decide whether there exists a reconfiguration of unit squares even in a simple polygon. Previously, it was only known to be PSPACE-hard in a polygon with holes [Solovey and Halperin, Int. J. Robotics Res. 2016]. Our proof is based on a result of independent interest, namely that reconfiguration between two satisfying assignments of a formula of Monotone-Planar-3SAT is also PSPACE-complete. The reduction from reconfiguration of Monotone-Planar-3SAT to reconfiguration of unit squares extends techniques recently developed to show NP-hardness of packing unit squares in a simple polygon [Abrahamsen and Stade, FOCS 2024]. We also show PSPACE-hardness of reconfiguration of unit disks in a polygon with holes. Previously, it was only known that reconfiguration of disks of two different sizes was PSPACE-hard [Brocken, van der Heijden, Kostitsyna, Lo-Wong and Surtel, FUN 2021].
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
Minimum Monotone Spanning Trees
Authors:
Emilio Di Giacomo,
Walter Didimo,
Eleni Katsanou,
Lena Schlipf,
Antonios Symvonis,
Alexander Wolff
Abstract:
Computing a Euclidean minimum spanning tree of a set of points is a seminal problem in computational geometry and geometric graph theory. We combine it with another classical problem in graph drawing, namely computing a monotone geometric representation of a given graph. More formally, given a finite set $S$ of points in the plane and a finite set $\cal D$ of directions, a geometric spanning tree…
▽ More
Computing a Euclidean minimum spanning tree of a set of points is a seminal problem in computational geometry and geometric graph theory. We combine it with another classical problem in graph drawing, namely computing a monotone geometric representation of a given graph. More formally, given a finite set $S$ of points in the plane and a finite set $\cal D$ of directions, a geometric spanning tree $T$ with vertex set $S$ is ${\cal D}$-monotone if, for every pair $\{u,v\}$ of vertices of $T$, there exists a direction $d \in \cal D$ for which the unique path from $u$ to $v$ in $T$ is monotone with respect to $d$. We provide a characterization of ${\cal D}$-monotone spanning trees. Based on it, we show that a ${\cal D}$-monotone spanning tree of minimum length can be computed in polynomial time if the number $k=|{\cal D}|$ of directions is fixed, both when (i) the set ${\cal D}$ of directions is prescribed and when (ii) the objective is to find a minimum-length ${\cal D}$-monotone spanning tree over all sets ${\cal D}$ of $k$ directions. For $k = 2$, we describe algorithms that are much faster than those for the general case. Furthermore, in contrast to the classical Euclidean minimum spanning tree, whose vertex degree is at most six, we show that for every even integer $k$, there exists a point set $S_k$ and a set $\cal D$ of $k$ directions such that any minimum-length $\cal D$-monotone spanning tree of $S_k$ has maximum vertex degree $2k$.
△ Less
Submitted 23 November, 2024; v1 submitted 21 November, 2024;
originally announced November 2024.
-
Weakly and Strongly Fan-Planar Graphs
Authors:
Otfried Cheong,
Henry Förster,
Julia Katheder,
Maximilian Pfister,
Lena Schlipf
Abstract:
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
△ Less
Submitted 30 August, 2023; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Quantum-classical processing and benchmarking at the pulse-level
Authors:
Lior Ella,
Lorenzo Leandro,
Oded Wertheim,
Yoav Romach,
Lukas Schlipf,
Ramon Szmuk,
Yoel Knol,
Nissim Ofek,
Itamar Sivan,
Yonatan Cohen
Abstract:
Towards the practical use of quantum computers in the NISQ era, as well as the realization of fault-tolerant quantum computers that utilize quantum error correction codes, pressing needs have emerged for the control hardware and software platforms. In particular, a clear demand has arisen for platforms that allow classical processing to be integrated with quantum processing. While recent works dis…
▽ More
Towards the practical use of quantum computers in the NISQ era, as well as the realization of fault-tolerant quantum computers that utilize quantum error correction codes, pressing needs have emerged for the control hardware and software platforms. In particular, a clear demand has arisen for platforms that allow classical processing to be integrated with quantum processing. While recent works discuss the requirements for such quantum-classical processing integration that is formulated at the gate-level, pulse-level discussions are lacking and are critically important. Moreover, defining concrete performance benchmarks for the control system at the pulse-level is key to the necessary quantum-classical integration. In this work, we categorize the requirements for quantum-classical processing at the pulse-level, demonstrate these requirements with a variety of use cases, including recently published works, and propose well-defined performance benchmarks for quantum control systems. We utilize a comprehensive pulse-level language that allows embedding universal classical processing in the quantum program and hence allows for a general formulation of benchmarks. We expect the metrics defined in this work to form a solid basis to continue to push the boundaries of quantum computing via control systems, bridging the gap between low-level and application-level implementations with relevant metrics.
△ Less
Submitted 14 November, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
The thickness of fan-planar graphs is at most three
Authors:
Otfried Cheong,
Maximilian Pfister,
Lena Schlipf
Abstract:
We prove that in any strongly fan-planar drawing of a graph G the edges can be colored with at most three colors, such that no two edges of the same color cross. This implies that the thickness of strongly fan-planar graphs is at most three. If G is bipartite, then two colors suffice to color the edges in this way.
We prove that in any strongly fan-planar drawing of a graph G the edges can be colored with at most three colors, such that no two edges of the same color cross. This implies that the thickness of strongly fan-planar graphs is at most three. If G is bipartite, then two colors suffice to color the edges in this way.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
Efficient Fréchet distance queries for segments
Authors:
Maike Buchin,
Ivor van der Hoog,
Tim Ophelders,
Lena Schlipf,
Rodrigo I. Silveira,
Frank Staals
Abstract:
We study the problem of constructing a data structure that can store a two-dimensional polygonal curve $P$, such that for any query segment $\overline{ab}$ one can efficiently compute the Fréchet distance between $P$ and $\overline{ab}$. First we present a data structure of size $O(n \log n)$ that can compute the Fréchet distance between $P$ and a horizontal query segment $\overline{ab}$ in…
▽ More
We study the problem of constructing a data structure that can store a two-dimensional polygonal curve $P$, such that for any query segment $\overline{ab}$ one can efficiently compute the Fréchet distance between $P$ and $\overline{ab}$. First we present a data structure of size $O(n \log n)$ that can compute the Fréchet distance between $P$ and a horizontal query segment $\overline{ab}$ in $O(\log n)$ time, where $n$ is the number of vertices of $P$. In comparison to prior work, this significantly reduces the required space. We extend the type of queries allowed, as we allow a query to be a horizontal segment $\overline{ab}$ together with two points $s, t \in P$ (not necessarily vertices), and ask for the Fréchet distance between $\overline{ab}$ and the curve of $P$ in between $s$ and $t$. Using $O(n\log^2n)$ storage, such queries take $O(\log^3 n)$ time, simplifying and significantly improving previous results. We then generalize our results to query segments of arbitrary orientation. We present an $O(nk^{3+\varepsilon}+n^2)$ size data structure, where $k \in [1..n]$ is a parameter the user can choose, and $\varepsilon > 0$ is an arbitrarily small constant, such that given any segment $\overline{ab}$ and two points $s, t \in P$ we can compute the Fréchet distance between $\overline{ab}$ and the curve of $P$ in between $s$ and $t$ in $O((n/k)\log^2n+\log^4 n)$ time. This is the first result that allows efficient exact Fréchet distance queries for arbitrarily oriented segments.
We also present two applications of our data structure: we show that we can compute a local $δ$-simplification (with respect to the Fréchet distance) of a polygonal curve in $O(n^{5/2+\varepsilon})$ time, and that we can efficiently find a translation of an arbitrary query segment $\overline{ab}$ that minimizes the Fréchet distance with respect to a subcurve of $P$.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
One-Bend Drawings of Outerplanar Graphs Inside Simple Polygons
Authors:
Patrizio Angelini,
Philipp Kindermann,
Andre Löffler,
Lena Schlipf,
Antonios Symvonis
Abstract:
We consider the problem of drawing an outerplanar graph with $n$ vertices with at most one bend per edge if the outer face is already drawn as a simple polygon. We prove that it can be decided in $O(nm)$ time if such a drawing exists, where $m\le n-3$ is the number of interior edges. In the positive case, we can also compute such a drawing.
We consider the problem of drawing an outerplanar graph with $n$ vertices with at most one bend per edge if the outer face is already drawn as a simple polygon. We prove that it can be decided in $O(nm)$ time if such a drawing exists, where $m\le n-3$ is the number of interior edges. In the positive case, we can also compute such a drawing.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Augmenting Geometric Graphs with Matchings
Authors:
Alexander Pilz,
Jonathan Rollin,
Lena Schlipf,
André Schulz
Abstract:
We study noncrossing geometric graphs and their disjoint compatible geometric matchings. Given a cycle (a polygon) P we want to draw a set of pairwise disjoint straight-line edges with endpoints on the vertices of P such that these new edges neither cross nor contain any edge of the polygon. We prove NP-completeness of deciding whether there is such a perfect matching. For any n-vertex polygon, wi…
▽ More
We study noncrossing geometric graphs and their disjoint compatible geometric matchings. Given a cycle (a polygon) P we want to draw a set of pairwise disjoint straight-line edges with endpoints on the vertices of P such that these new edges neither cross nor contain any edge of the polygon. We prove NP-completeness of deciding whether there is such a perfect matching. For any n-vertex polygon, with n > 3, we show that such a matching with less than n/7 edges is not maximal, that is, it can be extended by another compatible matching edge. We also construct polygons with maximal compatible matchings with n/7 edges, demonstrating the tightness of this bound. Tight bounds on the size of a minimal maximal compatible matching are also obtained for the families of d-regular geometric graphs for each d in {0,1,2}. Finally we consider a related problem. We prove that it is NP-complete to decide whether a noncrossing geometric graph G admits a set of compatible noncrossing edges such that G together with these edges has minimum degree five.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
On Romeo and Juliet Problems: Minimizing Distance-to-Sight
Authors:
Hee-Kap Ahn,
Eunjin Oh,
Lena Schlipf,
Fabian Stehn,
Darren Strash
Abstract:
We introduce a variant of the watchman route problem, which we call the quickest pair-visibility problem. Given two persons standing at points $s$ and $t$ in a simple polygon $P$ with no holes, we want to minimize the distance they travel in order to see each other in $P$. We solve two variants of this problem, one minimizing the longer distance the two persons travel (min-max) and one minimizing…
▽ More
We introduce a variant of the watchman route problem, which we call the quickest pair-visibility problem. Given two persons standing at points $s$ and $t$ in a simple polygon $P$ with no holes, we want to minimize the distance they travel in order to see each other in $P$. We solve two variants of this problem, one minimizing the longer distance the two persons travel (min-max) and one minimizing the total travel distance (min-sum), optimally in linear time. We also consider a query version of this problem for the min-max variant. We can preprocess a simple $n$-gon in linear time so that the minimum of the longer distance the two persons travel can be computed in $O(\log^2 n)$ time for any two query positions $s,t$ where the two persons start.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Drawing Subcubic 1-Planar Graphs with Few Bends, Few Slopes, and Large Angles
Authors:
Philipp Kindermann,
Fabrizio Montecchiani,
Lena Schlipf,
André Schulz
Abstract:
We show that the 1-planar slope number of 3-connected cubic 1-planar graphs is at most 4 when edges are drawn as polygonal curves with at most 1 bend each. This bound is obtained by drawings whose vertex and crossing resolution is at least $π/4$. On the other hand, if the embedding is fixed, then there is a 3-connected cubic 1-planar graph that needs 3 slopes when drawn with at most 1 bend per edg…
▽ More
We show that the 1-planar slope number of 3-connected cubic 1-planar graphs is at most 4 when edges are drawn as polygonal curves with at most 1 bend each. This bound is obtained by drawings whose vertex and crossing resolution is at least $π/4$. On the other hand, if the embedding is fixed, then there is a 3-connected cubic 1-planar graph that needs 3 slopes when drawn with at most 1 bend per edge. We also show that 2 slopes always suffice for 1-planar drawings of subcubic 1-planar graphs with at most 2 bends per edge. This bound is obtained with vertex resolution $π/2$ and the drawing is RAC (crossing resolution $π/2$). Finally, we prove lower bounds for the slope number of straight-line 1-planar drawings in terms of number of vertices and maximum degree.
△ Less
Submitted 25 August, 2018;
originally announced August 2018.
-
Convexity-Increasing Morphs of Planar Graphs
Authors:
Linda Kleist,
Boris Klemz,
Anna Lubiw,
Lena Schlipf,
Frank Staals,
Darren Strash
Abstract:
We study the problem of convexifying drawings of planar graphs. Given any planar straight-line drawing of an internally 3-connected graph, we show how to morph the drawing to one with strictly convex faces while maintaining planarity at all times. Our morph is convexity-increasing, meaning that once an angle is convex, it remains convex. We give an efficient algorithm that constructs such a morph…
▽ More
We study the problem of convexifying drawings of planar graphs. Given any planar straight-line drawing of an internally 3-connected graph, we show how to morph the drawing to one with strictly convex faces while maintaining planarity at all times. Our morph is convexity-increasing, meaning that once an angle is convex, it remains convex. We give an efficient algorithm that constructs such a morph as a composition of a linear number of steps where each step either moves vertices along horizontal lines or moves vertices along vertical lines. Moreover, we show that a linear number of steps is worst-case optimal.
To obtain our result, we use a well-known technique by Hong and Nagamochi for finding redrawings with convex faces while preserving y-coordinates. Using a variant of Tutte's graph drawing algorithm, we obtain a new proof of Hong and Nagamochi's result which comes with a better running time. This is of independent interest, as Hong and Nagamochi's technique serves as a building block in existing morphing algorithms.
△ Less
Submitted 28 January, 2019; v1 submitted 19 February, 2018;
originally announced February 2018.
-
On Gallai's conjecture for series-parallel graphs and planar 3-trees
Authors:
Philipp Kindermann,
Lena Schlipf,
André Schulz
Abstract:
A path cover is a decomposition of the edges of a graph into edge-disjoint simple paths. Gallai conjectured that every connected $n$-vertex graph has a path cover with at most $\lceil n/2 \rceil$ paths. We prove Gallai's conjecture for series-parallel graphs. For the class of planar 3-trees we show how to construct a path cover with at most $\lfloor 5n/8 \rfloor$ paths, which is an improvement ove…
▽ More
A path cover is a decomposition of the edges of a graph into edge-disjoint simple paths. Gallai conjectured that every connected $n$-vertex graph has a path cover with at most $\lceil n/2 \rceil$ paths. We prove Gallai's conjecture for series-parallel graphs. For the class of planar 3-trees we show how to construct a path cover with at most $\lfloor 5n/8 \rfloor$ paths, which is an improvement over the best previously known bound of $\lfloor 2n/3 \rfloor$.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Molecular quantum spin network controlled by a single qubit
Authors:
Lukas Schlipf,
Thomas Oeckinghaus,
Kebiao Xu,
Durga Bhaktavatsala Rao Dasari,
Andrea Zappe,
Felipe Fávaro de Oliveira,
Bastian Kern,
Mykhailo Azarkh,
Malte Drescher,
Markus Ternes,
Klaus Kern,
Jörg Wrachtrup,
Amit Finkler
Abstract:
Scalable quantum technologies will require an unprecedented combination of precision and complexity for designing stable structures of well-controllable quantum systems. It is a challenging task to find a suitable elementary building block, of which a quantum network can be comprised in a scalable way. Here we present the working principle of such a basic unit, engineered using molecular chemistry…
▽ More
Scalable quantum technologies will require an unprecedented combination of precision and complexity for designing stable structures of well-controllable quantum systems. It is a challenging task to find a suitable elementary building block, of which a quantum network can be comprised in a scalable way. Here we present the working principle of such a basic unit, engineered using molecular chemistry, whose control and readout are executed using a nitrogen vacancy (NV) center in diamond. The basic unit we investigate is a synthetic polyproline with electron spins localized on attached molecular sidegroups separated by a few nanometers. We demonstrate the readout and coherent manipulation of very few ($\leq 6 $) of these $S=1/2$ electronic spin systems and access their direct dipolar coupling tensor. Our results show, that it is feasible to use spin-labeled peptides as a resource for a molecular-qubit based network, while at the same time providing simple optical readout of single quantum states through NV-magnetometry. This work lays the foundation for building arbitrary quantum networks using well-established chemistry methods, which has many applications ranging from mapping distances in single molecules to quantum information processing.
△ Less
Submitted 5 April, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Edge-Orders
Authors:
Lena Schlipf,
Jens M. Schmidt
Abstract:
Canonical orderings and their relatives such as st-numberings have been used as a key tool in algorithmic graph theory for the last decades. Recently, a unifying concept behind all these orders has been shown: they can be described by a graph decomposition into parts that have a prescribed vertex-connectivity.
Despite extensive interest in canonical orderings, no analogue of this unifying concep…
▽ More
Canonical orderings and their relatives such as st-numberings have been used as a key tool in algorithmic graph theory for the last decades. Recently, a unifying concept behind all these orders has been shown: they can be described by a graph decomposition into parts that have a prescribed vertex-connectivity.
Despite extensive interest in canonical orderings, no analogue of this unifying concept is known for edge-connectivity. In this paper, we establish such a concept named edge-orders and show how to compute (1,1)-edge-orders of 2-edge-connected graphs as well as (2,1)-edge-orders of 3-edge-connected graphs in linear time, respectively. While the former can be seen as the edge-variants of st-numberings, the latter are the edge-variants of Mondshein sequences and non-separating ear decompositions. The methods that we use for obtaining such edge-orders differ considerably in almost all details from the ones used for their vertex-counterparts, as different graph-theoretic constructions are used in the inductive proof and standard reductions from edge- to vertex-connectivity are bound to fail.
As a first application, we consider the famous Edge-Independent Spanning Tree Conjecture, which asserts that every k-edge-connected graph contains k rooted spanning trees that are pairwise edge-independent. We illustrate the impact of the above edge-orders by deducing algorithms that construct 2- and 3-edge independent spanning trees of 2- and 3-edge-connected graphs, the latter of which improves the best known running time from O(n^2) to linear time.
△ Less
Submitted 15 July, 2016;
originally announced July 2016.
-
Tracking Temperature Dependent Relaxation Times of Individual Ferritin Nanomagnets with a Wide-band Quantum Spectrometer
Authors:
Eike Schäfer-Nolte,
Lukas Schlipf,
Markus Ternes,
Friedemann Reinhard,
Klaus Kern,
Jörg Wrachtrup
Abstract:
We demonstrate the tracking of the spin dynamics of ensemble and individual magnetic ferritin proteins from cryogenic up to room temperature using the nitrogen-vacancy color center in diamond as magnetic sensor. We employ different detection protocols to probe the influence of the ferritin nanomagnets on the longitudinal and transverse relaxation of the nitrogen-vacancy center, which enables magne…
▽ More
We demonstrate the tracking of the spin dynamics of ensemble and individual magnetic ferritin proteins from cryogenic up to room temperature using the nitrogen-vacancy color center in diamond as magnetic sensor. We employ different detection protocols to probe the influence of the ferritin nanomagnets on the longitudinal and transverse relaxation of the nitrogen-vacancy center, which enables magnetic sensing over a wide frequency range from Hz to GHz. The temperature dependence of the observed spectral features can be well understood by the thermally induced magnetization reversals of the ferritin and enables the determination of the anisotropy barrier of single ferritin molecules.
△ Less
Submitted 2 June, 2014;
originally announced June 2014.
-
Finding Largest Rectangles in Convex Polygons
Authors:
Sergio Cabello,
Otfried Cheong,
Christian Knauer,
Lena Schlipf
Abstract:
We consider the following geometric optimization problem: find a maximum-area rectangle and a maximum-perimeter rectangle contained in a given convex polygon with $n$ vertices. We give exact algorithms that solve these problems in time $O(n^3)$. We also give $(1-\varepsilon)$-approximation algorithms that take time $O(\varepsilon^{-3/2}+ \varepsilon^{-1/2} \log n)$.
We consider the following geometric optimization problem: find a maximum-area rectangle and a maximum-perimeter rectangle contained in a given convex polygon with $n$ vertices. We give exact algorithms that solve these problems in time $O(n^3)$. We also give $(1-\varepsilon)$-approximation algorithms that take time $O(\varepsilon^{-3/2}+ \varepsilon^{-1/2} \log n)$.
△ Less
Submitted 6 October, 2014; v1 submitted 6 May, 2014;
originally announced May 2014.
-
Notes on Convex Transversals
Authors:
Lena Schlipf
Abstract:
In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line segments.
In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line segments.
△ Less
Submitted 21 November, 2012;
originally announced November 2012.
-
Covering and Piercing Disks with Two Centers
Authors:
Hee-Kap Ahn,
Sang-Sub Kim,
Christian Knauer,
Lena Schlipf,
Chan-Su Shin,
Antoine Vigneron
Abstract:
We give exact and approximation algorithms for two-center problems when the input is a set $\mathcal{D}$ of disks in the plane. We first study the problem of finding two smallest congruent disks such that each disk in $\mathcal{D}$ intersects one of these two disks. Then we study the problem of covering the set $\mathcal{D}$ by two smallest congruent disks.
We give exact and approximation algorithms for two-center problems when the input is a set $\mathcal{D}$ of disks in the plane. We first study the problem of finding two smallest congruent disks such that each disk in $\mathcal{D}$ intersects one of these two disks. Then we study the problem of covering the set $\mathcal{D}$ by two smallest congruent disks.
△ Less
Submitted 5 January, 2012;
originally announced January 2012.
