Witness Set in Weak Visibility Polygons is Polynomial-Time Solvable

If $\mathsf{\ell Anchor}(p)=v_{0}$, then the claim holds because $\mathsf{rAnchor}(p)$ is a reflex vertex or is $v_{n}$, and no such vertex is $v_{0}$. The case $\mathsf{rAnchor}(p)=v_{n}$ is symmetric. So assume that both windows are chords. The windows are contained in $\mathsf{\ell Bdry}(p)$ and in $\mathsf{rBdry}(p)$ respectively, these two segments meet only at $p$, and neither window contains $p$. Hence, the two windows are disjoint, and their four endpoints are distinct. Read $\partial(\mathcal{WV})$ clockwise from $v_{0}$. The upper chain comes first in the order $v_{0},v_{1},\dots,v_{n}$, and the points of ${e}_{\mathtt{base}}$ come afterward from right to left. Suppose that $\mathsf{rAnchor}(p)\prec\mathsf{\ell Anchor}(p)$. Since $\ell(p)<r(p)$, the four endpoints then appear in the clockwise order $\mathsf{rAnchor}(p)$, $\mathsf{\ell Anchor}(p)$, $r(p)$, $\ell(p)$. The four endpoints interleave in this order, so the two windows cross by Observation 3. This contradicts their disjointness.

We prove the inclusion $\mathsf{Vis}(p)\subseteq\mathcal{WV}^{-}_{r}(p)$, and the other inclusion is symmetric. The claim is trivial when $r(p)=v_{n}$, so assume that $\mathsf{rWin}(p)$ is a chord. Write $C=\mathsf{rWin}(p)$.

We first place $p$ itself. Choose a point $b$ of ${e}_{\mathtt{base}}$ with $\ell(p)<b<r(p)$, which exists because $\ell(p)<r(p)$. The point $b$ lies in $\mathcal{WV}^{-}_{r}(p)$ and not on $C$. The segment $\overline{pb}$ lies in $\mathcal{WV}$, since $b$ is visible from $p$. It does not meet $C$. Indeed, a common point of $\overline{pb}$ and $C$ would be collinear with $p$ and with $\mathsf{rAnchor}(p)$, and it would force $b$ onto the line through $p$ and $\mathsf{rAnchor}(p)$, whence $b=r(p)$. Hence $p$ and $b$ lie in the same subpolygon, and $p\in\mathcal{WV}^{-}_{r}(p)$.

Now let $q$ be a point of $\mathsf{Vis}(p)$ that lies in the interior of $\mathcal{WV}^{+}_{r}(p)$. The segment $\overline{pq}$ lies in $\mathcal{WV}$ and joins $\mathcal{WV}^{-}_{r}(p)$ to the interior of $\mathcal{WV}^{+}_{r}(p)$, so it meets $C$ in some point $y$. The three points $p$, $y$ and $q$ are collinear, and $y$ lies on the line through $p$ and $\mathsf{rAnchor}(p)$. Hence $q$ lies on that line too. The part of that line beyond $r(p)$ leaves $\mathcal{WV}$, because the line meets ${e}_{\mathtt{base}}$ transversally at $r(p)$ under general position. Therefore $q$ lies on $\mathsf{rBdry}(p)$, and no point of $\mathsf{rBdry}(p)$ lies in the interior of $\mathcal{WV}^{+}_{r}(p)$. This contradiction shows that $\mathsf{Vis}(p)$ misses the interior of $\mathcal{WV}^{+}_{r}(p)$, which is the claim.

We record first that the inequality $r(p)<\ell(q)$ forces both windows involved to be chords. It gives $r(p)\neq v_{n}$, since $\ell(q)$ lies on ${e}_{\mathtt{base}}$, and it gives $\ell(q)\neq v_{0}$ for the same reason.

