-
On maximum-sum matchings of bichromatic points
Authors:
Oscar Chacón-Rivera,
Pablo Pérez-Lantero
Abstract:
Huemer et al. (Discrete Math, 2019) proved that for any two finite point sets $R$ and $B$ in the plane with $|R| = |B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total squared Euclidean distance of the matched pairs, has the property that all the disks induced by the matching have a nonempty common intersection. A pair of matched points induces the disk…
▽ More
Huemer et al. (Discrete Math, 2019) proved that for any two finite point sets $R$ and $B$ in the plane with $|R| = |B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total squared Euclidean distance of the matched pairs, has the property that all the disks induced by the matching have a nonempty common intersection. A pair of matched points induces the disk that has the segment connecting the points as diameter. In this note, we characterize these maximum-sum matchings for any continuous (semi)metric, focusing on both the Euclidean distance and squared Euclidean distance. Using this characterization, we give a different but simpler proof for the common intersection property proved by Huemer et al..
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Center of maximum-sum matchings of bichromatic points
Authors:
Pablo Pérez-Lantero,
Carlos Seara
Abstract:
Let $R$ and $B$ be two disjoint point sets in the plane with $|R|=|B|=n$. Let $\mathcal{M}=\{(r_i,b_i),i=1,2,\ldots,n\}$ be a perfect matching that matches points of $R$ with points of $B$ and maximizes $\sum_{i=1}^n\|r_i-b_i\|$, the total Euclidean distance of the matched pairs. In this paper, we prove that there exists a point $o$ of the plane (the center of $\mathcal{M}$) such that…
▽ More
Let $R$ and $B$ be two disjoint point sets in the plane with $|R|=|B|=n$. Let $\mathcal{M}=\{(r_i,b_i),i=1,2,\ldots,n\}$ be a perfect matching that matches points of $R$ with points of $B$ and maximizes $\sum_{i=1}^n\|r_i-b_i\|$, the total Euclidean distance of the matched pairs. In this paper, we prove that there exists a point $o$ of the plane (the center of $\mathcal{M}$) such that $\|r_i-o\|+\|b_i-o\|\le \sqrt{2}~\|r_i-b_i\|$ for all $i\in\{1,2,\ldots,n\}$.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Rectilinear Convex Hull of Points in 3D
Authors:
Pablo Pérez-Lantero,
Carlos Seara,
Jorge Urrutia
Abstract:
Let $P$ be a set of $n$ points in $\mathbb{R}^3$ in general position, and let $RCH(P)$ be the rectilinear convex hull of $P$. In this paper we obtain an optimal $O(n\log n)$-time and $O(n)$-space algorithm to compute $RCH(P)$. We also obtain an efficient $O(n\log^2 n)$-time and $O(n\log n)$-space algorithm to compute and maintain the set of vertices of the rectilinear convex hull of $P$ as we rota…
▽ More
Let $P$ be a set of $n$ points in $\mathbb{R}^3$ in general position, and let $RCH(P)$ be the rectilinear convex hull of $P$. In this paper we obtain an optimal $O(n\log n)$-time and $O(n)$-space algorithm to compute $RCH(P)$. We also obtain an efficient $O(n\log^2 n)$-time and $O(n\log n)$-space algorithm to compute and maintain the set of vertices of the rectilinear convex hull of $P$ as we rotate $\mathbb R^3$ around the $z$-axis. Finally we study some properties of the rectilinear convex hulls of point sets in $\mathbb{R}^3$.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
On Maximum-Sum Matchings of Points
Authors:
Sergey Bereg,
Oscar Chacón-Rivera,
David Flores-Peñaloza,
Clemens Huemer,
Pablo Pérez-Lantero,
Carlos Seara
Abstract:
Huemer et al. (Discrete Mathematics, 2019) proved that for any two point sets $R$ and $B$ with $|R|=|B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total \emph{squared} Euclidean distance of the matched pairs, verifies that all the disks induced by the matching have a common point. Each pair of matched points $p\in R$ and $q\in B$ induces the disk of sma…
▽ More
Huemer et al. (Discrete Mathematics, 2019) proved that for any two point sets $R$ and $B$ with $|R|=|B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total \emph{squared} Euclidean distance of the matched pairs, verifies that all the disks induced by the matching have a common point. Each pair of matched points $p\in R$ and $q\in B$ induces the disk of smallest diameter that covers $p$ and $q$. Following this research line, in this paper we consider the perfect matching that maximizes the total Euclidean distance. First, we prove that this new matching for $R$ and $B$ does not always ensure the common intersection property of the disks. Second, we extend the study of this new matching for sets of $2n$ uncolored points in the plane, where a matching is just a partition of the points into $n$ pairs. As the main result, we prove that in this case all disks of the matching do have a common point. This implies a big improvement on a conjecture of Andy Fingerhut in 1995, about a maximum matching of $2n$ points in the plane.
△ Less
Submitted 24 November, 2019;
originally announced November 2019.
-
On weighted sums of numbers of convex polygons in point sets
Authors:
Clemens Huemer,
Deborah Oliveros,
Pablo Pérez-Lantero,
Ferran Torra,
Birgit Vogtenhuber
Abstract:
Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erdős-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty…
▽ More
Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erdős-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty convex polygons to polygons with interior points. Analogous results for higher dimension are shown as well.
△ Less
Submitted 19 October, 2019;
originally announced October 2019.
-
Maximum rectilinear convex subsets
Authors:
Hernán González-Aguilar,
David Orden,
Pablo Pérez-Lantero,
David Rappaport,
Carlos Seara,
Javier Tejel,
Jorge Urrutia
Abstract:
Let $P$ be a set of $n$ points in the plane. We consider a variation of the classical Erdős-Szekeres problem, presenting efficient algorithms with $O(n^3)$ running time and $O(n^2)$ space complexity that compute: (1) A subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$, (2) a subset $S$ of $P$ such that the boundary of the recti…
▽ More
Let $P$ be a set of $n$ points in the plane. We consider a variation of the classical Erdős-Szekeres problem, presenting efficient algorithms with $O(n^3)$ running time and $O(n^2)$ space complexity that compute: (1) A subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$, (2) a subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$ and its interior contains no element of $P$, (3) a subset $S$ of $P$ such that the rectilinear convex hull of $S$ has maximum area and its interior contains no element of $P$, and (4) when each point of $P$ is assigned a weight, positive or negative, a subset $S$ of $P$ that maximizes the total weight of the points in the rectilinear convex hull of $S$.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Matching points with disks with a common intersection
Authors:
Clemens Huemer,
Pablo Pérez-Lantero,
Carlos Seara,
Rodrigo I. Silveira
Abstract:
We consider matchings with diametral disks between two sets of points R and B. More precisely, for each pair of matched points p in R and q in B, we consider the disk through p and q with the smallest diameter. We prove that for any R and B such that |R|=|B|, there exists a perfect matching such that the diametral disks of the matched point pairs have a common intersection. In fact, our result is…
▽ More
We consider matchings with diametral disks between two sets of points R and B. More precisely, for each pair of matched points p in R and q in B, we consider the disk through p and q with the smallest diameter. We prove that for any R and B such that |R|=|B|, there exists a perfect matching such that the diametral disks of the matched point pairs have a common intersection. In fact, our result is stronger, and shows that a maximum weight perfect matching has this property.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
On the intersection graph of the disks with diameters the sides of a convex $n$-gon
Authors:
Luis H. Herrera,
Pablo Pérez-Lantero
Abstract:
Given a convex $n$-gon, we can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. Such a graph was introduced by Huemer and Pérez-Lantero in 2016, p…
▽ More
Given a convex $n$-gon, we can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. Such a graph was introduced by Huemer and Pérez-Lantero in 2016, proved to be planar and Hamiltonian. In this paper we study further combinatorial properties of this graph. We prove that the treewidth is at most 3, by showing an $O(n)$-time algorithm that builds a tree decomposition of width at most 3, given the polygon as input. This implies that we can construct the intersection graph of the side disks in $O(n)$ time. We further study the independence number of this graph, which is the maximum number of pairwise disjoint disks. The planarity condition implies that for every convex $n$-gon we can select at least $\lceil n/4 \rceil$ pairwise disjoint disks, and we prove that for every $n\ge 3$ there exist convex $n$-gons in which we cannot select more than this number. Finally, we show that our class of graphs includes all outerplanar Hamiltonian graphs except the cycle of length four, and that it is a proper subclass of the planar Hamiltonian graphs.
△ Less
Submitted 28 May, 2018;
originally announced May 2018.
-
Computing Coverage Kernels Under Restricted Settings
Authors:
Jérémy Barbay,
Pablo Pérez-Lantero,
Javiel Rojas-Ledesma
Abstract:
We consider the Minimum Coverage Kernel problem: given a set $B$ of $d$-dimensional boxes, find a subset of $B$ of minimum size covering the same region as $B$. This problem is $\mathsf{NP}$-hard, but as for many $\mathsf{NP}$-hard problems on graphs, the problem becomes solvable in polynomial time under restrictions on the graph induced by $B$. We consider various classes of graphs, show that Min…
▽ More
We consider the Minimum Coverage Kernel problem: given a set $B$ of $d$-dimensional boxes, find a subset of $B$ of minimum size covering the same region as $B$. This problem is $\mathsf{NP}$-hard, but as for many $\mathsf{NP}$-hard problems on graphs, the problem becomes solvable in polynomial time under restrictions on the graph induced by $B$. We consider various classes of graphs, show that Minimum Coverage Kernel remains $\mathsf{NP}$-hard even for severely restricted instances, and provide two polynomial time approximation algorithms for this problem.
△ Less
Submitted 15 May, 2018; v1 submitted 10 May, 2018;
originally announced May 2018.
-
On the Diameter of Tree Associahedra
Authors:
Jean Cardinal,
Stefan Langerman,
Pablo Pérez-Lantero
Abstract:
We consider a natural notion of search trees on graphs, which we show is ubiquitous in various areas of discrete mathematics and computer science. Search trees on graphs can be modified by local operations called rotations, which generalize rotations in binary search trees. The rotation graph of search trees on a graph $G$ is the skeleton of a polytope called the graph associahedron of $G$.
We c…
▽ More
We consider a natural notion of search trees on graphs, which we show is ubiquitous in various areas of discrete mathematics and computer science. Search trees on graphs can be modified by local operations called rotations, which generalize rotations in binary search trees. The rotation graph of search trees on a graph $G$ is the skeleton of a polytope called the graph associahedron of $G$.
We consider the case where the graph $G$ is a tree. We construct a family of trees $G$ on $n$ vertices and pairs of search trees on $G$ such that the minimum number of rotations required to transform one search tree into the other is $Ω(n\log n)$. This implies that the worst-case diameter of tree associahedra is $Θ(n\log n)$, which answers a question from Thibault Manneville and Vincent Pilaud. The proof relies on a notion of projection of a search tree which may be of independent interest.
△ Less
Submitted 30 March, 2018;
originally announced March 2018.
-
Colored ray configurations
Authors:
Ruy Fabila-Monroy,
Alfredo García,
Ferran Hurtado,
Rafel Jaume,
Pablo Pérez-Lantero,
Maria Saumell,
Rodrigo I. Silveira,
Javier Tejel,
Jorge Urrutia
Abstract:
We study the cyclic color sequences induced at infinity by colored rays with apices being a given balanced finite bichromatic point set. We first study the case in which the rays are required to be pairwise disjoint. We derive a lower bound on the number of color sequences that can be realized from any such fixed point set and examine color sequences that can be realized regardless of the point se…
▽ More
We study the cyclic color sequences induced at infinity by colored rays with apices being a given balanced finite bichromatic point set. We first study the case in which the rays are required to be pairwise disjoint. We derive a lower bound on the number of color sequences that can be realized from any such fixed point set and examine color sequences that can be realized regardless of the point set, exhibiting negative examples as well. We also provide a tight upper bound on the number of configurations that can be realized from a point set, and point sets for which there are asymptotically less configurations than that number. In addition, we provide algorithms to decide whether a color sequence is realizable from a given point set in a line or in general position. We address afterwards the variant of the problem where the rays are allowed to intersect. We prove that for some configurations and point sets, the number of ray crossings must be $Θ(n^2)$ and study then configurations that can be realized by rays that pairwise cross. We show that there are point sets for which the number of configurations that can be realized by pairwise-crossing rays is asymptotically smaller than the number of configurations realizable by pairwise-disjoint rays. We provide also point sets from which any configuration can be realized by pairwise-crossing rays and show that there is no configuration that can be realized by pairwise-crossing rays from every point set.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
On balanced 4-holes in bichromatic point sets
Authors:
S. Bereg,
J. M. Díaz-Báñez,
R. Fabila-Monroy,
P. Pérez-Lantero,
A. Ramírez-Vigueras,
T. Sakai,
J. Urrutia,
I. Ventura
Abstract:
Let $S=R\cup B$ be a point set in the plane in general position such that each of its elements is colored either red or blue, where $R$ and $B$ denote the points colored red and the points colored blue, respectively. A quadrilateral with vertices in $S$ is called a $4$-hole if its interior is empty of elements of $S$. We say that a $4$-hole of $S$ is balanced if it has $2$ red and $2$ blue points…
▽ More
Let $S=R\cup B$ be a point set in the plane in general position such that each of its elements is colored either red or blue, where $R$ and $B$ denote the points colored red and the points colored blue, respectively. A quadrilateral with vertices in $S$ is called a $4$-hole if its interior is empty of elements of $S$. We say that a $4$-hole of $S$ is balanced if it has $2$ red and $2$ blue points of $S$ as vertices. In this paper, we prove that if $R$ and $B$ contain $n$ points each then $S$ has at least $\frac{n^2-4n}{12}$ balanced $4$-holes, and this bound is tight up to a constant factor. Since there are two-colored point sets with no balanced {\em convex} $4$-holes, we further provide a characterization of the two-colored point sets having this type of $4$-holes.
△ Less
Submitted 3 August, 2017;
originally announced August 2017.
-
$K_{1,3}$-covering red and blue points in the plane
Authors:
Bernardo M. Ábrego,
Silvia Fernández-Merchant,
Mikio Kano,
David Orden,
Pablo Pérez-Lantero,
Carlos Seara,
Javier Tejel
Abstract:
We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossin…
▽ More
We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossings. We consider the following problem: Given a set $R$ of $r$ red points and a set $B$ of $b$ blue points in the plane in general position, how many points of $R\cup B$ can be $K_{1,3}$-covered? and we prove the following results:
(1) If $r=3g+h$ and $b=3h+g$, for some non-negative integers $g$ and $h$, then there are point sets $R\cup B$, like $\{1,3\}$-equitable sets (i.e., $r=3b$ or $b=3r$) and linearly separable sets, that can be $K_{1,3}$-covered.
(2) If $r=3g+h$, $b=3h+g$ and the points in $R\cup B$ are in convex position, then at least $r+b-4$ points can be $K_{1,3}$-covered, and this bound is tight.
(3) There are arbitrarily large point sets $R\cup B$ in general position, with $r=b+1$, such that at most $r+b-5$ points can be $K_{1,3}$-covered.
(4) If $b\le r\le 3b$, then at least $\frac{8}{9}(r+b-8)$ points of $R\cup B$ can be $K_{1,3}$-covered. For $r>3b$, there are too many red points and at least $r-3b$ of them will remain uncovered in any $K_{1,3}$-covering.
Furthermore, in all the cases we provide efficient algorithms to compute the corresponding coverings.
△ Less
Submitted 24 January, 2019; v1 submitted 21 July, 2017;
originally announced July 2017.
-
Depth Distribution in High Dimensions
Authors:
Jérémy Barbay,
Pablo Pérez-Lantero,
Javiel Rojas-Ledesma
Abstract:
Motivated by the analysis of range queries in databases, we introduce the computation of the Depth Distribution of a set $\mathcal{B}$ of axis aligned boxes, whose computation generalizes that of the Klee's Measure and of the Maximum Depth. In the worst case over instances of fixed input size $n$, we describe an algorithm of complexity within $O({n^\frac{d+1}{2}\log n})$, using space within…
▽ More
Motivated by the analysis of range queries in databases, we introduce the computation of the Depth Distribution of a set $\mathcal{B}$ of axis aligned boxes, whose computation generalizes that of the Klee's Measure and of the Maximum Depth. In the worst case over instances of fixed input size $n$, we describe an algorithm of complexity within $O({n^\frac{d+1}{2}\log n})$, using space within $O({n\log n})$, mixing two techniques previously used to compute the Klee's Measure. We refine this result and previous results on the Klee's Measure and the Maximum Depth for various measures of difficulty of the input, such as the profile of the input and the degeneracy of the intersection graph formed by the boxes.
△ Less
Submitted 31 May, 2017; v1 submitted 28 May, 2017;
originally announced May 2017.
-
Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs
Authors:
Frank Duque,
Ruy Fabila-Monroy,
Carlos Hidalgo-Toscano,
Pablo Pérez-Lantero
Abstract:
An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered gra…
▽ More
An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered graph is called monotone if either every path from the root of to a leaf is increasing or every path from the root to a leaf is decreasing.
Let $G$ be a graph. In a straight-line drawing $D$ of $G$, its vertices are drawn as different points in the plane and its edges are straight line segments. Let $\overlineα(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing path of length $\overlineα(G)$. Let $\overlineτ(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing complete binary tree of size $\overlineτ(G)$. In this paper we show that $\overline α(K_n) = Ω(\log\log n)$, $\overline α(K_n) = O(\log n)$, $\overline τ(K_n) = Ω(\log\log \log n)$ and $\overline τ(K_n) = O(\sqrt{n \log n})$.
△ Less
Submitted 20 January, 2020; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Drawing the Almost Convex Set in an Integer Grid of Minimum Size
Authors:
Frank Duque,
Ruy Fabila-Monroy,
Carlos Hidalgo-Toscano,
Pablo Pérez-Lantero
Abstract:
In 2001, Károlyi, Pach and Tóth introduced a family of point sets to solve an Erdős-Szekeres type problem; which have been used to solve several other Edős-Szekeres type problems. In this paper we refer to these sets as nested almost convex sets. A nested almost convex set $\mathcal{X}$ has the property that the interior of every triangle determined by three points in the same convex layer of…
▽ More
In 2001, Károlyi, Pach and Tóth introduced a family of point sets to solve an Erdős-Szekeres type problem; which have been used to solve several other Edős-Szekeres type problems. In this paper we refer to these sets as nested almost convex sets. A nested almost convex set $\mathcal{X}$ has the property that the interior of every triangle determined by three points in the same convex layer of $\mathcal{X}$, contains exactly one point of $\mathcal{X}$. In this paper, we introduce a characterization of nested almost convex sets. Our characterization implies that there exists at most one (up to order type) nested almost convex set of $n$ points. We use our characterization to obtain a linear time algorithm to construct nested almost convex sets of $n$ points, with integer coordinates of absolute values at most $O(n^{\log_2 5})$. Finally, we use our characterization to obtain an $O(n\log n)$-time algorithm to determine whether a set of points is a nested almost convex set.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
Linear Separability in Spatial Databases
Authors:
Gilberto Gutiérrez,
Pablo Pérez-Lantero,
Claudio Torres
Abstract:
Given two point sets $R$ and $B$ in the plane, with cardinalities $m$ and $n$, respectively, and each set stored in a separate R-tree, we present an algorithm to decide whether $R$ and $B$ are linearly separable. Our algorithm exploits the structure of the R-trees, loading into the main memory only relevant data, and runs in $O(m\log m + n\log n)$ time in the worst case. As experimental results, w…
▽ More
Given two point sets $R$ and $B$ in the plane, with cardinalities $m$ and $n$, respectively, and each set stored in a separate R-tree, we present an algorithm to decide whether $R$ and $B$ are linearly separable. Our algorithm exploits the structure of the R-trees, loading into the main memory only relevant data, and runs in $O(m\log m + n\log n)$ time in the worst case. As experimental results, we implement the proposed algorithm and executed it on several real and synthetic point sets, showing that the percentage of nodes of the R-trees that are accessed and the memory usage are low in these cases. We also present an algorithm to compute the convex hull of $n$ planar points given in an R-tree, running in $O(n\log n)$ time in the worst case.
△ Less
Submitted 13 February, 2016;
originally announced February 2016.
-
Balanced Islands in Two Colored Point Sets in the Plane
Authors:
Oswin Aichholzer,
Nieves Atienza,
Ruy Fabila-Monroy,
Pablo Perez-Lantero,
Jose M. Dıaz-Báñez,
David Flores-Peñaloza,
Birgit Vogtenhuber,
Jorge Urrutia
Abstract:
Let $S$ be a set of $n$ points in general position in the plane, $r$ of which are red and $b$ of which are blue. In this paper we prove that there exist: for every $α\in \left [ 0,\frac{1}{2} \right ]$, a convex set containing exactly $\lceil αr\rceil$ red points and exactly $\lceil αb \rceil$ blue points of $S$; a convex set containing exactly $\left \lceil \frac{r+1}{2}\right \rceil$ red points…
▽ More
Let $S$ be a set of $n$ points in general position in the plane, $r$ of which are red and $b$ of which are blue. In this paper we prove that there exist: for every $α\in \left [ 0,\frac{1}{2} \right ]$, a convex set containing exactly $\lceil αr\rceil$ red points and exactly $\lceil αb \rceil$ blue points of $S$; a convex set containing exactly $\left \lceil \frac{r+1}{2}\right \rceil$ red points and exactly $\left \lceil \frac{b+1}{2}\right \rceil$ blue points of $S$. Furthermore, we present polynomial time algorithms to find these convex sets. In the first case we provide an $O(n^4)$ time algorithm and an $O(n^2\log n)$ time algorithm in the second case. Finally, if $\lceil αr\rceil+\lceil αb\rceil$ is small, that is, not much larger than $\frac{1}{3}n$, we improve the running time to $O(n \log n)$.
△ Less
Submitted 6 June, 2018; v1 submitted 7 October, 2015;
originally announced October 2015.
-
Adaptive Computation of the Klee's Measure in High Dimensions
Authors:
Jérémy Barbay,
Pablo Pérez-Lantero,
Javiel Rojas-Ledesma
Abstract:
The KLEE'S MESURE of $n$ axis-parallel boxes in $\mathbb{R}^d$ is the volume of their union. It can be computed in time within $O(n^{d/2})$ in the worst case. We describe three techniques to boost its computation: one based on some type of "degeneracy'' of the input, and two ones on the inherent "easiness'' of the structure of the input. The first technique benefits from instances where the MAXIMA…
▽ More
The KLEE'S MESURE of $n$ axis-parallel boxes in $\mathbb{R}^d$ is the volume of their union. It can be computed in time within $O(n^{d/2})$ in the worst case. We describe three techniques to boost its computation: one based on some type of "degeneracy'' of the input, and two ones on the inherent "easiness'' of the structure of the input. The first technique benefits from instances where the MAXIMA of the input is of small size $h$, and yields a solution running in time within $O(n\log^{2d-2}{h}+ h^{d/2}) \subseteq O(n^{d/2}$). The second technique takes advantage of instances where no $d$-dimensional axis-aligned hyperplane intersects more than $k$ boxes in some dimension, and yields a solution running in time within $O(n \log n + n k^{(d-2)/2}) \subseteq O(n^{d/2})$. The third technique takes advantage of instances where the \emph{intersection graph} of the input has small treewidth $ω$. It yields an algorithm running in time within $O(n^4ω\log ω+ n (ω\log ω)^{d/2})$ in general, and in time within $O(n \log n + n ω^{d/2})$ if an optimal tree decomposition of the intersection graph is given. We show how to combine these techniques in an algorithm which takes advantage of all three configurations.
△ Less
Submitted 2 October, 2015; v1 submitted 11 May, 2015;
originally announced May 2015.
-
Refining the Analysis of Divide and Conquer: How and When
Authors:
Jeremy Barbay,
Carlos Ochoa,
Pablo Perez-Lantero
Abstract:
Divide-and-conquer is a central paradigm for the design of algorithms, through which some fundamental computational problems, such as sorting arrays and computing convex hulls, are solved in optimal time within $Θ(n\log{n})$ in the worst case over instances of size $n$. A finer analysis of those problems yields complexities within…
▽ More
Divide-and-conquer is a central paradigm for the design of algorithms, through which some fundamental computational problems, such as sorting arrays and computing convex hulls, are solved in optimal time within $Θ(n\log{n})$ in the worst case over instances of size $n$. A finer analysis of those problems yields complexities within $O(n(1 + \mathcal{H}(n_1, \dots, n_k))) \subseteq O(n(1{+}\log{k})) \subseteq O(n\log{n})$ in the worst case over all instances of size $n$ composed of $k$ "easy" fragments of respective sizes $n_1, \dots, n_k$ summing to $n$, where the entropy function $\mathcal{H}(n_1, \dots, n_k) = \sum_{i=1}^k{\frac{n_i}{n}}\log{\frac{n}{n_i}}$ measures the "difficulty" of the instance. We consider whether such refined analysis can be applied to other algorithms based on divide-and-conquer, such as polynomial multiplication, input-order adaptive computation of convex hulls in 2D and 3D, and computation of Delaunay triangulations.
△ Less
Submitted 25 September, 2015; v1 submitted 11 May, 2015;
originally announced May 2015.
-
Adaptive Computation of the Swap-Insert Correction Distance
Authors:
Jérémy Barbay,
Pablo Pérez-Lantero
Abstract:
The Swap-Insert Correction distance from a string $S$ of length $n$ to another string $L$ of length $m\geq n$ on the alphabet $[1..d]$ is the minimum number of insertions, and swaps of pairs of adjacent symbols, converting $S$ into $L$. Contrarily to other correction distances, computing it is NP-Hard in the size $d$ of the alphabet. We describe an algorithm computing this distance in time within…
▽ More
The Swap-Insert Correction distance from a string $S$ of length $n$ to another string $L$ of length $m\geq n$ on the alphabet $[1..d]$ is the minimum number of insertions, and swaps of pairs of adjacent symbols, converting $S$ into $L$. Contrarily to other correction distances, computing it is NP-Hard in the size $d$ of the alphabet. We describe an algorithm computing this distance in time within $O(d^2 nm g^{d-1})$, where there are $n_α$ occurrences of $α$ in $S$, $m_α$ occurrences of $α$ in $L$, and where $g=\max_{α\in[1..d]} \min\{n_α,m_α-n_α\}$ measures the difficulty of the instance. The difficulty $g$ is bounded by above by various terms, such as the length of the shortest string $S$, and by the maximum number of occurrences of a single character in $S$. Those results illustrate how, in many cases, the correction distance between two strings can be easier to compute than in the worst case scenario.
△ Less
Submitted 27 June, 2015; v1 submitted 27 April, 2015;
originally announced April 2015.
-
Interval Selection in the Streaming Model
Authors:
Sergio Cabello,
Pablo Pérez-Lantero
Abstract:
A set of intervals is independent when the intervals are pairwise disjoint. In the interval selection problem we are given a set $\mathbb{I}$ of intervals and we want to find an independent subset of intervals of largest cardinality. Let $α(\mathbb{I})$ denote the cardinality of an optimal solution. We discuss the estimation of $α(\mathbb{I})$ in the streaming model, where we only have one-time, s…
▽ More
A set of intervals is independent when the intervals are pairwise disjoint. In the interval selection problem we are given a set $\mathbb{I}$ of intervals and we want to find an independent subset of intervals of largest cardinality. Let $α(\mathbb{I})$ denote the cardinality of an optimal solution. We discuss the estimation of $α(\mathbb{I})$ in the streaming model, where we only have one-time, sequential access to the input intervals, the endpoints of the intervals lie in $\{1,...,n \}$, and the amount of the memory is constrained.
For intervals of different sizes, we provide an algorithm in the data stream model that computes an estimate $\hatα$ of $α(\mathbb{I})$ that, with probability at least $2/3$, satisfies $\tfrac 12(1-\varepsilon) α(\mathbb{I}) \le \hatα\le α(\mathbb{I})$. For same-length intervals, we provide another algorithm in the data stream model that computes an estimate $\hatα$ of $α(\mathbb{I})$ that, with probability at least $2/3$, satisfies $\tfrac 23(1-\varepsilon) α(\mathbb{I}) \le \hatα\le α(\mathbb{I})$. The space used by our algorithms is bounded by a polynomial in $\varepsilon^{-1}$ and $\log n$. We also show that no better estimations can be achieved using $o(n)$ bits of storage.
We also develop new, approximate solutions to the interval selection problem, where we want to report a feasible solution, that use $O(α(\mathbb{I}))$ space. Our algorithms for the interval selection problem match the optimal results by Emek, Halld{ó}rsson and Ros{é}n [Space-Constrained Interval Selection, ICALP 2012], but are much simpler.
△ Less
Submitted 4 February, 2015; v1 submitted 9 January, 2015;
originally announced January 2015.
-
Area and Perimeter of the Convex Hull of Stochastic Points
Authors:
Pablo Pérez-Lantero
Abstract:
Given a set $P$ of $n$ points in the plane, we study the computation of the probability distribution function of both the area and perimeter of the convex hull of a random subset $S$ of $P$. The random subset $S$ is formed by drawing each point $p$ of $P$ independently with a given rational probability $π_p$. For both measures of the convex hull, we show that it is \#P-hard to compute the probabil…
▽ More
Given a set $P$ of $n$ points in the plane, we study the computation of the probability distribution function of both the area and perimeter of the convex hull of a random subset $S$ of $P$. The random subset $S$ is formed by drawing each point $p$ of $P$ independently with a given rational probability $π_p$. For both measures of the convex hull, we show that it is \#P-hard to compute the probability that the measure is at least a given bound $w$. For $\varepsilon\in(0,1)$, we provide an algorithm that runs in $O(n^{6}/\varepsilon)$ time and returns a value that is between the probability that the area is at least $w$, and the probability that the area is at least $(1-\varepsilon)w$. For the perimeter, we show a similar algorithm running in $O(n^{6}/\varepsilon)$ time. Finally, given $\varepsilon,δ\in(0,1)$ and for any measure, we show an $O(n\log n+ (n/\varepsilon^2)\log(1/δ))$-time Monte Carlo algorithm that returns a value that, with probability of success at least $1-δ$, differs at most $\varepsilon$ from the probability that the measure is at least $w$.
△ Less
Submitted 9 September, 2015; v1 submitted 16 December, 2014;
originally announced December 2014.
-
The intersection graph of the disks with diameters the sides of a convex $n$-gon
Authors:
Clemens Huemer,
Pablo Pérez-Lantero
Abstract:
Given a convex polygon of $n$ sides, one can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. We prove that for every convex polygon this graph is…
▽ More
Given a convex polygon of $n$ sides, one can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. We prove that for every convex polygon this graph is planar. Particularly, for $n=5$, this shows that for any convex pentagon there are two disks among the five side disks that do not intersect, which means that $K_5$ is never the intersection graph of such five disks. For $n=6$, we then have that for any convex hexagon the intersection graph of the side disks does not contain $K_{3,3}$ as subgraph.
△ Less
Submitted 16 June, 2016; v1 submitted 14 October, 2014;
originally announced October 2014.
-
Independent and Hitting Sets of Rectangles Intersecting a Diagonal Line : Algorithms and Complexity
Authors:
José R. Correa,
Laurent Feuilloley,
Pablo Pérez-Lantero,
José A. Soto
Abstract:
Finding a maximum independent set (MIS) of a given fam- ily of axis-parallel rectangles is a basic problem in computational geom- etry and combinatorics. This problem has attracted significant atten- tion since the sixties, when Wegner conjectured that the corresponding duality gap, i.e., the maximum possible ratio between the maximum independent set and the minimum hitting set (MHS), is bounded b…
▽ More
Finding a maximum independent set (MIS) of a given fam- ily of axis-parallel rectangles is a basic problem in computational geom- etry and combinatorics. This problem has attracted significant atten- tion since the sixties, when Wegner conjectured that the corresponding duality gap, i.e., the maximum possible ratio between the maximum independent set and the minimum hitting set (MHS), is bounded by a universal constant. An interesting special case, that may prove use- ful to tackling the general problem, is the diagonal-intersecting case, in which the given family of rectangles is intersected by a diagonal. Indeed, Chepoi and Felsner recently gave a factor 6 approximation algorithm for MHS in this setting, and showed that the duality gap is between 3/2 and 6. In this paper we improve upon these results. First we show that MIS in diagonal-intersecting families is NP-complete, providing one smallest subclass for which MIS is provably hard. Then, we derive an $O(n^2)$-time algorithm for the maximum weight independent set when, in addition the rectangles intersect below the diagonal. This improves and extends a classic result of Lubiw, and amounts to obtain a 2-approximation algo- rithm for the maximum weight independent set of rectangles intersecting a diagonal. Finally, we prove that for diagonal-intersecting families the duality gap is between 2 and 4. The upper bound, which implies an approximation algorithm of the same factor, follows from a simple com- binatorial argument, while the lower bound represents the best known lower bound on the duality gap, even in the general case.
△ Less
Submitted 3 January, 2014; v1 submitted 25 September, 2013;
originally announced September 2013.
-
Matching colored points with rectangles
Authors:
L. E. Caraballo,
C. Ochoa,
P. Pérez-Lantero,
J. Rojas-Ledesma
Abstract:
Let $S$ be a point set in the plane such that each of its elements is colored either red or blue. A matching of $S$ with rectangles is any set of pairwise-disjoint axis-aligned rectangles such that each rectangle contains exactly two points of $S$. Such a matching is monochromatic if every rectangle contains points of the same color, and is bichromatic if every rectangle contains points of differe…
▽ More
Let $S$ be a point set in the plane such that each of its elements is colored either red or blue. A matching of $S$ with rectangles is any set of pairwise-disjoint axis-aligned rectangles such that each rectangle contains exactly two points of $S$. Such a matching is monochromatic if every rectangle contains points of the same color, and is bichromatic if every rectangle contains points of different colors. In this paper we study the following two problems:
1. Find a maximum monochromatic matching of $S$ with rectangles.
2. Find a maximum bichromatic matching of $S$ with rectangles.
For each problem we provide a polynomial-time approximation algorithm that constructs a matching with at least $1/4$ of the number of rectangles of an optimal matching. We show that the first problem is $\mathsf{NP}$-hard even if either the matching rectangles are restricted to axis-aligned segments or $S$ is in general position, that is, no two points of $S$ share the same $x$ or $y$ coordinate. We further show that the second problem is also $\mathsf{NP}$-hard, even if $S$ is in general position. These $\mathsf{NP}$-hardness results follow by showing that deciding the existence of a perfect matching is $\mathsf{NP}$-complete in each case. The approximation results are based on a relation of our problem with the problem of finding a maximum independent set in a family of axis-aligned rectangles. With this paper we extend previous ones on matching one-colored points with rectangles and squares, and matching two-colored points with segments. Furthermore, using our techniques, we prove that it is $\mathsf{NP}$-complete to decide a perfect matching with rectangles in the case where all points have the same color, solving an open problem of Bereg, Mutsanas, and Wolff [CGTA (2009)].
△ Less
Submitted 3 January, 2014; v1 submitted 14 September, 2013;
originally announced September 2013.
-
Drawing the double circle on a grid of minimum size
Authors:
Sergey Bereg,
Ruy Fabila-Monroy,
David Flores-Peñaloza,
Mario Lopez,
Pablo Pérez-Lantero
Abstract:
In 1926, Jarník introduced the problem of drawing a convex $n$-gon with vertices having integer coordinates. He constructed such a drawing in the grid $[1,c\cdot n^{3/2}]^2$ for some constant $c>0$, and showed that this grid size is optimal up to a constant factor. We consider the analogous problem for drawing the double circle, and prove that it can be done within the same grid size. Moreover, we…
▽ More
In 1926, Jarník introduced the problem of drawing a convex $n$-gon with vertices having integer coordinates. He constructed such a drawing in the grid $[1,c\cdot n^{3/2}]^2$ for some constant $c>0$, and showed that this grid size is optimal up to a constant factor. We consider the analogous problem for drawing the double circle, and prove that it can be done within the same grid size. Moreover, we give an O(n)-time algorithm to construct such a point set.
△ Less
Submitted 29 May, 2013;
originally announced May 2013.
-
New results on the coarseness of bicolored point sets
Authors:
J. M. Díaz-Báñez,
R. Fabila-Monroy,
P. Pérez-Lantero,
I. Ventura
Abstract:
Let $S$ be a 2-colored (red and blue) set of $n$ points in the plane. A subset $I$ of $S$ is an island if there exits a convex set $C$ such that $I=C\cap S$. The discrepancy of an island is the absolute value of the number of red minus the number of blue points it contains. A convex partition of $S$ is a partition of $S$ into islands with pairwise disjoint convex hulls. The discrepancy of a convex…
▽ More
Let $S$ be a 2-colored (red and blue) set of $n$ points in the plane. A subset $I$ of $S$ is an island if there exits a convex set $C$ such that $I=C\cap S$. The discrepancy of an island is the absolute value of the number of red minus the number of blue points it contains. A convex partition of $S$ is a partition of $S$ into islands with pairwise disjoint convex hulls. The discrepancy of a convex partition is the discrepancy of its island of minimum discrepancy. The coarseness of $S$ is the discrepancy of the convex partition of $S$ with maximum discrepancy. This concept was recently defined by Bereg et al. [CGTA 2013]. In this paper we study the following problem: Given a set $S$ of $n$ points in general position in the plane, how to color each of them (red or blue) such that the resulting 2-colored point set has small coarseness? We prove that every $n$-point set $S$ can be colored such that its coarseness is $O(n^{1/4}\sqrt{\log n})$. This bound is almost tight since there exist $n$-point sets such that every 2-coloring gives coarseness at least $Ω(n^{1/4})$. Additionally, we show that there exists an approximation algorithm for computing the coarseness of a 2-colored point set, whose ratio is between $1/128$ and $1/64$, solving an open problem posted by Bereg et al. [CGTA 2013]. All our results consider $k$-separable islands of $S$, for some $k$, which are those resulting from intersecting $S$ with at most $k$ halfplanes.
△ Less
Submitted 29 November, 2013; v1 submitted 8 November, 2012;
originally announced November 2012.
-
New results on stabbing segments with a polygon
Authors:
José Miguel Díaz-Báñez,
Matias Korman,
Pablo Pérez-Lantero,
Alexander Pilz,
Carlos Seara,
Rodrigo I. Silveira
Abstract:
We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon $\mathcal{P}$ if at least one of its two endpoints is contained in $\mathcal{P}$. A segment set $S$ is stabbed by $\mathcal{P}$ if every segment of $S$ is stabbed by $\mathcal{P}$. We show that if $S$ is a set of pairwise disjoint segments, the problem of computing the…
▽ More
We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon $\mathcal{P}$ if at least one of its two endpoints is contained in $\mathcal{P}$. A segment set $S$ is stabbed by $\mathcal{P}$ if every segment of $S$ is stabbed by $\mathcal{P}$. We show that if $S$ is a set of pairwise disjoint segments, the problem of computing the minimum perimeter polygon stabbing $S$ can be solved in polynomial time. We also prove that for general segments the problem is NP-hard. Further, an adaptation of our polynomial-time algorithm solves an open problem posed by Löffler and van Kreveld [Algorithmica 56(2), 236--269 (2010)] about finding a maximum perimeter convex hull for a set of imprecise points modeled as line segments.
△ Less
Submitted 20 June, 2014; v1 submitted 7 November, 2012;
originally announced November 2012.
-
The 1-Center and 1-Highway problem
Authors:
José Miguel Díaz-Báñez,
Matias Korman,
Pablo Pérez-Lantero,
Inmaculada Ventura
Abstract:
We study a variation of the 1-center problem in which, in addition to a single supply facility, we are allowed to locate a highway. This highway increases the transportation speed between any demand point and the facility. That is, given a set $S$ of points and $v>1$, we are interested in locating the facility point $f$ and the highway $h$ that minimize the expression $\max_{p\in S}d_{h}(p,f)$, wh…
▽ More
We study a variation of the 1-center problem in which, in addition to a single supply facility, we are allowed to locate a highway. This highway increases the transportation speed between any demand point and the facility. That is, given a set $S$ of points and $v>1$, we are interested in locating the facility point $f$ and the highway $h$ that minimize the expression $\max_{p\in S}d_{h}(p,f)$, where $d_h$ is the time needed to travel between $p$ and $f$. We consider two types of highways ({\em freeways} and {\em turnpikes}) and study the cases in which the highway's length is fixed by the user (or can be modified to further decrease the transportation time).
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
Locating a single facility and a high-speed line
Authors:
José Miguel Díaz-Báñez,
Matias Korman,
Pablo Pérez-Lantero,
Inmaculada Ventura
Abstract:
In this paper we study a facility location problem in the plane in which a single point (facility) and a rapid transit line (highway) are simultaneously located in order to minimize the total travel time from the clients to the facility, using the $L_1$ or Manhattan metric. The rapid transit line is given by a segment with any length and orientation, and is an alternative transportation line that…
▽ More
In this paper we study a facility location problem in the plane in which a single point (facility) and a rapid transit line (highway) are simultaneously located in order to minimize the total travel time from the clients to the facility, using the $L_1$ or Manhattan metric. The rapid transit line is given by a segment with any length and orientation, and is an alternative transportation line that can be used by the clients to reduce their travel time to the facility. We study the variant of the problem in which clients can enter and exit the highway at any point. We provide an $O(n^3)$-time algorithm that solves this variant, where $n$ is the number of clients. We also present a detailed characterization of the solutions, which depends on the speed given in the highway.
△ Less
Submitted 7 May, 2012;
originally announced May 2012.
-
Adaptive Techniques to find Optimal Planar Boxes
Authors:
J. Barbay,
G. Navarro,
P. Pérez-Lantero
Abstract:
Given a set $P$ of $n$ planar points, two axes and a real-valued score function $f()$ on subsets of $P$, the Optimal Planar Box problem consists in finding a box (i.e. axis-aligned rectangle) $H$ maximizing $f(H\cap P)$. We consider the case where $f()$ is monotone decomposable, i.e. there exists a composition function $g()$ monotone in its two arguments such that $f(A)=g(f(A_1),f(A_2))$ for every…
▽ More
Given a set $P$ of $n$ planar points, two axes and a real-valued score function $f()$ on subsets of $P$, the Optimal Planar Box problem consists in finding a box (i.e. axis-aligned rectangle) $H$ maximizing $f(H\cap P)$. We consider the case where $f()$ is monotone decomposable, i.e. there exists a composition function $g()$ monotone in its two arguments such that $f(A)=g(f(A_1),f(A_2))$ for every subset $A\subseteq P$ and every partition $\{A_1,A_2\}$ of $A$. In this context we propose a solution for the Optimal Planar Box problem which performs in the worst case $O(n^2\lg n)$ score compositions and coordinate comparisons, and much less on other classes of instances defined by various measures of difficulty. A side result of its own interest is a fully dynamic \textit{MCS Splay tree} data structure supporting insertions and deletions with the \emph{dynamic finger} property, improving upon previous results [Cortés et al., J.Alg. 2009].
△ Less
Submitted 9 April, 2012;
originally announced April 2012.
-
On the number of radial orderings of planar point sets
Authors:
José M. Díaz-Bañez,
Ruy Fabila-Monroy,
Pablo Pérez-Lantero
Abstract:
Given a set $S$ of $n$ points in the plane, a \emph{radial ordering} of $S$ with respect to a point $p$ (not in $S$) is a clockwise circular ordering of the elements in $S$ by angle around $p$. If $S$ is two-colored, a \emph{colored radial ordering} is a radial ordering of $S$ in which only the colors of the points are considered. In this paper, we obtain bounds on the number of distinct non-color…
▽ More
Given a set $S$ of $n$ points in the plane, a \emph{radial ordering} of $S$ with respect to a point $p$ (not in $S$) is a clockwise circular ordering of the elements in $S$ by angle around $p$. If $S$ is two-colored, a \emph{colored radial ordering} is a radial ordering of $S$ in which only the colors of the points are considered. In this paper, we obtain bounds on the number of distinct non-colored and colored radial orderings of $S$. We assume a strong general position on $S$, not three points are collinear and not three lines---each passing through a pair of points in $S$---intersect in a point of $\R^2\setminus S$. In the colored case, $S$ is a set of $2n$ points partitioned into $n$ red and $n$ blue points, and $n$ is even. We prove that: the number of distinct radial orderings of $S$ is at most $O(n^4)$ and at least $Ω(n^3)$; the number of colored radial orderings of $S$ is at most $O(n^4)$ and at least $Ω(n)$; there exist sets of points with $Θ(n^4)$ colored radial orderings and sets of points with only $O(n^2)$ colored radial orderings.
△ Less
Submitted 2 April, 2012;
originally announced April 2012.
-
Locating a service facility and a rapid transit line
Authors:
J. M. Díaz-Bañez,
M. Korman,
P. Pérez-Lantero,
I. Ventura
Abstract:
In this paper we study a facility location problem in the plane in which a single point (facility) and a rapid transit line (highway) are simultaneously located in order to minimize the total travel time of the clients to the facility, using the $L_1$ or Manhattan metric. The rapid transit line is represented by a line segment with fixed length and arbitrary orientation. The highway is an alternat…
▽ More
In this paper we study a facility location problem in the plane in which a single point (facility) and a rapid transit line (highway) are simultaneously located in order to minimize the total travel time of the clients to the facility, using the $L_1$ or Manhattan metric. The rapid transit line is represented by a line segment with fixed length and arbitrary orientation. The highway is an alternative transportation system that can be used by the clients to reduce their travel time to the facility. This problem was introduced by Espejo and Chía in [7]. They gave both a characterization of the optimal solutions and an algorithm running in $O(n^3\log n)$ time, where $n$ represents the number of clients. In this paper we show that the Espejo and Chía's algorithm does not always work correctly. At the same time, we provide a proper characterization of the solutions with a simpler proof and give an algorithm solving the problem in $O(n^3)$ time.
△ Less
Submitted 23 March, 2012; v1 submitted 5 April, 2011;
originally announced April 2011.