Searcharxiv⌕ Search

arXiv subjects

Minati De

Publications and source records attributed to Minati De.

At least 19 recordsLinked to original sources
arXiv2026

Online Algorithms for Geometric Independent Set

In the classical online model, the maximum independent set problem admits an $\Omega(n)$ lower bound on the competitive ratio even for interval graphs, motivating the study of the problem under additional assumptions. We first study the problem on graphs with a bounded independent kissing number $\zeta$, defined as the size of the largest induced star in the graph minus one. We show that a simple greedy algorithm, requiring no geometric representation, achieves a competitive ratio of $\zeta$. Moreover, this bound is optimal for deterministic online algorithms and asymptotically optimal for randomized ones. This extends previous results from specific geometric graph families to more general graph classes. Since this bound rules out further improvements through randomization alone, we investigate the power of randomization with access to geometric representation. When the geometric representation of the objects is known, we present randomized online algorithms with improved guarantees. For unit ball graphs in $\mathbb{R}^3$, we present an algorithm whose expected competitive ratio is strictly smaller than the deterministic lower bound implied by the independent kissing number. For $\alpha$-fat objects and for axis-aligned hyper-rectangles in $\mathbb{R}^d$ with bounded diameters, we obtain algorithms with expected competitive ratios that depend polylogarithmically on the ratio between the maximum and minimum object diameters. In both cases, the randomized lower bound implied by the independent kissing number grows polynomially with the ratio between the maximum and minimum object diameters, implying substantial performance guarantees for our algorithms.

cs.CG↗
arXiv2025

Online Hitting Set for Axis-Aligned Squares

We are given a set $P$ of $n$ points in the plane, and a sequence of axis-aligned squares that arrive in an online fashion. The online hitting set problem consists of maintaining, by adding new points if necessary, a set $H\subseteq P$ that contains at least one point in each input square. We present an $O(\log n)$-competitive deterministic algorithm for this problem. The competitive ratio is the best possible, apart from constant factors. In fact, this is the first $O(\log n)$-competitive algorithm for the online hitting set problem that works for geometric objects of arbitrary sizes (i.e., arbitrary scaling factors) in the plane. We further generalize this result to positive homothets of a polygon with $k\geq 3$ vertices in the plane and provide an $O(k^2\log n)$-competitive algorithm.

cs.CG↗
arXiv2024

Online Hitting Sets for Disks of Bounded Radii

We present algorithms for the online minimum hitting set problem in geometric range spaces: given a set $P$ of $n$ points in the plane and a sequence of geometric objects that arrive one-by-one, we need to maintain a hitting set at all times by making irrevocable decisions. For disks of radii in the interval $[1,M]$, we present an $O(\log M \log n)$-competitive algorithm. This result generalizes from disks to positive homothets of any convex body in the plane with scaling factors in the interval $[1,M]$. As a main technical tool, we reduce the problem to the online hitting set problem for a finite subset of integer points and geometric objects with the lowest point property, introduced in this paper, which behave similarly to bottomless rectangles. Specifically, for a given $N>1$, we present an $O(\log N)$-competitive algorithm for the variant where $P$ is a subset of an $N\times N$ section of the integer lattice, and the geometric objects have the lowest point property.

cs.CG↗
arXiv2024

New Lower Bound and Algorithms for Online Geometric Hitting Set Problem

The hitting set problem is one of the fundamental problems in combinatorial optimization and is well-studied in offline setup. We consider the online hitting set problem, where only the set of points is known in advance, and objects are introduced one by one. Our objective is to maintain a minimum-sized hitting set by making irrevocable decisions. Here, we present the study of two variants of the online hitting set problem depending on the point set. In the first variant, we consider the point set to be the entire $\mathbb{Z}^d$, while in the second variant, we consider the point set to be a finite subset of $\mathbb{R}^2$. If you use points in $\mathbb{Z}^d$ to hit homothetic hypercubes in $\mathbb{R}^d$ with side lengths in $[1,M]$, we show that the competitive ratio of any algorithm is $\Omega(d\log M)$, whether it is deterministic or random. This improves the recently known deterministic lower bound of $\Omega(\log M)$ by a factor of $d$. Then, we present an almost tight randomized algorithm with a competitive ratio $O(d^2\log M)$ that significantly improves the best-known competitive ratio of $25^d\log M$. Next, we propose a simple deterministic ${\lfloor\frac{2}{\alpha}+2\rfloor^d}(\lfloor\log_{2}M\rfloor+1)$ competitive algorithm to hit similarly sized {$\alpha$-fat objects} in $\mathbb{R}^d$ having diameters in the range $[1, M]$ using points in $\mathbb{Z}^d$. This improves the current best-known upper bound by a factor of at least $5^d$. Finally, we consider the hitting set problem when the point set consists of $n$ points in $\mathbb{R}^2$, and the objects are homothetic regular $k$-gons having diameter in the range $[1, M]$. We present an $O(\log n\log M)$ competitive randomized algorithm for that. Whereas no result was known even for squares. In particular, our results answer some of the open questions raised by Khan et al. (SoCG'23) and Alefkhani et al. (WAOA'23).

