Source author record

Pablo Pérez-Lantero

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
5topics
4close collaborators

Published work

16 publications

preprint2023arXiv

Center of maximum-sum matchings of bichromatic points

Let RR and BB be two disjoint point sets in the plane with ∣R∣=∣B∣=n|R|=|B|=n. Let M={(ri,bi),i=1,2,…,n}\mathcal{M}=\{(r_i,b_i),i=1,2,\ldots,n\} be a perfect matching that matches points of RR with points of BB and maximizes ∑i=1n∥ri−bi∥\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 oo of the plane (the center of M\mathcal{M}) such that ∥ri−o∥+∥bi−o∥≤2 ∥ri−bi∥\|r_i-o\|+\|b_i-o\|\le \sqrt{2}~\|r_i-b_i\| for all i∈{1,2,…,n}i\in\{1,2,\ldots,n\}.

preprint2022arXiv

Rectilinear Convex Hull of Points in 3D

Let PP be a set of nn points in R3\mathbb{R}^3 in general position, and let RCH(P)RCH(P) be the rectilinear convex hull of PP. In this paper we obtain an optimal O(nlog⁡n)O(n\log n)-time and O(n)O(n)-space algorithm to compute RCH(P)RCH(P). We also obtain an efficient O(nlog⁡2n)O(n\log^2 n)-time and O(nlog⁡n)O(n\log n)-space algorithm to compute and maintain the set of vertices of the rectilinear convex hull of PP as we rotate R3\mathbb R^3 around the zz-axis. Finally we study some properties of the rectilinear convex hulls of point sets in R3\mathbb{R}^3.

preprint2020arXiv

Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs

An edge-ordered graph is a graph with a total ordering of its edges. A path P=v1v2…vkP=v_1v_2\ldots v_k in an edge-ordered graph is called increasing if (vivi+1)>(vi+1vi+2)(v_iv_{i+1}) > (v_{i+1}v_{i+2}) for all i=1,…,k−2i = 1,\ldots,k-2; it is called decreasing if (vivi+1)<(vi+1vi+2)(v_iv_{i+1}) < (v_{i+1}v_{i+2}) for all i=1,…,k−2i = 1,\ldots,k-2. We say that PP is monotone if it is increasing or decreasing. A rooted tree TT 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 GG be a graph. In a straight-line drawing DD of GG, its vertices are drawn as different points in the plane and its edges are straight line segments. Let α‾(G)\overlineα(G) be the maximum integer such that every edge-ordered straight-line drawing of GG %under any edge labeling contains a monotone non-crossing path of length α‾(G)\overlineα(G). Let τ‾(G)\overlineτ(G) be the maximum integer such that every edge-ordered straight-line drawing of GG %under any edge labeling contains a monotone non-crossing complete binary tree of size τ‾(G)\overlineτ(G). In this paper we show that α‾(Kn)=Ω(log⁡log⁡n)\overline α(K_n) = Ω(\log\log n), α‾(Kn)=O(log⁡n)\overline α(K_n) = O(\log n), τ‾(Kn)=Ω(log⁡log⁡log⁡n)\overline τ(K_n) = Ω(\log\log \log n) and τ‾(Kn)=O(nlog⁡n)\overline τ(K_n) = O(\sqrt{n \log n}).

preprint2016arXiv

Drawing the Almost Convex Set in an Integer Grid of Minimum Size

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 X\mathcal{X} has the property that the interior of every triangle determined by three points in the same convex layer of X\mathcal{X}, contains exactly one point of X\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 nn points. We use our characterization to obtain a linear time algorithm to construct nested almost convex sets of nn points, with integer coordinates of absolute values at most O(nlog⁡25)O(n^{\log_2 5}). Finally, we use our characterization to obtain an O(nlog⁡n)O(n\log n)-time algorithm to determine whether a set of points is a nested almost convex set.

preprint2016arXiv

Linear Separability in Spatial Databases

Given two point sets RR and BB in the plane, with cardinalities mm and nn, respectively, and each set stored in a separate R-tree, we present an algorithm to decide whether RR and BB are linearly separable. Our algorithm exploits the structure of the R-trees, loading into the main memory only relevant data, and runs in O(mlog⁡m+nlog⁡n)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 nn planar points given in an R-tree, running in O(nlog⁡n)O(n\log n) time in the worst case.

preprint2016arXiv

The intersection graph of the disks with diameters the sides of a convex nn-gon

Given a convex polygon of nn sides, one can draw nn 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 nn 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=5n=5, this shows that for any convex pentagon there are two disks among the five side disks that do not intersect, which means that K5K_5 is never the intersection graph of such five disks. For n=6n=6, we then have that for any convex hexagon the intersection graph of the side disks does not contain K3,3K_{3,3} as subgraph.

preprint2015arXiv

Adaptive Computation of the Klee's Measure in High Dimensions

The KLEE'S MESURE of nn axis-parallel boxes in Rd\mathbb{R}^d is the volume of their union. It can be computed in time within O(nd/2)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 hh, and yields a solution running in time within O(nlog⁡2d−2h+hd/2)⊆O(nd/2O(n\log^{2d-2}{h}+ h^{d/2}) \subseteq O(n^{d/2}). The second technique takes advantage of instances where no dd-dimensional axis-aligned hyperplane intersects more than kk boxes in some dimension, and yields a solution running in time within O(nlog⁡n+nk(d−2)/2)⊆O(nd/2)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(n4ωlog⁡ω+n(ωlog⁡ω)d/2)O(n^4ω\log ω+ n (ω\log ω)^{d/2}) in general, and in time within O(nlog⁡n+nωd/2)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.