Assume condition (i), and write $C=\mathsf{rWin}(p)$ and $D=\mathsf{\ell Win}(q)$. The four endpoints of $C$ and $D$ are distinct. Read $\partial(\mathcal{WV})$ clockwise from $v_{0}$ as in the proof of Lemma 1. The two hypotheses of (i) place the four endpoints in the clockwise order $\mathsf{rAnchor}(p)$, $\mathsf{\ell Anchor}(q)$, $\ell(q)$, $r(p)$. The chord $C$ joins the first endpoint to the fourth, and the chord $D$ joins the second to the third, so the two endpoint pairs do not interleave and the chords are disjoint. Both endpoints of $D$ lie on the boundary arc of $C$ that contains $v_{n}$, so $D\subseteq\mathcal{WV}^{+}_{r}(p)$. The boundary of $\mathcal{WV}^{+}_{l}(q)$ consists of $D$ and of the boundary arc from $\mathsf{\ell Anchor}(q)$ to $\ell(q)$ through $v_{n}$, and both lie in $\mathcal{WV}^{+}_{r}(p)$ and miss $C$. Hence $\mathcal{WV}^{+}_{l}(q)\subseteq\mathcal{WV}^{+}_{r}(p)$ and $\mathcal{WV}^{+}_{l}(q)\cap C=\emptyset$. The two subpolygons $\mathcal{WV}^{-}_{r}(p)$ and $\mathcal{WV}^{+}_{r}(p)$ meet exactly in $C$, so $\mathcal{WV}^{-}_{r}(p)$ and $\mathcal{WV}^{+}_{l}(q)$ are disjoint. By Lemma 2 we get $\mathsf{Vis}(p)\subseteq\mathcal{WV}^{-}_{r}(p)$ and $\mathsf{Vis}(q)\subseteq\mathcal{WV}^{+}_{l}(q)$, and the two visibility polygons are disjoint. Condition (ii) is symmetric.

Conversely, assume that neither condition holds. We give a point of $\mathsf{Vis}(p)\cap\mathsf{Vis}(q)$ in each remaining case.

Suppose first that $\mathtt{Int}(p)\cap\mathtt{Int}(q)\neq\emptyset$. A common point of the two base intervals is visible from $p$ and from $q$, and the two visibility polygons meet.

Suppose next that $\mathtt{Int}(p)\cap\mathtt{Int}(q)=\emptyset$, and assume without loss of generality that $r(p)<\ell(q)$. Both windows $\mathsf{rWin}(p)$ and $\mathsf{\ell Win}(q)$ are then chords. Since condition (i) fails, we have $\mathsf{\ell Anchor}(q)\preceq\mathsf{rAnchor}(p)$. If $\mathsf{\ell Anchor}(q)=\mathsf{rAnchor}(p)$, then this common vertex lies on $\mathsf{rBdry}(p)$ and on $\mathsf{\ell Bdry}(q)$, so it is visible from $p$ and from $q$. If $\mathsf{\ell Anchor}(q)\prec\mathsf{rAnchor}(p)$, then the four endpoints appear in the clockwise order $\mathsf{\ell Anchor}(q)$, $\mathsf{rAnchor}(p)$, $\ell(q)$, $r(p)$. The four endpoints interleave, so the chords cross by Observation 3. A crossing point lies on $\mathsf{rBdry}(p)$ and on $\mathsf{\ell Bdry}(q)$, so it is visible from $p$ and from $q$. In both cases, the two visibility polygons meet, which completes the proof.

For a level $y$ in the closed strip bounded by $L_{b}$ and $L_{t}$, the intersection of $T(p)$ with the horizontal line of level $y$ is a closed interval $[a_{p}(y),b_{p}(y)]$, and both endpoints are affine functions of $y$. Put $f=a_{q}-b_{p}$ and $g=a_{p}-b_{q}$, which are again affine. The two intervals of level $y$ are disjoint if and only if $f(y)>0$ or $g(y)>0$. The two conditions never hold together, so the sets $\{f>0\}$ and $\{g>0\}$ are disjoint, and each is relatively open in the strip. The strip is connected, so these two sets cover it only if one of them is the whole strip. Hence $T(p)$ and $T(q)$ are disjoint if and only if $f$ is positive on the whole strip or $g$ is positive on the whole strip. An affine function is positive on the strip if and only if it is positive on both bounding lines. On $L_{b}$ the inequality $f>0$ reads $r(p)<\ell(q)$, and on $L_{t}$ it reads $\mathsf{rAnchor}(p)\prec\mathsf{\ell Anchor}(q)$, because $\beta$ and $\tau$ preserve the two orders. These are the two parts of condition (i), and $g$ gives condition (ii) in the same way.

Let $s$ and $s^{\prime}$ be two distinct points of $S$. By Lemma 3 the visibility polygons of $s$ and $s^{\prime}$ are disjoint if and only if condition (i) or condition (ii) holds, and by Observation 4 the same two conditions characterize disjointness of $T(s)$ and $T(s^{\prime})$. Hence $s$ and $s^{\prime}$ are adjacent in $G_{S}$ if and only if $T(s)$ and $T(s^{\prime})$ intersect. The trapezoids are well defined by Lemma 1, and they have their parallel sides on the two fixed lines $L_{b}$ and $L_{t}$, so they form a trapezoid representation in the sense of [14, 18].

