Source author record

Anil Maheshwari

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

29works
8topics
4close collaborators

Published work

29 publications

preprint2025arXiv

Noncrossing Longest Paths and Cycles

Edge crossings in geometric graphs are sometimes undesirable as they could lead to unwanted situations such as collisions in motion planning and inconsistency in VLSI layout. Short geometric structures such as shortest perfect matchings, shortest spanning trees, shortest spanning paths, and shortest spanning cycles on a given point set are inherently noncrossing. However, the longest such structures need not be noncrossing. In fact, it is intuitive to expect many edge crossings in various geometric graphs that are longest. Recently, Álvarez-Rebollar, Cravioto-Lagos, Marín, Solé-Pi, and Urrutia (Graphs and Combinatorics, 2024) constructed a set of points for which the longest perfect matching is noncrossing. They raised several challenging questions in this direction. In particular, they asked whether the longest spanning path, on any finite set of points in the plane, must have a pair of crossing edges. They also conjectured that the longest spanning cycle must have a pair of crossing edges. In this paper, we give a negative answer to the question and also refute the conjecture. We present a framework for constructing arbitrarily large point sets for which the longest perfect matchings, the longest spanning paths, and the longest spanning cycles are noncrossing.

preprint2020arXiv

A Simple Randomized O(nlog⁡n)O(n \log n)--Time Closest-Pair Algorithm in Doubling Metrics

Consider a metric space (P,dist)(P,dist) with NN points whose doubling dimension is a constant. We present a simple, randomized, and recursive algorithm that computes, in O(Nlog⁡N)O(N \log N) expected time, the closest-pair distance in PP. To generate recursive calls, we use previous results of Har-Peled and Mendel, and Abam and Har-Peled for computing a sparse annulus that separates the points in a balanced way.

preprint2020arXiv

Maximum Bipartite Subgraph of Geometric Intersection Graphs

We study the Maximum Bipartite Subgraph (MBS) problem, which is defined as follows. Given a set SS of nn geometric objects in the plane, we want to compute a maximum-size subset S′⊆SS'\subseteq S such that the intersection graph of the objects in S′S' is bipartite. We first give a simple O(n)O(n)-time algorithm that solves the MBS problem on a set of nn intervals. We also give an O(n2)O(n^2)-time algorithm that computes a near-optimal solution for the problem on circular-arc graphs. We show that the MBS problem is NP-hard on geometric graphs for which the maximum independent set is NP-hard (hence, it is NP-hard even on unit squares and unit disks). On the other hand, we give a PTAS for the problem on unit squares and unit disks. Moreover, we show fast approximation algorithms with small-constant factors for the problem on unit squares, unit disks and unit-height rectangles. Finally, we study a closely related geometric problem, called Maximum Triangle-free Subgraph (TFS), where the objective is the same as that of MBS except the intersection graph induced by the set S′S' needs to be triangle-free only (instead of being bipartite).

preprint2016arXiv

On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere

Let PP be a convex polyhedron in R3\mathbb{R}^3. The skeleton of PP is the graph whose vertices and edges are the vertices and edges of PP, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a (0.999⋅π)(0.999 \cdot π)-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of PP is between two concentric spheres of radii 11 and R>1R>1, and the angles in all faces are at least θθ, we prove that the skeleton is a tt-spanner, where tt depends only on RR and θθ. One of the ingredients in the proof is a tight upper bound on the geometric dilation of a convex cycle that is contained in an annulus.

preprint2016arXiv

Spanning Trees in Multipartite Geometric Graphs

