Skip to main content

Showing 1–50 of 241 results for author: Eppstein, D

Searching in archive cs. Search in all archives.
.
  1. arXiv:2507.04538  [pdf, ps, other

    cs.CG cs.DS

    Decremental Greedy Polygons and Polyhedra Without Sharp Angles

    Authors: David Eppstein

    Abstract: We show that the max-min-angle polygon in a planar point set can be found in time $O(n\log n)$ and a max-min-solid-angle convex polyhedron in a three-dimensional point set can be found in time $O(n^2)$. We also study the maxmin-angle polygonal curve in 3d, which we show to be $\mathsf{NP}$-hard to find if repetitions are forbidden but can be found in near-cubic time if repeated vertices or line se… ▽ More

    Submitted 6 July, 2025; originally announced July 2025.

    Comments: 13 pages, 5 figures. Extended version (with appendices) of a paper to appear at the 37th Canadian Conference on Computational Geometry

  2. arXiv:2506.03960  [pdf, ps, other

    cs.CG math.MG

    Better Late than Never: the Complexity of Arrangements of Polyhedra

    Authors: Boris Aronov, Sang Won Bae, Sergio Cabello, Otfried Cheong, David Eppstein, Christian Knauer, Raimund Seidel

    Abstract: Let $\mathcal{A}$ be the subdivision of $\mathbb{R}^d$ induced by $m$ convex polyhedra having $n$ facets in total. We prove that $\mathcal{A}$ has combinatorial complexity $O(m^{\lceil d/2 \rceil} n^{\lfloor d/2 \rfloor})$ and that this bound is tight. The bound is mentioned several times in the literature, but no proof for arbitrary dimension has been published before.

    Submitted 4 June, 2025; originally announced June 2025.

    Comments: An earlier version appeared in EuroCG 2025

  3. arXiv:2505.10789  [pdf, other

    cs.DS

    Bandwidth vs BFS Width in Matrix Reordering, Graph Reconstruction, and Graph Drawing

    Authors: David Eppstein, Michael T. Goodrich, Songyu Liu

    Abstract: We provide the first approximation quality guarantees for the Cuthull-McKee heuristic for reordering symmetric matrices to have low bandwidth, and we provide an algorithm for reconstructing bounded-bandwidth graphs from distance oracles with near-linear query complexity. To prove these results we introduce a new width parameter, BFS width, and we prove polylogarithmic upper and lower bounds on the… ▽ More

    Submitted 21 May, 2025; v1 submitted 15 May, 2025; originally announced May 2025.

  4. arXiv:2505.04953  [pdf, other

    cs.DS

    Zip-Tries: Simple Dynamic Data Structures for Strings

    Authors: David Eppstein, Ofek Gila, Michael T. Goodrich, Ryuto Kitagawa

    Abstract: In this paper, we introduce zip-tries, which are simple, dynamic, memory-efficient data structures for strings. Zip-tries support search and update operations for $k$-length strings in $\mathcal{O}(k+\log n)$ time in the standard RAM model or in $\mathcal{O}(k/α+\log n)$ time in the word RAM model, where $α$ is the length of the longest string that can fit in a memory word, and $n$ is the number o… ▽ More

    Submitted 16 May, 2025; v1 submitted 8 May, 2025; originally announced May 2025.

    Comments: 18 pages, 13 figures, v2 is full version of paper to appear in the SIAM Conference on Applied and Computational Discrete Algorithms (ACDA25) in 2025

  5. arXiv:2501.07707  [pdf, other

    cs.CG

    Computational Geometry with Probabilistically Noisy Primitive Operations

    Authors: David Eppstein, Michael T. Goodrich, Vinesh Sridhar

    Abstract: Much prior work has been done on designing computational geometry algorithms that handle input degeneracies, data imprecision, and arithmetic round-off errors. We take a new approach, inspired by the noisy sorting literature, and study computational geometry algorithms subject to noisy Boolean primitive operations in which, e.g., the comparison "is point q above line L?" returns the wrong answer w… ▽ More

    Submitted 13 January, 2025; originally announced January 2025.

    Comments: 28 pages, 6 figures

  6. arXiv:2411.18790  [pdf, ps, other

    cs.DS

    Fast Schulze Voting Using Quickselect

    Authors: Arushi Arora, David Eppstein, Randy Le Huynh

    Abstract: The Schulze voting method aggregates voter preference data using maxmin-weight graph paths, achieving the Condorcet property that a candidate who would win every head-to-head contest will also win the overall election. Once the voter preferences among $m$ candidates have been arranged into an $m\times m$ matrix of pairwise election outcomes, a previous algorithm of Sornat, Vassilevska Williams and… ▽ More

    Submitted 27 November, 2024; originally announced November 2024.

  7. arXiv:2410.12083  [pdf, other

    cs.CG

    Drawing Planar Graphs and 1-Planar Graphs Using Cubic Bézier Curves with Bounded Curvature

    Authors: David Eppstein, Michael T. Goodrich, Abraham M. Illickan

    Abstract: We study algorithms for drawing planar graphs and 1-planar graphs using cubic Bézier curves with bounded curvature. We show that any n-vertex 1-planar graph has a 1-planar RAC drawing using a single cubic Bézier curve per edge, and this drawing can be computed in $O(n)$ time given a combinatorial 1-planar drawing. We also show that any n-vertex planar graph G can be drawn in $O(n)$ time with a sin… ▽ More

    Submitted 15 October, 2024; originally announced October 2024.

    Comments: 17 pages, 8 figures, Accepted and Presented at GD2024

    MSC Class: 68R10 ACM Class: F.m

  8. arXiv:2410.07666  [pdf, other

    cs.CG cs.CC cs.DS

    Computational Complexities of Folding

    Authors: David Eppstein

    Abstract: We prove several hardness results on folding origami crease patterns. Flat-folding finite crease patterns is fixed-parameter tractable in the ply of the folded pattern (how many layers overlap at any point) and the treewidth of an associated cell adjacency graph. Under the exponential time hypothesis, the singly-exponential dependence of our algorithm on treewidth is necessary, even for bounded pl… ▽ More

    Submitted 10 October, 2024; originally announced October 2024.

    Comments: 39 pages, 27 figures. Section 3 incorporates material from arXiv:2306.11939

  9. arXiv:2410.05580  [pdf, other

    cs.CG

    Noncrossing Longest Paths and Cycles

    Authors: Greg Aloupis, Ahmad Biniaz, Prosenjit Bose, Jean-Lou De Carufel, David Eppstein, Anil Maheshwari, Saeed Odak, Michiel Smid, Csaba D. Tóth, Pavel Valtr

    Abstract: Edge crossings in geometric graphs are sometimes undesirable as they could lead to unwanted situations such as collisions in motion planning and inconsistency in VLSI layout. Short geometric structures such as shortest perfect matchings, shortest spanning trees, shortest spanning paths, and shortest spanning cycles on a given point set are inherently noncrossing. However, the longest such structur… ▽ More

    Submitted 7 October, 2024; originally announced October 2024.

    Comments: 19 pages, 8 figures, GD 2024

  10. arXiv:2403.03290  [pdf, ps, other

    cs.CG cs.DS

    Maintaining Light Spanners via Minimal Updates

    Authors: Hadi Khodabandeh, David Eppstein

    Abstract: We study the problem of maintaining a lightweight bounded-degree $(1+\varepsilon)$-spanner of a dynamic point set in a $d$-dimensional Euclidean space, where $\varepsilon>0$ and $d$ are arbitrary constants. In our fully-dynamic setting, points are allowed to be inserted as well as deleted, and our objective is to maintain a $(1+\varepsilon)$-spanner that has constant bounds on its maximum degree a… ▽ More

    Submitted 5 March, 2024; originally announced March 2024.

  11. arXiv:2401.06328  [pdf, other

    math.MG cs.CG

    Non-Euclidean Erdős-Anning Theorems

    Authors: David Eppstein

    Abstract: The Erdős-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$δ$, at most $O(δ^2)$ points can have integer distances from all three triangle vertices. We prove the same results for any strictly convex distance function on the plane, and analogous results for every… ▽ More

    Submitted 23 February, 2025; v1 submitted 11 January, 2024; originally announced January 2024.

    Comments: 27 pages, 13 figures. This is the full version of a paper to appear in shortened form in the proceedings of the 41st International Symposium on Computational Geometry (SoCG 2025)

  12. arXiv:2307.10527  [pdf, other

    cs.CG cs.DS

    Manipulating Weights to Improve Stress-Graph Drawings of 3-Connected Planar Graphs

    Authors: Alvin Chiu, David Eppstein, Michael T. Goodrich

    Abstract: We study methods to manipulate weights in stress-graph embeddings to improve convex straight-line planar drawings of 3-connected planar graphs. Stress-graph embeddings are weighted versions of Tutte embeddings, where solving a linear system places vertices at a minimum-energy configuration for a system of springs. A major drawback of the unweighted Tutte embedding is that it often results in drawi… ▽ More

    Submitted 30 August, 2023; v1 submitted 19 July, 2023; originally announced July 2023.

    Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

  13. arXiv:2306.12611  [pdf, other

    cs.CG math.CO

    Geometric Graphs with Unbounded Flip-Width

    Authors: David Eppstein, Rose McCarty

    Abstract: We consider the flip-width of geometric graphs, a notion of graph width recently introduced by Toruńczyk. We prove that many different types of geometric graphs have unbounded flip-width. These include interval graphs, permutation graphs, circle graphs, intersection graphs of axis-aligned line segments or axis-aligned unit squares, unit distance graphs, unit disk graphs, visibility graphs of simpl… ▽ More

    Submitted 21 June, 2023; originally announced June 2023.

    Comments: 10 pages, 7 figures. To appear at CCCG 2023

  14. arXiv:2306.11939  [pdf, other

    cs.CG cs.DS

    A Parameterized Algorithm for Flat Folding

    Authors: David Eppstein

    Abstract: We prove that testing the flat foldability of an origami crease pattern (either labeled with mountain and valley folds, or unlabeled) is fixed-parameter tractable when parameterized by the ply of the flat-folded state and by the treewidth of an associated planar graph, the cell adjacency graph of an arrangement of polygons formed by the flat-folded state. For flat foldings of bounded ply, our algo… ▽ More

    Submitted 20 June, 2023; originally announced June 2023.

    Comments: 8 pages, 8 figures. To appear at CCCG 2023

  15. Quasipolynomiality of the Smallest Missing Induced Subgraph

    Authors: David Eppstein, Andrea Lincoln, Virginia Vassilevska Williams

    Abstract: We study the problem of finding the smallest graph that does not occur as an induced subgraph of a given graph. This missing induced subgraph has at most logarithmic size and can be found by a brute-force search, in an $n$-vertex graph, in time $n^{O(\log n)}$. We show that under the Exponential Time Hypothesis this quasipolynomial time bound is optimal. We also consider variations of the problem… ▽ More

    Submitted 27 June, 2023; v1 submitted 19 June, 2023; originally announced June 2023.

    Comments: 10 pages, 1 figure. To appear in J. Graph Algorithms Appl. This version updates an author affiliation

    Journal ref: J. Graph Algorithms & Applications 27 (5): 329-339, 2023

  16. arXiv:2305.09230  [pdf, other

    cs.DS

    Lower Bounds for Non-Adaptive Shortest Path Relaxation

    Authors: David Eppstein

    Abstract: We consider single-source shortest path algorithms that perform a sequence of relaxation steps whose ordering depends only on the input graph structure and not on its weights or the results of prior steps. Each step examines one edge of the graph, and replaces the tentative distance to the endpoint of the edge by its minimum with the tentative distance to the start of the edge, plus the edge lengt… ▽ More

    Submitted 16 May, 2023; originally announced May 2023.

    Comments: 14 pages, 2 figures. To appear at the 18th Algorithms and Data Structures Symposium (WADS 2023)

  17. arXiv:2303.17028  [pdf, other

    cs.CG cs.CC

    On the complexity of embedding in graph products

    Authors: Therese Biedl, David Eppstein, Torsten Ueckerdt

    Abstract: 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 $G$ in a host graph that is the strong product of a path $P$ with a graph $H$ that satisfies some properties, such as having small treewidth, pathwidth or tree depth. We show that this is NP-hard, even… ▽ More

    Submitted 29 March, 2023; originally announced March 2023.

  18. Non-crossing Hamiltonian Paths and Cycles in Output-Polynomial Time

    Authors: David Eppstein

    Abstract: We show that, for planar point sets, the number of non-crossing Hamiltonian paths is polynomially bounded in the number of non-crossing paths, and the number of non-crossing Hamiltonian cycles (polygonalizations) is polynomially bounded in the number of surrounding cycles. As a consequence, we can list the non-crossing Hamiltonian paths or the polygonalizations, in time polynomial in the output si… ▽ More

    Submitted 28 February, 2023; originally announced March 2023.

    Comments: 24 pages, 9 figures. Full version of a paper to appear in a shorter form in the 39th International Symposium on Computational Geometry (SoCG 2023)

    Journal ref: Algorithmica 86: 3027-3053, 2024

  19. arXiv:2207.09972  [pdf, other

    math.CO cs.CG cs.DM

    Improved mixing for the convex polygon triangulation flip walk

    Authors: David Eppstein, Daniel Frishberg

    Abstract: We prove that the well-studied triangulation flip walk on a convex point set mixes in time O(n^3 log^3 n), the first progress since McShine and Tetali's O(n^5 log n) bound in 1997. In the process we give lower and upper bounds of respectively Omega(1/(sqrt n log n)) and O(1/sqrt n) -- asymptotically tight up to an O(log n) factor -- for the expansion of the associahedron graph K_n. The upper bound… ▽ More

    Submitted 3 May, 2023; v1 submitted 20 July, 2022; originally announced July 2022.

    ACM Class: G.2; F.2

  20. Locked and unlocked smooth embeddings of surfaces

    Authors: David Eppstein

    Abstract: We study the continuous motion of smooth isometric embeddings of a planar surface in three-dimensional Euclidean space, and two related discrete analogues of these embeddings, polygonal embeddings and flat foldings without interior vertices, under continuous changes of the embedding or folding. We show that every star-shaped or spiral-shaped domain is unlocked: a continuous motion unfolds it to a… ▽ More

    Submitted 26 June, 2022; originally announced June 2022.

    Comments: 8 pages, 8 figures. To appear in 34th Canadian Conference on Computational Geometry

    Journal ref: Computing in Geometry and Topology 2 (2): 5.1-5.20, 2023

  21. arXiv:2206.11413  [pdf, other

    cs.CG

    Reflections in an octagonal mirror maze

    Authors: David Eppstein

    Abstract: Suppose we are given an environment consisting of axis-parallel and diagonal line segments with integer endpoints, each of which may be reflective or non-reflective, with integer endpoints, and an initial position for a light ray passing through points of the integer grid. Then in time polynomial in the number of segments and in the number of bits needed to specify the coordinates of the input, we… ▽ More

    Submitted 22 June, 2022; originally announced June 2022.

    Comments: 6 pages, 5 figures. To appear in 34th Canadian Conference on Computational Geometry

  22. Orthogonal dissection into few rectangles

    Authors: David Eppstein

    Abstract: We describe a polynomial time algorithm that takes as input a polygon with axis-parallel sides but irrational vertex coordinates, and outputs a set of as few rectangles as possible into which it can be dissected by axis-parallel cuts and translations. The number of rectangles is the rank of the Dehn invariant of the polygon. The same method can also be used to dissect an axis-parallel polygon into… ▽ More

    Submitted 17 October, 2023; v1 submitted 21 June, 2022; originally announced June 2022.

    Comments: 18 pages, 8 figures. This version adds results on dissection with rotations and reflections

    Journal ref: Discrete & Computational Geometry 73 (1): 129-148, 2025

  23. Geometric Dominating Sets

    Authors: Oswin Aichholzer, David Eppstein, Eva-Maria Hainzl

    Abstract: We consider a minimizing variant of the well-known \emph{No-Three-In-Line Problem}, the \emph{Geometric Dominating Set Problem}: What is the smallest number of points in an $n\times n$~grid such that every grid point lies on a common line with two of the points in the set? We show a lower bound of $Ω(n^{2/3})$ points and provide a constructive upper bound of size $2 \lceil n/2 \rceil$. If the poin… ▽ More

    Submitted 24 March, 2022; originally announced March 2022.

    Journal ref: Comp. Geom. Theory & Applications 108: 101913, 2023

  24. arXiv:2202.05327  [pdf, other

    math.CO cs.DM

    Three-dimensional graph products with unbounded stack-number

    Authors: David Eppstein, Robert Hickingbotham, Laura Merker, Sergey Norin, Michał T. Seweryn, David R. Wood

    Abstract: We prove that the stack-number of the strong product of three $n$-vertex paths is $Θ(n^{1/3})$. The best previously known upper bound was $O(n)$. No non-trivial lower bound was known. This is the first explicit example of a graph family with bounded maximum degree and unbounded stack-number. The main tool used in our proof of the lower bound is the topological overlap theorem of Gromov. We actua… ▽ More

    Submitted 10 February, 2022; originally announced February 2022.

  25. The Complexity of Iterated Reversible Computation

    Authors: David Eppstein

    Abstract: We study a class of functional problems reducible to computing $f^{(n)}(x)$ for inputs $n$ and $x$, where $f$ is a polynomial-time bijection. As we prove, the definition is robust against variations in the type of reduction used in its definition, and in whether we require $f$ to have a polynomial-time inverse or to be computible by a reversible logic circuit. These problems are characterized by t… ▽ More

    Submitted 18 December, 2023; v1 submitted 21 December, 2021; originally announced December 2021.

    Comments: 35 pages, 8 figures

    MSC Class: 68Q10; 68Q15; 68Q80 ACM Class: F.1.1

    Journal ref: TheoretiCS, Volume 2 (December 26, 2023) theoretics:9072

  26. arXiv:2111.03898  [pdf, other

    cs.DS cs.DM

    Rapid mixing for the hardcore Glauber dynamics and other Markov chains in bounded-treewidth graphs

    Authors: David Eppstein, Daniel Frishberg

    Abstract: We give a new rapid mixing result for a natural random walk on the independent sets of a graph $G$. We show that when $G$ has bounded treewidth, this random walk -- known as the Glauber dynamics for the hardcore model -- mixes rapidly for all fixed values of the standard parameter $λ> 0$, giving a simple alternative to existing sampling algorithms for these structures. We also show rapid mixing fo… ▽ More

    Submitted 29 September, 2023; v1 submitted 6 November, 2021; originally announced November 2021.

    Comments: 43 pages, 4 figures

  27. arXiv:2110.06163  [pdf, other

    cs.DS cs.CG cs.LG

    Finding Relevant Points for Nearest-Neighbor Classification

    Authors: David Eppstein

    Abstract: In nearest-neighbor classification problems, a set of $d$-dimensional training points are given, each with a known classification, and are used to infer unknown classifications of other points by using the same classification as the nearest training point. A training point is relevant if its omission from the training set would change the outcome of some of these inferences. We provide a simple al… ▽ More

    Submitted 12 October, 2021; originally announced October 2021.

    Comments: 15 pages, 3 figures, to appear at the SIAM Symposium on Simplicity in Algorithms (SOSA22)

  28. arXiv:2108.07441  [pdf, other

    cs.CG

    Limitations on Realistic Hyperbolic Graph Drawing

    Authors: David Eppstein

    Abstract: We show that several types of graph drawing in the hyperbolic plane require features of the drawing to be separated from each other by sub-constant distances, distances so small that they can be accurately approximated by Euclidean distance. Therefore, for these types of drawing, hyperbolic geometry provides no benefit over Euclidean graph drawing.

    Submitted 17 August, 2021; originally announced August 2021.

    Comments: 14 pages, 5 figures. Appears in the Proceedings of the 29th International Symposium on Graph Drawing and Network Visualization (GD 2021)

  29. Angles of Arc-Polygons and Lombardi Drawings of Cacti

    Authors: David Eppstein, Daniel Frishberg, Martha C. Osegueda

    Abstract: We characterize the triples of interior angles that are possible in non-self-crossing triangles with circular-arc sides, and we prove that a given cyclic sequence of angles can be realized by a non-self-crossing polygon with circular-arc sides whenever all angles are at most pi. As a consequence of these results, we prove that every cactus has a planar Lombardi drawing (a drawing with edges depict… ▽ More

    Submitted 8 July, 2021; originally announced July 2021.

    Comments: 12 pages, 8 figures. To be published in Proc. 33rd Canadian Conference on Computational Geometry, 2021

    Journal ref: Comp. Geom. Theory & Applications 112: 101982, 2023

  30. arXiv:2106.15234  [pdf, other

    cs.CG cs.DS cs.NI

    Optimal Spanners for Unit Ball Graphs in Doubling Metrics

    Authors: David Eppstein, Hadi Khodabandeh

    Abstract: Resolving an open question from 2006, we prove the existence of light-weight bounded-degree spanners for unit ball graphs in the metrics of bounded doubling dimension, and we design a simple $\mathcal{O}(\log^*n)$-round distributed algorithm in the LOCAL model of computation, that given a unit ball graph $G$ with $n$ vertices and a positive constant $ε< 1$ finds a $(1+ε)$-spanner with constant bou… ▽ More

    Submitted 4 November, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

  31. arXiv:2105.05371  [pdf, other

    cs.DM

    A Stronger Lower Bound on Parametric Minimum Spanning Trees

    Authors: David Eppstein

    Abstract: We prove that, for an undirected graph with $n$ vertices and $m$ edges, each labeled with a linear function of a parameter $λ$, the number of different minimum spanning trees obtained as the parameter varies can be $Ω(m\log n)$.

    Submitted 11 May, 2021; originally announced May 2021.

    Comments: 14 pages, 6 figures. To appear at WADS 2021

  32. arXiv:2101.09918  [pdf, ps, other

    cs.DS cs.CC

    Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes

    Authors: David Eppstein, Siddharth Gupta, Elham Havvaei

    Abstract: We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph $G$, a non-trivial hereditary property $Π$ and an integer parameter $k$, the general problem $P(G,Π,k)$ asks whether there exists $k$ vertices of $G$ that induce a subgraph satisfying property $Π$. This problem, $P(G,Π,k)$ has been proved to be… ▽ More

    Submitted 25 January, 2021; originally announced January 2021.

    Comments: 15 pages

  33. Stack-number is not bounded by queue-number

    Authors: Vida Dujmović, David Eppstein, Robert Hickingbotham, Pat Morin, David R. Wood

    Abstract: We describe a family of graphs with queue-number at most 4 but unbounded stack-number. This resolves open problems of Heath, Leighton and Rosenberg (1992) and Blankenship and Oporowski (1999).

    Submitted 23 March, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

    Journal ref: Combinatorica 42: 151-164, 2022

  34. arXiv:2010.09230  [pdf, other

    cs.DM cs.DS

    The Graphs of Stably Matchable Pairs

    Authors: David Eppstein

    Abstract: We study the graphs formed from instances of the stable matching problem by connecting pairs of elements with an edge when there exists a stable matching in which they are matched. Our results include the NP-completeness of recognizing these graphs, an exact recognition algorithm that is singly exponential in the number of edges of the given graph, and an algorithm whose time is linear in the numb… ▽ More

    Submitted 19 October, 2020; originally announced October 2020.

    Comments: 41 pages, 18 figures

  35. On Polyhedral Realization with Isosceles Triangles

    Authors: David Eppstein

    Abstract: Answering a question posed by Joseph Malkevitch, we prove that there exists a polyhedral graph, with triangular faces, such that every realization of it as the graph of a convex polyhedron includes at least one face that is a scalene triangle. Our construction is based on Kleetopes, and shows that there exists an integer $i$ such that all convex $i$-iterated Kleetopes have a scalene face. However,… ▽ More

    Submitted 31 August, 2020; originally announced September 2020.

    Comments: 18 pages, 8 figures

    Journal ref: Graphs and Combinatorics, 37(4), 1247-1269, 2021

  36. arXiv:2007.15784  [pdf, other

    cs.CG

    New Results in Sona Drawing: Hardness and TSP Separation

    Authors: Man-Kwun Chiu, Erik D. Demaine, Jenny Diomidova, David Eppstein, Robert A. Hearn, Adam Hesterberg, Matias Korman, Irene Parada, Mikhail Rudoy

    Abstract: Given a set of point sites, a sona drawing is a single closed curve, disjoint from the sites and intersecting itself only in simple crossings, so that each bounded region of its complement contains exactly one of the sites. We prove that it is NP-hard to find a minimum-length sona drawing for $n$ given points, and that such a curve can be longer than the TSP tour of the same points by a factor… ▽ More

    Submitted 30 July, 2020; originally announced July 2020.

    Comments: 10 pages, 12 figures. To appear at the 32nd Canadian Conference on Computational Geometry (CCCG 2020)

  37. arXiv:2007.14525  [pdf, other

    cs.CG

    Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

    Authors: Erik D. Demaine, Martin L. Demaine, David Eppstein

    Abstract: We present new examples of topologically convex edge-ununfoldable polyhedra, i.e., polyhedra that are combinatorially equivalent to convex polyhedra, yet cannot be cut along their edges and unfolded into one planar piece without overlap. One family of examples is acutely triangulated, i.e., every face is an acute triangle. Another family of examples is stacked, i.e., the result of face-to-face glu… ▽ More

    Submitted 28 July, 2020; originally announced July 2020.

    Comments: 8 pages, 6 figures. To appear at the 32nd Canadian Conference on Computational Geometry (CCCG 2020)

  38. arXiv:2007.08123  [pdf, other

    cs.CG cs.DS

    Dynamic Products of Ranks

    Authors: David Eppstein

    Abstract: We describe a data structure that can maintain a dynamic set of points given by their Cartesian coordinates, and maintain the point whose product of ranks within the two coordinate orderings is minimum or maximum, in time $O(\sqrt{n\log n})$ per update.

    Submitted 16 July, 2020; originally announced July 2020.

    Comments: 7 pages, 4 figures. To appear at the 32nd Canadian Conference on Computational Geometry (CCCG 2020)

  39. On the treewidth of Hanoi graphs

    Authors: David Eppstein, Daniel Frishberg, William Maxwell

    Abstract: The objective of the well-known Towers of Hanoi puzzle is to move a set of disks one at a time from one of a set of pegs to another, while keeping the disks sorted on each peg. We propose an adversarial variation in which the first player forbids a set of states in the puzzle, and the second player must then convert one randomly-selected state to another without passing through forbidden states. A… ▽ More

    Submitted 30 April, 2020; originally announced May 2020.

    Comments: - To be published in the Proceedings of the Tenth International Conference on Fun with Algorithms (FUN 2020). - 22 pages (including title page, bibliography, and appendix). - Five figures

    Journal ref: Theor. Comput. Sci. 906: 1-17, 2022

  40. arXiv:2004.08375  [pdf, other

    cs.DS cs.DM

    Low-stretch spanning trees of graphs with bounded width

    Authors: Glencora Borradaile, Erin Wolf Chambers, David Eppstein, William Maxwell, Amir Nayyeri

    Abstract: We study the problem of low-stretch spanning trees in graphs of bounded width: bandwidth, cutwidth, and treewidth. We show that any simple connected graph $G$ with a linear arrangement of bandwidth $b$ can be embedded into a distribution $\mathcal T$ of spanning trees such that the expected stretch of each edge of $G$ is $O(b^2)$. Our proof implies a linear time algorithm for sampling from… ▽ More

    Submitted 17 April, 2020; originally announced April 2020.

  41. arXiv:2002.05854  [pdf, other

    cs.CG

    On the Edge Crossings of the Greedy Spanner

    Authors: David Eppstein, Hadi Khodabandeh

    Abstract: $t$-spanners are used to approximate the pairwise distances between a set of points in a metric space. They have only a few edges compared to the total number of pairs and they provide a $t… ▽ More

    Submitted 27 April, 2021; v1 submitted 13 February, 2020; originally announced February 2020.

    Comments: Appears in SOCG21

  42. arXiv:2002.01610  [pdf, other

    cs.DS

    Simplifying Activity-on-Edge Graphs

    Authors: David Eppstein, Daniel Frishberg, Elham Havvaei

    Abstract: We formalize the simplification of activity-on-edge graphs used for visualizing project schedules, where the vertices of the graphs represent project milestones, and the edges represent either tasks of the project or timing constraints between milestones. In this framework, a timeline of the project can be constructed as a leveled drawing of the graph, where the levels of the vertices represent th… ▽ More

    Submitted 4 February, 2020; originally announced February 2020.

  43. Face flips in origami tessellations

    Authors: Hugo A. Akitaya, Vida Dujmovi, David Eppstein, Thomas C. Hull, Kshitij Jain, Anna Lubiw

    Abstract: Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we… ▽ More

    Submitted 12 October, 2019; originally announced October 2019.

    MSC Class: 52C45; 68U05;

    Journal ref: Journal of Computational Geometry, Vol. 11, No. 1, 2020, pages 397-417

  44. C-Planarity Testing of Embedded Clustered Graphs with Bounded Dual Carving-Width

    Authors: Giordano Da Lozzo, David Eppstein, Michael T. Goodrich, Siddharth Gupta

    Abstract: For a clustered graph, i.e, a graph whose vertex set is recursively partitioned into clusters, the C-Planarity Testing problem asks whether it is possible to find a planar embedding of the graph and a representation of each cluster as a region homeomorphic to a closed disk such that 1. the subgraph induced by each cluster is drawn in the interior of the corresponding disk, 2. each edge intersects… ▽ More

    Submitted 4 October, 2019; originally announced October 2019.

    Comments: Extended version of the paper "C-Planarity Testing of Embedded Clustered Graphs with Bounded Dual Carving-Width" to appear in the Proceedings of the 14th International Symposium on Parameterized and Exact Computation (IPEC 2019)

    Journal ref: Algorithmica 83 (8): 2471-2502, 2021

  45. arXiv:1908.07668  [pdf, other

    cs.CG math.CO

    Existence and hardness of conveyor belts

    Authors: Molly Baird, Sara C. Billey, Erik D. Demaine, Martin L. Demaine, David Eppstein, Sándor Fekete, Graham Gordon, Sean Griffin, Joseph S. B. Mitchell, Joshua P. Swanson

    Abstract: An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ b… ▽ More

    Submitted 20 August, 2019; originally announced August 2019.

    MSC Class: 52C26 ACM Class: G.2.0

    Journal ref: Electronic J. Combinatorics 27 (4), Paper 4.25, 2020

  46. arXiv:1908.05706  [pdf, other

    cs.CG cs.DS

    Homotopy height, grid-major height and graph-drawing height

    Authors: Therese Biedl, Erin Wolf Chambers, David Eppstein, Arnaud De Mesmay, Tim Ophelders

    Abstract: It is well-known that both the pathwidth and the outer-planarity of a graph can be used to obtain lower bounds on the height of a planar straight-line drawing of a graph. But both bounds fall short for some graphs. In this paper, we consider two other parameters, the (simple) homotopy height and the (simple) grid-major height. We discuss the relationship between them and to the other parameters, a… ▽ More

    Submitted 26 August, 2019; v1 submitted 15 August, 2019; originally announced August 2019.

    Comments: 28 pages, 11 figures. Expanded version of a paper in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019); for the proceedings version, see version 1

  47. arXiv:1908.05445  [pdf, other

    cs.DM cs.DS

    Tracking Paths in Planar Graphs

    Authors: David Eppstein, Michael T. Goodrich, James A. Liu, Pedro Matias

    Abstract: We consider the NP-complete problem of tracking paths in a graph, first introduced by Banik et. al. [3]. Given an undirected graph with a source $s$ and a destination $t$, find the smallest subset of vertices whose intersection with any $s-t$ path results in a unique sequence. In this paper, we show that this problem remains NP-complete when the graph is planar and we give a 4-approximation algori… ▽ More

    Submitted 28 September, 2019; v1 submitted 15 August, 2019; originally announced August 2019.

  48. arXiv:1907.08433  [pdf, other

    cs.CG cs.DM

    Some Polycubes Have No Edge Zipper Unfolding

    Authors: Erik D. Demaine, Martin L. Demaine, David Eppstein, Joseph O'Rourke

    Abstract: It is unknown whether every polycube (polyhedron constructed by gluing cubes face-to-face) has an edge unfolding, that is, cuts along edges of the cubes that unfolds the polycube to a single nonoverlapping polygon in the plane. Here we construct polycubes that have no *edge zipper unfolding* where the cut edges are further restricted to form a path.

    Submitted 22 July, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

    Comments: 11 pages, 10 figures, 9 references. Updated to match the version that will appear in the Canad. Conf. Comput. Geom., Aug. 2020

    MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

    Journal ref: Geombinatorics, Vol. XXXI, Issue 3 (Jan 2022), pp.101-109

  49. Bipartite and Series-Parallel Graphs Without Planar Lombardi Drawings

    Authors: David Eppstein

    Abstract: We find a family of planar bipartite graphs all of whose Lombardi drawings (drawings with circular arcs for edges, meeting at equal angles at the vertices) are nonplanar. We also find families of embedded series-parallel graphs and apex-trees (graphs formed by adding one vertex to a tree) for which there is no planar Lombardi drawing consistent with the given embedding.

    Submitted 7 August, 2019; v1 submitted 11 June, 2019; originally announced June 2019.

    Comments: 10 pages, 6 figures. A preliminary version of this paper appeared at the 31st Canadian Conference in Computational Geometry

    Journal ref: J. Graph Algorithms & Applications 25 (1): 549-562, 2021

  50. arXiv:1905.00518  [pdf, other

    cs.DS

    Reconfiguring Undirected Paths

    Authors: Erik D. Demaine, David Eppstein, Adam Hesterberg, Kshitij Jain, Anna Lubiw, Ryuhei Uehara, Yushi Uno

    Abstract: We consider problems in which a simple path of fixed length, in an undirected graph, is to be shifted from a start position to a goal position by moves that add an edge to either end of the path and remove an edge from the other end. We show that this problem may be solved in linear time in trees, and is fixed-parameter tractable when parameterized either by the cyclomatic number of the input grap… ▽ More

    Submitted 1 May, 2019; originally announced May 2019.

    Comments: 24 pages, 15 figures. Extended version of a paper to appear in the Proceedings of the 16th Algorithms and Data Structures Symposium (WADS 2019)