122,624 research outputs found

    Approximation Algorithms for Geometric Covering Problems for Disks and Squares

    Get PDF
    Geometric covering is a well-studied topic in computational geometry. We study three covering problems: Disjoint Unit-Disk Cover, Depth-(≤ K) Packing and Red-Blue Unit-Square Cover. In the Disjoint Unit-Disk Cover problem, we are given a point set and want to cover the maximum number of points using disjoint unit disks. We prove that the problem is NP-complete and give a polynomial-time approximation scheme (PTAS) for it. In Depth-(≤ K) Packing for Arbitrary-Size Disks/Squares, we are given a set of arbitrary-size disks/squares, and want to find a subset with depth at most K and maximizing the total area. We prove a depth reduction theorem and present a PTAS. In Red-Blue Unit-Square Cover, we are given a red point set, a blue point set and a set of unit squares, and want to find a subset of unit squares to cover all the blue points and the minimum number of red points. We prove that the problem is NP-hard, and give a PTAS for it. A "mod-one" trick we introduce can be applied to several other covering problems on unit squares

    On the Discrete Unit Disk Cover Problem

    Full text link
    Abstract. Given a set P of n points and a set D of m unit disks on a 2-dimensional plane, the discrete unit disk cover (DUDC) problem is (i) to check whether each point in P is covered by at least one disk in D or not and (ii) if so, then find a minimum cardinality subset D ∗ ⊆ D such that unit disks in D ∗ cover all the points in P. The discrete unit disk cover problem is a geometric version of the general set cover problem which is NP-hard [14]. The general set cover problem is not approx-imable within c log |P|, for some constant c, but the DUDC problem was shown to admit a constant factor approximation. In this paper, we pro-vide an algorithm with constant approximation factor 18. The running time of the proposed algorithm is O(n log n+m logm+mn). The previ-ous best known tractable solution for the same problem was a 22-factor approximation algorithm with running time O(m2n4).

    ETH-Tight Algorithms for Long Path and Cycle on Unit Disk Graphs

    Get PDF
    We present an algorithm for the extensively studied Long Path and Long Cycle problems on unit disk graphs that runs in time 2^{?(?k)}(n+m). Under the Exponential Time Hypothesis, Long Path and Long Cycle on unit disk graphs cannot be solved in time 2^{o(?k)}(n+m)^?(1) [de Berg et al., STOC 2018], hence our algorithm is optimal. Besides the 2^{?(?k)}(n+m)^?(1)-time algorithm for the (arguably) much simpler Vertex Cover problem by de Berg et al. [STOC 2018] (which easily follows from the existence of a 2k-vertex kernel for the problem), this is the only known ETH-optimal fixed-parameter tractable algorithm on UDGs. Previously, Long Path and Long Cycle on unit disk graphs were only known to be solvable in time 2^{?(?klog k)}(n+m). This algorithm involved the introduction of a new type of a tree decomposition, entailing the design of a very tedious dynamic programming procedure. Our algorithm is substantially simpler: we completely avoid the use of this new type of tree decomposition. Instead, we use a marking procedure to reduce the problem to (a weighted version of) itself on a standard tree decomposition of width ?(?k)

    RECOGNIZING WEIGHTED AND SEEDED DISK GRAPHS

    Get PDF
    Disk intersection representations realize graphs by mapping vertices bijectively to disks in the plane such that two disks intersect each other if and only if the corresponding vertices are adjacent in the graph. If intersections are restricted to touching points of the boundaries, we call them disk contact representations. Deciding whether a vertex-weighted planar graph can be realized such that the disks\u27 radii coincide with the vertex weights is known to be NP-hard for both contact and intersection representations. In this work, we reduce the gap between hardness and tractability by analyzing the problem for special graph classes. We show that in the contact scenario it remains NP-hard for outerplanar graphs with unit weights and for stars with arbitrary weights, strengthening the previous hardness results. On the positive side, we present a constructive linear-time recognition algorithm for embedded stars with arbitrary weights. We also consider a version of the problem in which the disks of a representation are supposed to cover preassigned points, called seeds. We show that both for contact and intersection representations this problem is NP-hard for unit weights even if the given graph is a path. If the disks\u27 radii are not prescribed, the problem remains NP-hard for trees in the contact scenario

    A Faster 4-Approximation Algorithm for the Unit Disk Cover Problem

    Get PDF
    Abstract Given a set P of n points in the plane, we consider the problem of covering P with a minimum number of unit disks. This problem is known to be NP-hard. We present a simple 4-approximation algorithm for this problem which runs in O(n log n)-time and uses the plane-sweep technique. Previous algorithms that achieve the same approximation ratio have a higher time complexity. We also show how to extend this algorithm to other metrics, and to three dimensions
    • …
    corecore