-
Multi-purpose robot for rehabilitation of small diameter water pipes
Authors:
Julien Feiguel,
Mouhamed NDiaye,
Pascal Chambaud,
Adrien Chambellan,
Pierre Blanc,
Steve Bourgeois,
Lucas Labarussiat,
Clemence Dubois,
Audrey Vigneron,
Thomas Desrez,
Alain Riwan,
Caroline Vienne
Abstract:
Rehabilitating cast iron pipes through lining offers several advantages, including increased durability, reduced water leaks, and minimal disruption.This approach presents a cost effective and environmentally friendly solution by sealing cracks and joints, extending the pipeline's lifespan, and reducing water wastage, all while avoiding the need for trench excavation. However, due to the relining…
▽ More
Rehabilitating cast iron pipes through lining offers several advantages, including increased durability, reduced water leaks, and minimal disruption.This approach presents a cost effective and environmentally friendly solution by sealing cracks and joints, extending the pipeline's lifespan, and reducing water wastage, all while avoiding the need for trench excavation. However, due to the relining process, branch connections are sealed and need to be reestablished. To address the issue of rehabilitating small-diameter water pipes, we have designed a modular robot capable of traversing and working within 200 meter long, 100 mm diameter cast iron pipes. This robot is equipped with perception functions to detect, locate, and characterize the branch connections in cast iron pipes and relocate them after lining, as well as machining functions. A first prototype of this system has been developed and validated on an 8 meter long section, in a laboratory environment.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Embeddings and near-neighbor searching with constant additive error for hyperbolic spaces
Authors:
Eunku Park,
Antoine Vigneron
Abstract:
We give an embedding of the Poincaré halfspace $H^D$ into a discrete metric space based on a binary tiling of $H^D$, with additive distortion $O(\log D)$. It yields the following results. We show that any subset $P$ of $n$ points in $H^D$ can be embedded into a graph-metric with $2^{O(D)}n$ vertices and edges, and with additive distortion $O(\log D)$. We also show how to construct, for any $k$, an…
▽ More
We give an embedding of the Poincaré halfspace $H^D$ into a discrete metric space based on a binary tiling of $H^D$, with additive distortion $O(\log D)$. It yields the following results. We show that any subset $P$ of $n$ points in $H^D$ can be embedded into a graph-metric with $2^{O(D)}n$ vertices and edges, and with additive distortion $O(\log D)$. We also show how to construct, for any $k$, an $O(k\log D)$-purely additive spanner of $P$ with $2^{O(D)}n$ Steiner vertices and $2^{O(D)}n \cdot λ_k(n)$ edges, where $λ_k(n)$ is the $k$th-row inverse Ackermann function. Finally, we show how to construct an approximate Voronoi diagram for $P$ of size $2^{O(D)}n$. It allows us to answer approximate near-neighbor queries in $2^{O(D)}+O(\log n)$ time, with additive error $O(\log D)$. These constructions can be done in $2^{O(D)}n \log n$ time.
△ Less
Submitted 1 April, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Pattern Matching in Doubling Spaces
Authors:
Corentin Allair,
Antoine Vigneron
Abstract:
We consider the problem of matching a metric space $(X,d_X)$ of size $k$ with a subspace of a metric space $(Y,d_Y)$ of size $n \geq k$, assuming that these two spaces have constant doubling dimension $δ$. More precisely, given an input parameter $ρ\geq 1$, the $ρ$-distortion problem is to find a one-to-one mapping from $X$ to $Y$ that distorts distances by a factor at most $ρ$. We first show by a…
▽ More
We consider the problem of matching a metric space $(X,d_X)$ of size $k$ with a subspace of a metric space $(Y,d_Y)$ of size $n \geq k$, assuming that these two spaces have constant doubling dimension $δ$. More precisely, given an input parameter $ρ\geq 1$, the $ρ$-distortion problem is to find a one-to-one mapping from $X$ to $Y$ that distorts distances by a factor at most $ρ$. We first show by a reduction from $k$-clique that, in doubling dimension $\log_2 3$, this problem is NP-hard and W[1]-hard. Then we provide a near-linear time approximation algorithm for fixed $k$: Given an approximation ratio $0<\varepsilon\leq 1$, and a positive instance of the $ρ$-distortion problem, our algorithm returns a solution to the $(1+\varepsilon)ρ$-distortion problem in time $(ρ/\varepsilon)^{O(1)}n \log n$. We also show how to extend these results to the minimum distortion problem in doubling spaces: We prove the same hardness results, and for fixed $k$, we give a $(1+\varepsilon)$-approximation algorithm running in time $($dist$(X,Y)/\varepsilon)^{O(1)}n^2\log n$, where dist$(X,Y)$ denotes the minimum distortion between $X$ and $Y$.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
Faster Algorithms for Growing Prioritized Disks and Rectangles
Authors:
Hee-Kap Ahn,
Sang Won Bae,
Jongmin Choi,
Matias Korman,
Wolfgang Mulzer,
Eunjin Oh,
Ji-won Park,
André van Renssen,
Antoine Vigneron
Abstract:
Motivated by map labeling, Funke, Krumpe, and Storandt [IWOCA 2016] introduced the following problem: we are given a sequence of $n$ disks in the plane. Initially, all disks have radius $0$, and they grow at constant, but possibly different, speeds. Whenever two disks touch, the one with the higher index disappears. The goal is to determine the elimination order, i.e., the order in which the disks…
▽ More
Motivated by map labeling, Funke, Krumpe, and Storandt [IWOCA 2016] introduced the following problem: we are given a sequence of $n$ disks in the plane. Initially, all disks have radius $0$, and they grow at constant, but possibly different, speeds. Whenever two disks touch, the one with the higher index disappears. The goal is to determine the elimination order, i.e., the order in which the disks disappear. We provide the first general subquadratic algorithm for this problem. Our solution extends to other shapes (e.g., rectangles), and it works in any fixed dimension.
We also describe an alternative algorithm that is based on quadtrees. Its running time is $O\big(n \big(\log n + \min \{ \log Δ, \log Φ\}\big)\big)$, where $Δ$ is the ratio of the fastest and the slowest growth rate and $Φ$ is the ratio of the largest and the smallest distance between two disk centers. This improves the running times of previous algorithms by Funke, Krumpe, and Storandt [IWOCA 2016], Bahrdt et al. [ALENEX 2017], and Funke and Storandt [EuroCG 2017].
Finally, we give an $Ω(n\log n)$ lower bound, showing that our quadtree algorithms are almost tight.
△ Less
Submitted 13 August, 2019; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Improved Bounds for Beacon-Based Coverage and Routing in Simple Rectilinear Polygons
Authors:
Sang Won Bae,
Chan-Su Shin,
Antoine Vigneron
Abstract:
We establish tight bounds for beacon-based coverage problems, and improve the bounds for beacon-based routing problems in simple rectilinear polygons. Specifically, we show that $\lfloor \frac{n}{6} \rfloor$ beacons are always sufficient and sometimes necessary to cover a simple rectilinear polygon $P$ with $n$ vertices. We also prove tight bounds for the case where $P$ is monotone, and we present…
▽ More
We establish tight bounds for beacon-based coverage problems, and improve the bounds for beacon-based routing problems in simple rectilinear polygons. Specifically, we show that $\lfloor \frac{n}{6} \rfloor$ beacons are always sufficient and sometimes necessary to cover a simple rectilinear polygon $P$ with $n$ vertices. We also prove tight bounds for the case where $P$ is monotone, and we present an optimal linear-time algorithm that computes the beacon-based kernel of $P$. For the routing problem, we show that $\lfloor \frac{3n-4}{8} \rfloor - 1$ beacons are always sufficient, and $\lceil \frac{n}{4}\rceil-1$ beacons are sometimes necessary to route between all pairs of points in $P$.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
A Faster Algorithm for Computing Straight Skeletons
Authors:
Siu-Wing Cheng,
Liam Mencel,
Antoine Vigneron
Abstract:
We present a new algorithm for computing the straight skeleton of a polygon. For a polygon with $n$ vertices, among which $r$ are reflex vertices, we give a deterministic algorithm that reduces the straight skeleton computation to a motorcycle graph computation in $O(n (\log n)\log r)$ time. It improves on the previously best known algorithm for this reduction, which is randomized, and runs in exp…
▽ More
We present a new algorithm for computing the straight skeleton of a polygon. For a polygon with $n$ vertices, among which $r$ are reflex vertices, we give a deterministic algorithm that reduces the straight skeleton computation to a motorcycle graph computation in $O(n (\log n)\log r)$ time. It improves on the previously best known algorithm for this reduction, which is randomized, and runs in expected $O(n \sqrt{h+1}\log^2 n)$ time for a polygon with $h$ holes. Using known motorcycle graph algorithms, our result yields improved time bounds for computing straight skeletons. In particular, we can compute the straight skeleton of a non-degenerate polygon in $O(n (\log n) \log r + r^{4/3+\varepsilon})$ time for any $\varepsilon>0$. On degenerate input, our time bound increases to $O(n (\log n) \log r + r^{17/11+\varepsilon})$.
△ Less
Submitted 14 July, 2014; v1 submitted 19 May, 2014;
originally announced May 2014.
-
A Faster Algorithm for Computing Motorcycle Graphs
Authors:
Antoine Vigneron,
Lie Yan
Abstract:
We present a new algorithm for computing motorcycle graphs that runs in O(n^(4/3+e)) time for any e>0, improving on all previously known algorithms. The main application of this result is to computing the straight skeleton of a polygon. It allows us to compute the straight skeleton of a non-degenerate polygon with h holes in O(n.sqrt(h+1)log^2(n)+n^(4/3+e)) expected time. If all input coordinates…
▽ More
We present a new algorithm for computing motorcycle graphs that runs in O(n^(4/3+e)) time for any e>0, improving on all previously known algorithms. The main application of this result is to computing the straight skeleton of a polygon. It allows us to compute the straight skeleton of a non-degenerate polygon with h holes in O(n.sqrt(h+1)log^2(n)+n^(4/3+e)) expected time. If all input coordinates are O(log n)-bit rational numbers, we can compute the straight skeleton of a (possibly degenerate) polygon with h holes in O(n.sqrt(h+1)log^3(n)) expected time.
In particular, it means that we can compute the straight skeleton of a simple polygon in O(n.log^3(n)) expected time if all input coordinates are O(\log n)-bit rationals, while all previously known algorithms have worst-case running time larger than n^(3/2).
△ Less
Submitted 24 March, 2013;
originally announced March 2013.
-
Computing the Gromov hyperbolicity of a discrete metric space
Authors:
Hervé Fournier,
Anas Ismail,
Antoine Vigneron
Abstract:
We give exact and approximation algorithms for computing the Gromov hyperbolicity of an n-point discrete metric space. We observe that computing the Gromov hyperbolicity from a fixed base-point reduces to a (max,min) matrix product. Hence, using the (max,min) matrix product algorithm by Duan and Pettie, the fixed base-point hyperbolicity can be determined in O(n^2.69) time. It follows that the Gro…
▽ More
We give exact and approximation algorithms for computing the Gromov hyperbolicity of an n-point discrete metric space. We observe that computing the Gromov hyperbolicity from a fixed base-point reduces to a (max,min) matrix product. Hence, using the (max,min) matrix product algorithm by Duan and Pettie, the fixed base-point hyperbolicity can be determined in O(n^2.69) time. It follows that the Gromov hyperbolicity can be computed in O(n^3.69) time, and a 2-approximation can be found in O(n^2.69) time. We also give a (2 log_2 n)-approximation algorithm that runs in O(n^2) time, based on a tree-metric embedding by Gromov. We also show that hyperbolicity at a fixed base-point cannot be computed in O(n^2.05) time, unless there exists a faster algorithm for (max,min) matrix multiplication than currently known.
△ Less
Submitted 10 February, 2015; v1 submitted 11 October, 2012;
originally announced October 2012.
-
A Generalization of the Convex Kakeya Problem
Authors:
Hee-Kap Ahn,
Sang Won Bae,
Otfried Cheong,
Joachim Gudmundsson,
Takeshi Tokuyama,
Antoine Vigneron
Abstract:
Given a set of line segments in the plane, not necessarily finite, what is a convex region of smallest area that contains a translate of each input segment? This question can be seen as a generalization of Kakeya's problem of finding a convex region of smallest area such that a needle can be rotated through 360 degrees within this region. We show that there is always an optimal region that is a tr…
▽ More
Given a set of line segments in the plane, not necessarily finite, what is a convex region of smallest area that contains a translate of each input segment? This question can be seen as a generalization of Kakeya's problem of finding a convex region of smallest area such that a needle can be rotated through 360 degrees within this region. We show that there is always an optimal region that is a triangle, and we give an optimal Θ(n log n)-time algorithm to compute such a triangle for a given set of n segments. We also show that, if the goal is to minimize the perimeter of the region instead of its area, then placing the segments with their midpoint at the origin and taking their convex hull results in an optimal solution. Finally, we show that for any compact convex figure G, the smallest enclosing disk of G is a smallest-perimeter region containing a translate of every rotated copy of G.
△ Less
Submitted 10 September, 2012;
originally announced September 2012.
-
Covering and Piercing Disks with Two Centers
Authors:
Hee-Kap Ahn,
Sang-Sub Kim,
Christian Knauer,
Lena Schlipf,
Chan-Su Shin,
Antoine Vigneron
Abstract:
We give exact and approximation algorithms for two-center problems when the input is a set $\mathcal{D}$ of disks in the plane. We first study the problem of finding two smallest congruent disks such that each disk in $\mathcal{D}$ intersects one of these two disks. Then we study the problem of covering the set $\mathcal{D}$ by two smallest congruent disks.
We give exact and approximation algorithms for two-center problems when the input is a set $\mathcal{D}$ of disks in the plane. We first study the problem of finding two smallest congruent disks such that each disk in $\mathcal{D}$ intersects one of these two disks. Then we study the problem of covering the set $\mathcal{D}$ by two smallest congruent disks.
△ Less
Submitted 5 January, 2012;
originally announced January 2012.
-
A deterministic algorithm for fitting a step function to a weighted point-set
Authors:
Hervé Fournier,
Antoine Vigneron
Abstract:
Given a set of n points in the plane, each point having a positive weight, and an integer k>0, we present an optimal O(n \log n)-time deterministic algorithm to compute a step function with k steps that minimizes the maximum weighted vertical distance to the input points. It matches the expected time bound of the best known randomized algorithm for this problem. Our approach relies on Cole's impro…
▽ More
Given a set of n points in the plane, each point having a positive weight, and an integer k>0, we present an optimal O(n \log n)-time deterministic algorithm to compute a step function with k steps that minimizes the maximum weighted vertical distance to the input points. It matches the expected time bound of the best known randomized algorithm for this problem. Our approach relies on Cole's improved parametric searching technique.
△ Less
Submitted 11 October, 2012; v1 submitted 6 September, 2011;
originally announced September 2011.
-
Reachability by Paths of Bounded Curvature in a Convex Polygon
Authors:
Hee-Kap Ahn,
Otfried Cheong,
Jirí Matoušek,
Antoine Vigneron
Abstract:
Let $B$ be a point robot moving in the plane, whose path is constrained to forward motions with curvature at most one, and let $P$ be a convex polygon with $n$ vertices. Given a starting configuration (a location and a direction of travel) for $B$ inside $P$, we characterize the region of all points of $P$ that can be reached by $B$, and show that it has complexity $O(n)$. We give an $O(n^2)$ time…
▽ More
Let $B$ be a point robot moving in the plane, whose path is constrained to forward motions with curvature at most one, and let $P$ be a convex polygon with $n$ vertices. Given a starting configuration (a location and a direction of travel) for $B$ inside $P$, we characterize the region of all points of $P$ that can be reached by $B$, and show that it has complexity $O(n)$. We give an $O(n^2)$ time algorithm to compute this region. We show that a point is reachable only if it can be reached by a path of type CCSCS, where C denotes a unit circle arc and S denotes a line segment.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Reverse nearest neighbor queries in fixed dimension
Authors:
Otfried Cheong,
Antoine Vigneron,
Juyoung Yon
Abstract:
Reverse nearest neighbor queries are defined as follows: Given an input point-set P, and a query point q, find all the points p in P whose nearest point in P U {q} \ {p} is q. We give a data structure to answer reverse nearest neighbor queries in fixed-dimensional Euclidean space. Our data structure uses O(n) space, its preprocessing time is O(n log n), and its query time is O(log n).
Reverse nearest neighbor queries are defined as follows: Given an input point-set P, and a query point q, find all the points p in P whose nearest point in P U {q} \ {p} is q. We give a data structure to answer reverse nearest neighbor queries in fixed-dimensional Euclidean space. Our data structure uses O(n) space, its preprocessing time is O(n log n), and its query time is O(log n).
△ Less
Submitted 1 September, 2010; v1 submitted 27 May, 2009;
originally announced May 2009.
-
Computing k-Centers On a Line
Authors:
Peter Brass,
Christian Knauer,
Hyeon-Suk Na,
Chan-Su Shin,
Antoine Vigneron
Abstract:
In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the maximum radius of the disks is minimized. This problem is a constraint version of the well-known k-center problem in which the centers are constrained to lie in…
▽ More
In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the maximum radius of the disks is minimized. This problem is a constraint version of the well-known k-center problem in which the centers are constrained to lie in a particular region such as a segment, a line, and a polygon. We first consider the simplest version of the problem where the line l is given in advance; we can solve this problem in O(n log^2 n) time. We then investigate the cases where only the orientation of the line l is fixed and where the line l can be arbitrary. We can solve these problems in O(n^2 log^2 n) time and in O(n^4 log^2 n) expected time, respectively. For the last two problems, we present (1 + e)-approximation algorithms, which run in O((1/e) n log^2 n) time and O((1/e^2) n log^2 n) time, respectively.
△ Less
Submitted 18 February, 2009;
originally announced February 2009.
-
Sparse geometric graphs with small dilation
Authors:
Boris Aronov,
Mark de Berg,
Otfried Cheong,
Joachim Gudmundsson,
Herman Haverkort,
Michiel Smid,
Antoine Vigneron
Abstract:
Given a set S of n points in R^D, and an integer k such that 0 <= k < n, we show that a geometric graph with vertex set S, at most n - 1 + k edges, maximum degree five, and dilation O(n / (k+1)) can be computed in time O(n log n). For any k, we also construct planar n-point sets for which any geometric graph with n-1+k edges has dilation Omega(n/(k+1)); a slightly weaker statement holds if the p…
▽ More
Given a set S of n points in R^D, and an integer k such that 0 <= k < n, we show that a geometric graph with vertex set S, at most n - 1 + k edges, maximum degree five, and dilation O(n / (k+1)) can be computed in time O(n log n). For any k, we also construct planar n-point sets for which any geometric graph with n-1+k edges has dilation Omega(n/(k+1)); a slightly weaker statement holds if the points of S are required to be in convex position.
△ Less
Submitted 26 June, 2007; v1 submitted 13 February, 2007;
originally announced February 2007.
