arxiv: v1 [cs.cg] 26 Sep 2018

Transcription

1 Convex partial transversals of planar regions arxiv: v1 [cs.cg] 26 Sep 2018 Vahideh Keikha Department of Mathematics and Compter Science, University of Sistan and Balchestan, Zahedan, Iran Mees van de Kerkhof 1 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands m.a.vandekerkhof@.nl Marc van Kreveld 2 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands m.j.vankreveld@.nl Irina Kostitsyna Department of Mathematics and Compter Science, TU Eindhoven, Eindhoven, The Netherlands i.kostistyna@te.nl Maarten Löffler 3 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands m.loffler@.nl Frank Staals 4 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands f.staals@.nl Jérôme Urhasen 5 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands j.e.rhasen@.nl Jordi L. Vermelen 6 Department of Information and Compting Sciences, Utrecht University, Utrecht, The Netherlands j.l.vermelen@.nl Lionov Wiratma 7 Department of Information and Compting Sciences, Utrecht University Utrecht, The Netherlands Department of Informatics, Parahyangan Catholic University Bandng, Indonesia l.wiratma@.nl;lionov@npar.ac.id 1 M.v.d.K. spported by the Netherlands Organisation for Scientific Research nder proj M.v.K. spported by the Netherlands Organisation for Scientific Research nder proj M.L. spported by the Netherlands Organisation for Scientific Research nder proj F.S. spported by the Netherlands Organisation for Scientific Research nder proj J.U. spported by the Netherlands Organisation for Scientific Research nder proj J.V. spported by the Netherlands Organisation for Scientific Research nder proj L.W. spported by the Mnst. of Research, Techn. and High. Ed. of Indonesia (No /E4.4/2015)

2 187:2 Convex partial transversals of planar regions (a) (b) (c) Figre 1 (a) A set of 12 regions. (b, c) A convex partial transversal of size 10. Abstract We consider the problem of testing, for a given set of planar regions R and an integer k, whether there exists a convex shape whose bondary intersects at least k regions of R. We provide a polynomial time algorithm for the case where the regions are disjoint line segments with a constant nmber of orientations. On the other hand, we show that the problem is NP-hard when the regions are intersecting axis-aligned rectangles or 3-oriented line segments. For several natral intermediate classes of shapes (arbitrary disjoint segments, intersecting 2-oriented segments) the problem remains open ACM Sbject Classification Theory of comptation Comptational Geometry Keywords and phrases comptational geometry, algorithms, NP-hardness, convex transversals 1 Introdction A set of points Q in the plane is said to be in convex position if for every point q Q there is a halfplane containing Q that has q on its bondary. Now, let R be a set of n regions in the plane. We say that Q is a partial transversal of R if there exists an injective map f : Q R sch that q f(q) for all q Q; if f is a bijection we call Q a fll transversal. In this paper, we are concerned with the qestion whether a given set of regions R admits a convex partial transversal Q of a given cardinality Q = k. Figre 1 shows an example. The stdy of convex transversals was initiated by Arik Tamir at the Forth NYU Comptational Geometry Day in 1987, who asked Given a collection of compact sets, can one decide in polynomial time whether there exists a convex body whose bondary intersects every set in the collection? Note that this is eqivalent to the qestion of whether a convex fll transversal of the sets exists: given the convex body, we can place a point of its bondary in every intersected region; conversely, the convex hll of a convex transversal forms a convex body whose bondary intersects every set. In 2010, Arkin et al. [2] answered Tamir s original qestion in the negative (assming P NP): they prove that the problem is NPhard, even when the regions are (potentially intersecting) line segments in the plane, reglar polygons in the plane, or balls in R 3. On the other hand, they show that Tamir s problem can be solved in polynomial time when the regions are disjoint segments in the plane and the convex body is restricted to be a polygon whose vertices are chosen from a given discrete set of (polynomially many) candidate locations. Goodrich and Snoeyink [6] show that for a set of parallel line segments, the existence of a convex transversal can be tested in O(n log n) time. Schlipf [12] frther proves that the problem of finding a convex stabber for a set of disjoint bends (that is, shapes consisting of two segments joined at one endpoint) is also NP-hard. She also stdies the optimisation version of maximising the nmber of regions stabbed by a convex shape; we may re-interpret this qestion as finding the largest k sch that a convex partial transversal of cardinality k exists. She shows that this problem is also NP-hard for a set of (potentially intersecting) line segments in the plane.

3 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:3 Table 1 New and known reslts. disjoint intersecting line segments: parallel O(n 6 ) (pper hll only: O(n 2 )) N/A 2-oriented open 3-oriented NP-hard ρ-oriented polynomial arbitrary open NP-hard [2] rectangles: sqares open open rectangles open NP-hard other: bends NP-hard [12] Related work. Compting a partial transversal of maximm size arises in wire layot applications [13]. When each region in R is a single point, or problem redces to determining whether a point set P has a sbset of cardinality k in convex position. Eppstein et al. [4] solve this in O(kn 3 ) time and O(kn 2 ) space sing dynamic programming; the total nmber of convex k-gons can also be tablated in O(kn 3 ) time [11, 9]. If we allow resing elements, or problem becomes eqivalent to so-called covering color classes introdced by Arkin et al. [1]. Arkin et al. show that for a set of regions R where each region is a set of two or three points, compting a convex partial transversal of R of maximm cardinality is NP-hard. Conflict-free coloring has been stdied extensively, and has applications in, for instance, celllar networks [5, 7, 8]. Reslts. Despite the large body of work on convex transversals and natral extensions of partial transversals that are often mentioned in the literatre, srprisingly, no positive reslts were known. We present the first positive reslts: in Section 2 we show how to test whether a set of parallel line segments admits a convex transversal of size k in polynomial time; we extend this reslt to disjoint segments of a fixed nmber of orientations in Section 3. Althogh the hardness proofs of Arkin et al. and Schlipf do extend to partial convex transversals, we strengthen these reslts by showing that the problem is already hard when the regions are 3-oriented segments or axis-aligned rectangles (Section 4). Or reslts are smmarized in Table 1. The arrows in the table indicate that one reslt is implied by another. For ease of terminology, in the remainder of this paper, we will drop the qalifier partial and simply se convex transversal to mean partial convex transversal. Also, for ease of argment, in all or reslts we test for weakly convex transversals. This means that the transversal may contain three or more colinear points. 2 Parallel disjoint line segments Let R be a set of n vertical line segments in R 2. We assme that no three endpoints are aligned. Let R and R denote the sets of pper and lower endpoints of the regions in R, respectively, and let R = R R. In Section 2.1 we focs on compting an pper convex transversal a convex transversal Q in which all points appear on the pper hll of Q that maximizes the nmber of regions visited. We show that there is an optimal transversal whose strictly convex vertices lie only on bottom endpoints in R. In Section 2.2 we prove that there exists an optimal convex transversal whose strictly convex vertices are taken from the set of all endpoints R, and whose leftmost and rightmost vertices are taken from a discrete

