In this note we prove that for any compact subset S of a Busemann surface @math (S,d) (in particular, for any simple polygon with geodesic metric) and any positive number @math ź, the minimum number of closed balls of radius @math ź with centers at @math S and covering the set S is at most 19 times the maximum number of disjoint closed balls of radius @math ź centered at points of S: @math ź(S)≤ź(S)≤19ź(S), where @math ź(S) and @math ź(S) are the covering and the packing numbers of S by @math ź-balls. Busemann surfaces represent a far-reaching generalization not only of simple polygons, but also of Euclidean and hyperbolic planes and of all planar polygonal complexes of global non-positive curvature. Roughly speaking, a Busemann surface is a geodesic metric space homeomorphic to @math R2 in which the distance function is convex.
Due to this analogy, one can formulate the previous question about @math for their continuous counterparts @math --- polygons in @math endowed with the (intrinsic) geodesic metric. It turns out that this question was not yet considered even for simple polygons (in this case, only a factor 2 approximation algorithm for packing number was recently given in @cite_13 ). The geodesic metric on simple polygons was studied in several papers in connection with algorithmic problems. In particular, in was shown in @cite_23 , that balls are convex, implying that simple polygons are Busemann spaces. In this paper, we consider the relationship between the packing and covering numbers not only for simple polygons in the Euclidean or hyperbolic planes but also for (compact subsets of) general Busemann surfaces.
@cite_13 @cite_23
1487479819 2407537893 2890370060 2752916745
We consider the problem of covering and packing subsets ofΔ-hyperbolic metric spaces and graphs by balls.These spaces, defined via a combinatorial Gromov condition, haverecently become of interest in several domains of computer science.Specifically, given a subset Sof aΔ-hyperbolic graph Gand a positive numberR, let Δ(S,R) be theminimum number of balls of radius Rcovering S.It is known that computing Δ(S,R)or approximating this number within a constant factor is hard evenfor 2-hyperbolic graphs. In this paper, using a primal-dualapproach, we show how to construct in polynomial time a covering ofSwith at most Δ(S,R)balls of (slightly larger) radius R+ Δ.This result is established in the general framework ofΔ-hyperbolic geodesic metric spaces and is extendedto some other set families derived from balls. The coveringalgorithm is used to design better approximation algorithms for theaugmentation problem with diameter constraints and for thek-center problem in Δ-hyperbolicgraphs. Given a polygon @math , for two points @math and @math contained in the polygon, their is the length of the shortest @math -path within @math . A of radius @math centered at a point @math is the set of points in @math whose geodesic distance to @math is at most @math . We present a polynomial time @math -approximation algorithm for finding a densest geodesic unit disk packing in @math . Allowing arbitrary radii but constraining the number of disks to be @math , we present a @math -approximation algorithm for finding a packing in @math with @math geodesic disks whose minimum radius is maximized. We then turn our focus on of @math and present a @math -approximation algorithm for covering @math with @math geodesic disks whose maximal radius is minimized. Furthermore, we show that all these problems are @math -hard in polygons with holes. Lastly, we present a polynomial time exact algorithm which covers a polygon with two geodesic disks of minimum maximal radius. A standard result in metric geometry is that every compact geodesic metric space can be approximated arbitrarily well by finite metric graphs in the Gromov-Hausdorff sense. It is well known that the first Betti number of the approximating graphs may blow up as the approximation gets finer. In our work, given a compact geodesic metric space @math , we define a sequence @math of non-negative real numbers by @math By construction, and the above result, this is a non-increasing sequence with limit @math . We study this sequence and its rates of decay with @math . We also identify a precise relationship between the sequence and the first Vietoris-Rips persistence barcode of @math . Furthermore, we specifically analyze @math and find upper and lower bounds based on hyperbolicity and other metric invariants. As a consequence of the tools we develop, our work also provides a Gromov-Hausdorff stability result for the Reeb construction on geodesic metric spaces with respect to the function given by distance to a reference point. In this paper we consider the Online Bin Packing Problem in three variants: Circles in Squares, Circles in Isosceles Right Triangles, and Spheres in Cubes. The two first ones receive an online sequence of circles (items) of different radii while the third one receive an online sequence of spheres (items) of different radii, and they want to pack the items into the minimum number of unit squares, isosceles right triangles of leg length one, and unit cubes, respectively. For Online Circle Packing in Squares, we improve the previous best-known competitive ratio for the bounded space version, when at most a constant number of bins can be open at any given time, from 2.439 to 2.3536. For Online Circle Packing in Isosceles Right Triangles and Online Sphere Packing in Cubes we show bounded space algorithms of asymptotic competitive ratios 2.5490 and 3.5316, respectively, as well as lower bounds of 2.1193 and 2.7707 on the competitive ratio of any online bounded space algorithm for these two problems. We also considered the online unbounded space variant of these three problems which admits a small reorganization of the items inside the bin after their packing, and we present algorithms of competitive ratios 2.3105, 2.5094, and 3.5146 for Circles in Squares, Circles in Isosceles Right Triangles, and Spheres in Cubes, respectively.