Table of Contents
Fetching ...

Dominating Set, Independent Set, Discrete $k$-Center, Dispersion, and Related Problems for Planar Points in Convex Position

Anastasiia Tkachenko, Haitao Wang

Abstract

Given a set $P$ of $n$ points in the plane, its unit-disk graph $G(P)$ is a graph with $P$ as its vertex set such that two points of $P$ are connected by an edge if their (Euclidean) distance is at most $1$. We consider several classical problems on $G(P)$ in a special setting when points of $P$ are in convex position. These problems are all NP-hard in the general case. We present efficient algorithms for these problems under the convex position assumption. The considered problems include the following: finding a minimum weight dominating set in $G(P)$, the discrete $k$-center problem for $P$, finding a maximum weight independent set in $G(P)$, the dispersion problem for $P$, and several of their variations. For some of these problems, our algorithms improve the previously best results, while for others, our results provide first-known solutions.

Dominating Set, Independent Set, Discrete $k$-Center, Dispersion, and Related Problems for Planar Points in Convex Position

Abstract

Given a set of points in the plane, its unit-disk graph is a graph with as its vertex set such that two points of are connected by an edge if their (Euclidean) distance is at most . We consider several classical problems on in a special setting when points of are in convex position. These problems are all NP-hard in the general case. We present efficient algorithms for these problems under the convex position assumption. The considered problems include the following: finding a minimum weight dominating set in , the discrete -center problem for , finding a maximum weight independent set in , the dispersion problem for , and several of their variations. For some of these problems, our algorithms improve the previously best results, while for others, our results provide first-known solutions.
Paper Structure (53 sections, 31 theorems, 10 equations, 13 figures)

This paper contains 53 sections, 31 theorems, 10 equations, 13 figures.

Key Result

Lemma 1

Let $S$ be a dominating set of $G(P)$. There exist a partition $\mathcal{A}$ of $P$ and a line-separable assignment $\phi: \mathcal{A}\rightarrow S$ such that for any center $p_i\in S$, $p_i\in G_{p_i}$, meaning that a sublist of $p_i$ contains $p_i$.

Figures (13)

  • Figure 1: Illustrating the ordering property of $S$ (the centers of the disks).
  • Figure 2: Illustrating $D_j^i$ and $D_i^j$, which are the blue and red regions, respectively, excluding $\overline{u_{ij}v_{ij}}$.
  • Figure 3: Illustrating a schematic view of $P$ (i.e., the dotted circle) and the relative positions of $\alpha_i$, $q_1$, $\beta_1'$, $q_2$, $q_3$, $\beta_2'$, and $q_4$. The sublists $\alpha_i$, $\beta_1'$, and $\beta_2'$ are illustrated with solid arcs.
  • Figure 4: Illustrating angles for Lemma \ref{['lem:balassign']}. Solid red segments have lengths at most $1$ while solid blue segments have lengths greater than $1$.
  • Figure 5: $\beta'_{11}$ consists of the points in the blue part, and its portion left of $\ell$ is $\beta"_{11}$.
  • ...and 8 more figures

Theorems & Definitions (61)

  • Lemma 1
  • proof
  • Lemma 2
  • proof
  • Lemma 3
  • proof
  • Lemma 4
  • proof
  • Lemma 5
  • proof
  • ...and 51 more