4 187:4 Convex partial transversals of planar regions set of points. This leads to an O(n 6 ) time dynamic programming algorithm to compte sch a transversal. 2.1 Compting an pper convex transversal Let k be the maximm nmber of regions visitable by a pper convex transversal of R. Lemma 1. Let U be an pper convex transversal of R that visits k regions. There exists an pper convex transversal U of R, that visits the same k regions as U, and sch that the leftmost vertex, the rightmost vertex, and all strictly convex vertices of U lie on the bottom endpoints of the regions in R. Proof. Let U be the set of all pper convex transversals with k vertices. Let U U be a pper convex transversal sch that the sm of the y-coordinates of its vertices is minimal. Assme, by contradiction, that U has a vertex v that is neither on the lower endpoint of its respective segment nor aligned with its adjacent vertices. Then we can move v down withot making the pper hll non-convex. This is a contradiction. Therefore, all vertices in U are either aligned with their neighbors (and ths not strictly convex), or at the bottom endpoint of a region. Let Λ(v, w) denote the set of bottom endpoints of regions in R that lie left of v and below the line throgh v and w. See Figre 2(a). Let slope(v) denote the slope of the spporting line of v, and observe that slope(v) = slope(v). By Lemma 1 there is an optimal pper convex transversal of R in which all strictly convex vertices lie on bottom endpoints of the segments. Let K[v, w] be the maximm nmber of regions visitable by a pper convex transversal that ends at a bottom endpoint v, and has an incoming slope at v of at least slope(vw). It is important to note that the second argment w is sed only to specify the slope, and w may be left or right of v. We have that K[v, w] = max max Λ(v,w) s Λ(,v) K[, s] + I[, v], where I[, v] denotes the nmber of regions in R intersected by the segment v (in which we treat the endpoint at as open, and the endpoint at v as closed). See Figre 2(a) for an illstration. Observation 2. Let v, s, and t be bottom endpoints of segments in R with slope(sv) > slope(tv). We have that K[v, t] K[v, s]. Fix a bottom endpoint v, and order the other bottom endpoints w R in decreasing order of slope slope(wv). Let S v denote the reslting order. We denote the x-coordinate of a point v by v x. Lemma 3. Let v and w be bottom endpoints of regions in R, and let be the predecessor of w in S v, if it exists (otherwise let K[v, ] = ). We have that { max{1, K[v, ], K[w, v] + I[w, v]} if wx < v x K[v, w] = max{1, K[v, ]} otherwise. Proof. If w does not have any predecessor in S v then w can be the only endpoint in Λ(v, w). In particlar, if w lies right of v then Λ(v, w) is empty, and ths K[v, w] = 1, i.e. or transversal starts and ends at v. If w lies left of v we can either visit only v or arrive from

5 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:5 v w v w v w s Λ(v, w) (a) (b) (c) Figre 2 (a) The definition of K[v, w]. The region Λ(v, w) is indicated in prple. The segments conted in I[, v] are shown in red. (b) The case that K[v, w] = K[v, ], where corresponds to the predecessor slope of slope(vw). (c) The case that K[v, w] = K[w, v] + I[w, v]. w, provided the incoming angle at w is at least slope(wv). In that case it follows that the maximm nmber of regions visited is K[w, v] + I[w, v]. If w does have a predecessor in S v, we have Λ(v, w) = Λ(v, ) W, where W is either empty or the singleton {w}. By Observation 2 (and the definition of K) we have that K[v, ] = max Λ(v,) max s Λ(,v) K[, s] + I[, v]. Analogos to the base case we have max W K[v, ] max s Λ(,v) K[, s] + I[, v] = max{1, K[w, v] + I[w, v]}. The lemma follows. Lemma 3 now sggests a dynamic programming approach to compte the K[v, w] vales for all pairs of bottom endpoints v, w: we process the endpoints v on increasing x-coordinate, and for each v, we compte all K[v, w] vales in the order of S v. To this end, we need to compte (i) the (radial) orders S v, for all bottom endpoints v, and (ii) the nmber of regions intersected by a line segment v, for all pairs of bottom endpoints, v. We show that we can solve both these problems in O(n 2 ) time. We then also obtain an O(n 2 ) time algorithm to compte k = max v,w K[v, w]. Compting predecessor slopes. For each bottom endpoint v, we simply sort the other bottom endpoints arond v. This can be done in O(n 2 ) time in total [10] 8. We can now obtain S v by splitting the reslting list into two lists, one with all endpoints left of v and one with the endpoints right of v, and merging these lists appropriately. In total this takes O(n 2 ) time. Compting the nmber of intersections. We se the standard dality transform [3] to map every point p = (p x, p y ) to a line p : y = p x x p y, and every non-vertical line l : y = ax + b to a point l = (a, b). Consider the arrangement A formed by the lines p dal to all endpoints p (both top and bottom) of all regions in R. Observe that in this dal space, a vertical line segment R = pq R corresponds to a strip R bonded by two parallel lines p and q. Let R denote this set of strips corresponding to R. It follows that if we 8 Alternatively, we can dalize the points into lines and se the dal arrangement to obtain all radial orders in O(n 2 ) time.

6 187:6 Convex partial transversals of planar regions p R R p R R p p slope(p ) > slope(r ) bottom before top slope(p ) < slope(r ) top before bottom slope(p ) < slope(r ) slope(p ) > slope(r ) top before bottom bottom before top Figre 3 A line p intersects the bottom of the strip R if and only if slope(p ) > slope(r ), v l v R slope( ) < slope(r ) < slope(v ) Figre 4 The strip R with a slope in the range [ x, v x] containing l v contribtes one to T (l v) and zero to T v (l v). want to cont the nmber of regions of R intersected by a qery line l we have to cont the nmber of strips in R containing the point l. All or qery segments v are defined by two bottom endpoints and v, so the spporting line l v of sch a segment corresponds to a vertex l v of the arrangement A. It is fairly easy to cont, for every vertex l of A, the nmber of strips that contain l, in a total of O(n 2 ) time; simply traverse each line of A while maintaining the nmber of strips that contain the crrent point. Since in or case we wish to cont only the regions intersected by a line segment v (rather than a line l v ), we need two more observations. Assme withot loss of generality that x < v x. This means we wish to cont only the strips R that contain l v and whose slope slope(r) lies in the range [ x, v x ]. Observation 4. Let p be a line, oriented from left to right, and let R be a strip. The line p intersects the bottom bondary of R before the top bondary of R if and only if slope(p ) > slope(r ). Again consider traversing a line p of A (from left to right), and let T p (l ) be the nmber of strips that contain the point l and that we enter throgh the top bondary of the strip. Lemma 5. Let l v, with x < v x, be a vertex of A at which the lines and v intersect. The nmber of strips from R with slope in the range [ x, v x ] containing l v is T (l v) T v (l v). Proof. A strip that does not contain l = l v contribtes zero to both T (l ) and T v (l ). A strip that contains l bt has slope larger than v x (and ths also larger than x ) contribtes one to both T (l ) and T v (l ) (Observation 4). Symmetrically, a strip that contains l bt has slope smaller than x contribtes zero to both T (l ) and T v (l ). Finally, a strip whose slope is in the range [ x, v x ] is intersected by from the top, and by v from

7 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:7 the bottom (Observation 4), and ths contribtes one to T (l ) and zero to T v (l ). See Figre 4 for an illstration. The lemma follows. Corollary 6. Let, v R be bottom endpoints. The nmber of regions of R intersected by v is T (l v) T v (l v). We can easily compte the conts T (l v) for every vertex l v on by traversing the line. We therefore obtain the following reslt. Lemma 7. For all pairs of bottom endpoints, v R, we can compte the nmber of regions in R intersected by v, in a total of O(n 2 ) time. Applying this in or dynamic programming approach for compting k we get: Theorem 8. Given a set of n vertical line segments R, we can compte the maximm nmber of regions k visitable by an pper convex transversal Q in O(n 2 ) time. 2.2 Compting a convex transversal We now consider compting a convex partial transversal that maximizes the nmber of regions visited. We first prove some properties of convex transversals. We then se these properties to compte the maximm nmber of regions visitable by sch a transversal sing dynamic programming Canonical Transversals Lemma 9. Let Q be a convex partial transversal of R. transversal Q of R sch that There exists a convex partial the transversals have the same leftmost vertex l and the same rightmost vertex r, the pper hll of Q intersects the same regions as the pper hll of Q, all strictly convex vertices on the pper hll of Q lie on bottom endpoints of R, the lower hll of Q intersects the same regions as the lower hll of Q, and all strictly convex vertices on the lower hll of Q lie on top endpoints of regions in R. Proof. Clip the segments containing l and r sch that l and r are the bottom endpoints, and apply Lemma 1 to get an pper convex transversal U of R whose strictly convex vertices lie on bottom endpoints and that visits the same regions as the pper hll of Q. So we can replace the pper hll of Q by U. Symmetrically, we can replace the lower hll of Q by a transversal that visits the same regions and whose strictly convex vertices se only top endpoints. A partial convex transversal Q of R is a lower canonical transversal if and only if the strictly convex vertices on the pper hll of Q lie on bottom endpoints in R, the strictly convex vertices on the lower hll of Q lie on bottom or top endpoints of regions in R, the leftmost vertex l of Q lies on a line throgh w, where w is the leftmost strictly convex vertex of the lower hll of Q, and another endpoint. the rightmost vertex r of Q lies on a line throgh z, where z is the rightmost strictly convex vertex of the lower hll of Q, and another endpoint. An pper canonical transversal is defined analogosly, bt now l and r lie on lines throgh an endpoint and the leftmost and rightmost strictly convex vertices on the pper hll.

8 187:8 Convex partial transversals of planar regions l ˆQ p w w Figre 5 We move l and the vertices on lw downwards, bending at and w ntil lw contains a bottom endpoint p or becomes colinear with ww. Lemma 10. Let Q be a convex partial transversal of R for which all h 2 strictly convex vertices in the lower hll lie on endpoints of regions in R. There exists a lower canonical transversal Q of R, that visits the same regions as Q. Proof. Let l be the leftmost point of Q, let be the vertex of Q adjacent to l on the pper hll, let w be the leftmost strictly convex vertex on the lower hll of Q, and let w be the strictly convex vertex of Q adjacent to w. We move l and all other vertices of Q on lw downwards, bending at and w, while Q remains convex and visits the same k-regions ntil: (i) l lies on the bottom endpoint of its segment, (ii) the segment lw contains the bottom endpoint p of a region, or (iii) the segment lw has become collinear with ww. See Figre 5. Observe that in all cases l lies on a line throgh the leftmost strictly convex vertex w and another endpoint (either l itself, p, or w ). Symmetrically, we move r downwards ntil it lies on an endpoint or on a line throgh the rightmost strictly convex vertex z on the lower hll of Q and another endpoint. Let Q be the reslting convex transversal we obtain. Let R be the regions intersected by the pper hll of Q (setting the bottom endpoint of the regions containing l and r to be l and r). We now appeal to Lemma 1 to get that there is an pper hll that also visits all regions in R and in which all strictly convex vertices lie on bottom endpoints. So, we can replace the pper hll of Q by this pper hll and obtain the transversal Q stated in the lemma. Lemma 11. Let Q be a convex partial transversal of R, whose lower hll intersects at least one region (other than the regions containing the leftmost and rightmost vertices) bt contains no endpoints of regions in R. There exists a convex partial transversal Q intersecting the same regions as Q that does visit one endpoint of a region in R. Proof. Consider the region R intersected by lr whose bottom endpoint p minimizes the distance between p and w = R lr, and observe that w is a vertex of Q. Shift down w (and the vertices on lw and wr) ntil w lies on p. Let Q = lrv be a qadrilateral whose leftmost vertex is l, whose top vertex is, whose rightmost vertex is r, and whose bottom vertex is v. The qadrilateral Q is a lower canonical qadrilateral if and only if and v lie on endpoints in R, l lies on a line throgh v and another endpoint, and r lies on a line throgh v and another endpoint. We define pper canonical qadrilateral analogosly (i.e. by reqiring that l and r lie on lines throgh rather than v). Lemma 12. Let Q = lrv be a convex qadrilateral with l as leftmost vertex, r as rightmost vertex, a bottom endpoint on the pper hll of Q, and v an endpoint of a region in R.

9 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:9 p p v p v v v (a) (b) (c) (d) p p (b.i) q q v p v p (b.ii) v (b.iii) Figre 6 We can transform a qadrilateral transversal Q into a transversal with two strictly convex vertices on the lower hll or on the pper hll (cases (a) and (d)), or into a qadrilateral in which the leftmost vertex and rightmost vertex lie on a line throgh an endpoint and either or v (cases (b) and (c)). The bottom row shows how we can shift r to lie on a line throgh v and another endpoint q when we already have that l lies on a line throgh v and an endpoint p. There exists an pper or lower canonical qadrilateral Q intersecting the same regions as Q, or there exists a convex partial transversal Q whose pper hll contains exactly two strictly convex vertices, both on endpoints, or whose lower hll contains exactly two strictly convex vertices, both on endpoints. Proof. Shift l downward and r pward with the same speed, bending at and v ntil one of the edges of the qadrilateral will stop to intersect the regions only intersected by that edge. It follows that at sch a time this edge contains an endpoint p of a region in R. We now distingish between for cases, depending on the edge containing p. See Figre 6. (a) Case p l. It follows p is a bottom endpoint. We contine shifting l and r, now bending in p,, and v. We now have a convex partial transversal Q that visits the same regions as Q and whose pper hll contains at least two strictly convex vertices, both bottom endpoints of regions. (b) Case p lv. It follows that p is a bottom endpoint. We now shift r downwards ntil: (b.i) r contains a bottom endpoint q, (b.ii) vr contains a bottom endpoint q or (b.iii) vr is collinear with lv. In the case (b.i) we get an pper hll with two strictly convex vertices, both bottom endpoints of regions. In cases (b.ii) and (b.iii) we now have that both l and r lie on lines throgh v and another endpoint. (c) Case p r. Similar to the case p lv we now shift l back pwards ntil the lower hll contains at least two strictly convex endpoints, or ntil l lies on a line throgh and some other endpoint q. (d) Case p vr. Similar to the case p l. We contine shifting l downward and r pward, bending in p, ths giving two strictly convex vertices in the lower hll, both on endpoints. Let k2 be the maximal nmber of regions of R visitable by an pper convex transversal, let k4 be the maximal nmber of regions of R visitable by a canonical pper qadrilateral, and let k denote the maximal nmber of regions of R visitable by a canonical pper transversal. We define k2, b k4, b and k b, for the maximal nmber of regions of R, visitable by

10 187:10 Convex partial transversals of planar regions a lower convex transversal, canonical lower qadrilateral, and canonical lower transversal, respectively. Lemma 13. Let k be the maximal nmber of regions in R visitable by a convex partial transversal of R. We have that k = max{k 2, k 4, k, k b 2, k b 4, k b }. Proof. Clearly k max{k2, k4, k, k2, b k4, b k b }. We now arge that we can transform an optimal convex partial transversal Q of R visiting k regions into a canonical transversal. The lemma then follows. By Lemma 9 there is an optimal convex partial transversal Q of R, visiting k regions, whose strictly convex vertices lie on endpoints of the regions in R. If either the lower or pper hll of Q does not intersect any regions, we se Lemma 1 (or its analog for the bottom hll) to get k = max{k2, k2}. b Otherwise, if the lower hll of Q contains at least two strictly convex vertices, we apply Lemma 10, and obtain that there is a convex lower transversal. Similarly, if the pper hll contains at least two strictly convex vertices we apply a lemma analogos to Lemma 10, and obtain that there is a canonical pper transversal visiting the same k regions as Q. If Q has at most one strictly convex vertex on both the lower hll and pper hll we se Lemma 11 and get that there exists a convex qadrilateral Q that visits the same regions as Q. We now apply Lemma 12 to get that there either is an optimal transversal that contains two strictly convex vertices on its pper or lower hll, or there is a canonical qadrilateral Q that intersects the same regions as Q. In the former case we can again apply Lemma 10 to get a canonical convex partial transversal that visits k regions. In the latter case we have k = max{k4, k4}. b By Lemma 13 we can restrict or attention to pper and lower convex transversals, canonical qadrilaterals, and canonical transversals. We can compte an optimal pper (lower) convex transversal in O(n 2 ) time sing the algorithm from the previos section. Next, we arge that we can compte an optimal canonical qadrilateral in O(n 5 ) time, and an optimal canonical transversal in O(n 6 ) time. Arkin et al. [2] describe an algorithm that given a discrete set of vertex locations can find a convex polygon (on these locations) that maximizes the nmber of regions stabbed. Note, however, that since a region contains mltiple vertex locations and we may se only one of them we cannot directly apply their algorithm. Observe that if we fix the leftmost strictly convex vertex w in the lower hll, there are only O(n 2 ) candidate points for the leftmost vertex l in the transversal. Namely, the intersection points of the (linearly many) segments with the linearly many lines throgh w and an endpoint. Let L(w) be this set of candidate points. Analogosly, let R(z) be the candidate points for the rightmost vertex r defined by the rightmost strictly convex vertex z in the lower hll. 2.3 Compting the maximal nmber of regions intersected by a canonical qadrilateral Let Q = lrw be a canonical lower qadrilateral with x < w x, let R be the regions intersected by l lw, and let T [w,, l] = R be the nmber of sch regions. We then define R wl = R \ R to be the remaining regions, and I(R wl,, w, r) as the nmber of regions from R intersected by r wr. Observe that those are the regions from R that are not intersected by l lw. Note that we exclde the two regions that have or w as its endpoint from R wl. Hence, the nmber of regions intersected by Q is T [w,, l] + I(R wl,, w, r),

11 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:11 l r w Figre 7 The green vertical segments are R, while the gray and black ones are R wl. The nmber of black vertical segments is I(R wl,, w, r). See Figre 7, and the maximm nmber of regions all canonical lower qadrilaterals with x w x is max(t [, w, l] + max I(R wl,, w, r)).,w,l r R(w) We show that we can compte this in O(n 5 ) time. If x > w x, we se a symmetric procedre in which we cont all regions intersected by r rw first, and then the remaining regions intersected by l lw. Since k b 4 is the maximm of these two reslts, compting k b 4 takes O(n 5 ) time as well. Since there are O(n) choices for w and, and O(n 2 ) for l, we can naively compte T [w,, l] and R wl in O(n 5 ) time. For each w, we then radially sort R(w) arond w. Next, we describe how we can then compte all I(R,, w, r), with r R(w), for a given set R = R wl, and how to compte max r I(R,, w, r). Compting the nmber of Intersections Given a set of regions R, the points, w, and the candidate endpoints R(w), sorted radially arond w, we now show how to compte I(R,, w, r) for all r R(w) in O(n 2 ) time. We sort the endpoints of R radially arond w and arond, and partition the points in R(w) based on which segment (region) they lie. Let G be a region that has q as its bottom endpoint, and let R(w, G) = R(w) G. We explicitly compte the nmber of regions m intersected by q qw in linear time, and set I(R,, w, q) to m. We shift p q, while maintaining the nmber of regions intersected by q qw. See Figre 8(b) As q moves pwards, the segments q and qw, sweep throgh endpoints of the regions in R. We can decide which event shold be processed first from the two ordered lists of endpoints in constant time. If an event occrs, the vale of m changes depending on the type of endpoint and which line segment (q or qw) responsible for that particlar event. If q sweeps throgh a point in R, we increase the vale of m by one. Conversely, we decrease the vale of m by one if q sweeps a top endpoint of some region G if G does not intersect with qw. Otherwise, we do nothing. We treat events cased by qw in a similar way. See Figre 8(b) for an illstration. When q passes throgh a candidate point r R(w, G) we set I(R,, w, r) to m. Compting all vales I(R,, w, r) for all r R(w, G) then takes O(n) time, and ths O(n 2 ) time over all regions G.

12 187:12 Convex partial transversals of planar regions G 2 l l q w w qw G q G 1 (a) (b) Figre 8 (a) The red crosses are possible candidate points in R(w). Gray crosses above l or below wl or left to the vertical line throgh w is not part of R(w). (b) The orange line segment q and green line segment qw move pwards along G. An events occrs when either q or qw sweeps throgh the endpoint of a vertical segment in R. When q sweeps throgh the top endpoint of G 1, we check whether G 1 intersects with qw or not. We increase the nmber of intersected segment when q sweeps throgh the bottom endpoint of G 2 and decrease it when qw sweeps throgh the top endpoint of G 1. Maximizing over r. To find the point r R(w) that maximizes R [, w, l, r] we now jst filter R(w) to exclde all points above the line throgh and l and below the line throgh w and l, and report the maximm I vale among the remaining points. Improving the rnning time to O(n 5 ). Directly applying the above approach yields an O(n 6 ) time algorithm, as there are a total of O(n 4 ) triples (, w, l) to consider. We now improve this to O(n 5 ) time as follows. First observe that since x < w x, r rw cannot intersect any regions of the regions left of. Let R be this set of regions. Since l lies left of (by definition) we ths have that I(R wl,, w, r) = I(R wl \ R,, w, r). Second, consider all points l L(w) that lie on the line throgh w and some endpoint p. Observe that they all have the same set R wl \ R. This means that there are only O(n 3 ) different sets R wp = R wl \ R for which we have to compte I(R wp,, w, r) vales. Finally, again consider all points l L(w) that lie on the line µ throgh w and some point p. For all these points we discard the same points from R(w) becase they are below µ. We can then compte T [, w, l] + max r I(R wp,, w, r) for all these points l in O(n 2 ) time in total, by rotating the line ν throgh and l arond in conter clockwise order, while maintaining the valid candidate points in R(w) (i.e. above µ and below ν), and the maximm I(R wp,, w, r) vale among those points, see Figre 9. Since there are O(n 3 ) combination of w,, and p, then in total we spent O(n 5 ) time to compte all vales of T [, w, l] + max r I(R wp,, w, r), over all, w, and l, and ths we obtain the following reslt. Lemma 14. Given a set of n vertical line segments R, we can compte the maximm nmber of regions k visitable by a canonical qadrilateral Q in O(n 5 ) time.

13 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:13 ν µ l l p w Figre 9 R wp is shown in green vertical segments. The red crosses below ν (that has one of its endpoint at l ), above µ and to the left of vertical line throgh w are candidates for the rightmost point. The orange crosses become candidates for the rightmost point after we rotate ν in conter-clockwise order and consider l as the leftmost point Compting the maximal nmber of regions intersected by a canonical transversal Next, we describe an algorithm to compte the maximal nmber of regions visitable by a lower canonical convex transversal. Or algorithm consists of three dynamic programming phases, in which we consider (partial) convex hlls of a particlar shape. In the first phase we compte (and memorize) B[w,, v, l]: the maximal nmber of regions visitable by a partial transversal that has wl as a segment in the lower hll, and a convex chain l,...,, v as pper hll. See Figre 10(a). In the second phase we compte K[, v, w, z]: the maximal nmber of regions visitable by the canonical partial convex transversal whose rightmost top edge is v and whose rightmost bottom edge is wz. In the third phase we compte the maximal nmber of regions visitable when we close the transversal sing the rightmost vertex r. To this end, we define R [z,, v, r] as the nmber of regions visitable by the canonical transversal whose rightmost pper segment is v and whose rightmost bottom segment is wz and r is defined by the strictly convex vertex z. Compting B[w,, v, l]. Given a set of regions R let U R [l,, v] be the maximal nmber of regions in R visitable by an pper convex transversal that starts in a fixed point l and ends with the segment v. Lemma 15. We can compte all vales U R [l,, v] in O(n 2 ) time. Proof. Analogos to the algorithm in Section 2.1. Let B[w,, v, l] be the maximal nmber of regions visitable by a transversal that starts at w, back to l, and then an pper hll from l ending with the segment v. See Figre 10(a). For each combination of w and l L(w), explicitly constrct the regions R w,l not intersected by wl. We then have that B[w,, v, l] = R \ R w,l + U R w,l[l,, v]. So, we can compte all B[w,, v, l], for w R, l W (l), and, v R, in O(n 5 ) time in total.

14 187:14 Convex partial transversals of planar regions v v v l l z w w t w (a) (b) (c) z Figre 10 (a) B[w,, v, l] indicates the nmber of regions visited by a partial convex transversal that has lw as bottom hll and the pper hll from l to v. We can compte the B[w,, v, l] vales for all, v by explicitly setting aside the segments intersected by lw and then sing the pper hll algorithm. (b) The base case of the recrrence when x < w x. The regions conted by I[w, z,, v] are shown in red, whereas the regions conted by B[w,, v, l] are shown in black. (c) The indctive step when x < w x. Compting X[a,, w, z, l]. Let X[a,, w, z, l] be the maximm nmber of regions left of visitable by a partial transversal that has a as its leftmost strictly convex vertex in the bottom hll, has l L(a) as its leftmost vertex, has wz as rightmost edge in the bottom hll, and has l as its (partial) pper hll. We can compte X[a,, w, z, l] sing an approach similar to the one we sed to compte B[w,, v, l]: we fix a,, and l, and explicitly compte the segments intersected by l la. We set those we cont them, and set them aside. On the remaining segments R we compte an optimal bottom hll from a to z whose incoming slope at a is at least slope(l, a). This takes O(n 2 ) time, sing an analogos approach to that sed in Section 2.1. Since we have O(n 4 ) choices for the triple a,, l this takes a total of O(n 6 ) time. Compting K[, v, w, z]. Let (P,, v, w, z) denote the sbset of the points P left of {, v, w, z}, below the line throgh and v, and above the line throgh w and z. Let K[, v, w, z] be a maximal nmber of regions visitable by the minimm area canonical partial convex transversal that has v as its rightmost segment in the pper hll and wz as its rightmost segment in the lower hll. If x < w x we have that K[, v, w, z] = max{ max l (L(w),,v,w,z) B[w,, v, l] + I[w, z,, v], max K[, v, t, w] + I[w, z,, v]}, t ( R,,v,w,z) where I[w, z,, v] is the nmber of segments intersected by wz bt not by v. See Figre 10(b) and (c) for an illstration. We rewrite this to K[, v, w, z] = I[w, z,, v]+max{ max l (L(w),,v,w,z) B[w,, v, l], max t ( R,,v,w,z) K[, v, t, w]}.

15 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:15 v s v l l z z w w (a) (b) Figre 11 The two cases in the dynamic program when x > w x. (a) The segments conted by T [w,, l] in black, J[w, z, l, ] in green, I[, v, w, z] in red, and I [w, z, ] in prple. (b) The case where there is another segment in the lower hll as well. The segments conted by I[, v, w, z] are again shown in red, whereas the segments conted by K[s,, w, z] are shown in black. If x > w x we get a more complicated expression. Let J[w, z, l, ] be the nmber of regions intersected by wz bt not by l, and let I [w, z, ] be the nmber of regions right of intersected by wz. See Figre 11 for an illstration. We then have K[, v, w, z] = max{ which we rewrite to max a ( R,,v,w,z), l L(a) X[a,, w, z, l] + I [w, z, ] + I[, v, w, z], max K[s,, w, z] + I[, v, w, z]} s ( R,,v,w,z) K[, v, w, z] = I[, v, w, z] + max{i [w, z, ] + max a ( R,,v,w,z), l L(a), max K[s,, w, z]}. s ( R,,v,w,z) X[a,, w, z, l] We can naively compte all I[w, z,, v] and all I [w, z, ] vales in O(n 5 ) time. Since there are only O(n) choices for t compting all vales max t K[, v, t, w] for all cells takes only O(n 5 ) time in total. The same holds for compting all max s K[s,, w, z]. As we describe next, we can compte the max l B[w,, v, l] vales in O(n 5 ) time as well. Fix w, compte all O(n 2 ) candidate points in L(w) and sort them radially arond w. For each v: remove the candidate points above the line throgh and v. This takes O(n 5 ) time in total. For each maximal sbset S L(w) that lies below the line throgh and v, we now do the following. We rotate a line arond w in conterclockwise order, starting with the vertical line. We maintain the sbset of S that lies above this line, and max l S B[w,, v, l]. Ths, when this line sweeps throgh a point z, we know the vale max l (L(w),,v,w,z) B[w,, v, l]. There are O(n 3 ) sets S, each of size O(n 2 ). So, while rotating the line we process O(n 2 +n) = O(n 2 ) events. Since we can look p the vale B[w,, v, l] vales in constant time, processing each event takes only O(1) time. It follows that we spend O(n 5 ) time in total. Similarly, compting all max a,l X[a,, w, z, l] vales reqires O(n 6 ) time: we fix a,, w, z, and l, and compte all O(n 6 ) vales X[a,, w, z, l] in O(n 6 ) time. We grop these vales

16 187:16 Convex partial transversals of planar regions based on the slope of la, and sort the grops on this slope. This again takes O(n 6 ) in total. Similarly, we sort the vertices v arond, and simltaneosly scan the list of X vales and the vertices v, while maintaining the maximm X[a,, w, z, l] vale that has slope at least slope(, v). This takes O(n 6 ) time. It follows that we can compte all K[, v, w, z] vales in O(n 6 ) time in total. Closing the hll. We now consider adding the rightmost point to finish the convex transversal. Given vertices, v, w, and z, let R be the segments intersected by the partial transversal corresponding to K[, v, w, z]. We explicitly compte R vwz = R \ R, and then compte the maximm nmber of regions from this set intersected by vr rz, over all choices of rightmost vertex r. This takes O(n 2 ) time sing the exact same approach we sed in the canonical qadrilateral section. It follows that we can compte the maximm nmber of regions visitable by a canonical bottom convex transversal in O(n 6 ) time. Therefore we conclde: Theorem 16. Given a set of n vertical line segments R, we can compte the maximm nmber of regions k visitable by a convex partial transversal Q in O(n 6 ) time. 3 2-oriented disjoint line segments In this section we consider the case when R consists of vertical and horizontal disjoint segments. We will show how to apply similar ideas presented in previos sections to compte an optimal convex transversal Q of R. As in the previos section, we will mostly restrict or search to canonical transversals. However, nlike in the one-oriented case, we will have one special case to consider when an optimal partial convex transversal has bends not necessarily belonging to a discrete set of points. We call the left-, right-, top- and bottommost vertices l, r, and b of a convex partial transversal the extreme vertices. Consider a convex hll of a partial transversal Q, and consider the for convex chains between the extreme vertices. Let s call the chain between vertices l and the pper-left hll, and the other chains pper-right, lower-right and lowerleft. Similar to Lemma 1 we can show the following: Lemma 17. Let Q be a convex partial transversal of R with extreme vertices l, r,, and b. There exists a convex partial transversal Q of R sch that the two transversals have the same extreme vertices, all segments that are intersected by the pper-left, pper-right, lower-right, and lower-left hlls of Q are also intersected by the corresponding hlls of Q, all strictly convex vertices on the pper-left hll of Q lie on bottom endpoints of vertical segments or on the right endpoints of horizontal segments of R, the convex vertices on the other hlls of Q lie on analogos endpoints. One condition for a transversal to be canonical will be that all its strictly convex vertices, except for the extreme ones, satisfy the conditions of Lemma 17. Another condition will be that its extreme vertices belong to a discrete set of fixed points. This set of fixed points will contain all the endpoints of the segments in R; we will call these points 0th-order fixed points. Frthermore, the set of fixed points will contain intersections of the segments of R of certain lines, that we will describe below, with the segments of R. Now, consider a convex partial transversal Q for which all the strictly convex vertices, except for the for extreme ones, lie on endpoints of segments in R. We will describe how

17 Keikha, Kerkhof, Kreveld, Kostitsyna, Löffler, Staals, Urhasen, Vermelen, Wiratma 187:17 to slide the extreme vertices of Q along their respective segments to obtain a canonical transversal. Note, that for simplicity of exposition in the description below we assme that no new intersections of the convex hll of Q with segments of R appear. Otherwise, we can restart the process with higher vale of k. Let s l, s r, s, and s b be the for segments containing the for extreme points, and denote as R l, R r, R bl, and R br the for sbsets of R of segments intersected by the pper-left, pper-right, bottom-left, and bottom-right hlls respectively. First, consider the case when (or b) lies on a vertical segment. Then it can be safely moved down (or p) ntil it hits an endpoint of its segment (i.e., a 0th-order fixed point), or is no longer an extreme vertex. If it is no longer an extreme vertex, we restore the conditions of Lemma 17 and contine with the new topmost (or bottommost) vertex of the transversal. Similarly, in the case when l or r lie on horizontal segments, we can slide them ntil they reach 0th-order fixed points. Assme then that and b lie on horizontal segments, and l and r lie on vertical segments. We frther assme that the non-extreme vertices have been moved according to Lemma 17. We observe that either (1) there exists a chain of the convex hll of Q containing at least two endpoints of segments, (2) there exists a chain of the convex hll of Q containing no endpoints, or (3) all for convex chains contain at most one endpoint. In case (1), w.l.o.g., let the pper-left hll contain at least 2 endpoints. Then we can slide left along its segment ntil it reaches its endpoint or an intersection with a line throgh two endpoints of segment in R l. Note that sliding left does not create problems on the top-right hll. We can also slide l p along its segment ntil it reaches its endpoint or an intersection with a line throgh two endpoints of segments in R l. Ths, we also need to consider the intersections of segments in R with lines throgh pairs of endpoints; we will call these 1st-order fixed points. Now, vertices and l are fixed, and we will proceed with sliding r and b. For vertex r, we frther distingish two cases: (1.a) the pper-right convex hll contains at least two endpoints, or (1.b) it contains at most one endpoint. In case (1.a), similarly to the case (1), we slide r p ntil it reaches an endpoint of s r or an intersection with a line throgh two endpoints of segments in R r. In case (1.b), we slide r p, while nbending the strictly convex angle if it exists, ntil r reaches an endpoint of s r, or ntil the pper-right hll (which will be a straight-line segment r at this point) contains a topmost or a rightmost endpoint of some segment in R r. In this case, r will end p in an intersection point of a line passing throgh and an endpoint of a segment in R r. We will call sch points 2nd-order fixed points, defined as an intersection of a segment in R with a line passing throgh a 1st-order fixed point and an endpoint of a segment in R. Similarly, for b we distingish two cases on the size of the lower-left hll, and slide b ntil a fixed point (of 0th-, 1st-, or 2nd-order). Ths, in case (1) we get a canonical convex transversal representation with strictly convex bends in the endpoints of segments in R, and extreme vertices in fixed points of 0th-, 1st-, or 2nd-order. Note that there are n 2i+1 points that are ith-order, which means we only have to consider a polynomial nmber of discrete vertices in order to find a canonical soltion. In case (2), when there exists a chain of the convex hll of Q that does not contain any endpoint, w.l.o.g., assme that this chain is the pper-left hll. Then we slide left ntil the segment l hits an endpoint of a segment while bending at an endpoint of the pper-right hll or at the point r, if the pper-right hll does not contain an endpoint. If the endpoint we hit does not belong to s, we are either in case (3), or there is another chain

18 187:18 Convex partial transversals of planar regions of the convex hll withot endpoint and we repeat the process. Else is an 0th-order fixed point, and we can move l p ntil it is an at most 1st-order fixed point. Then, similarly to the previos case, we slide r and b ntil reaching at most a 1st-order fixed point and at most a 2nd-order fixed point respectively. Ths, in case (2) we also get a canonical convex transversal representation with strictly convex bends in the endpoints of segments in R, and extreme vertices in fixed points of 0th-, 1st-, or 2nd-order. Finally, in case (3), we may be able to slide some extreme points to reach another segment endpoint on one of the hlls, which gives s a canonical representation, as it pts s in case (1). However, this may not always be possible. Consider an example in Figre 13. If we try sliding left, we will need to rotate l arond the point e l (see the figre), which will propagate to rotation of lb arond e bl, br arond e br, and r arond er, which may not reslt in a proper convex hll of Q. The last case is a special case of a canonical partial convex transversal. It is defined by for segments on which lie the extreme points, and for endpoints of segments pinning the convex chains of the convex hll sch that the extreme points cannot move freely withot inflencing the other extreme points. Next we present an algorithm to find an optimal canonical convex transversal with extreme points in the discrete set of fixed points. In the sbseqent section we consider the special case when the extreme point are not necessarily from the set of fixed points. 3.1 Calclating the canonical transversal We know that the vertices of a soltion mst lie on 0th, 1st or 2nd order points. We sbdivide the segments into several sbproblems that we can solve similarly to the parallel case. First, we gess the for extreme points of or convex polygon, as seen in Figre 12a. These for points mst be linked by x, y-monotone chains, and each chain has a trianglar region in which its vertices may lie, as illstrated in Figre 12b. The key insight is that inside each of these regions, we have a partial ordering on the segments, as each segment can cross any x, y-monotone chain only once. This allows s to identify three types of sbproblem: 1. Segments that lie inside two non-adjacent regions. We inclde any segments that lie between two of these into one sbproblem and solve it separately. In Figre 12c, this sbproblem is indicated in yellow. Note that there can be only one sch sbproblem. 2. Segments that lie inside two adjacent regions. We inclde any segments that mst come before the last one in or partial ordering. There are at most for of these sbproblems; they are indicated in prple in Figre 12c. 3. Segments that lie inside only one region. This incldes only those segments not sed in one of the other sbproblems. There are at most for of these sbproblems; they are indicated in ble in Figre 12c. For sbproblems 1 and 2, we now gess the last points sed on these sbproblems (for points for sbproblem 1, two for each instance of sbproblem 2). We can then solve these sbproblems sing a similar dynamic programming algorithm to the one sed for parallel segments. For sbproblem 3, the problem is easier, as we are only bilding one half of the convex chain. We simply perform this algorithm for all possible locations for extreme points and endpoints of sbproblems. For a given set of gesses, we can solve a sbproblem of any type in polynomial time.