Combine Definition 8 with Theorem 3.1.

The algorithm computes the anchors of Definition 5, and it computes $\ell(s)$ and $r(s)$ from them by Observation 2. It then builds the trapezoids of Definition 10, which represent $G_{S}$ by Theorem 3.1. A maximum independent set of that representation is a maximum witness subset of $S$ by Corollary 1, and the algorithm of [18] returns one.

We account for the four phases of algorithm 1.

The triangulation of $\mathcal{WV}$ takes $\mathcal{O}(n)$ time [11]. Each of the two shortest path maps is built in $\mathcal{O}(n)$ time from the triangulation [25], and each has $\mathcal{O}(n)$ cells, so a point location structure with $\mathcal{O}(\log n)$ query time is built in $\mathcal{O}(n)$ additional time. This phase costs $\mathcal{O}(n)$ time.

The anchor phase performs two-point location queries per point of $S$, at $\mathcal{O}(\log n)$ time each. Each cell of a shortest path map stores the last vertex on the shortest path from the source to the points of that cell, which is the anchor by Definition 5. Given the anchor, the endpoint $\ell(s)$ or $r(s)$ is one intersection of a ray with the supporting line of ${e}_{\mathtt{base}}$, computed in $\mathcal{O}(1)$ time by Observation 2. This phase costs $\mathcal{O}(m\log n)$ time.

The construction phase writes down one trapezoid per point of $S$ in $\mathcal{O}(1)$ time each, and it sorts the $2m$ endpoints on $L_{b}$ and the $2m$ endpoints on $L_{t}$. This phase costs $\mathcal{O}(m\log m)$ time.

The last phase computes a maximum independent set of a trapezoid graph on $m$ trapezoids from its representation, in $\mathcal{O}(m\log m)$ time [18].

The four phases together take $\mathcal{O}(n+m\log n+m\log m)$ time, which is $\mathcal{O}(n+m\log(n+m))$. The triangulation, the two maps and their point location structures use $\mathcal{O}(n)$ space, the trapezoids use $\mathcal{O}(m)$ space, and the algorithm of [18] uses $\mathcal{O}(m)$ space.

Take the base ${e}_{\mathtt{base}}$ to be the horizontal segment from $u=(0,0)$ to $v=(k+1,0)$. We build the upper chain of $\mathcal{WV}_{\pi}$ so that it carries, in clockwise order, $k$ reflex vertices $\rho_{1},\rho_{2},\dots,\rho_{k}$ of strictly increasing abscissa, with one shallow pocket hanging behind each $\rho_{i}$. Inside the pocket behind $\rho_{i}$ we place a single input point $w_{i}$, so deep in the pocket that $\rho_{i}$ is the only vertex of $\mathcal{WV}_{\pi}$ through which $w_{i}$ sees the base; that is, the pocket has $\rho_{i}$ as its sole gateway to ${e}_{\mathtt{base}}$. Both shortest paths $\mathsf{\Pi_{u}}(w_{i})$ and $\mathsf{\Pi_{v}}(w_{i})$ then leave the pocket through $\rho_{i}$, so

By Observation 2 the endpoints $\ell(w_{i})$ and $r(w_{i})$ both lie on the line $\overline{w_{i}\,\rho_{i}}$; hence they coincide with the single point $b_{i}$ where that line, extended, meets ${e}_{\mathtt{base}}$, and $\mathtt{Int}(w_{i})=\{b_{i}\}$.

The pocket may be aimed freely. Choosing where $w_{i}$ sits behind $\rho_{i}$ turns the ray $\overline{w_{i}\,\rho_{i}}$ to any direction, so $b_{i}$ can be placed at any prescribed abscissa on ${e}_{\mathtt{base}}$, independently of the other pockets: the pockets are separated horizontally, and the region below the reflex vertices is empty, so the aiming rays may cross there without any pocket obstructing another’s single view of the base. We aim them so that the base points realize the order of $\pi$,

Each pocket contributes $\mathcal{O}(1)$ vertices, so $\mathcal{WV}_{\pi}$ has $\mathcal{O}(k)$ vertices and is written down from $\pi$ in $\mathcal{O}(k)$ time; it is weakly visible from ${e}_{\mathtt{base}}$ because each pocket is seen from its base point $b_{i}$ and the remainder of $\mathcal{WV}_{\pi}$ lies directly above ${e}_{\mathtt{base}}$.

