-
Metric and Geometric Spanners that are Resilient to Degree-Bounded Edge Faults
Authors:
Ahmad Biniaz,
Jean-Lou De Carufel,
Anil Maheshwari,
Michiel Smid
Abstract:
Let $H$ be an edge-weighted graph, and let $G$ be a subgraph of $H$. We say that $G$ is an $f$-fault-tolerant $t$-spanner for $H$, if the following is true for any subset $F$ of at most $f$ edges of $G$: For any two vertices $p$ and $q$, the shortest-path distance between $p$ and $q$ in the graph $G \setminus F$ is at most $t$ times the shortest-path distance between $p$ and $q$ in the graph…
▽ More
Let $H$ be an edge-weighted graph, and let $G$ be a subgraph of $H$. We say that $G$ is an $f$-fault-tolerant $t$-spanner for $H$, if the following is true for any subset $F$ of at most $f$ edges of $G$: For any two vertices $p$ and $q$, the shortest-path distance between $p$ and $q$ in the graph $G \setminus F$ is at most $t$ times the shortest-path distance between $p$ and $q$ in the graph $H \setminus F$.
Recently, Bodwin, Haeupler, and Parter generalized this notion to the case when $F$ can be any set of edges in $G$, as long as the maximum degree of $F$ is at most $f$. They gave constructions for general graphs $H$.
We first consider the case when $H$ is a complete graph whose vertex set is an arbitrary metric space. We show that if this metric space contains a $t$-spanner with $m$ edges, then it also contains a graph $G$ with $O(fm)$ edges, that is resilient to edge faults of maximum degree $f$ and has stretch factor $O(ft)$.
Next, we consider the case when $H$ is a complete graph whose vertex set is a metric space that admits a well-separated pair decomposition. We show that, if the metric space has such a decomposition of size $m$, then it contains a graph with at most $(2f+1)^2 m$ edges, that is resilient to edge faults of maximum degree $f$ and has stretch factor at most $1+\varepsilon$, for any given $\varepsilon > 0$. For example, if the vertex set is a set of $n$ points in $\mathbb{R}^d$ ($d$ being a constant) or a set of $n$ points in a metric space of bounded doubling dimension, then the spanner has $O(f^2 n)$ edges.
Finally, for the case when $H$ is a complete graph on $n$ points in $\mathbb{R}^d$, we show how natural variants of the Yao- and $Θ$-graphs lead to graphs with $O(fn)$ edges, that are resilient to edge faults of maximum degree $f$ and have stretch factor at most $1+\varepsilon$, for any given $\varepsilon > 0$.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
So Long Sucker: Endgame Analysis
Authors:
Jean-Lou De Carufel,
Marie Rose Jerade
Abstract:
So Long Sucker is a strategy board game requiring 4 players, each with $c$ chips of their designated color, and a board made of $k$ empty piles. With a clear set-up come intricate rules, such as: players taking turns but not in a fixed order, agreements between some players being made and broken at any time, and a player winning the game even without any chips in hand.
One of the main points of…
▽ More
So Long Sucker is a strategy board game requiring 4 players, each with $c$ chips of their designated color, and a board made of $k$ empty piles. With a clear set-up come intricate rules, such as: players taking turns but not in a fixed order, agreements between some players being made and broken at any time, and a player winning the game even without any chips in hand.
One of the main points of interest in studying this game, is finding when a player has a winning strategy. The game begins with four players that get eliminated successively until the winner is left. To study winning strategies, it is of interest to look at endgame situations. We present the following game set-up: there are two players left in the game, Blue and Red, and only their respective chip colors. In this paper, we characterize Blue's winning situations and strategies through inductive reasoning.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
The Exact Spanning Ratio of the Parallelogram Delaunay Graph
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Sandrine Njoo
Abstract:
Finding the exact spanning ratio of a Delaunay graph has been one of the longstanding open problems in Computational Geometry. Currently there are only four convex shapes for which the exact spanning ratio of their Delaunay graph is known: the equilateral triangle, the square, the regular hexagon and the rectangle. In this paper, we show the exact spanning ratio of the parallelogram Delaunay graph…
▽ More
Finding the exact spanning ratio of a Delaunay graph has been one of the longstanding open problems in Computational Geometry. Currently there are only four convex shapes for which the exact spanning ratio of their Delaunay graph is known: the equilateral triangle, the square, the regular hexagon and the rectangle. In this paper, we show the exact spanning ratio of the parallelogram Delaunay graph, making the parallelogram the fifth convex shape for which an exact bound is known. The worst-case spanning ratio is exactly $$\frac{\sqrt{2}\sqrt{1+A^2+2A\cos(θ_0)+(A+\cos(θ_0))\sqrt{1+A^2+2A\cos(θ_0)}}}{\sin(θ_0)} .$$ where $A$ is the aspect ratio and $θ_0$ is the non-obtuse angle of the parallelogram. Moreover, we show how to construct a parallelogram Delaunay graph whose spanning ratio matches the above mentioned spanning ratio.
△ Less
Submitted 28 February, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
On Separating Path and Tree Systems in Graphs
Authors:
Ahmad Biniaz,
Prosenjit Bose,
Jean-Lou De Carufel,
Anil Maheshwari,
Babak Miraftab,
Saeed Odak,
Michiel Smid,
Shakhar Smorodinsky,
Yelena Yuditsky
Abstract:
We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the ele…
▽ More
We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the elements of the separating system are paths (trees) in the graph $G$. In this paper, we focus on the size of the smallest vertex-separating path (tree) system for different types of graphs, including trees, grids, and maximal outerplanar graphs.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Copnumbers of periodic graphs
Authors:
Jean-Lou De Carufel,
Paola Flocchini,
Nicola Santoro,
Frédéric Simard
Abstract:
A periodic temporal graph $\mathcal{G}=(G_0, G_1, \dots, G_{p-1})^*$ is an infinite periodic sequence of graphs $G_i=(V,E_i)$ where $G=(V,\cup_i E_i)$ is called the footprint. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the copnumber is also the minimum number of cops sufficient for capturing the robber. We study th…
▽ More
A periodic temporal graph $\mathcal{G}=(G_0, G_1, \dots, G_{p-1})^*$ is an infinite periodic sequence of graphs $G_i=(V,E_i)$ where $G=(V,\cup_i E_i)$ is called the footprint. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the copnumber is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the copnumber $c(\mathcal{G})$ of a periodic graph $\mathcal{G}$ and the copnumber $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c(\mathcal{G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes. We push this investigation by generating multiple examples showing how the copnumbers of a periodic graph $\mathcal{G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied. Based on these results, we derive upper bounds on the copnumber of a periodic graph from properties of its footprint such as its treewidth.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Pursuit-Evasion in Graphs: Zombies, Lazy Zombies and a Survivor
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Thomas Shermer
Abstract:
We study zombies and survivor, a variant of the game of cops and robber on graphs. In this variant, the single survivor plays the role of the robber and attempts to escape from the zombies that play the role of the cops. The zombies are restricted, on their turn, to always follow an edge of a shortest path towards the survivor. Let $z(G)$ be the smallest number of zombies required to catch the sur…
▽ More
We study zombies and survivor, a variant of the game of cops and robber on graphs. In this variant, the single survivor plays the role of the robber and attempts to escape from the zombies that play the role of the cops. The zombies are restricted, on their turn, to always follow an edge of a shortest path towards the survivor. Let $z(G)$ be the smallest number of zombies required to catch the survivor on a graph $G$ with $n$ vertices. We show that there exist outerplanar graphs and visibility graphs of simple polygons such that $z(G) = Θ(n)$. We also show that there exist maximum-degree-$3$ outerplanar graphs such that $z(G) = Ω\left(n/\log(n)\right)$.
Let $z_L(G)$ be the smallest number of lazy zombies (zombies that can stay still on their turn) required to catch the survivor on a graph $G$. We establish that lazy zombies are more powerful than normal zombies but less powerful than cops. We prove that $z_L(G) = 2$ for connected outerplanar graphs. We show that $z_L(G)\leq k$ for connected graphs with treedepth $k$. This result implies that $z_L(G)$ is at most $(k+1)\log n$ for connected graphs with treewidth $k$, $O(\sqrt{n})$ for connected planar graphs, $O(\sqrt{gn})$ for connected graphs with genus $g$ and $O(h\sqrt{hn})$ for connected graphs with any excluded $h$-vertex minor. Our results on lazy zombies still hold when an adversary chooses the initial positions of the zombies.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Constant Delay Lattice Train Schedules
Authors:
Jean-Lou De Carufel,
Darryl Hill,
Anil Maheshwari,
Sasanka Roy,
Luís Fernando Schultz Xavier da Silveira
Abstract:
The following geometric vehicle scheduling problem has been considered: given continuous curves $f_1, \ldots, f_n : \mathbb{R} \rightarrow \mathbb{R}^2$, find non-negative delays $t_1, \ldots, t_n$ minimizing $\max \{ t_1, \ldots, t_n \}$ such that, for every distinct $i$ {and $j$} and every time $t$, $| f_j (t - t_j) - f_i (t - t_i) | > \ell$, where~$\ell$ is a given safety distance. We study a v…
▽ More
The following geometric vehicle scheduling problem has been considered: given continuous curves $f_1, \ldots, f_n : \mathbb{R} \rightarrow \mathbb{R}^2$, find non-negative delays $t_1, \ldots, t_n$ minimizing $\max \{ t_1, \ldots, t_n \}$ such that, for every distinct $i$ {and $j$} and every time $t$, $| f_j (t - t_j) - f_i (t - t_i) | > \ell$, where~$\ell$ is a given safety distance. We study a variant of this problem where we consider trains (rods) of fixed length $\ell$ that move at constant speed and sets of train lines (tracks), each of which consisting of an axis-parallel line-segment with endpoints in the integer lattice $\mathbb{Z}^d$ and of a direction of movement (towards $\infty$ {or $- \infty$}). We are interested in upper bounds on the maximum delay we need to introduce on any line to avoid collisions, but more specifically on universal upper bounds that apply no matter the set of train lines. We show small universal constant upper bounds for $d = 2$ and any given $\ell$ and also for $d = 3$ and $\ell = 1$. Through clique searching, we are also able to show that several of these upper bounds are tight.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Expected Complexity of Routing in $Θ$ 6 and Half-$Θ$ 6 Graphs
Authors:
Prosenjit Bose,
Jean-Lou de Carufel,
Olivier Devillers
Abstract:
We study online routing algorithms on the $Θ$6-graph and the half-$Θ$6-graph (which is equivalent to a variant of the Delaunay triangulation). Given a source vertex s and a target vertex t in the $Θ$6-graph (resp. half-$Θ$6-graph), there exists a deterministic online routing algorithm that finds a path from s to t whose length is at most 2 st (resp. 2.89 st) which is optimal in the worst case [Bos…
▽ More
We study online routing algorithms on the $Θ$6-graph and the half-$Θ$6-graph (which is equivalent to a variant of the Delaunay triangulation). Given a source vertex s and a target vertex t in the $Θ$6-graph (resp. half-$Θ$6-graph), there exists a deterministic online routing algorithm that finds a path from s to t whose length is at most 2 st (resp. 2.89 st) which is optimal in the worst case [Bose et al., siam J. on Computing, 44(6)]. We propose alternative, slightly simpler routing algorithms that are optimal in the worst case and for which we provide an analysis of the average routing ratio for the $Θ$6-graph and half-$Θ$6-graph defined on a Poisson point process. For the $Θ$6-graph, our online routing algorithm has an expected routing ratio of 1.161 (when s and t random) and a maximum expected routing ratio of 1.22 (maximum for fixed s and t where all other points are random), much better than the worst-case routing ratio of 2. For the half-$Θ$6-graph, our memoryless online routing algorithm has an expected routing ratio of 1.43 and a maximum expected routing ratio of 1.58. Our online routing algorithm that uses a constant amount of additional memory has an expected routing ratio of 1.34 and a maximum expected routing ratio of 1.40. The additional memory is only used to remember the coordinates of the starting point of the route. Both of these algorithms have an expected routing ratio that is much better than their worst-case routing ratio of 2.89.
△ Less
Submitted 29 November, 2019; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Convex Polygons in Cartesian Products
Authors:
Jean-Lou De Carufel,
Adrian Dumitrescu,
Wouter Meulemans,
Tim Ophelders,
Claire Pennarun,
Csaba D Tóth,
Sander Verdonschot
Abstract:
We study several problems concerning convex polygons whose vertices lie in a Cartesian product of two sets of $n$ real numbers (for short, \emph{grid}). First, we prove that every such grid contains $Ω(\log n)$ points in convex position and that this bound is tight up to a constant factor. We generalize this result to $d$ dimensions (for a fixed $d\in \mathbb{N}$), and obtain a tight lower bound o…
▽ More
We study several problems concerning convex polygons whose vertices lie in a Cartesian product of two sets of $n$ real numbers (for short, \emph{grid}). First, we prove that every such grid contains $Ω(\log n)$ points in convex position and that this bound is tight up to a constant factor. We generalize this result to $d$ dimensions (for a fixed $d\in \mathbb{N}$), and obtain a tight lower bound of $Ω(\log^{d-1}n)$ for the maximum number of points in convex position in a $d$-dimensional grid. Second, we present polynomial-time algorithms for computing the longest $x$- or $y$-monotone convex polygonal chain in a grid that contains no two points with the same $x$- or $y$-coordinate. We show that the maximum size of a convex polygon with such unique coordinates can be efficiently approximated up to a factor of $2$. Finally, we present exponential bounds on the maximum number of point sets in convex position in such grids, and for some restricted variants. These bounds are tight up to polynomial factors.
△ Less
Submitted 4 October, 2021; v1 submitted 29 December, 2018;
originally announced December 2018.
-
On the Minimum Consistent Subset Problem
Authors:
Ahmad Biniaz,
Sergio Cabello,
Paz Carmi,
Jean-Lou De Carufel,
Anil Maheshwari,
Saeed Mehrabi,
Michiel Smid
Abstract:
Let $P$ be a set of $n$ colored points in the plane. Introduced by Hart (1968), a consistent subset of $P$, is a set $S\subseteq P$ such that for every point $p$ in $P\setminus S$, the closest point of $p$ in $S$ has the same color as $p$. The consistent subset problem is to find a consistent subset of $P$ with minimum cardinality. This problem is known to be NP-complete even for two-colored point…
▽ More
Let $P$ be a set of $n$ colored points in the plane. Introduced by Hart (1968), a consistent subset of $P$, is a set $S\subseteq P$ such that for every point $p$ in $P\setminus S$, the closest point of $p$ in $S$ has the same color as $p$. The consistent subset problem is to find a consistent subset of $P$ with minimum cardinality. This problem is known to be NP-complete even for two-colored point sets. Since the initial presentation of this problem, aside from the hardness results, there has not been a significant progress from the algorithmic point of view. In this paper we present the following algorithmic results:
1. The first subexponential-time algorithm for the consistent subset problem.
2. An $O(n\log n)$-time algorithm that finds a consistent subset of size two in two-colored point sets (if such a subset exists). Towards our proof of this running time we present a deterministic $O(n \log n)$-time algorithm for computing a variant of the compact Voronoi diagram; this improves the previously claimed expected running time.
3. An $O(n\log^2 n)$-time algorithm that finds a minimum consistent subset in two-colored point sets where one color class contains exactly one point; this improves the previous best known $O(n^2)$ running time which is due to Wilfong (SoCG 1991).
4. An $O(n)$-time algorithm for the consistent subset problem on collinear points; this improves the previous best known $O(n^2)$ running time.
5. A non-trivial $O(n^6)$-time dynamic programming algorithm for the consistent subset problem on points arranged on two parallel lines.
To obtain these results, we combine tools from planar separators, additively-weighted Voronoi diagrams with respect to convex distance functions, point location in farthest-point Voronoi diagrams, range trees, paraboloid lifting, minimum covering of a circle with arcs, and several geometric transformations.
△ Less
Submitted 26 November, 2018; v1 submitted 22 October, 2018;
originally announced October 2018.
-
On the Spanning and Routing Ratio of Directed Theta-Four
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Darryl Hill,
Michiel Smid
Abstract:
We present a routing algorithm for the directed $Θ_4$-graph, here denoted as the $\overrightarrow{Θ_4}}$-graph, that computes a path between any two vertices $s$ and $t$ having length at most $17$ times the Euclidean distance between $s$ and $t$. To compute this path, at each step, the algorithm only uses knowledge of the location of the current vertex, its (at most four) outgoing edges, the desti…
▽ More
We present a routing algorithm for the directed $Θ_4$-graph, here denoted as the $\overrightarrow{Θ_4}}$-graph, that computes a path between any two vertices $s$ and $t$ having length at most $17$ times the Euclidean distance between $s$ and $t$. To compute this path, at each step, the algorithm only uses knowledge of the location of the current vertex, its (at most four) outgoing edges, the destination vertex, and one additional bit of information in order to determine the next edge to follow. This provides the first known online, local, competitive routing algorithm with constant routing ratio for the $Θ_4$-graph, as well as improving the best known upper bound on the spanning ratio of these graphs from $237$ to $17$. We also show that without this additional bit of information, the routing ratio increases to $\sqrt{290} \approx 17.03$.
△ Less
Submitted 12 July, 2021; v1 submitted 3 August, 2018;
originally announced August 2018.
-
Reconstructing a convex polygon from its $ω$-cloud
Authors:
Elena Arseneva,
Prosenjit Bose,
Jean-Lou De Carufel,
Sander Verdonschot
Abstract:
An $ω$-wedge is the closed set of points contained between two rays that are emanating from a single point (the apex), and are separated by an angle $ω< π$. Given a convex polygon $P$, we place the $ω$-wedge such that $P$ is inside the wedge and both rays are tangent to $P$. The set of apex positions of all such placements of the $ω$-wedge is called the $ω$-cloud of $P$.
We investigate reconstru…
▽ More
An $ω$-wedge is the closed set of points contained between two rays that are emanating from a single point (the apex), and are separated by an angle $ω< π$. Given a convex polygon $P$, we place the $ω$-wedge such that $P$ is inside the wedge and both rays are tangent to $P$. The set of apex positions of all such placements of the $ω$-wedge is called the $ω$-cloud of $P$.
We investigate reconstructing a polygon $P$ from its $ω$-cloud. Previous work on reconstructing $P$ from probes with the $ω$-wedge required knowledge of the points of tangency between $P$ and the two rays of the $ω$-wedge in addition to the location of the apex. Here we consider the setting where the maximal $ω$-cloud alone is given. We give two conditions under which it uniquely defines $P$: (i) when $ω< π$ is fixed/given, or (ii) when what is known is that $ω< π/2$. We show that if neither of these two conditions hold, then $P$ may not be unique. We show that, when the uniqueness conditions hold, the polygon $P$ can be reconstructed in $O(n)$ time with $O(1)$ working space in addition to the input, where $n$ is the number of arcs in the input $ω$-cloud.
△ Less
Submitted 20 March, 2019; v1 submitted 7 January, 2018;
originally announced January 2018.
-
Leaf realization problem, caterpillar graphs and prefix normal words
Authors:
Alexandre Blondin Massé,
Julien de Carufel,
Alain Goupil,
Mélodie Lapointe,
Émile Nadeau,
Élise Vandomme
Abstract:
Given a simple graph $G$ with $n$ vertices and a natural number $i \leq n$, let $L_G(i)$ be the maximum number of leaves that can be realized by an induced subtree $T$ of $G$ with $i$ vertices. We introduce a problem that we call the \emph{leaf realization problem}, which consists in deciding whether, for a given sequence of $n+1$ natural numbers $(\ell_0, \ell_1, \ldots, \ell_n)$, there exists a…
▽ More
Given a simple graph $G$ with $n$ vertices and a natural number $i \leq n$, let $L_G(i)$ be the maximum number of leaves that can be realized by an induced subtree $T$ of $G$ with $i$ vertices. We introduce a problem that we call the \emph{leaf realization problem}, which consists in deciding whether, for a given sequence of $n+1$ natural numbers $(\ell_0, \ell_1, \ldots, \ell_n)$, there exists a simple graph $G$ with $n$ vertices such that $\ell_i = L_G(i)$ for $i = 0, 1, \ldots, n$. We present basic observations on the structure of these sequences for general graphs and trees. In the particular case where $G$ is a caterpillar graph, we exhibit a bijection between the set of the discrete derivatives of the form $(ΔL_G(i))_{1 \leq i \leq n - 3}$ and the set of prefix normal words.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
The Geodesic $2$-center Problem in a Simple Polygon
Authors:
Eun** Oh,
Jean-Lou De Carufel,
Hee-Kap Ahn
Abstract:
The geodesic $k$-center problem in a simple polygon with $n$ vertices consists in the following. Find a set $S$ of $k$ points in the polygon that minimizes the maximum geodesic distance from any point of the polygon to its closest point in $S$. In this paper, we focus on the case where $k=2$ and present an exact algorithm that returns a geodesic $2$-center in $O(n^2\log^2 n)$ time.
The geodesic $k$-center problem in a simple polygon with $n$ vertices consists in the following. Find a set $S$ of $k$ points in the polygon that minimizes the maximum geodesic distance from any point of the polygon to its closest point in $S$. In this paper, we focus on the case where $k=2$ and present an exact algorithm that returns a geodesic $2$-center in $O(n^2\log^2 n)$ time.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
A Topological Approach to Scaling in Financial Data
Authors:
Jean de Carufel,
Martin Brooks,
Michael Stieber,
Paul Britton
Abstract:
There is a large body of work, built on tools developed in mathematics and physics, demonstrating that financial market prices exhibit self-similarity at different scales. In this paper, we explore the use of analytical topology to characterize financial price series. While wavelet and Fourier transforms decompose a signal into sets of wavelets and power spectrum respectively, the approach present…
▽ More
There is a large body of work, built on tools developed in mathematics and physics, demonstrating that financial market prices exhibit self-similarity at different scales. In this paper, we explore the use of analytical topology to characterize financial price series. While wavelet and Fourier transforms decompose a signal into sets of wavelets and power spectrum respectively, the approach presented herein decomposes a time series into components of its total variation. This property is naturally suited for the analysis of scaling characteristics in fractals.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
Fully leafed induced subtrees
Authors:
Alexandre Blondin Massé,
Julien de Carufel,
Alain Goupil,
Mélodie Lapointe,
Émile Nadeau,
Élise Vandomme
Abstract:
Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving tha…
▽ More
Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $Δ$, we provide a $\mathcal{O}(n^3Δ)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.
△ Less
Submitted 6 July, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Fault-Induced Dynamics of Oblivious Robots on a Line
Authors:
Jean-Lou De Carufel,
Paola Flocchini
Abstract:
The study of computing in presence of faulty robots in the Look-Compute-Move model has been the object of extensive investigation, typically with the goal of designing algorithms tolerant to as many faults as possible. In this paper, we initiate a new line of investigation on the presence of faults, focusing on a rather different issue. We are interested in understanding the dynamics of a group of…
▽ More
The study of computing in presence of faulty robots in the Look-Compute-Move model has been the object of extensive investigation, typically with the goal of designing algorithms tolerant to as many faults as possible. In this paper, we initiate a new line of investigation on the presence of faults, focusing on a rather different issue. We are interested in understanding the dynamics of a group of robots when they execute an algorithm designed for a fault-free environment, in presence of some undetectable crashed robots. We start this investigation focusing on the classic point-convergence algorithm by Ando et al. for robots with limited visibility, in a simple setting (which already presents serious challenges): the robots operate fully synchronously on a line, and at most two of them are faulty. Interestingly, and perhaps surprisingly, the presence of faults induces the robots to perform some form of scattering, rather than point-convergence. In fact, we discover that they arrange themselves inside the segment delimited by the two faults in interleaved sequences of equidistant robots. The structure that they form has a hierarchical nature: robots organize themselves in groups where a group of some level converges to an equidistant distribution only after all groups of lower levels have converged. This is the first study on the unintended dynamics of oblivious robots induced by the presence of faults.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
Optimal Art Gallery Localization is NP-hard
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Alina Shaikhet,
Michiel Smid
Abstract:
Art Gallery Localization (AGL) is the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for a point to locate itself in the interior. For any point $p \in P$: for each tower $t \in T \cap V(p)$ (where $V(p)$ denotes the visibility polygon of $p$) the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ c…
▽ More
Art Gallery Localization (AGL) is the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for a point to locate itself in the interior. For any point $p \in P$: for each tower $t \in T \cap V(p)$ (where $V(p)$ denotes the visibility polygon of $p$) the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ can determine its coordinates. We study the computational complexity of AGL problem. We show that the problem of determining the minimum number of broadcast towers that can localize a point anywhere in a simple polygon $P$ is NP-hard. We show a reduction from Boolean Three Satisfiability problem to our problem and give a proof that the reduction takes polynomial time.
△ Less
Submitted 29 November, 2018; v1 submitted 24 June, 2017;
originally announced June 2017.
-
Art Gallery Localization
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Alina Shaikhet,
Michiel Smid
Abstract:
We study the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for any point to locate itself in the interior of $P$. Let $V(p)$ denote the visibility polygon of a point $p$, as the set of all points $q \in P$ that are visible to $p$. For any point $p \in P$: for each tower $t \in T \cap V(p)$ the point $p$ receives the coordinates of $t$ and the Euclidean distance…
▽ More
We study the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for any point to locate itself in the interior of $P$. Let $V(p)$ denote the visibility polygon of a point $p$, as the set of all points $q \in P$ that are visible to $p$. For any point $p \in P$: for each tower $t \in T \cap V(p)$ the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ can determine its coordinates. We show a tower-positioning algorithm that computes such a set $T$ of size at most $\lfloor 2n/3\rfloor$, where $n$ is the size of $P$. This improves the previous upper bound of $\lfloor 8n/9\rfloor$ towers. We also show that $\lfloor 2n/3\rfloor$ towers are sometimes necessary.
△ Less
Submitted 29 November, 2018; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Minimizing the Continuous Diameter when Augmenting a Geometric Tree with a Shortcut
Authors:
Jean-Lou De Carufel,
Carsten Grimm,
Anil Maheshwari,
Stefan Schirra,
Michiel Smid
Abstract:
We augment a tree $T$ with a shortcut $pq$ to minimize the largest distance between any two points along the resulting augmented tree $T+pq$. We study this problem in a continuous and geometric setting where $T$ is a geometric tree in the Euclidean plane, where a shortcut is a line segment connecting any two points along the edges of $T$, and we consider all points on $T+pq$ (i.e., vertices and po…
▽ More
We augment a tree $T$ with a shortcut $pq$ to minimize the largest distance between any two points along the resulting augmented tree $T+pq$. We study this problem in a continuous and geometric setting where $T$ is a geometric tree in the Euclidean plane, where a shortcut is a line segment connecting any two points along the edges of $T$, and we consider all points on $T+pq$ (i.e., vertices and points along edges) when determining the largest distance along $T+pq$. We refer to the largest distance between any two points along edges as the continuous diameter to distinguish it from the discrete diameter, i.e., the largest distance between any two vertices.
We establish that a single shortcut is sufficient to reduce the continuous diameter of a geometric tree $T$ if and only if the intersection of all diametral paths of $T$ is neither a line segment nor a single point. We determine an optimal shortcut for a geometric tree with $n$ straight-line edges in $O(n \log n)$ time. Apart from the running time, our results extend to geometric trees whose edges are rectifiable curves. The algorithm for trees generalizes our algorithm for paths.
△ Less
Submitted 20 October, 2017; v1 submitted 5 December, 2016;
originally announced December 2016.
-
Essential Constraints of Edge-Constrained Proximity Graphs
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Alina Shaikhet,
Michiel Smid
Abstract:
Given a plane forest $F = (V, E)$ of $|V| = n$ points, we find the minimum set $S \subseteq E$ of edges such that the edge-constrained minimum spanning tree over the set $V$ of vertices and the set $S$ of constraints contains $F$. We present an $O(n \log n )$-time algorithm that solves this problem. We generalize this to other proximity graphs in the constraint setting, such as the relative neighb…
▽ More
Given a plane forest $F = (V, E)$ of $|V| = n$ points, we find the minimum set $S \subseteq E$ of edges such that the edge-constrained minimum spanning tree over the set $V$ of vertices and the set $S$ of constraints contains $F$. We present an $O(n \log n )$-time algorithm that solves this problem. We generalize this to other proximity graphs in the constraint setting, such as the relative neighbourhood graph, Gabriel graph, $β$-skeleton and Delaunay triangulation. We present an algorithm that identifies the minimum set $S\subseteq E$ of edges of a given plane graph $I=(V,E)$ such that $I \subseteq CG_β(V, S)$ for $1 \leq β\leq 2$, where $CG_β(V, S)$ is the constraint $β$-skeleton over the set $V$ of vertices and the set $S$ of constraints. The running time of our algorithm is $O(n)$, provided that the constrained Delaunay triangulation of $I$ is given.
△ Less
Submitted 1 October, 2016; v1 submitted 5 July, 2016;
originally announced July 2016.
-
Towards Plane Spanners of Degree 3
Authors:
Ahmad Biniaz,
Prosenjit Bose,
Jean-Lou De Carufel,
Cyril Gavoille,
Anil Maheshwari,
Michiel Smid
Abstract:
Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that…
▽ More
Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that are in the plane and in general position, we show how to compute plane degree-3 spanners with a linear number of Steiner points.
△ Less
Submitted 20 February, 2017; v1 submitted 28 June, 2016;
originally announced June 2016.
-
Constrained Generalized Delaunay Graphs Are Plane Spanners
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
André van Renssen
Abstract:
We look at generalized Delaunay graphs in the constrained setting by introducing line segments which the edges of the graph are not allowed to cross. Given an arbitrary convex shape $C$, a constrained Delaunay graph is constructed by adding an edge between two vertices $p$ and $q$ if and only if there exists a homothet of $C$ with $p$ and $q$ on its boundary that does not contain any other vertice…
▽ More
We look at generalized Delaunay graphs in the constrained setting by introducing line segments which the edges of the graph are not allowed to cross. Given an arbitrary convex shape $C$, a constrained Delaunay graph is constructed by adding an edge between two vertices $p$ and $q$ if and only if there exists a homothet of $C$ with $p$ and $q$ on its boundary that does not contain any other vertices visible to $p$ and $q$. We show that, regardless of the convex shape $C$ used to construct the constrained Delaunay graph, there exists a constant $t$ (that depends on $C$) such that it is a plane $t$-spanner of the visibility graph. Furthermore, we reduce the upper bound on the spanning ratio for the special case where the empty convex shape is an arbitrary rectangle to $\sqrt{2} \cdot \left( 2 l/s + 1 \right)$, where $l$ and $s$ are the length of the long and short side of the rectangle.
△ Less
Submitted 1 July, 2018; v1 submitted 23 February, 2016;
originally announced February 2016.
-
Minimizing the Continuous Diameter when Augmenting Paths and Cycles with Shortcuts
Authors:
Jean-Lou De Carufel,
Carsten Grimm,
Anil Maheshwari,
Michiel Smid
Abstract:
We seek to augment a geometric network in the Euclidean plane with shortcuts to minimize its continuous diameter, i.e., the largest network distance between any two points on the augmented network. Unlike in the discrete setting where a shortcut connects two vertices and the diameter is measured between vertices, we take all points along the edges of the network into account when placing a shortcu…
▽ More
We seek to augment a geometric network in the Euclidean plane with shortcuts to minimize its continuous diameter, i.e., the largest network distance between any two points on the augmented network. Unlike in the discrete setting where a shortcut connects two vertices and the diameter is measured between vertices, we take all points along the edges of the network into account when placing a shortcut and when measuring distances in the augmented network.
We study this network augmentation problem for paths and cycles. For paths, we determine an optimal shortcut in linear time. For cycles, we show that a single shortcut never decreases the continuous diameter and that two shortcuts always suffice to reduce the continuous diameter. Furthermore, we characterize optimal pairs of shortcuts for convex and non-convex cycles. Finally, we develop a linear time algorithm that produces an optimal pair of shortcuts for convex cycles. Apart from the algorithms, our results extend to rectifiable curves.
Our work reveals some of the underlying challenges that must be overcome when addressing the discrete version of this network augmentation problem, where we minimize the discrete diameter of a network with shortcuts that connect only vertices.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
-
On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere
Authors:
Prosenjit Bose,
Paz Carmi,
Mirela Damian,
Jean-Lou De Carufel,
Darryl Hill,
Anil Maheshwari,
Yuyang Liu,
Michiel Smid
Abstract:
Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is betwe…
▽ More
Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is between two concentric spheres of radii $1$ and $R>1$, and the angles in all faces are at least $θ$, we prove that the skeleton is a $t$-spanner, where $t$ depends only on $R$ and $θ$. One of the ingredients in the proof is a tight upper bound on the geometric dilation of a convex cycle that is contained in an annulus.
△ Less
Submitted 2 September, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
The Shadows of a Cycle Cannot All Be Paths
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Michael G. Dobbins,
Heuna Kim,
Giovanni Viglietta
Abstract:
A "shadow" of a subset $S$ of Euclidean space is an orthogonal projection of $S$ into one of the coordinate hyperplanes. In this paper we show that it is not possible for all three shadows of a cycle (i.e., a simple closed curve) in $\mathbb R^3$ to be paths (i.e., simple open curves).
We also show two contrasting results: the three shadows of a path in $\mathbb R^3$ can all be cycles (although…
▽ More
A "shadow" of a subset $S$ of Euclidean space is an orthogonal projection of $S$ into one of the coordinate hyperplanes. In this paper we show that it is not possible for all three shadows of a cycle (i.e., a simple closed curve) in $\mathbb R^3$ to be paths (i.e., simple open curves).
We also show two contrasting results: the three shadows of a path in $\mathbb R^3$ can all be cycles (although not all convex) and, for every $d\geq 1$, there exists a $d$-sphere embedded in $\mathbb R^{d+2}$ whose $d+2$ shadows have no holes (i.e., they deformation-retract onto a point).
△ Less
Submitted 8 July, 2015;
originally announced July 2015.
-
On interference among moving sensors and related problems
Authors:
Jean-Lou De Carufel,
Matya Katz,
Matias Korman,
André van Renssen,
Marcel Roeloffzen,
Shakhar Smorodinsky
Abstract:
We show that for any set of $n$ points moving along "simple" trajectories (i.e., each coordinate is described with a polynomial of bounded degree) in $\Re^d$ and any parameter $2 \le k \le n$, one can select a fixed non-empty subset of the points of size $O(k \log k)$, such that the Voronoi diagram of this subset is "balanced" at any given time (i.e., it contains $O(n/k)$ points per cell). We also…
▽ More
We show that for any set of $n$ points moving along "simple" trajectories (i.e., each coordinate is described with a polynomial of bounded degree) in $\Re^d$ and any parameter $2 \le k \le n$, one can select a fixed non-empty subset of the points of size $O(k \log k)$, such that the Voronoi diagram of this subset is "balanced" at any given time (i.e., it contains $O(n/k)$ points per cell). We also show that the bound $O(k \log k)$ is near optimal even for the one dimensional case in which points move linearly in time. As applications, we show that one can assign communication radii to the sensors of a network of $n$ moving sensors so that at any given time their interference is $O(\sqrt{n\log n})$. We also show some results in kinetic approximate range counting and kinetic discrepancy. In order to obtain these results, we extend well-known results from $\varepsilon$-net theory to kinetic environments.
△ Less
Submitted 27 April, 2017; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Probing Convex Polygons with a Wedge
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Alina Shaikhet,
Michiel Smid
Abstract:
Minimizing the number of probes is one of the main challenges in reconstructing geometric objects with probing devices. In this paper, we investigate the problem of using an $ω$-wedge probing tool to determine the exact shape and orientation of a convex polygon. An $ω$-wedge consists of two rays emanating from a point called the apex of the wedge and the two rays forming an angle $ω$. To probe wit…
▽ More
Minimizing the number of probes is one of the main challenges in reconstructing geometric objects with probing devices. In this paper, we investigate the problem of using an $ω$-wedge probing tool to determine the exact shape and orientation of a convex polygon. An $ω$-wedge consists of two rays emanating from a point called the apex of the wedge and the two rays forming an angle $ω$. To probe with an $ω$-wedge, we set the direction that the apex of the probe has to follow, the line $\overrightarrow L$, and the initial orientation of the two rays. A valid $ω$-probe of a convex polygon $O$ contains $O$ within the $ω$-wedge and its outcome consists of the coordinates of the apex, the orientation of both rays and the coordinates of the closest (to the apex) points of contact between $O$ and each of the rays.
We present algorithms minimizing the number of probes and prove their optimality. In particular, we show how to reconstruct a convex $n$-gon (with all internal angles of size larger than $ω$) using $2n-2$ $ω$-probes; if $ω= π/2$, the reconstruction uses $2n-3$ $ω$-probes. We show that both results are optimal. Let $N_B$ be the number of vertices of $O$ whose internal angle is at most $ω$, (we show that $0 \leq N_B \leq 3$). We determine the shape and orientation of a general convex $n$-gon with $N_B=1$ (respectively $N_B=2$, $N_B=3$) using $2n-1$ (respectively $2n+3$, $2n+5$) $ω$-probes. We prove optimality for the first case. Assuming the algorithm knows the value of $N_B$ in advance, the reconstruction of $O$ with $N_B=2$ or $N_B=3$ can be achieved with $2n+2$ probes,- which is optimal.
△ Less
Submitted 13 June, 2016; v1 submitted 8 June, 2015;
originally announced June 2015.
-
Discrete Voronoi Games and $ε$-Nets, in Two and Three Dimensions
Authors:
Aritra Banik,
Jean-Lou De Carufel,
Anil Maheshwari,
Michiel Smid
Abstract:
The one-round discrete Voronoi game, with respect to a $n$-point user set $U$, consists of two players Player 1 ($\mathcal{P}_1$) and Player 2 ($\mathcal{P}_2$). At first, $\mathcal{P}_1$ chooses a set of facilities $F_1$ following which $\mathcal{P}_2$ chooses another set of facilities $F_2$, disjoint from $F_1$. The payoff of $\mathcal{P}_2$ is defined as the cardinality of the set of points in…
▽ More
The one-round discrete Voronoi game, with respect to a $n$-point user set $U$, consists of two players Player 1 ($\mathcal{P}_1$) and Player 2 ($\mathcal{P}_2$). At first, $\mathcal{P}_1$ chooses a set of facilities $F_1$ following which $\mathcal{P}_2$ chooses another set of facilities $F_2$, disjoint from $F_1$. The payoff of $\mathcal{P}_2$ is defined as the cardinality of the set of points in $U$ which are closer to a facility in $F_2$ than to every facility in $F_1$, and the payoff of $\mathcal{P}_1$ is the difference between the number of users in $U$ and the payoff of $\mathcal{P}_2$. The objective of both the players in the game is to maximize their respective payoffs. In this paper we study the one-round discrete Voronoi game where $\mathcal{P}_1$ places $k$ facilities and $\mathcal{P}_2$ places one facility and we have denoted this game as $VG(k,1)$. Although the optimal solution of this game can be found in polynomial time, the polynomial has a very high degree. In this paper, we focus on achieving approximate solutions to $VG(k,1)$ with significantly better running times. We provide a constant-factor approximate solution to the optimal strategy of $\mathcal{P}_1$ in $VG(k,1)$ by establishing a connection between $VG(k,1)$ and weak $ε$-nets. To the best of our knowledge, this is the first time that Voronoi games are studied from the point of view of $ε$-nets.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
-
Upper and Lower Bounds for Competitive Online Routing on Delaunay Triangulations
Authors:
Nicolas Bonichon,
Prosenjit Bose,
Jean-Lou De Carufel,
Ljubomir Perković,
André Van Renssen
Abstract:
Consider a weighted graph G where vertices are points in the plane and edges are line segments. The weight of each edge is the Euclidean distance between its two endpoints. A routing algorithm on G has a competitive ratio of c if the length of the path produced by the algorithm from any vertex s to any vertex t is at most c times the length of the shortest path from s to t in G. If the length of t…
▽ More
Consider a weighted graph G where vertices are points in the plane and edges are line segments. The weight of each edge is the Euclidean distance between its two endpoints. A routing algorithm on G has a competitive ratio of c if the length of the path produced by the algorithm from any vertex s to any vertex t is at most c times the length of the shortest path from s to t in G. If the length of the path is at most c times the Euclidean distance from s to t, we say that the routing algorithm on G has a routing ratio of c.We present an online routing algorithm on the Delaunay triangulation with competitive and routing ratios of 5.90. This improves upon the best known algorithm that has competitive and routing ratio 15.48. The algorithm is a generalization of the deterministic 1-local routing algorithm by Chew on the L1-Delaunay triangulation. When a message follows the routing path produced by our algorithm, its header need only contain the coordinates of s and t. This is an improvement over the currently known competitive routing algorithms on the Delaunay triangulation, for which the header of a message must additionally contain partial sums of distances along the routing path.We also show that the routing ratio of any deterministic k-local algorithm is at least 1.70 for the Delaunay triangulation and 2.70 for the L1-Delaunay triangulation. In the case of the L1-Delaunay triangulation, this implies that even though there exists a path between two points x and y whose length is at most 2.61|[xy]| (where |[xy]| denotes the length of the line segment [xy]), it is not always possible to route a message along a path of length less than 2.70|[xy]|. From these bounds on the routing ratio, we derive lower bounds on the competitive ratio of 1.23 for Delaunay triangulations and 1.12 for L1-Delaunay triangulations.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
A linear-time algorithm for the geodesic center of a simple polygon
Authors:
Hee-Kap Ahn,
Luis Barba,
Prosenjit Bose,
Jean-Lou de Carufel,
Matias Korman,
Eun** Oh
Abstract:
Given two points in a simple polygon $P$ of $n$ vertices, its geodesic distance is the length of the shortest path that connects them among all paths that stay within $P$. The geodesic center of $P$ is the unique point in $P$ that minimizes the largest geodesic distance to all other points of $P$. In 1989, Pollack, Sharir and Rote [Disc. \& Comput. Geom. 89] showed an $O(n\log n)$-time algorithm t…
▽ More
Given two points in a simple polygon $P$ of $n$ vertices, its geodesic distance is the length of the shortest path that connects them among all paths that stay within $P$. The geodesic center of $P$ is the unique point in $P$ that minimizes the largest geodesic distance to all other points of $P$. In 1989, Pollack, Sharir and Rote [Disc. \& Comput. Geom. 89] showed an $O(n\log n)$-time algorithm that computes the geodesic center of $P$. Since then, a longstanding question has been whether this running time can be improved (explicitly posed by Mitchell [Handbook of Computational Geometry, 2000]). In this paper we affirmatively answer this question and present a linear time algorithm to solve this problem.
△ Less
Submitted 3 January, 2015;
originally announced January 2015.
-
Optimal Data Structures for Farthest-Point Queries in Cactus Networks
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Carsten Grimm,
Anil Maheshwari,
Michiel Smid
Abstract:
Consider the continuum of points on the edges of a network, i.e., a connected, undirected graph with positive edge weights. We measure the distance between these points in terms of the weighted shortest path distance, called the network distance. Within this metric space, we study farthest points and farthest distances. We introduce optimal data structures supporting queries for the farthest dista…
▽ More
Consider the continuum of points on the edges of a network, i.e., a connected, undirected graph with positive edge weights. We measure the distance between these points in terms of the weighted shortest path distance, called the network distance. Within this metric space, we study farthest points and farthest distances. We introduce optimal data structures supporting queries for the farthest distance and the farthest points on trees, cycles, uni-cyclic networks, and cactus networks.
△ Less
Submitted 7 November, 2014;
originally announced November 2014.
-
Towards a General Framework for Searching on a Line and Searching on $m$ Rays
Authors:
Prosenjit Bose,
Jean-Lou De Carufel
Abstract:
Consider the following classical search problem: given a target point $p\in \Re$, starting at the origin, find $p$ with minimum cost, where cost is defined as the distance travelled. Let $D$ be the distance of $p$ from the origin. When no lower bound on $D$ is given, no competitive search strategy exists. Demaine, Fekete and Gal (Online searching with turn cost, Theor. Comput. Sci., 361(2-3):342-3…
▽ More
Consider the following classical search problem: given a target point $p\in \Re$, starting at the origin, find $p$ with minimum cost, where cost is defined as the distance travelled. Let $D$ be the distance of $p$ from the origin. When no lower bound on $D$ is given, no competitive search strategy exists. Demaine, Fekete and Gal (Online searching with turn cost, Theor. Comput. Sci., 361(2-3):342-355, 2006) considered the situation where no lower bound on $D$ is given but a fixed \emph{turn cost} $t>0$ is charged every time the searcher changes direction. When the total cost is expressed as $c D+φ$, where $c$ and $φ$ are positive constants, they showed that if $c$ is set to $9$, then the optimal search strategy has a cost of $9D+2t$. Although their strategy is optimal for $c=9$, we prove that the minimum cost in their framework is $5D+t+2\sqrt{2D(2D+t)} < 9D+2t$. Note that the minimum cost requires knowledge of $D$. However, given $D$, the optimal strategy has a smaller cost of $3D+t$. Therefore, this problem cannot be solved optimally and exactly when no lower bound on $D$ is given.
To resolve this issue, we introduce a general framework where the cost of moving distance $x$ away from the origin is $α_1 x+β_1$ and the cost of moving distance $y$ towards the origin is $α_2 y+β_2$ for constants $α_1,α_2,β_1,β_2$. Given a lower bound $λ$ on $D$, we provide a provably optimal competitive search strategy when $α_1,α_2,β_1,β_2 \geq 0$ and $α_1+α_2 > 0$. Finally, we address the problem of searching for a target lying on one of $m$ rays extending from the origin where the cost is measured as the total distance travelled plus $t \geq 0$ times the number of turns. We provide a search strategy and compute its cost. We prove our strategy is optimal for small values of $t$ and conjecture it is always optimal.
△ Less
Submitted 4 November, 2014; v1 submitted 28 August, 2014;
originally announced August 2014.
-
Continuous Yao Graphs
Authors:
Luis Barba,
Prosenjit Bose,
Jean-Lou De Carufel,
Mirela Damian,
Rolf Fagerberg,
André van Renssen,
Perouz Taslakian,
Sander Verdonschot
Abstract:
In this paper, we introduce a variation of the well-studied Yao graphs. Given a set of points $S\subset \mathbb{R}^2$ and an angle $0 < θ\leq 2π$, we define the continuous Yao graph $cY(θ)$ with vertex set $S$ and angle $θ$ as follows. For each $p,q\in S$, we add an edge from $p$ to $q$ in $cY(θ)$ if there exists a cone with apex $p$ and aperture $θ$ such that $q$ is the closest point to $p$ insid…
▽ More
In this paper, we introduce a variation of the well-studied Yao graphs. Given a set of points $S\subset \mathbb{R}^2$ and an angle $0 < θ\leq 2π$, we define the continuous Yao graph $cY(θ)$ with vertex set $S$ and angle $θ$ as follows. For each $p,q\in S$, we add an edge from $p$ to $q$ in $cY(θ)$ if there exists a cone with apex $p$ and aperture $θ$ such that $q$ is the closest point to $p$ inside this cone.
We study the spanning ratio of $cY(θ)$ for different values of $θ$. Using a new algebraic technique, we show that $cY(θ)$ is a spanner when $θ\leq 2π/3$. We believe that this technique may be of independent interest. We also show that $cY(π)$ is not a spanner, and that $cY(θ)$ may be disconnected for $θ> π$.
△ Less
Submitted 18 August, 2014;
originally announced August 2014.
-
Towards Tight Bounds on Theta-Graphs
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Pat Morin,
André van Renssen,
Sander Verdonschot
Abstract:
We present improved upper and lower bounds on the spanning ratio of $θ$-graphs with at least six cones. Given a set of points in the plane, a $θ$-graph partitions the plane around each vertex into $m$ disjoint cones, each having aperture $θ=2π/m$, and adds an edge to the `closest' vertex in each cone. We show that for any integer $k \geq 1$, $θ$-graphs with $4k+2$ cones have a spanning ratio of…
▽ More
We present improved upper and lower bounds on the spanning ratio of $θ$-graphs with at least six cones. Given a set of points in the plane, a $θ$-graph partitions the plane around each vertex into $m$ disjoint cones, each having aperture $θ=2π/m$, and adds an edge to the `closest' vertex in each cone. We show that for any integer $k \geq 1$, $θ$-graphs with $4k+2$ cones have a spanning ratio of $1+2\sin(θ/2)$ and we provide a matching lower bound, showing that this spanning ratio tight.
Next, we show that for any integer $k \geq 1$, $θ$-graphs with $4k+4$ cones have spanning ratio at most $1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2))$. We also show that $θ$-graphs with $4k+3$ and $4k+5$ cones have spanning ratio at most $\cos(θ/4)/(\cos(θ/2)-\sin(3θ/4))$. This is a significant improvement on all families of $θ$-graphs for which exact bounds are not known. For example, the spanning ratio of the $θ$-graph with 7 cones is decreased from at most 7.5625 to at most 3.5132. These spanning proofs also imply improved upper bounds on the competitiveness of the $θ$-routing algorithm. In particular, we show that the $θ$-routing algorithm is $(1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2)))$-competitive on $θ$-graphs with $4k+4$ cones and that this ratio is tight.
Finally, we present improved lower bounds on the spanning ratio of these graphs. Using these bounds, we provide a partial order on these families of $θ$-graphs. In particular, we show that $θ$-graphs with $4k+4$ cones have spanning ratio at least $1+2\tan(θ/2)+2\tan^2(θ/2)$. This is somewhat surprising since, for equal values of $k$, the spanning ratio of $θ$-graphs with $4k+4$ cones is greater than that of $θ$-graphs with $4k+2$ cones, showing that increasing the number of cones can make the spanning ratio worse.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
Revisiting the Problem of Searching on a Line
Authors:
Prosenjit Bose,
Jean-Lou De Carufel,
Stephane Durocher
Abstract:
We revisit the problem of searching for a target at an unknown location on a line when given upper and lower bounds on the distance D that separates the initial position of the searcher from the target. Prior to this work, only asymptotic bounds were known for the optimal competitive ratio achievable by any search strategy in the worst case. We present the first tight bounds on the exact optimal c…
▽ More
We revisit the problem of searching for a target at an unknown location on a line when given upper and lower bounds on the distance D that separates the initial position of the searcher from the target. Prior to this work, only asymptotic bounds were known for the optimal competitive ratio achievable by any search strategy in the worst case. We present the first tight bounds on the exact optimal competitive ratio achievable, parameterized in terms of the given bounds on D, along with an optimal search strategy that achieves this competitive ratio. We prove that this optimal strategy is unique. We characterize the conditions under which an optimal strategy can be computed exactly and, when it cannot, we explain how numerical methods can be used efficiently. In addition, we answer several related open questions, including the maximal reach problem, and we discuss how to generalize these results to m rays, for any m >= 2.
△ Less
Submitted 2 October, 2013;
originally announced October 2013.
-
A Note on the Unsolvability of the Weighted Region Shortest Path Problem
Authors:
Jean-Lou De Carufel,
Carsten Grimm,
Anil Maheshwari,
Megan Owen,
Michiel Smid
Abstract:
Let S be a subdivision of the plane into polygonal regions, where each region has an associated positive weight. The weighted region shortest path problem is to determine a shortest path in S between two points s, t in R^2, where the distances are measured according to the weighted Euclidean metric-the length of a path is defined to be the weighted sum of (Euclidean) lengths of the sub-paths withi…
▽ More
Let S be a subdivision of the plane into polygonal regions, where each region has an associated positive weight. The weighted region shortest path problem is to determine a shortest path in S between two points s, t in R^2, where the distances are measured according to the weighted Euclidean metric-the length of a path is defined to be the weighted sum of (Euclidean) lengths of the sub-paths within each region. We show that this problem cannot be solved in the Algebraic Computation Model over the Rational Numbers (ACMQ). In the ACMQ, one can compute exactly any number that can be obtained from the rationals Q by applying a finite number of operations from +, -, \times, ÷, \sqrt[k]{}, for any integer k >= 2. Our proof uses Galois theory and is based on Bajaj's technique.
△ Less
Submitted 22 May, 2013;
originally announced May 2013.
-
Network Farthest-Point Diagrams
Authors:
Prosenjit Bose,
Kai Dannies,
Jean-Lou De Carufel,
Christoph Doell,
Carsten Grimm,
Anil Maheshwari,
Stefan Schirra,
Michiel Smid
Abstract:
Consider the continuum of points along the edges of a network, i.e., an undirected graph with positive edge weights. We measure distance between these points in terms of the shortest path distance along the network, known as the network distance. Within this metric space, we study farthest points.
We introduce network farthest-point diagrams, which capture how the farthest points---and the dista…
▽ More
Consider the continuum of points along the edges of a network, i.e., an undirected graph with positive edge weights. We measure distance between these points in terms of the shortest path distance along the network, known as the network distance. Within this metric space, we study farthest points.
We introduce network farthest-point diagrams, which capture how the farthest points---and the distance to them---change as we traverse the network. We preprocess a network G such that, when given a query point q on G, we can quickly determine the farthest point(s) from q in G as well as the farthest distance from q in G. Furthermore, we introduce a data structure supporting queries for the parts of the network that are farther away from q than some threshold R > 0, where R is part of the query.
We also introduce the minimum eccentricity feed-link problem defined as follows. Given a network G with geometric edge weights and a point p that is not on G, connect p to a point q on G with a straight line segment pq, called a feed-link, such that the largest network distance from p to any point in the resulting network is minimized. We solve the minimum eccentricity feed-link problem using eccentricity diagrams. In addition, we provide a data structure for the query version, where the network G is fixed and a query consists of the point p.
△ Less
Submitted 6 April, 2013;
originally announced April 2013.
-
On the stretch factor of the Theta-4 graph
Authors:
Luis Barba,
Prosenjit Bose,
Jean-Lou De Carufel,
André van Renssen,
Sander Verdonschot
Abstract:
In this paper we show that the θ-graph with 4 cones has constant stretch factor, i.e., there is a path between any pair of vertices in this graph whose length is at most a constant times the Euclidean distance between that pair of vertices. This is the last θ-graph for which it was not known whether its stretch factor was bounded.
In this paper we show that the θ-graph with 4 cones has constant stretch factor, i.e., there is a path between any pair of vertices in this graph whose length is at most a constant times the Euclidean distance between that pair of vertices. This is the last θ-graph for which it was not known whether its stretch factor was bounded.
△ Less
Submitted 21 March, 2013;
originally announced March 2013.
-
Similarity of Polygonal Curves in the Presence of Outliers
Authors:
Jean-Lou De Carufel,
Amin Gheibi,
Anil Maheshwari,
Jörg-Rüdiger Sack,
Christian Scheffer
Abstract:
The Fréchet distance is a well studied and commonly used measure to capture the similarity of polygonal curves. Unfortunately, it exhibits a high sensitivity to the presence of outliers. Since the presence of outliers is a frequently occurring phenomenon in practice, a robust variant of Fréchet distance is required which absorbs outliers. We study such a variant here. In this modified variant, our…
▽ More
The Fréchet distance is a well studied and commonly used measure to capture the similarity of polygonal curves. Unfortunately, it exhibits a high sensitivity to the presence of outliers. Since the presence of outliers is a frequently occurring phenomenon in practice, a robust variant of Fréchet distance is required which absorbs outliers. We study such a variant here. In this modified variant, our objective is to minimize the length of subcurves of two polygonal curves that need to be ignored (MinEx problem), or alternately, maximize the length of subcurves that are preserved (MaxIn problem), to achieve a given Fréchet distance. An exact solution to one problem would imply an exact solution to the other problem. However, we show that these problems are not solvable by radicals over $\mathbb{Q}$ and that the degree of the polynomial equations involved is unbounded in general. This motivates the search for approximate solutions. We present an algorithm, which approximates, for a given input parameter $δ$, optimal solutions for the \MinEx\ and \MaxIn\ problems up to an additive approximation error $δ$ times the length of the input curves. The resulting running time is upper bounded by $\mathcal{O} \left(\frac{n^3}δ \log \left(\frac{n}δ \right)\right)$, where $n$ is the complexity of the input polygonal curves.
△ Less
Submitted 23 April, 2013; v1 submitted 7 December, 2012;
originally announced December 2012.
-
Minimum-Area Enclosing Triangle with a Fixed Angle
Authors:
Prosenjit Bose,
Jean-Lou De Carufel
Abstract:
Given a set S of n points in the plane and a fixed angle 0 < omega < pi, we show how to find in O(n log n) time all triangles of minimum area with one angle omega that enclose S. We prove that in general, the solution cannot be written without cubic roots. We also prove an Omega(n log n) lower bound for this problem in the algebraic computation tree model. If the input is a convex n-gon, our algor…
▽ More
Given a set S of n points in the plane and a fixed angle 0 < omega < pi, we show how to find in O(n log n) time all triangles of minimum area with one angle omega that enclose S. We prove that in general, the solution cannot be written without cubic roots. We also prove an Omega(n log n) lower bound for this problem in the algebraic computation tree model. If the input is a convex n-gon, our algorithm takes Theta(n) time.
△ Less
Submitted 30 May, 2013; v1 submitted 15 September, 2010;
originally announced September 2010.