Let RR and BB be two disjoint sets of points in the plane where the points of RR are colored red and the points of BB are colored blue, and let n=∣R∪B∣n=|R\cup B|. A bichromatic spanning tree is a spanning tree in the complete bipartite geometric graph with bipartition (R,B)(R,B). The minimum (respectively maximum) bichromatic spanning tree problem is the problem of computing a bichromatic spanning tree of minimum (respectively maximum) total edge length. 1. We present a simple algorithm that solves the minimum bichromatic spanning tree problem in O(nlog⁡3n)O(n\log^3 n) time. This algorithm can easily be extended to solve the maximum bichromatic spanning tree problem within the same time bound. It also can easily be generalized to multicolored point sets. 2. We present Θ(nlog⁡n)Θ(n\log n)-time algorithms that solve the minimum and the maximum bichromatic spanning tree problems. 3. We extend the bichromatic spanning tree algorithms and solve the multicolored version of these problems in O(nlog⁡nlog⁡k)O(n\log n\log k) time, where kk is the number of different colors (or the size of the multipartition in a complete multipartite geometric graph).

preprint2016arXiv

The Runaway Rectangle Escape Problem

Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles S\mathcal{S} in a rectangular region RR, and we would like to extend these rectangles to one of the four sides of RR. Define the density of a point pp in RR as the number of extended rectangles that contain pp. The question is then to find an extension with the smallest maximum density. We consider the problem of maximizing the number of rectangles that can be extended when the maximum density allowed is at most dd. It is known that this problem is polynomially solvable for d=1d = 1, and NP-hard for any d≥2d \geq 2. We consider approximation and exact algorithms for fixed values of dd. We also show that a very special case of this problem, when all the rectangles are unit squares from a grid, continues to be NP-hard for d=2d = 2.

preprint2015arXiv

Approximating the Bottleneck Plane Perfect Matching of a Point Set

A bottleneck plane perfect matching of a set of nn points in R2\mathbb{R}^2 is defined to be a perfect non-crossing matching that minimizes the length of the longest edge; the length of this longest edge is known as {\em bottleneck}. The problem of computing a bottleneck plane perfect matching has been proved to be NP-hard. We present an algorithm that computes a bottleneck plane matching of size at least n5\frac{n}{5} in O(nlog⁡2n)O(n \log^2 n)-time. Then we extend our idea toward an O(nlog⁡n)O(n\log n)-time approximation algorithm which computes a plane matching of size at least 2n5\frac{2n}{5} whose edges have length at most 2+3\sqrt{2}+\sqrt{3} times the bottleneck.

preprint2015arXiv

Approximating the Integral Fréchet Distance

A pseudo-polynomial time (1+ε)(1 + \varepsilon)-approximation algorithm is presented for computing the integral and average Fréchet distance between two given polygonal curves T1T_1 and T2T_2. In particular, the running time is upper-bounded by O(ζ4n4/ε2)\mathcal{O}( ζ^{4}n^4/\varepsilon^{2}) where nn is the complexity of T1T_1 and T2T_2 and ζζ is the maximal ratio of the lengths of any pair of segments from T1T_1 and T2T_2. The Fréchet distance captures the minimal cost of a continuous deformation of T1T_1 into T2T_2 and vice versa and defines the cost of a deformation as the maximal distance between two points that are related. The integral Fréchet distance defines the cost of a deformation as the integral of the distances between points that are related. The average Fréchet distance is defined as the integral Fréchet distance divided by the lengths of T1T_1 and T2T_2. Furthermore, we give relations between weighted shortest paths inside a single parameter cell CC and the monotone free space axis of CC. As a result we present a simple construction of weighted shortest paths inside a parameter cell. Additionally, such a shortest path provides an optimal solution for the partial Fréchet similarity of segments for all leash lengths. These two aspects are related to each other and are of independent interest.

preprint2015arXiv

Discrete Voronoi Games and εε-Nets, in Two and Three Dimensions