It remains to read off the visibility intersection graph. Recall the two horizontal lines $L_{b}$, $L_{t}$ and the order-preserving maps $\beta\colon{e}_{\mathtt{base}}\to L_{b}$ and $\tau$ of Section 3.2. Because $\mathsf{\ell Anchor}(w_{i})=\mathsf{rAnchor}(w_{i})=\rho_{i}$, the upper side of the trapezoid $T(w_{i})$ is the single point $\tau(\rho_{i})$, and because $\ell(w_{i})=r(w_{i})=b_{i}$ its lower side is the single point $\beta(b_{i})$. Every trapezoid therefore degenerates to a segment

joining a point of $L_{b}$ to a point of $L_{t}$. The reflex vertices were placed with increasing abscissa, so their clockwise indices increase with $i$ and the top endpoints $\tau(\rho_{1}),\dots,\tau(\rho_{k})$ appear in this order along $L_{t}$; the bottom endpoints $\beta(b_{1}),\dots,\beta(b_{k})$ appear along $L_{b}$ in the order of $\pi$. Two segments spanning a pair of parallel lines cross if and only if their endpoints occur in opposite orders on the two lines, so $T(w_{i})$ and $T(w_{j})$ cross exactly when $i<j$ and $\pi(i)>\pi(j)$, that is, exactly when $\{i,j\}$ is an inversion of $\pi$. By Theorem 3.1 the visibility intersection graph $G_{S_{\pi}}$ is the intersection graph of the family $\{T(w_{i})\}$, which is thus the permutation graph of $\pi$.

Finally, replacing the single aiming ray of each pocket by the two bounding rays of a sufficiently narrow pocket makes each $\mathtt{Int}(w_{i})$ a short interval and each $T(w_{i})$ a thin trapezoid, without altering which pairs cross; this satisfies the general position assumption of Section 2 while preserving $G_{S_{\pi}}$. Figure 4 shows the construction for $\pi=(1,4,2,3)$.

A maximum independent set of the permutation graph of $\pi$ has size equal to the length of a longest increasing subsequence of $\pi$, and computing this length requires $\Omega(k\log k)$ comparisons in the worst case [20]; the bound holds in the algebraic decision-tree model, as does the equivalent bound obtained by a reduction from Element Uniqueness [7, 36]. Suppose an algorithm solved Discrete Witness Set in $o(k\log k)$ operations on the stated instances. Given $\pi$, build $(\mathcal{WV}_{\pi},S_{\pi})$ in $\mathcal{O}(k)$ time by Lemma 4 and run the algorithm on it. By Corollary 1 the size of its output equals a maximum independent set of $G_{S_{\pi}}$, hence the longest increasing subsequence length of $\pi$, computed in $o(k\log k)$ operations, a contradiction.

The upper bound is Corollary 2. For the lower bound, apply Theorem 3.4 with $k=\Theta(n)$: the polygon then has $\mathcal{O}(n)$ vertices and $m=\Theta(n)$ points, and $k\log k=\Theta(n\log n)$.

Fix an interval representation of $H$: closed intervals $I_{1},\dots,I_{n}$ on a horizontal line, with distinct endpoints, such that two vertices of $H$ are adjacent if and only if the corresponding intervals meet. Write $I_{i}=[a_{i},b_{i}]$. Say that $I_{i}$ is left of $I_{j}$ when $b_{i}<a_{j}$, that is, when $I_{i}$ lies entirely to the left of $I_{j}$. This relation is a strict partial order, and we fix a linear extension $\sigma$ of it, so that $b_{i}<a_{j}$ implies $\sigma(i)<\sigma(j)$.

We reuse the pocket construction of Lemma 4, with the single change that the pockets are wider. Put ${e}_{\mathtt{base}}$ on a horizontal segment and build the upper chain of $\mathcal{WV}$ so that it carries $n$ pairwise disjoint shallow pockets, arranged from left to right in the order given by $\sigma$. The mouth of the pocket that holds vertex $i$ has a left reflex vertex $\lambda_{i}$ and a right reflex vertex $\rho_{i}$. Place a single input point $w_{i}$ so deep in that pocket that the pocket is its only gateway to ${e}_{\mathtt{base}}$. Then $\mathsf{\Pi_{u}}(w_{i})$ leaves the pocket around $\lambda_{i}$ and $\mathsf{\Pi_{v}}(w_{i})$ leaves it around $\rho_{i}$, so