preprint2015arXiv

Adaptive Computation of the Swap-Insert Correction Distance

The Swap-Insert Correction distance from a string SS of length nn to another string LL of length m≥nm\geq n on the alphabet [1..d][1..d] is the minimum number of insertions, and swaps of pairs of adjacent symbols, converting SS into LL. Contrarily to other correction distances, computing it is NP-Hard in the size dd of the alphabet. We describe an algorithm computing this distance in time within O(d2nmgd−1)O(d^2 nm g^{d-1}), where there are nαn_α occurrences of αα in SS, mαm_α occurrences of αα in LL, and where g=max⁡α∈[1..d]min⁡{nα,mα−nα}g=\max_{α\in[1..d]} \min\{n_α,m_α-n_α\} measures the difficulty of the instance. The difficulty gg is bounded by above by various terms, such as the length of the shortest string SS, and by the maximum number of occurrences of a single character in SS. Those results illustrate how, in many cases, the correction distance between two strings can be easier to compute than in the worst case scenario.

preprint2015arXiv

Area and Perimeter of the Convex Hull of Stochastic Points

Given a set PP of nn 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 SS of PP. The random subset SS is formed by drawing each point pp of PP independently with a given rational probability πpπ_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 ww. For ε∈(0,1)\varepsilon\in(0,1), we provide an algorithm that runs in O(n6/ε)O(n^{6}/\varepsilon) time and returns a value that is between the probability that the area is at least ww, and the probability that the area is at least (1−ε)w(1-\varepsilon)w. For the perimeter, we show a similar algorithm running in O(n6/ε)O(n^{6}/\varepsilon) time. Finally, given ε,δ∈(0,1)\varepsilon,δ\in(0,1) and for any measure, we show an O(nlog⁡n+(n/ε2)log⁡(1/δ))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−δ1-δ, differs at most ε\varepsilon from the probability that the measure is at least ww.

preprint2015arXiv

Interval Selection in the Streaming Model

A set of intervals is independent when the intervals are pairwise disjoint. In the interval selection problem we are given a set I\mathbb{I} of intervals and we want to find an independent subset of intervals of largest cardinality. Let α(I)α(\mathbb{I}) denote the cardinality of an optimal solution. We discuss the estimation of α(I)α(\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}\{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 α(I)α(\mathbb{I}) that, with probability at least 2/32/3, satisfies 12(1−ε)α(I)≤α^≤α(I)\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 α(I)α(\mathbb{I}) that, with probability at least 2/32/3, satisfies 23(1−ε)α(I)≤α^≤α(I)\tfrac 23(1-\varepsilon) α(\mathbb{I}) \le \hatα\le α(\mathbb{I}). The space used by our algorithms is bounded by a polynomial in ε−1\varepsilon^{-1} and log⁡n\log n. We also show that no better estimations can be achieved using o(n)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(α(I))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.

preprint2014arXiv

Independent and Hitting Sets of Rectangles Intersecting a Diagonal Line : Algorithms and Complexity

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(n2)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.

preprint2014arXiv

New results on stabbing segments with a polygon

We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon P\mathcal{P} if at least one of its two endpoints is contained in P\mathcal{P}. A segment set SS is stabbed by P\mathcal{P} if every segment of SS is stabbed by P\mathcal{P}. We show that if SS is a set of pairwise disjoint segments, the problem of computing the minimum perimeter polygon stabbing SS 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.

preprint2013arXiv

Drawing the double circle on a grid of minimum size

In 1926, Jarník introduced the problem of drawing a convex nn-gon with vertices having integer coordinates. He constructed such a drawing in the grid [1,c⋅n3/2]2[1,c\cdot n^{3/2}]^2 for some constant c>0c>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.

preprint2012arXiv

Locating a single facility and a high-speed line

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 L1L_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(n3)O(n^3)-time algorithm that solves this variant, where nn is the number of clients. We also present a detailed characterization of the solutions, which depends on the speed given in the highway.

preprint2012arXiv

On the number of radial orderings of planar point sets

Given a set SS of nn points in the plane, a \emph{radial ordering} of SS with respect to a point pp (not in SS) is a clockwise circular ordering of the elements in SS by angle around pp. If SS is two-colored, a \emph{colored radial ordering} is a radial ordering of SS 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 SS. We assume a strong general position on SS, not three points are collinear and not three lines---each passing through a pair of points in SS---intersect in a point of R2∖S\R^2\setminus S. In the colored case, SS is a set of 2n2n points partitioned into nn red and nn blue points, and nn is even. We prove that: the number of distinct radial orderings of SS is at most O(n4)O(n^4) and at least Ω(n3)Ω(n^3); the number of colored radial orderings of SS is at most O(n4)O(n^4) and at least Ω(n)Ω(n); there exist sets of points with Θ(n4)Θ(n^4) colored radial orderings and sets of points with only O(n2)O(n^2) colored radial orderings.

preprint2012arXiv

The 1-Center and 1-Highway problem

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 SS of points and v>1v>1, we are interested in locating the facility point ff and the highway hh that minimize the expression max⁡p∈Sdh(p,f)\max_{p\in S}d_{h}(p,f), where dhd_h is the time needed to travel between pp and ff. 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).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.