The one-round discrete Voronoi game, with respect to a nn-point user set UU, consists of two players Player 1 (P1\mathcal{P}_1) and Player 2 (P2\mathcal{P}_2). At first, P1\mathcal{P}_1 chooses a set of facilities F1F_1 following which P2\mathcal{P}_2 chooses another set of facilities F2F_2, disjoint from F1F_1. The payoff of P2\mathcal{P}_2 is defined as the cardinality of the set of points in UU which are closer to a facility in F2F_2 than to every facility in F1F_1, and the payoff of P1\mathcal{P}_1 is the difference between the number of users in UU and the payoff of P2\mathcal{P}_2. The objective of both the players in the game is to maximize their respective payoffs. In this paper we study the one-round discrete Voronoi game where P1\mathcal{P}_1 places kk facilities and P2\mathcal{P}_2 places one facility and we have denoted this game as VG(k,1)VG(k,1). Although the optimal solution of this game can be found in polynomial time, the polynomial has a very high degree. In this paper, we focus on achieving approximate solutions to VG(k,1)VG(k,1) with significantly better running times. We provide a constant-factor approximate solution to the optimal strategy of P1\mathcal{P}_1 in VG(k,1)VG(k,1) by establishing a connection between VG(k,1)VG(k,1) and weak εε-nets. To the best of our knowledge, this is the first time that Voronoi games are studied from the point of view of εε-nets.

preprint2015arXiv

Minimizing the Continuous Diameter when Augmenting Paths and Cycles with Shortcuts

We seek to augment a geometric network in the Euclidean plane with shortcuts to minimize its continuous diameter, i.e., the largest network distance between any two points on the augmented network. Unlike in the discrete setting where a shortcut connects two vertices and the diameter is measured between vertices, we take all points along the edges of the network into account when placing a shortcut and when measuring distances in the augmented network. We study this network augmentation problem for paths and cycles. For paths, we determine an optimal shortcut in linear time. For cycles, we show that a single shortcut never decreases the continuous diameter and that two shortcuts always suffice to reduce the continuous diameter. Furthermore, we characterize optimal pairs of shortcuts for convex and non-convex cycles. Finally, we develop a linear time algorithm that produces an optimal pair of shortcuts for convex cycles. Apart from the algorithms, our results extend to rectifiable curves. Our work reveals some of the underlying challenges that must be overcome when addressing the discrete version of this network augmentation problem, where we minimize the discrete diameter of a network with shortcuts that connect only vertices.

preprint2015arXiv

Plane Bichromatic Trees of Low Degree

Let RR and BB be two disjoint sets of points in the plane such that ∣B∣⩽∣R∣|B|\leqslant |R|, and no three points of R∪BR\cup B are collinear. We show that the geometric complete bipartite graph K(R,B)K(R,B) contains a non-crossing spanning tree whose maximum degree is at most max⁡{3,⌈∣R∣−1∣B∣⌉+1}\max\left\{3, \left\lceil \frac{|R|-1}{|B|}\right\rceil + 1\right\}; this is the best possible upper bound on the maximum degree. This solves an open problem posed by Abellanas et al. at the Graph Drawing Symposium, 1996.

preprint2015arXiv

Strong Matching of Points with Geometric Shapes

Let PP be a set of nn points in general position in the plane. Given a convex geometric shape SS, a geometric graph GS(P)G_S(P) on PP is defined to have an edge between two points if and only if there exists an empty homothet of SS having the two points on its boundary. A matching in GS(P)G_S(P) is said to be strongstrong, if the homothests of SS representing the edges of the matching, are pairwise disjoint, i.e., do not share any point in the plane. We consider the problem of computing a strong matching in GS(P)G_S(P), where SS is a diametral-disk, an equilateral-triangle, or a square. We present an algorithm which computes a strong matching in GS(P)G_S(P); if SS is a diametral-disk, then it computes a strong matching of size at least ⌈n−117⌉\lceil \frac{n-1}{17} \rceil, and if SS is an equilateral-triangle, then it computes a strong matching of size at least ⌈n−19⌉\lceil \frac{n-1}{9} \rceil. If SS can be a downward or an upward equilateral-triangle, we compute a strong matching of size at least ⌈n−14⌉\lceil \frac{n-1}{4} \rceil in GS(P)G_S(P). When SS is an axis-aligned square we compute a strong matching of size ⌈n−14⌉\lceil \frac{n-1}{4} \rceil in GS(P)G_S(P), which improves the previous lower bound of ⌈n5⌉\lceil \frac{n}{5} \rceil.