cs.CG↗
arXiv2023

Online Dominating Set and Coloring for Geometric Intersection Graphs

We present online deterministic algorithms for minimum coloring and minimum dominating set problems in the context of geometric intersection graphs. We consider a graph parameter: the independent kissing number $\zeta$, which is a number equal to `the size of the largest induced star in the graph $-1$'. For a graph with an independent kissing number at most $\zeta$, we show that the famous greedy algorithm achieves an optimal competitive ratio of $\zeta$ for the minimum dominating set and the minimum independent dominating set problems. However, for the minimum connected dominating set problem, we obtain a competitive ratio of at most $2\zeta$. To complement this, we prove that for the minimum connected dominating set problem, any deterministic online algorithm has a competitive ratio of at least $2(\zeta-1)$ for the geometric intersection graph of translates of a convex object in $\mathbb{R}^2$. Next, for the minimum coloring problem, we obtain algorithms having a competitive ratio of $O\left({\zeta'}{\log m}\right)$ for geometric intersection graphs of bounded scaled $\alpha$-fat objects in $\mathbb{R}^d$ having widths in the interval $[1,m]$, where $\zeta'$ is the independent kissing number of the geometric intersection graph of bounded scaled $\alpha$-fat objects having widths in the interval $[1,2]$. Finally, we investigate the value of $\zeta$ for geometric intersection graphs of various families of geometric objects.

cs.CG↗
arXiv2023

Online Class Cover Problem

In this paper, we study the online class cover problem where a (finite or infinite) family $\cal F$ of geometric objects and a set ${\cal P}_r$ of red points in $\mathbb{R}^d$ are given a prior, and blue points from $\mathbb{R}^d$ arrives one after another. Upon the arrival of a blue point, the online algorithm must make an irreversible decision to cover it with objects from $\cal F$ that do not cover any points of ${\cal P}_r$. The objective of the problem is to place a minimum number of objects. When $\cal F$ consists of axis-parallel unit squares in $\mathbb{R}^2$, we prove that the competitive ratio of any deterministic online algorithm is $\Omega(\log |{\cal P}_r|)$, and also propose an $O(\log |{\cal P}_r|)$-competitive deterministic algorithm for the problem.

cs.CG↗
arXiv2023

Online Geometric Covering and Piercing

We consider the online version of the piercing set problem, where geometric objects arrive one by one, and the online algorithm must maintain a valid piercing set for the already arrived objects by making irrevocable decisions. It is easy to observe that any deterministic algorithm solving this problem for intervals in $\mathbb{R}$ has a competitive ratio of at least $\Omega(n)$. This paper considers the piercing set problem for similarly sized objects. We propose a deterministic online algorithm for similarly sized fat objects in $\mathbb{R}^d$. For homothetic hypercubes in $\mathbb{R}^d$ with side length in the range $[1,k]$, we propose a deterministic algorithm having a competitive ratio of at most~$3^d\lceil\log_2 k\rceil+2^d$. In the end, we show deterministic lower bounds of the competitive ratio for similarly sized $\alpha$-fat objects in $\mathbb{R}^2$ and homothetic hypercubes in $\mathbb{R}^d$. Note that piercing translated copies of a convex object is equivalent to the unit covering problem, which is well-studied in the online setup. Surprisingly, no upper bound of the competitive ratio was known for the unit covering problem when the corresponding object is anything other than a ball or a hypercube. Our result yields an upper bound of the competitive ratio for the unit covering problem when the corresponding object is any convex object in $\mathbb{R}^d$.

cs.CG↗
arXiv2023

Online Geometric Hitting Set and Set Cover Beyond Unit Balls in $\mathbb{R}^2$

We investigate the geometric hitting set problem in the online setup for the range space $\Sigma=({\cal P},{\cal S})$, where the set $\P\subset\mathbb{R}^2$ is a collection of $n$ points and the set $\cal S$ is a family of geometric objects in $\mathbb{R}^2$. In the online setting, the geometric objects arrive one by one. Upon the arrival of an object, an online algorithm must maintain a valid hitting set by making an irreversible decision, i.e., once a point is added to the hitting set by the algorithm, it can not be deleted in the future. The objective of the geometric hitting set problem is to find a hitting set of the minimum cardinality. Even and Smorodinsky (Discret. Appl. Math., 2014) considered an online model (Model-I) in which the range space $\Sigma$ is known in advance, but the order of arrival of the input objects in $\cal S$ is unknown. They proposed online algorithms having optimal competitive ratios of $\Theta(\log n)$ for intervals, half-planes and unit disks in $\mathbb{R}^2$. Whether such an algorithm exists for unit squares remained open for a long time. This paper considers an online model (Model-II) in which the entire range space $\Sigma$ is not known in advance. We only know the set $\cal P$ but not the set $\cal S$ in advance. Note that any algorithm for Model-II will also work for Model-I, but not vice-versa. In Model-II, we obtain an optimal competitive ratio of $\Theta(\log(n))$ for unit disks and regular $k$-gon with $k\geq 4$ in $\mathbb{R}^2$. All the above-mentioned results also hold for the equivalent geometric set cover problem in Model-II.

cs.CG↗
arXiv2023

Online Hitting of Unit Balls and Hypercubes in $\mathbb{R}^d$ using Points from $\mathbb{Z}^d$

We consider the online hitting set problem for the range space $\Sigma=(\cal X,\cal R)$, where the point set $\cal X$ is known beforehand, but the set $\cal R$ of geometric objects is not known in advance. Here, objects from $\cal R$ arrive one by one. The objective of the problem is to maintain a hitting set of the minimum cardinality by taking irrevocable decisions. In this paper, we consider the problem when objects are unit balls or unit hypercubes in $\mathbb{R}^d$, and the points from $\mathbb{Z}^d$ are used for hitting them. First, we address the case when objects are unit intervals in $\mathbb{R}$ and present an optimal deterministic algorithm with a competitive ratio of~$2$. Then, we consider the case when objects are unit balls. For hitting unit balls in $\mathbb{R}^2$ and $\mathbb{R}^3$, we present $4$ and $14$-competitive deterministic algorithms, respectively. On the other hand, for hitting unit balls in $\mathbb{R}^d$, we propose an $O(d^4)$-competitive deterministic algorithm, and we demonstrate that}, for $d<4$, the competitive ratio of any deterministic algorithm is at least $d+1$. In the end, we explore the case where objects are unit hypercubes. For hitting unit hypercubes in $\mathbb{R}^2$ and $\mathbb{R}^3$, we obtain $4$ and $8$-competitive deterministic algorithms, respectively. For hitting unit hypercubes in $\mathbb{R}^d$ ($d\geq 3$), we present an $O(d^2)$-competitive randomized algorithm. Furthermore, we prove that the competitive ratio of any deterministic algorithm for the problem is at least $d+1$ for any $d\in\mathbb{N}$.

cs.CG↗
arXiv2021

Online Dominating Set and Independent Set

Finding minimum dominating set and maximum independent set for graphs in the classical online setup are notorious due to their disastrous $\Omega(n)$ lower bound of the competitive ratio that even holds for interval graphs, where $n$ is the number of vertices. In this paper, inspired by Newton number, first, we introduce the independent kissing number $\zeta$ of a graph. We prove that the well known online greedy algorithm for dominating set achieves optimal competitive ratio $\zeta$ for any graph. We show that the same greedy algorithm achieves optimal competitive ratio $\zeta$ for online maximum independent set of a class of graphs with independent kissing number $\zeta$. For minimum connected dominating set problem, we prove that online greedy algorithm achieves an asymptotic competitive ratio of $2(\zeta-1)$, whereas for a family of translated convex objects the lower bound is $\frac{2\zeta-1}{3}$. Finally, we study the value of $\zeta$ for some specific families of geometric objects: fixed and arbitrary oriented unit hyper-cubes in $I\!\!R^d$, congruent balls in $I\!\!R^3$, fixed oriented unit triangles, fixed and arbitrary oriented regular polygons in $I\!\!R^2$. For each of these families, we also present lower bounds of the minimum connected dominating set problem.

cs.CG↗
arXiv2019

Variations of largest rectangle recognition amidst a bichromatic point set

Classical separability problem involving multi-color point sets is an important area of study in computational geometry. In this paper, we study different separability problems for bichromatic point set P=P_r\cup P_b on a plane, where $P_r$ and $P_b$ represent the set of n red points and m blue points respectively, and the objective is to compute a monochromatic object of the desired type and of maximum size. We propose in-place algorithms for computing (i) an arbitrarily oriented monochromatic rectangle of maximum size in R^2, (ii) an axis-parallel monochromatic cuboid of maximum size in R^3. The time complexities of the algorithms for problems (i) and (ii) are O(m(m+n)(m\sqrt{n}+m\log m+n \log n)) and O(m^3\sqrt{n}+m^2n\log n), respectively. As a prerequisite, we propose an in-place construction of the classic data structure the k-d tree, which was originally invented by J. L. Bentley in 1975. Our in-place variant of the $k$-d tree for a set of n points in R^k supports both orthogonal range reporting and counting query using O(1) extra workspace, and these query time complexities are the same as the classical complexities, i.e., O(n^{1-1/k}+μ) and O(n^{1-1/k}), respectively, where μis the output size of the reporting query. The construction time of this data structure is O(n\log n). Both the construction and query algorithms are non-recursive in nature that do not need O(\log n) size recursion stack compared to the previously known construction algorithm for in-place k-d tree and query in it. We believe that this result is of independent interest. We also propose an algorithm for the problem of computing an arbitrarily oriented rectangle of maximum weight among a point set P=P_r \cup P_b, where each point in P_b (resp. P_r) is associated with a negative (resp. positive) real-valued weight that runs in O(m^2(n+m)\log(n+m)) time using O(n) extra space.

cs.CG↗
arXiv2017

Range Assignment of Base-Stations Maximizing Coverage Area without Interference

We study the problem of assigning non-overlapping geometric objects centered at a given set of points such that the sum of area covered by them is maximized. If the points are placed on a straight-line and the objects are disks, then the problem is solvable in polynomial time. However, we show that the problem is NP-hard even for simplest objects like disks or squares in ${\mathbb{R}}^2$. Eppstein [CCCG, pages 260--265, 2016] proposed a polynomial time algorithm for maximizing the sum of radii (or perimeter) of non-overlapping balls or disks when the points are arbitrarily placed on a plane. We show that Eppstein's algorithm for maximizing sum of perimeter of the disks in ${\mathbb{R}}^2$ gives a $2$-approximation solution for the sum of area maximization problem. We propose a PTAS for our problem. These approximation results are extendible to higher dimensions. All these approximation results hold for the area maximization problem by regular convex polygons with even number of edges centered at the given points.

cs.CG↗
arXiv2017

Approximation Schemes for Geometric Coverage Problems

In their seminal work, Mustafa and Ray (2009) showed that a wide class of geometric set cover (SC) problems admit a PTAS via local search -- this is one of the most general approaches known for such problems. Their result applies if a naturally defined "exchange graph" for two feasible solutions is planar and is based on subdividing this graph via a planar separator theorem due to Frederickson (1987). Obtaining similar results for the related maximum k-coverage problem (MC) seems non-trivial due to the hard cardinality constraint. In fact, while Badanidiyuru, Kleinberg, and Lee (2012) have shown (via a different analysis) that local search yields a PTAS for two-dimensional real halfspaces, they only conjectured that the same holds true for dimension three. Interestingly, at this point it was already known that local search provides a PTAS for the corresponding set cover case and this followed directly from the approach of Mustafa and Ray. In this work we provide a way to address the above-mentioned issue. First, we propose a color-balanced version of the planar separator theorem. The resulting subdivision approximates locally in each part the global distribution of the colors. Second, we show how this roughly balanced subdivision can be employed in a more careful analysis to strictly obey the hard cardinality constraint. More specifically, we obtain a PTAS for any "planarizable" instance of MC and thus essentially for all cases where the corresponding SC instance can be tackled via the approach of Mustafa and Ray. As a corollary, we confirm the conjecture of Badanidiyuru, Kleinberg, and Lee regarding real half spaces in dimension three. We feel that our ideas could also be helpful in other geometric settings involving a cardinality constraint.

cs.CG↗
arXiv2016

Circular Separation Dimension of a Subclass of Planar Graphs

A pair of non-adjacent edges is said to be separated in a circular ordering of vertices, if the endpoints of the two edges do not alternate in the ordering. The circular separation dimension of a graph $G$, denoted by $\pi^\circ(G)$, is the minimum number of circular orderings of the vertices of $G$ such that every pair of non-adjacent edges is separated in at least one of the circular orderings. This notion is introduced by Loeb and West in their recent paper. In this article, we consider two subclasses of planar graphs, namely $2$-outerplanar graphs and series-parallel graphs. A $2$-outerplanar graph has a planar embedding such that the subgraph obtained by removal of the vertices of the exterior face is outerplanar. We prove that if $G$ is $2$-outerplanar then $\pi^\circ(G) = 2$. We also prove that if $G$ is a series-parallel graph then $\pi^\circ(G) \leq 2$.

cs.DM↗
arXiv2016

Geometric Dominating Set and Set Cover via Local Search

In this paper, we study two classic optimization problems: minimum geometric dominating set and set cover. In the dominating-set problem, for a given set of objects in {the} plane as input, the objective is to choose a minimum number of input objects such that every input object is dominated by the chosen set of objects. Here, one object is dominated by {another} if both of them have {a} nonempty intersection region. For the second problem, for a given set of points and objects {in a plane}, the objective is to choose {a} minimum number of objects to cover all the points. This is a special version of the set-cover problem. For both problems obtaining a PTAS remains open for a large class of objects. For the dominating-set problem, we prove that {a} popular local-search algorithm leads to an $(1+\varepsilon)$ approximation for object sets consisting of homothetic set of convex objects (which includes arbitrary squares, $k$-regular polygons, translated and scaled copies of a convex set, etc.) in $n^{O(1/\varepsilon^2)}$ time. On the other hand, the same technique leads to a PTAS for geometric covering problem when the objects are convex pseudodisks (which includes disks, unit height rectangles, homothetic convex objects, etc.). As a consequence, we obtain an easy to implement approximation algorithm for both problems for a large class of objects, significantly improving the best known approximation guarantees.

cs.CG↗
arXiv2014

Facility location problems in the constant work-space read-only memory model

Facility location problems are captivating both from theoretical and practical point of view. In this paper, we study some fundamental facility location problems from the space-efficient perspective. Here the input is considered to be given in a read-only memory and only constant amount of work-space is available during the computation. This {\em constant-work-space model} is well-motivated for handling big-data as well as for computing in smart portable devices with small amount of extra-space. First, we propose a strategy to implement prune-and-search in this model. As a warm up, we illustrate this technique for finding the Euclidean 1-center constrained on a line for a set of points in $\IR^2$. This method works even if the input is given in a sequential access read-only memory. Using this we show how to compute (i) the Euclidean 1-center of a set of points in $\IR^2$, and (ii) the weighted 1-center and weighted 2-center of a tree network. The running time of all these algorithms are $O(n~poly(\log n))$. While the result of (i) gives a positive answer to an open question asked by Asano, Mulzer, Rote and Wang in 2011, the technique used can be applied to other problems which admit solutions by prune-and-search paradigm. For example, we can apply the technique to solve two and three dimensional linear programming in $O(n~poly(\log n))$ time in this model. To the best of our knowledge, these are the first sub-quadratic time algorithms for all the above mentioned problems in the constant-work-space model. We also present optimal linear time algorithms for finding the centroid and weighted median of a tree in this model.

cs.DS↗
arXiv2012

Convex Hull and Linear Programming in Read-only Setup with Limited Work-space

Prune-and-search is an important paradigm for solving many important geometric problems. We show that the general prune-and-search technique can be implemented where the objects are given in read-only memory. As examples we consider convex-hull in 2D, and linear programming in 2D and 3D. For the convex-hull problem, designing sub-quadratic algorithm in a read-only setup with sub-linear space is an open problem for a long time. We first propose a simple algorithm for this problem that runs in $O(n^{3/2+ε)}$ time and $O(n^(1/2))$ space. Next, we consider a restricted version of the problem where the points in $P$ are given in sorted order with respect to their $x$-coordinates in a read-only array. For the linear programming problems, the constraints are given in the read-only array. The last three algorithms use {\it prune-and-search}, and their time and extra work-space complexities are $O(n^{1 + ε})$ and $O(\log n)$ respectively, where $ε$ is a small constant satisfying $\sqrt{\frac{\log\log n}{\log n}} < ε< 1$.

cs.CG↗
arXiv2012

Space-efficient Algorithms for Visibility Problems in Simple Polygon

Given a simple polygon $P$ consisting of $n$ vertices, we study the problem of designing space-efficient algorithms for computing (i) the visibility polygon of a point inside $P$, (ii) the weak visibility polygon of a line segment inside $P$ and (iii) the minimum link path between a pair of points inside $P$. 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(\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(n^2)$ time using O(1) extra space. For problem (iii) the time and space complexities of our proposed algorithm are $O(kn)$ and O(1) respectively; $k$ is the length (number of links) in a minimum link path between the given pair of points.

cs.CG↗