preprint2014arXiv

Higher-Order Triangular-Distance Delaunay Graphs: Graph-Theoretical Properties

We consider an extension of the triangular-distance Delaunay graphs (TD-Delaunay) on a set PP of points in the plane. In TD-Delaunay, the convex distance is defined by a fixed-oriented equilateral triangle ▽\triangledown, and there is an edge between two points in PP if and only if there is an empty homothet of ▽\triangledown having the two points on its boundary. We consider higher-order triangular-distance Delaunay graphs, namely kk-TD, which contains an edge between two points if the interior of the homothet of ▽\triangledown having the two points on its boundary contains at most kk points of PP. We consider the connectivity, Hamiltonicity and perfect-matching admissibility of kk-TD. Finally we consider the problem of blocking the edges of kk-TD.

preprint2014arXiv

Matching in Gabriel Graphs

Given a set PP of nn points in the plane, the order-kk Gabriel graph on PP, denoted by kk-GGGG, has an edge between two points pp and qq if and only if the closed disk with diameter pqpq contains at most kk points of PP, excluding pp and qq. We study matching problems in kk-GGGG graphs. We show that a Euclidean bottleneck perfect matching of PP is contained in 1010-GGGG, but 88-GGGG may not have any Euclidean bottleneck perfect matching. In addition we show that 00-GGGG has a matching of size at least n−14\frac{n-1}{4} and this bound is tight. We also prove that 11-GGGG has a matching of size at least 2(n−1)5\frac{2(n-1)}{5} and 22-GGGG has a perfect matching. Finally we consider the problem of blocking the edges of kk-GGGG.

preprint2014arXiv

Optimal Data Structures for Farthest-Point Queries in Cactus Networks

Consider the continuum of points on the edges of a network, i.e., a connected, undirected graph with positive edge weights. We measure the distance between these points in terms of the weighted shortest path distance, called the network distance. Within this metric space, we study farthest points and farthest distances. We introduce optimal data structures supporting queries for the farthest distance and the farthest points on trees, cycles, uni-cyclic networks, and cactus networks.

preprint2013arXiv

A Note on the Unsolvability of the Weighted Region Shortest Path Problem

Let S be a subdivision of the plane into polygonal regions, where each region has an associated positive weight. The weighted region shortest path problem is to determine a shortest path in S between two points s, t in R^2, where the distances are measured according to the weighted Euclidean metric-the length of a path is defined to be the weighted sum of (Euclidean) lengths of the sub-paths within each region. We show that this problem cannot be solved in the Algebraic Computation Model over the Rational Numbers (ACMQ). In the ACMQ, one can compute exactly any number that can be obtained from the rationals Q by applying a finite number of operations from +, -, \times, ÷, \sqrt[k]{}, for any integer k >= 2. Our proof uses Galois theory and is based on Bajaj's technique.

preprint2013arXiv

An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem

Let PP and SS be two disjoint sets of nn and mm points in the plane, respectively. We consider the problem of computing a Steiner tree whose Steiner vertices belong to SS, in which each point of PP is a leaf, and whose longest edge length is minimum. We present an algorithm that computes such a tree in O((n+m)log⁡m)O((n+m)\log m) time, improving the previously best result by a logarithmic factor. We also prove a matching lower bound in the algebraic computation tree model.

preprint2013arXiv

Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph

A standard way to approximate the distance between any two vertices pp and qq on a mesh is to compute, in the associated graph, a shortest path from pp to qq that goes through one of kk sources, which are well-chosen vertices. Precomputing the distance between each of the kk sources to all vertices of the graph yields an efficient computation of approximate distances between any two vertices. One standard method for choosing kk sources, which has been used extensively and successfully for isometry-invariant surface processing, is the so-called Farthest Point Sampling (FPS), which starts with a random vertex as the first source, and iteratively selects the farthest vertex from the already selected sources. In this paper, we analyze the stretch factor FFPS\mathcal{F}_{FPS} of approximate geodesics computed using FPS, which is the maximum, over all pairs of distinct vertices, of their approximated distance over their geodesic distance in the graph. We show that FFPS\mathcal{F}_{FPS} can be bounded in terms of the minimal value F∗\mathcal{F}^* of the stretch factor obtained using an optimal placement of kk sources as FFPS≤2re2F∗+2re2+8re+1\mathcal{F}_{FPS}\leq 2 r_e^2 \mathcal{F}^*+ 2 r_e^2 + 8 r_e + 1, where rer_e is the ratio of the lengths of the longest and the shortest edges of the graph. This provides some evidence explaining why farthest point sampling has been used successfully for isometry-invariant shape processing. Furthermore, we show that it is NP-complete to find kk sources that minimize the stretch factor.

preprint2013arXiv

Network Farthest-Point Diagrams

Consider the continuum of points along the edges of a network, i.e., an undirected graph with positive edge weights. We measure distance between these points in terms of the shortest path distance along the network, known as the network distance. Within this metric space, we study farthest points. We introduce network farthest-point diagrams, which capture how the farthest points---and the distance to them---change as we traverse the network. We preprocess a network G such that, when given a query point q on G, we can quickly determine the farthest point(s) from q in G as well as the farthest distance from q in G. Furthermore, we introduce a data structure supporting queries for the parts of the network that are farther away from q than some threshold R > 0, where R is part of the query. We also introduce the minimum eccentricity feed-link problem defined as follows. Given a network G with geometric edge weights and a point p that is not on G, connect p to a point q on G with a straight line segment pq, called a feed-link, such that the largest network distance from p to any point in the resulting network is minimized. We solve the minimum eccentricity feed-link problem using eccentricity diagrams. In addition, we provide a data structure for the query version, where the network G is fixed and a query consists of the point p.

preprint2013arXiv

Similarity of Polygonal Curves in the Presence of Outliers

The Fréchet distance is a well studied and commonly used measure to capture the similarity of polygonal curves. Unfortunately, it exhibits a high sensitivity to the presence of outliers. Since the presence of outliers is a frequently occurring phenomenon in practice, a robust variant of Fréchet distance is required which absorbs outliers. We study such a variant here. In this modified variant, our objective is to minimize the length of subcurves of two polygonal curves that need to be ignored (MinEx problem), or alternately, maximize the length of subcurves that are preserved (MaxIn problem), to achieve a given Fréchet distance. An exact solution to one problem would imply an exact solution to the other problem. However, we show that these problems are not solvable by radicals over Q\mathbb{Q} and that the degree of the polynomial equations involved is unbounded in general. This motivates the search for approximate solutions. We present an algorithm, which approximates, for a given input parameter δδ, optimal solutions for the \MinEx\ and \MaxIn\ problems up to an additive approximation error δδ times the length of the input curves. The resulting running time is upper bounded by O(n3δlog⁡(nδ))\mathcal{O} \left(\frac{n^3}δ \log \left(\frac{n}δ \right)\right), where nn is the complexity of the input polygonal curves.

preprint2012arXiv

Fixed-Orientation Equilateral Triangle Matching of Point Sets

Given a point set PP and a class C\mathcal{C} of geometric objects, GC(P)G_\mathcal{C}(P) is a geometric graph with vertex set PP such that any two vertices pp and qq are adjacent if and only if there is some C∈CC \in \mathcal{C} containing both pp and qq but no other points from PP. We study G▽(P)G_{\bigtriangledown}(P) graphs where ▽\bigtriangledown is the class of downward equilateral triangles (ie. equilateral triangles with one of their sides parallel to the x-axis and the corner opposite to this side below that side). For point sets in general position, these graphs have been shown to be equivalent to half-Θ6Θ_6 graphs and TD-Delaunay graphs. The main result in our paper is that for point sets PP in general position, G▽(P)G_{\bigtriangledown}(P) always contains a matching of size at least ⌈n−23⌉\lceil\frac{n-2}{3}\rceil and this bound cannot be improved above ⌈n−13⌉\lceil\frac{n-1}{3}\rceil. We also give some structural properties of $G_{\davidsstar}(P)$ graphs, where $\davidsstar$ is the class which contains both upward and downward equilateral triangles. We show that for point sets in general position, the block cut point graph of $G_{\davidsstar}(P)$ is simply a path. Through the equivalence of $G_{\davidsstar}(P)$ graphs with Θ6Θ_6 graphs, we also derive that any Θ6Θ_6 graph can have at most 5n−115n-11 edges, for point sets in general position.

preprint2012arXiv

Space-efficient Algorithms for Visibility Problems in Simple Polygon

Given a simple polygon PP consisting of nn vertices, we study the problem of designing space-efficient algorithms for computing (i) the visibility polygon of a point inside PP, (ii) the weak visibility polygon of a line segment inside PP and (iii) the minimum link path between a pair of points inside PP. For problem (i) two algorithms are proposed. The first one is an in-place algorithm where the input array may be lost. It uses only O(1) extra space apart from the input array. The second one assumes that the input is given in a read-only array, and it needs O(n)O(\sqrt{n}) extra space. The time complexity of both the algorithms are O(n). For problem (ii), we have assumed that the input polygon is given in a read-only array. Our proposed algorithm runs in O(n2)O(n^2) time using O(1) extra space. For problem (iii) the time and space complexities of our proposed algorithm are O(kn)O(kn) and O(1) respectively; kk is the length (number of links) in a minimum link path between the given pair of points.

preprint2012arXiv

Visiting All Sites with Your Dog

Given a polygonal curve P, a pointset S, and an ε> 0, we study the problem of finding a polygonal curve Q whose vertices are from S and has a Frechet distance less or equal to εto curve P. In this problem, Q must visit every point in S and we are allowed to reuse points of pointset in building Q. First, we show that this problem in NP-Complete. Then, we present a polynomial time algorithm for a special cases of this problem, when P is a convex polygon.

preprint2010arXiv

Customer Appeasement Scheduling

Almost all of the current process scheduling algorithms which are used in modern operating systems (OS) have their roots in the classical scheduling paradigms which were developed during the 1970's. But modern computers have different types of software loads and user demands. We think it is important to run what the user wants at the current moment. A user can be a human, sitting in front of a desktop machine, or it can be another machine sending a request to a server through a network connection. We think that OS should become intelligent to distinguish between different processes and allocate resources, including CPU, to those processes which need them most. In this work, as a first step to make the OS aware of the current state of the system, we consider process dependencies and interprocess communications. We are developing a model, which considers the need to satisfy interactive users and other possible remote users or customers, by making scheduling decisions based on process dependencies and interprocess communications. Our simple proof of concept implementation and experiments show the effectiveness of this approach in the real world applications. Our implementation does not require any change in the software applications nor any special kind of configuration in the system, Moreover, it does not require any additional information about CPU needs of applications nor other resource requirements. Our experiments show significant performance improvement for real world applications. For example, almost constant average response time for Mysql data base server and constant frame rate for mplayer under different simulated load values.

preprint2010arXiv

Improved Methods For Generating Quasi-Gray Codes

Consider a sequence of bit strings of length d, such that each string differs from the next in a constant number of bits. We call this sequence a quasi-Gray code. We examine the problem of efficiently generating such codes, by considering the number of bits read and written at each generating step, the average number of bits read while generating the entire code, and the number of strings generated in the code. Our results give a trade-off between these constraints, and present algorithms that do less work on average than previous results, and that increase the number of bit strings generated.

preprint2010arXiv

Querying for the Largest Empty Geometric Object in a Desired Location

We study new types of geometric query problems defined as follows: given a geometric set PP, preprocess it such that given a query point qq, the location of the largest circle that does not contain any member of PP, but contains qq can be reported efficiently. The geometric sets we consider for PP are boundaries of convex and simple polygons, and point sets. While we primarily focus on circles as the desired shape, we also briefly discuss empty rectangles in the context of point sets.

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.