"Science, Faculty of"@en .
"Computer Science, Department of"@en .
"DSpace"@en .
"UBCV"@en .
"Jabbari, Zohreh"@en .
"2010-04-30T14:33:18Z"@en .
"2010"@en .
"Master of Science - MSc"@en .
"University of British Columbia"@en .
"Given a polygon P, we considered the problem of finding the shortest total paths for two and three mobile guards to cover P. In our definition of the problem, we do not limit the movements of the guards. The guards are allowed to start their paths at any point on the polygon, cross the interior or intersect each other's paths if necessary. A polygon P is covered by two guards if every point in P is on the line that connects the guards at some point in time. We proved that if the polygon is convex, the optimal sweep limits the paths of the guards to the perimeter of the polygon. In the optimal solution the guards may start their paths at the end-points of the longest edge of P and end their paths at the end-points of the second longest edge in P, visiting the n-2 other edges along the way. Finding such a path takes O(n) time. With three, the guarding problem is defined differently. In the three guard problem a point is covered if it is on the triangle formed by the guards at some point in the sweep. We found that even in convex polygons in some cases crossing the polygon makes the sweep shorter. However, we showed that the optimal sweep is always simple (i.e., the guards paths do not cross one another). By recognizing the conditions where interior paths are beneficial we were able to present an algorithm to find the optimal 3-guard path in O(n\u00E2\u0081\u00B5) time."@en .
"https://circle.library.ubc.ca/rest/handle/2429/24248?expand=metadata"@en .
"Optimally Sweeping Convex Polygons with Two and Three Guards by Zohreh Jabbari B.Sc., Sharif University of Technology, 2007 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Computer Science) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) April 2010 c Zohreh Jabbari 2010 \u00C2\u00B0 \u000CAbstract Given a polygon P , we considered the problem of finding the shortest total paths for two and three mobile guards to cover P . In our definition of the problem, we do not limit the movements of the guards. The guards are allowed to start their paths at any point on the polygon, cross the interior or intersect each other\u00E2\u0080\u0099s paths if necessary. A polygon P is covered by two guards if every point in P is on the line that connects the guards at some point in time. We proved that if the polygon is convex, the optimal sweep limits the paths of the guards to the perimeter of the polygon. In the optimal solution the guards may start their paths at the end-points of the longest edge of P and end their paths at the end-points of the second longest edge in P , visiting the n \u00E2\u0088\u0092 2 other edges along the way. Finding such a path takes O(n) time. With three, the guarding problem is defined differently. In the three guard problem a point is covered if it is on the triangle formed by the guards at some point in the sweep. We found that even in convex polygons in some cases crossing the polygon makes the sweep shorter. However, we showed that the optimal sweep is always simple (i.e., the guards paths do not cross one another). By recognizing the conditions where interior paths are beneficial we were able to present an algorithm to find the optimal 3guard path in O(n5 ) time. ii \u000CTable of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Abstract Acknowledgments Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . vii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1 The Watchman Route . . . . . . . . . . . . . . . . . . . . . 1.1.1 The Robber Route Problem . . . . . . . . . . . . . 1.1.2 The ZooKeeper and Safari and Aquarium Problems 1.2 The Two-Guard Street Problem . . . . . . . . . . . . . . . 1.2.1 The Three-Guard Street Problem . . . . . . . . . . 1.3 Searching For an Intruder . . . . . . . . . . . . . . . . . . . 1.3.1 The Hunter\u00E2\u0080\u0099s Problem . . . . . . . . . . . . . . . . 1.3.2 Room Search Problem . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 3 3 4 4 5 5 2 Problem Statement . . . . 2.1 Guarding Conditions for 2.2 Coverage Model . . . . 2.3 Minimizing Total Path 2.4 Convex Polygons . . . . . . . . . 6 6 7 10 11 3 2-Guard Solution . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 2-Guard Problem . . . . . . . . . . . . . . . . . . . . . . . . 13 14 15 4 3-Guard Solution . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1 Simple Mathematical Lemmas . . . . . . . . . . . . . . . . . 4.1.1 Simple Triangle Lemmas (Edge Length and Angle) . 22 34 34 . k . . . . . . . . Guards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii \u000CTable of Contents . . . . . . 36 38 43 45 49 56 5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 71 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 4.2 4.3 4.1.2 Majorization . . . . . . . Single Intersection Case . . . . . 4.2.1 Normalization Tools . . . 4.2.2 Normalization Algorithm 4.2.3 Final and Special Cases . Double Intersection Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv \u000CList of Figures 2.1 2.2 2.3 . . The gray area is not covered by area or line coverage. . . . . . . . . . Line vs. area coverage, the gray area is not covered by line coverage. 8 8 4 guards cover the polygon with a 4-chain sweep, without crossing the interior of the polygon. Guards C is stationary during the sweep, as its 2.4 3.1 3.2 3.3 3.4 3.5 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10 4.11 4.12 4.13 4.14 4.15 4.16 chain (C3 ) is empty. . . . . . . . . . . . . . . . . . . . . . . . . . An example of a sweep in a simple polygon. . . . . . . . . . . 10 12 2-Guard perimeter sweep of a convex polygon. . . . . . . . . Pocket Se for free boundary segment e. . . . . . . . . . . . . . Existence of pockets for all intermediate free boundary segments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Left an right paths share a visited interior segment. . . . . . . Left and right paths share a visited boundary segment. . . . . 14 18 An optimal sweep that requires crossing the interior of the polygon. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Another optimal sweep that requires crossing the interior of the polygon. . . . . . . . . . . . . . . . . . . . . . . . . . . . . A sweep with no interior paths. . . . . . . . . . . . . . . . . . . . . A single interior crossing. . . . . . . . . . . . . . . . . . . . . . . One guard crosses the polygon, and back again to its previous chain. . . a |px| + |qx| is minimized when |p\u00E2\u0080\u00B2 x| = a+b d. . . . . . . . . . . . . . . Single intersection. . . . . . . . . . . . . . . . . . . . . . . . . . Double intersection. . . . . . . . . . . . . . . . . . . . . . . . . . The new paths for the three guards, when all paths intersects (Case 3). . Left path and right path share a line segment. . . . . . . . . . . . . . Re-arranging of sweep T when left and right path share a line segment. . Different forms of a Case3 sweep, and its suitable transformation. . . . An arbitrary triangle ABC. . . . . . . . . . . . . . . . . . . . . . When A = \u00CF\u0080/2, a + b < x + y. . . . . . . . . . . . . . . . . . . . . Extending the results to an obtuse angle. . . . . . . . . . . . . . . . A convex polygon with a single intersection. . . . . . . . . . . . . . . 19 20 20 22 23 23 23 23 24 26 26 27 29 30 33 34 35 36 38 v \u000CList of Figures 4.17 The quadrilateral made by drawing tangency lines, fully encompasses polygon P . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.18 An arbitrary quadrilateral ABCD and its two chords x and y. . . . . . 4.19 The quadrilateral can be transformed into a triangle by flattening one of its corners. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.20 An alternative transformation when two adjacent quadrants have angles \u00E2\u0089\u00A5 \u00CF\u0080/2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.21 Type A, general form of the transformed triangle. . . . . . . . . . . . 4.22 Type B, alternate transformed triangle. . . . . . . . . . . . . . . . . 4.23 Changing t would affect the lengths of x and y. . . . . . . . . . . . . 4.24 Double intersection case1. . . . . . . . . . . . . . . . . . . . . . . 4.25 Double intersection case2. . . . . . . . . . . . . . . . . . . . . . . 4.26 Double intersection case3. . . . . . . . . . . . . . . . . . . . . . . 4.27 Case1 is simplified to a single intersection. . . . . . . . . . . . . . . 4.28 Case2 is simplified to a perimeter walk (no interior paths). . . . . . . . 4.29 The remaining case of double intersection. . . . . . . . . . . . . . . . 4.30 A polygon P where the extended lines of AC and DB diverge. . . . . . 4.31 The general form of a counter-example. . . . . . . . . . . . . . . . . 4.32 The general form of the counter example after the first two steps. . . . 4.33 The outcome of the first seven of transformation on Fig. 4.33. . . \u00CB\u009B \u00CB\u009B steps 4.34 Choose A\u00CC\u0082 on AX such that \u00CB\u009B\u00CB\u009BA\u00CC\u0082X \u00CB\u009B\u00CB\u009B = \u00CE\u00BB. . . . . . . . . . . . . . . . . 4.35 Normalization transform the polygon into this triangle. . . . . . \u00CB\u009B \u00CB\u009B would \u00CB\u009B \u00CB\u009B 4.36 If A < \u00CF\u0080/3, \u00CB\u009BC\u00CC\u0082 D\u00CC\u0082\u00CB\u009B > \u00CE\u00BB. . . . . . . . . . . . . . . . . . . . . . . . . 4.37 XC \u00E2\u0080\u00B2 and X \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 are drawn perpendicular to AB. . . . . . . . . . . . . 4.38 The relationship between edge lengths and \u00CE\u00B8 in a right triangle. . . . . \u00CB\u009B \u00CB\u009B \u00CB\u009B \u00CB\u009B 4.39 |CX| + \u00CB\u009BAC\u00CC\u0082 \u00CB\u009B \u00E2\u0088\u0092 |CA| \u00E2\u0089\u00A5 \u00CE\u00BB/2 . . . . . . . . . . . . . . . . . . . . . 42 42 42 44 56 56 56 56 56 57 58 59 60 62 62 63 64 65 66 67 \u00CB\u009B \u00CB\u009B 4.40 \u00CB\u009B\u00CB\u009BC\u00CC\u0082 D\u00CC\u0082\u00CB\u009B\u00CB\u009B > \u00CE\u00BB/2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 40 40 41 vi \u000CAcknowledgments This work would not have been possible without the continuous help and support from my supervisors, Dr. David Kirkpatrick and Dr. William Evans. I wish to express my most sincere gratitude to them for their encouragement, patience and guidance that have guided me through the past two years. I am honored to have had the opportunity of working with them and learning from them. I would like to thank Dr. Patrice Belleville for reviewing my thesis and for his valuable comments. I am also thankful to my colleagues at Beta lab for sharing their knowledge and experiences with me. would also like to thank my family for their support through my entire life, my mom and dad for believing in me, my younger sister, Farzaneh, for our joyful conversations and time together, my little niece, Viyana, whose laughter makes my day and last but not least my older sister and brotherin-law, Hosna and Majid, without whose advice, encouragement and editing assistance, I would not have finished this thesis. vii \u000CTo my parents. viii \u000CChapter 1 Introduction The original Art Gallery problem was proposed by Victor Klee in 1973. The problem was defined as: \u00E2\u0080\u009CHow many guards are necessary and sufficient to guard artistic objects in a given art gallery with n walls?\u00E2\u0080\u009D. He posed this question in answer to Vasek Chva\u00CC\u0081tal\u00E2\u0080\u0099s request at a conference at Stanford, for an interesting geometric problem. Assuming that the gallery is a polygon, the problem can also be stated as a visibility problem of covering this polygon with minimum star-shaped polygons. In 1975, Chva\u00CC\u0081tal proved that, \u00E2\u008C\u008An/3\u00E2\u008C\u008B guards are occasionally necessary and always sufficient to cover a polygon with n vertices. The proof was later simplified by Fisk, via a 3-coloring argument[16]. The problem of determining the minimum number of guards that suffice to cover a given polygon was shown to be N P -hard by Lee and Lin [9] by reducing it from 3SAT . Many other variations of the Art Gallery Problems and visibility problems have been since analyzed and published. Many of them use the idea of mobile guarding. In this section we will review some of these problems briefly. More information on them and other related problems can be found in [16], [17], [21] and [22]. 1.1 The Watchman Route Chin and Ntafos[3], defined the Watchman Route Problem (WRP). A watchman route for a simple polygon P is a closed walk in P , such that every point of P is visible from some point of the walk. Two point on polygon P are visible from one another if the line connecting them lies completely in P . The problem can be divided into \u00E2\u0080\u009Cfixed source\u00E2\u0080\u009D and \u00E2\u0080\u009Cfloating\u00E2\u0080\u009D cases[6]. A fixed source WRP, considers a pre-set point s as the starting point of the route, while the floating case finds the optimal route with any possible 1 \u000C1.1. The Watchman Route starting point. Chin and Ntafos propose an O(n4 log log n) algorithm to find the shortest fixed source route in a simple polygon [4]. It was shown that the problem can be solved in O(n) for orthogonal polygons. The problem is NP-hard for polygons with holes, even when the holes are convex or orthogonal[2]. The hardness result was achieved by reduction from the Geometric Traveling Salesman problem. Different variations of Watchman Route Problem has been studied since, among these problems are External Watchman route, Several Watchman Routes, and Minimum-Link Watchman Tours. External watchman route problem was proposed by Ntafos and Gewali, as \u00E2\u0080\u009CFinding a shortest watchman route from which the exterior of the polygon is visible\u00E2\u0080\u009D. They presented an O(n4 log log n) algorithm for finding the minimum external watchman routes for simple polygons, and more efficient algorithms for restricted classes of polygons (convex, monotone, star and spiral polygons)[15]. Another class of problems, considers the existence of several watchman routes. They define the problem as \u00E2\u0080\u009CGiven an art gallery and an integer m \u00E2\u0089\u00A5 1, compute the routes for m watchmen so that each point in the gallery is seen by at least one watchman from some position on his route, and the sum of the lengths of the routes is minimized\u00E2\u0080\u009D [12]. They propose a \u00CE\u0098(n2 ) to solve the problem. The algorithm extends their \u00CE\u0098(n) solution for finding the shortest watchman route for a spiral polygon. [1] also considers the problem for m watchmen. 1.1.1 The Robber Route Problem The Robber Route Problem was introduced by Ntafos [13]. We are given a polygon P and a point x on its boundary, a set S (sights) of edges of P and a set T (threats) of points in P . The goal is to find the shortest possible route (if there is one) from x and back to itself, such that every edge in S is visible from some point on the route, while the route is not visible to any of the points in T [13]. The algorithm they present, solves the problem in O(n4 log log n) for simple polygons and in O((|S| + |T |)n + n log log n) in orthogonal polygons. 2 \u000C1.2. The Two-Guard Street Problem 1.1.2 The ZooKeeper and Safari and Aquarium Problems Safari Route and Zookeeper are both variations of the Watchman Route problem. In these problems a route has to be found such that certain specified areas are visited, and other known areas are avoided. In addition, the length of the route has to be minimal. In other words, given a polygon P with a set of k polygonal sites S within P , find the shortest route in P such that every site in S is visited at some point during the route[21]. In the Safari Route problem, one can enter the sites, but in Zookeeper\u00E2\u0080\u0099s it is not allowed. Chin and Ntafos who proposed the problems, showed them to be NP-hard in general. However if all sites are attached to P , then polynomial algorithms can solve the problem. They proposed an O(n2 ) algorithm to solve the Zookeeper\u00E2\u0080\u0099s problem [21], and an O(n3 ) algorithm to find a Safari Route [14]. Another interesting problem in this group is the Aquarium Problem, which was proposed by Czyzowicz et al [5]. In this problem the edges of the polygon are the visited areas, i.e., the goal is to find the shortest route that touches all the edges of polygon. They gave an O(n) time algorithm for this problem. 1.2 The Two-Guard Street Problem The two-guard street problem was first presented by Icking and Klein. Given a simple polygon P , and two distinguished vertices s and g, \u00E2\u0080\u009Cis it possible for two guards to move from s to t, each guard walking on one of the boundary chains, such that the line segment connecting the guards is always contained within P ?\u00E2\u0080\u009D. A movement that allows these constraints is called a walk, and a polygon that admits a walk is walkable. In a general two guard problem, the goal is to find the minimum of all available walks from s to t [8]. The two-guard problem has also been referred to as corridor problem when the s and g are edges rather than vertices. In a walk, a guard may backtrack on his path, in order to maintain his connection with the other guard. If no backtracking is necessary the walk is called straight. A counter walk is a walk where one guards walks from s to g and the other walks from g to s. 3 \u000C1.3. Searching For an Intruder Icking and Klein propose an O(n log n) solution for the decision problem, also possible straight walk and straight counter walk can be found in O(n log n + k). In a general walk when backtracks are unavoidable, O(n log n + k) time and linear space is sufficient for finding the walk, where k is the length of the walk and may be \u00CE\u0098(n2 ) [8]. These results were improved by Heffernan [7]. He presented an O(n) algorithm to determine whether a general walk from s to g is possible, although his algorithm did not produce the actual walk. Tseng, Heffernan and Lee, considered the problem from another perspective, they proposed an algorithm that finds all pairs of points in a simple polygon P , that admit a straight or general walk in O(n log n) time and all pairs that admit a straight or counter walk in O(n log n + m)[20]. Bhattacharya, Mukhopadhyay and Narasimhan, further improved the results. Their algorithm determines all pairs of points in P which admit walks, straight walks and discrete straight walks in O(n). 1.2.1 The Three-Guard Street Problem In a recent article, Tan proposes the three-guard problem as an extension of the two-guard problem [19]. As in two-guard case, we are given a simple polygon P and two points s and g on P . One guard walks on the left chain, another on the right chain and the third guard walks inside the polygon; the two guards walking on the perimeter of P should always maintain visibility with the inside guard. The question is if there is a (straight)(counter) walk for three guards from s to g. Their solution, decides the walkability of a given polygon in O(n log n) time, generates a walk in O(n log n + k) time, where k \u00E2\u0088\u0088 O(n2 ) is the size of the optimal walk [19]. 1.3 Searching For an Intruder There are several problems that fit into this category, they generally assume that there is an intruder or intruders in a polygonal space, and a number of guards have to catch or detect the intruder in finite time. This class of problems is similar to our problem, since in addition to finding the intruder they require a minimal coverage of the polygon. The difficulty of these problems however, is mostly related to polygon visibility, which makes it different from our problem. 4 \u000C1.3. Searching For an Intruder 1.3.1 The Hunter\u00E2\u0080\u0099s Problem Suzuki and Yamashita, defined The Hunter\u00E2\u0080\u0099s Problem as searching a polygonal region for a mobile intruder by one searcher. The searcher is either k\u00E2\u0088\u0092searcher (k \u00E2\u0089\u00A5 1) or \u00E2\u0088\u009E\u00E2\u0088\u0092searcher. k\u00E2\u0088\u0092searcher carries k flashlights each emanating a ray, that define his sight. The direction of the rays can be changed continuously with a bounded angular rotation speed. \u00E2\u0088\u009E\u00E2\u0088\u0092searcher can see in 360 degree simultaneously. The goal is to decide if there is a schedule for the given searcher, on a polygon P to find the intruder, and if so, to generate the schedule [18]. They show that if there are three points x, y and z in a polygon P , such that the shortest path (within P ) between each pair is not visible from the third point, then P is not 1-searchable. Also for hedgehog polygons, 2-searcher is as capable as \u00E2\u0088\u009E\u00E2\u0088\u0092searcher [18]. 1.3.2 Room Search Problem The Room Search Problem was introduced in [10]. The problem assumes that we are given a simple polygonal room with one door at point d. Assume that there is an intruder in the room, and the question is whether there is a possible path, a searcher who enters the room from the door can follow, and detect the intruder before he slips out of the room through the door. In their problem the polygon is searched with a 1-searcher. They observe that reflex angles are the source of problems and design their algorithm to detect certain conditions that makes a polygon not searchable by a 1-searcher. 5 \u000CChapter 2 Problem Statement 2.1 Guarding Conditions for k Guards We define the problem of guarding a polygon P with k mobile guards, as assigning paths to the guards, such that every point on P is covered by the configuration of the guards at some point in time, and also the total length of the paths followed by the guards is minimized. The guards are free to move in any way they need to, as long as the total path length is minimized. Based on the shape of the polygon, the number of guards and the definition of P , we get different sweeps. In this problem the convex polygon is a simplification for an art gallery, and its edges are the walls of the gallery. To make the problem definition consistent with the art gallery concept, we limit the view of each guard by the walls surrounding it; thus the guards have to remain inside the polygon in order to cover it, i.e., G(t) \u00E2\u0088\u0088 P for all t, where G(t) refers to the position of guard G at time t. When studying the problem in convex polygons, the primary focus is on the shape of the sweep. We try to find whether a guard needs to stay on the perimeter of the polygon or crosses the interior, and also if the paths of the guards intersect each other. However when a given polygon is not convex, the mutual visibility of the guards plays a key role in finding the shortest paths for the guards. Therefore we decided to limit our study to convex polygons. In chapter 3 we study the problem for two guards. Paths are defined in a way that the line segment connecting the guards, sweeps the surface of the polygon. In addition, we make the total distance traveled by the two guards is minimal. We prove that in any optimal 2-guard sweep of a convex polygon, both 6 \u000C2.2. Coverage Model guards stay on the boundary, i.e., for every 2-guard sweep that uses interior paths, we offer a new sweep not longer than the original, where the guards do not leave the perimeter of P . In chapter 4 we study the problem for three guards in a convex polygon. Unlike the two guards case, there are cases where crossing the interior of the polygon makes the sweep shorter. We prove that an optimal 3-guard sweep is simple. A sweep is simple if none of the paths intersect in the interior of the polygon. 2.2 Coverage Model In the precious section we used the phrase covering a polygon, without defining what exactly coverage means. In this section we explain different coverage models and their relationships. 2-guard coverage is defined as sweeping the polygon with the line that connects the guards. In other words, every point in the polygon has to be on the line that connects the guards at some point in the sweep. We call this model of coverage pair-wise line coverage. Although the definition of coverage for the 2-guard case was simple, there are different possible definitions for coverage when there are more than two guards. It is possible to define 3-guard coverage as pair-wise line coverage. This definition is a direct extension of the two guard coverage, so much so that it can be considered as 3-way 2-Guard Coverage, since every point on P has to be on the line that connects a pair of guards at some point in time to be covered. However there are other possible definitions; one of them is area coverage, where every point inside the triangle region determined by the guards is said to be covered. As the guards move in P , the shape of this covered triangle changes and new points in the polygon are covered. This definition may be clear when P is convex, but when guards are not mutually visible in a non-convex polygon, the definition becomes unclear. It is clear that a pair-wise line sweep is also an area sweep, the opposite however is not true. Fig. 2.1 shows an area sweep that is not a line sweep, 7 \u000C2.2. Coverage Model A C B Figure 2.1: Line vs. area coverage, the gray area is not covered by line coverage. A B C C A B B C A Figure 2.2: The gray area is not covered by area or line coverage. the gray area in the picture is the area not covered when using line coverage. Another definition is boundary coverage, where a polygon P is covered if every point on the boundary of P has been covered by the guards. Points on the boundary of a polygon are covered when they lie on a closed line segment that connects two of the guards at some point in time, i.e., every point on the boundary of P has to be either on the path of a guard or on an edge, that is visited simultaneously by a pair of guards at some point in time. We refer to such an edge as free edge. Using the definitions of coverage explained so far it is easy to see that a sweep is said to provide boundary coverage if it provides either area coverage or pair-wise line coverage, since in both area and line coverage, the boundary of the polygon has to be covered as well. A boundary coverage on the other hand does not guarantee a line or area coverage for a polygon, even when the polygon is convex. Fig. 2.2 shows a sweep that provides boundary coverage for the polygon but not area or line coverage. This implies that minimum length of the paths of the guards that provides boundary coverage is not longer than the minimum length of the paths 8 \u000C2.2. Coverage Model that covers the area of the polygon, i.e., if an optimal boundary coverage provides area or line coverage, then it is also an optimal area or line sweep, respectively. We define a boundary cover as a sweep that provides boundary coverage. A boundary cover may include traversed and untraversed parts of the boundary. A traversed portions of the perimeter of P , contained between two free boundary segments, is in the form of a chain of traversed edges. A Chain is a series of consecutive traversed edges of P between two free boundary segments. The edges are not necessarily visited by the same guard. The perimeter of a polygon can be divided into chains and free boundary segments, and by definition, every point on a chain has been visited by a guard at some point in time, which leaves us with covering the free boundary segments. In a convex polygon, a free boundary segment can be covered if its end-points are simultaneously visited by a pair of guards at some point during the sweep, therefore we can derive the following condition as the necessary and sufficient condition for a boundary cover: In a k-guard boundary cover, every boundary segment e of a convex polygon P is \u00E2\u0080\u00A2 Traversed by a guard, or \u00E2\u0080\u00A2 Its end-points are visited by two guards simultaneously. Thus, any set of k parameterized curves on a convex polygon P that follow these rules make a boundary cover. A sweep may include any number of chains separated by free boundary segments. It is easy to see that if the number of chains is less than or equal to the number of guards, then none of the guards need to cross the interior of the polygon. This is true even when there are more than three guards (k guards). We can show that in a k guard sweep with m < k chains the guards can sweep the polygon without crossing the interior. The definition of a chain implies that the length of a sweep T with m chains is at least X |Ci | 1\u00E2\u0089\u00A4i\u00E2\u0089\u00A4m 9 \u000C2.3. Minimizing Total Path D A C1 A B C4 C2 B D C C3 Figure 2.3: 4 guards cover the polygon with a 4-chain sweep, without crossing the interior of the polygon. Guards C is stationary during the sweep, as its chain (C3 ) is empty. where Ci is the ith chain in T , and Ci \u00E2\u0088\u00A9 Cj = \u00E2\u0088\u0085, for i 6= j. This lower bound is achievable when m \u00E2\u0089\u00A4 k (Fig. 2.3), \u00E2\u0080\u00A2 Assign one guard to each chain and set an arbitrary order of visit for the free boundary segments. The rest of the guards (if there are more guards than chains) are put on different chains, and stay stationary during the sweep. \u00E2\u0080\u00A2 Each guard moves on its chain, walking from one free boundary segment to the other. \u00E2\u0080\u00A2 Direction of each walk is from the free boundary segment with the lower order towards the free boundary segment with the higher order. This implies that having fewer than k chains would not be optimal, since a sweep with this number of chains leaves more than one guard in a chain where it is not needed. In fact, we can prove that there should be exactly one guard traversing a chain. Having too many chains would also make the sweep longer, since a sweep with too many chains implies that the guards are crossing the interior of the polygon many times, and possibly even intersect each other\u00E2\u0080\u0099s paths. Although crossing the interior can make the sweep shorter in certain scenarios, this only happens with few interior crossings. 2.3 Minimizing Total Path Our goal is to find a sweep with minimum total length for the guards, based on the definition on coverage for the polygon. Previous problems limited the paths of the guards to the boundary of the polygon, defined specific start 10 \u000C2.4. Convex Polygons and end points for the guards or limited the movements of the guards by forcing them to stay visible to each other at all times. In our problem we have relaxed all of these conditions, the guards are allowed to start their paths on any point within the polygon, and they are allowed to walk on the interior of the polygon. For the convex polygon case, we will prove that in a two guard sweep, crossing the interior always makes the paths longer, but with greater than or equal to three guards, then there are certain cases where the guards need to cross the interior in order to realize their minimum paths. For simple polygons, there are even more possibilities. In addition to crossing the interior, there are cases where the guards do not maintain visibility with one another during their paths, since covering different parts of the polygon with a different small team of guards may be shorter than moving all guards through the polygon. Or in a k-star shaped polygon, k guards may stay stationary at key points, while the rest of the guards walk the boundary. 2.4 Convex Polygons Finding the unconditional minimum path for the guards that cover a polygon is not trivial even for convex polygons. Although it may appear that crossing the interior of the polygon increases the lengths of the paths, we can easily find examples where this is not true. When the polygon is covered by three or more guards, then there might be a shortcut through the interior that makes the path of a guard shorter. Examples of sweeps with interior crossings will be given in future chapters. In simple polygons the problem becomes much harder. Fig. 2.4 shows a 2-guard sweep, where the guards cover the polygon by walking along parts of the boundary in opposite directions, while the five long edges of polygon lie on the line that connects the guards at some point in time. 11 \u000C2.4. Convex Polygons Figure 2.4: An example of a sweep in a simple polygon. 12 \u000CChapter 3 2-Guard Solution In the 2-guard case, we sweep a convex polygon with two mobile guards, in a way that the line connecting the guards covers the whole surface of the polygon, and every point in the polygon is on the line segment joining the two guards at some point in time. In addition, we want the total distance traveled by the two guards to be minimal. Previously studied versions of the problem, have always restrict the paths of the guards to the perimeter of the polygon. In our problem, we allow each guard to start his path anywhere within the convex polygon; and to walk on the interior if needed. We show that allowing the guards this flexibility of movement in the 2-guard case does not improve the result, that is there always exists an optimal solution with the guards walking only on the perimeter of polygon. Covering points on the boundary of a polygon is clearly a necessary condition for covering the polygon, but it may not always be sufficient. In this section, we will first show that an optimal boundary cover can be achieved while the guards stay on the perimeter of the polygon, following our proposed paths. Then we will show that our proposed paths cover the polygon. It follows that the optimal 2-guard boundary cover provides an optimal 2guard polygon cover. For a boundary cover each edge in P is either traversed by a guard or covered. Therefore a perimeter-restricted boundary cover (a sweep restricted to the perimeter) of a convex polygon with n edges using two mobile guards must traverse at least n \u00E2\u0088\u0092 2 edges; as the guards can start their paths from the endpoints of one edge and finish it at the endpoints of another edge, one guard walking clockwise and the other anti-clockwise (Fig. 3.1). The total length of such a perimeter-restricted boundary cover is the sum of the lengths of the paths traversed by the guards. The length of shortest 2-guard path, therefore, is the sum of the n \u00E2\u0088\u0092 2 shortest edges of 13 \u000C3.1. Definitions A B B A Figure 3.1: 2-Guard perimeter sweep of a convex polygon. the polygon. This sweep can be obtained in \u00CE\u00B8(n). We prove the optimality of this solution, by showing that there always is a minimum length cover that is perimeter-restricted. 3.1 Definitions In this section, we define the common concepts used in this problem. Many of them are used in the 3-guard case as well. In this problem, the guards are allowed to walk both on the perimeter and the interior of the polygon; therefore the definition of the polygon P includes the boundary and the interior of the polygon. The boundary of the polygon is denoted \u00E2\u0088\u0082P , and the interior of the polygon is denoted I(P ). The guards trace two curves A and B on the polygon. Every point on A or B, is said to be visited by the guards, i.e. a point p in P is visited if, p \u00E2\u0088\u0088 A or p \u00E2\u0088\u0088 B As the relative position of the guards in the polygon is important in the sweep, the curves walked by the guards has been parameterized by time, such that at t = 0 none of the guards have started their walks and the total length of the parameterized curves is 0, and at t = 1 both guards have finished their walks. Since the notion of the length plays an important part in this problem, we have defined some the more commonly used lengths formally: \u00E2\u0080\u00A2 The length of a line segment e is |e|, similarly the length of the line segment ED is |ED|. 14 \u000C3.2. 2-Guard Problem \u00E2\u0080\u00A2 The boundary length of the polygon denoted |\u00E2\u0088\u0082P | is given by, P |\u00E2\u0088\u0082P | = 1\u00E2\u0089\u00A4i\u00E2\u0089\u00A4n |Pi Pi+1 |, where Pi Pi+1 is an edge of P . The notion of coverage that has been used so far can be formally defined as follows: A point p is covered by a pair of parameterized curves (A(t), B(t)), if p \u00E2\u0088\u0088 A(t)B(t) for some t \u00E2\u0088\u0088 [0, 1]. Notice that when P is convex, the guards are always visible to each other; it follows that every point visited by a guard is covered. We define a sweep S to be \u00E2\u0080\u009Ca pair of parameterized curves A and B, that cover P \u00E2\u0080\u009D, i.e., t\u00E2\u0088\u0088[0,1] A(t)B(t) = P. In a sweep parts of the perimeter of P may be unvisited, but still covered. We call these parts free boundary segments. A free boundary segment d of the polygon P in sweep (A, B), is a maximal connected subset of the boundary of P that is unvisited. 3.2 2-Guard Problem For the 2-guard problem, we defined the coverage of a pair of guard paths (parameterized curves) as the set of all points in the polygon that belong to the line segment joining the two guards at some time t \u00E2\u0088\u0088 [0, 1]. In order to find the optimal solution to the 2-guard case, we will first relax the definition of the coverage to boundary coverage, i.e., we find the shortest arrangement of paths for the two guards that is required to cover only the boundary of the polygon. Clearly the length of the shortest such boundary cover is at most the length of the shortest polygon cover. We will then show that since an optimal boundary cover keeps the guards on the perimeter of the polygon, it also covers the interior of the polygon. Thus an optimal 2-guard boundary cover, is also an optimal polygon coverage. This section starts with proving certain conditions about a free boundary segment. It is clear that a free boundary segment can not include a curve, since the polygon is convex. In this lemma we will show that a free boundary segment can not contain a corner of the polygon. Lemma 1. Every free boundary segment in a convex polygon P during a sweep (A, B) is a straight line. Note: We assume that the vertices of P are all extreme vertices, that is, no two edges of P are co-linear. Proof. If a free boundary segment is not a straight line, then it includes at least one extreme vertex v of the polygon, i.e., a vertex on the convex hull 15 \u000C3.2. 2-Guard Problem of P . No convex combination of two points, not equal to v, in P contains v. Hence, the sweep must visit v. There can be any number of free boundary segments in a sweep. We sort these free boundary segments by the time that they are first covered. In a 2-guard sweep all but the first and the last are called the intermediate free boundary segments. In a more general case, an intermediate free boundary segment is a free boundary segment which is not next to an exposed endpoint of a path. In the optimum 2-guard sweep, the guards only traverse n \u00E2\u0088\u0092 2 edges of the polygon, leaving the two longest edges out. They start their paths from the two endpoints of one of the two edges and finish it at the endpoints of the other, walking exclusively on the perimeter. The total length of the sweep would be |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |\u00E2\u0084\u00931 | \u00E2\u0088\u0092 |\u00E2\u0084\u00932 |, where \u00E2\u0084\u00931 and \u00E2\u0084\u00932 are the two longest edges of P . Theorem 1. The length of the optimal 2-guard sweep of a convex polygon P is at least |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |\u00E2\u0084\u00931 | \u00E2\u0088\u0092 |\u00E2\u0084\u00932 |. Proof. We want to show that the length of every sweep is at least the length of our proposed optimal solution. First we will show that our solution covers the boundary of the polygon with minimum total length of the paths of the guards. We will then show that the solution also provide a polygon coverage, which leads to the conclusion and the theorem follows. Suppose a shorter sweep (A, B) exists that covers the boundary of the polygon. Such a sweep must avoid covering more of the boundary of P than the length of n\u00E2\u0088\u00922 shortest edges. It must have more than two free boundary segments, since by Lemma 1 every free boundary segment is a straight line, and therefore a part of an edge. The goal is to show that the length of every such boundary cover is at least the length of our proposed optimal solution. We prove this claim by showing that the length of (A, B) is longer than |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |s| \u00E2\u0088\u0092 |t|, where s and t are the first and last covered free boundary segments in (A, B), respectively. We will then argue that choosing the two longest edges of the polygon as starting and ending free boundary segments gives us the optimal boundary cover. The solution follows a few steps, in the first step, we will remove any existing intersection of the paths of the guards, by assigning a new path to 16 \u000C3.2. 2-Guard Problem each guard. The new paths lead the guards through a perimeter path from s to t, one guard on the left side and the other on the right. We then explain that the new paths are shorter than the original sweep. Since s is the first free boundary segment that is covered by the two guards, the guards do not participate in covering any other free boundary segments prior to s. This implies that if a guard starts its path before walking to s, that part of its path, is entirely contained inside a chain, thus the guard does not have an exposed starting point. Similarly, the guards either end their paths at t, or on chains. These two facts imply that any two guard sweep of a convex polygon, can only contain exposed end-points at the endpoints of its first and last covered free boundary segments (s and t). In the new sweep, both guards start their paths at the end points of s, and finish them at the end-points of t, one guard walks on the left side of the polygon, and the other on the right side. Their paths are chosen from segments of the original sweep (A, B), we will give the left-most segments (regardless of which guard\u00E2\u0080\u0099s path they originally belonged to) to one guard and the right-most segments to the other guard. The rest of this section, describes this method in more detail. \u00E2\u0080\u00A2 Guard 1, \u00C2\u00B7 starts its path at the left end-point of s. \u00C2\u00B7 takes the leftmost path on I(P ) at each intersection. \u00C2\u00B7 until it reaches the left end-point of t. \u00E2\u0080\u00A2 Guard 2, \u00C2\u00B7 starts its path at the right end-point of s. \u00C2\u00B7 takes the rightmost path on I(P ) at each intersection. \u00C2\u00B7 until it reaches the right end-point of t. The new paths of the guards will be easily found if there are no other free boundary segments along the way, since all the edges from the left (right) end-point of s to the left (right) end-point of t would be visited, this implies that the new path of the guards would be restricted to the boundary of the polygon. The length of the new boundary cover is |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |s| \u00E2\u0088\u0092 |t|, and it is less than or equal to the original boundary cover since it does not introduce 17 \u000C3.2. 2-Guard Problem e Se Figure 3.2: Pocket Se for free boundary segment e. any new segments to the paths. If there are any other free boundary segments (not s or t) on the left (right) side, then these free boundary segments are intermediate free boundary segments. When reaching an intermediate free boundary segment e, a guard will choose a path that leaves the perimeter at one end-point of e, walks on a pocket made by the interior leftmost (rightmost) paths around e and gets to the other end-point of e. Thus we have to prove that there are unique pockets for all intermediate free boundary segments along the way. We will prove that for any intermediate free boundary segment e there is a pocket Se made of the paths of the guards, i.e., a set of sub-curves of A and/or B, to each intermediate free boundary segment e, as follows: Definition. A pocket of an intermediate free boundary segment e is the smallest cell, in the arrangement of the polygon edges and all guards\u00E2\u0080\u0099 paths (both boundary and interior paths), that contains e and lies in P (Fig. 3.2). A pocket may include parts of the paths of different guards, even parts of the visited boundary of P . If any part of the pocket is traversed multiple times by (A, B), only one of these visits is considered as part of the pocket. We assumed the left and right do not share any part of the paths. We need this to be true because the argument is: |(A, B)| \u00E2\u0089\u00A5 |(A, B) \u00E2\u0088\u00A9 \u00E2\u0088\u0082P | + \u00E2\u0089\u00A5 |(A, B) \u00E2\u0088\u00A9 \u00E2\u0088\u0082P | + m\u00E2\u0088\u00921 X i=1 m\u00E2\u0088\u00921 X \u00E2\u0089\u00A5 |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |\u00E2\u0084\u00931 | \u00E2\u0088\u0092 |\u00E2\u0084\u00932 | i=1 |Si | (3.1) |ei | (3.2) (3.3) 18 \u000C3.2. 2-Guard Problem s f e t Figure 3.3: Existence of pockets for all intermediate free boundary segments. Where ei is an intermediate free boundary segment, and Si is its pocket. Line. 3.1 claims that the new boundary cover is not longer than the old one. This is true if the left and right paths use parts of the old paths of the guards and do not use any part twice (left and right paths do not share a segment). There is a closed pocket around any intermediate free boundary segment, otherwise we can divide (A, B) into two disconnected regions, which is a contradiction (See Fig. 3.3). Since a path is a connected curve from one end-point to another, then a pocket would also be connected and closed around its free boundary segment. Assume that s is on top of the polygon and t is at the bottom. Any other free boundary segment would therefore, lie between s and t. Since both guards are needed to cover s and t, then there are at least two paths from s to t. In other words, making any cut on the polygon that separates s from t would cross (A, B) in at least at two points. This implies that the left and right paths do not share any segment. Fig. 3.4 and Fig. 3.5 show the two cases where left and right paths share a segment, and it is clear that in both cases we can find a cut that separates s from t and intersects (A, B) at only one point, which is a contradiction. Line 3.2 follows immediately from line 3.1. Clearly |Se | \u00E2\u0089\u00A5 |e| for every intermediate free boundary segment e, since e is a straight line segment. Line 3.3 is derived from line 3.2, using the fact that the length of the boundary of the polygon \u00E2\u0088\u0092 the length of its first and last covered free boundary segments, is greater than or equal to the length of our proposed solution. 19 \u000C3.2. 2-Guard Problem s e f t Figure 3.4: Left an right paths share a visited interior segment. s e f t Figure 3.5: Left and right paths share a visited boundary segment. 20 \u000C3.2. 2-Guard Problem So far we proved that for any intermediate free boundary segment along our proposed left and right paths, there are pockets which do not share any parts of their paths and can be replaced with their respective free edge, since each pocket is strictly longer than its intermediate free boundary segment. We refer to this replacement of pockets with their free edges as flattening a pocket. By flattening each pocket, we create boundary paths from s to t for each guard. Thus we create a boundary cover of length |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 |s| \u00E2\u0088\u0092 |t|, which is less than or equal to the length of the original boundary cover. It also limits the paths of the guards to the perimeter of P . Thus the shortest boundary cover would have s and t equal to the two longest edges of the polygon. Having already established that the length of the optimal sweep is greater than or equal to the length of the optimal boundary cover, we can apply this solution as the optimal sweep, as it also provides coverage for the interior of the polygon. 21 \u000CChapter 4 3-Guard Solution In the previous section we proved that the optimum solution to the 2-guard case does not include any interior paths, i.e., the guards stay on the perimeter of the polygon during the sweep. When we increase the number of guards to 3, it may appear that the same principle is still true, but studying a few simple examples shows that in certain convex polygons, crossing the interior can make a sweep shorter. Fig 4.1 shows a simple example, where crossing the interior is beneficial. Another such example is depicted in Fig. 4.2. In this picture, two guards stay at opposite sides of the polygon while the third walks part of its first chain, then crosses the polygon to traverse its second chain, walks back to its first chain and covers the rest of it. We defined 3-guard coverage as area coverage or triangular coverage, since the area covered by a set of three points in a convex polygon is in the form of a triangle. Having explained that a boundary coverage is a relaxation of the triangular coverage, we will first relax our sweep to boundary cover, since the necessary conditions for a boundary cover are easy to recognize. We will prove that an optimal boundary cover is simple. This limits the optimal 3-guard boundary cover to one of the three forms in Fig. 4.3, Fig. 4.4 or Fig. 4.5. It is easy to see that these cases also provide area coverage, thus an optimal boundary cover gives us an optimal area sweep. B C A B Figure 4.1: An optimal sweep that requires crossing the interior of the polygon. 22 \u000CChapter 4. 3-Guard Solution B A C B Figure 4.2: Another optimal sweep that requires crossing the interior of the polygon. B B A C C B B A A B A C A C C B C B B A C C Figure 4.5: One guard Figure 4.3: A sweep with Figure 4.4: A single inte- crosses the polygon, and no interior paths. rior crossing. back again to its previous chain. Using these cases we designed algorithm 1 for finding the shortest simple 3-guard boundary cover for convex polygon P . It finds the solution in O(n5 ) time, where n is the number of edges in P . Finding further conditions on optimality of a sweep in Fig. 4.3, Fig. 4.4 or Fig. 4.5 may lead to an improved algorithm, but we will not focus on improving the algorithm at this time. Given two chains as inputs, Distance(Chain1 , Chain2 , D, P ) finds the shortest possible path for a guard to visit these chains. A sweep where one guard covers two chains is either as Fig. 4.4 or as Fig. 4.5. Distance finds the shortest interior chords that connect the two chains in a valid format. In an instance of Fig. 4.5 guard C can depart from the boundary of P at either a vertex or even an interior point on an edge. We want to find a point x on a line l, where the sum of the distances of two points p and q to x is minimized. We draw the orthogonal projections of p and q on l, and call the intersection points p\u00E2\u0080\u00B2 and q \u00E2\u0080\u00B2 respectively. Assuming a that |pp\u00E2\u0080\u00B2 | = a, |qq \u00E2\u0080\u00B2 | = b, and |p\u00E2\u0080\u00B2 q \u00E2\u0080\u00B2 | = d, it is easy to see that |p\u00E2\u0080\u00B2 x| = a+b d. Since in Fig. 4.6 |p\u00CC\u0082x| + |qx| is minimized when p\u00CC\u0082q is a straight line. 23 \u000CChapter 4. 3-Guard Solution Algorithm 1 Traversal Re-arrangement(Polygon P) 1: \u00E2\u0084\u00931 , \u00E2\u0084\u00932 , \u00E2\u0084\u00933 \u00E2\u0086\u0090 three longest edges of P 2: minimumTraversal \u00E2\u0086\u0090 |\u00E2\u0088\u0082P| \u00E2\u0088\u0092 |\u00E2\u0084\u00931 | \u00E2\u0088\u0092 |\u00E2\u0084\u00932 | \u00E2\u0088\u0092 |\u00E2\u0084\u00933 | 3: for every edge e and vertex v in P do 4: D[v, e] \u00E2\u0086\u0090 distance of v to e 5: P [v, e] \u00E2\u0086\u0090 orthogonal projection of v on e 6: end for 7: for each 4 edges e1 , e2 , e3 and e4 in P do 8: C1 \u00E2\u0086\u0090 chain between e1 and e2 9: C2 \u00E2\u0086\u0090 chain between e2 and e3 10: C3 \u00E2\u0086\u0090 chain between e3 and e4 11: C4 \u00E2\u0086\u0090 chain between e4 and e1 12: minimumTraversal \u00E2\u0086\u0090 min{ minimumTraversal, |C1 | + |C2 | + |C3 | + |C4 | + min{ Distance(C1 , C3 , D, P ), Distance(C2 , C4 , D, P )}} 13: end for 14: return minimumTraversal In Algorithm 1 there are two loops, the first one (step 3) calculates D and P for all pairs of edge and vertex thus taking O(n2 ) time. The second one (step 7) iterates \u00CE\u00B8(n4 ) times, since it is run for every set of four vertices in the polygon. In each iteration two calls to Distance(Chain1 , Chain2 , D, P ) are made, and each call takes O(n) since m + k \u00E2\u0089\u00A4 n \u00E2\u0088\u0092 2. Therefore the algorithm runs in O(n5 ) time. Algorithm 1 assumes that in an optimum sweep the paths are simple. p\u00CC\u0082 d p\u00E2\u0080\u00B2 a d a+b a x q\u00E2\u0080\u00B2 b q p Figure 4.6: |px| + |qx| is minimized when |p\u00E2\u0080\u00B2 x| = a d. a+b 24 \u000CChapter 4. 3-Guard Solution Algorithm 2 Distance(C1 , C2 , D, P ) 1: p1 , p2 , ..pk \u00E2\u0086\u0090 vertices of C1 2: q1 , q2 , ..qm \u00E2\u0086\u0090 vertices of C2 3: distance \u00E2\u0086\u0090 min{|p1 q1 | , |p1 qm | , |pk q1 | , |pk qm |} 4: for i from 2 to k do 5: a \u00E2\u0086\u0090 D[q1 , pi\u00E2\u0088\u00921 pi ] 6: b \u00E2\u0086\u0090 D[qm , pi\u00E2\u0088\u00921 pi ] 7: d \u00E2\u0086\u0090 |P [q1 , pi\u00E2\u0088\u00921 pi ], P [qm , pi\u00E2\u0088\u00921 pi ]| a 8: x\u00E2\u0086\u0090 d + P [q1 , pi\u00E2\u0088\u00921 pi ] a+b 9: if x is on pi\u00E2\u0088\u00921 pi then 10: distance \u00E2\u0086\u0090 min{distance, |xq1 | + |xqm |} 11: end if 12: distance \u00E2\u0086\u0090 min{distance, |pi q1 | + |pi qm |} 13: end for 14: for j from 2 to m do 15: a \u00E2\u0086\u0090 D[p1 , qj\u00E2\u0088\u00921 qj ] 16: b \u00E2\u0086\u0090 D[pk , qj\u00E2\u0088\u00921 qj ] 17: d \u00E2\u0086\u0090 |P [p1 , qj\u00E2\u0088\u00921 qj ], P [pk , qj\u00E2\u0088\u00921 qj ]| a 18: x\u00E2\u0086\u0090 d + P [p1 , qj\u00E2\u0088\u00921 qj ] a+b 19: if x is on qj\u00E2\u0088\u00921 qj then 20: distance \u00E2\u0086\u0090 min{distance, |xp1 | + |xpk |} 21: end if 22: distance \u00E2\u0086\u0090 min{distance, |p1 qj | + |pk qj |} 23: end for 24: return distance 25 \u000CChapter 4. 3-Guard Solution Figure 4.7: Single intersection. Figure 4.8: Double intersection. Considering the examples presented for optimal boundary covers that involved interior crossings of the polygon, it is easy to imagine that this assumption is wrong. If there is an intersection in the paths of the guards, we will show that it is either a single intersection as in Fig. 4.7, where an interior path intersects another interior path once, or a double intersection as in Fig. 4.8, where one path crosses another path twice. We study the single intersection case in section 4.2, and the double intersection case in section 4.3. In both cases we will prove that the sum of the lengths of the involved interior paths is longer than some free boundary segments, i.e., we can find enough free boundary segments to visit in place of the interior paths. In the rest of this section we will prove that any boundary cover that contains intersections, can be reduced to a boundary cover with no intersection, a boundary cover with a single intersection or a boundary cover with a double intersection. Therefore we can prove that an optimal boundary cover does not contain an intersection of the paths of the guards. Theorem 2. In an optimal 3-guard sweep, the paths of the guards never intersect one another. Proof. As in the 2-guard case, we will use parts of the existing sweep, without considering the paths of the individual guards, and build a new sweep T \u00E2\u0080\u00B2 on P , where |T \u00E2\u0080\u00B2 | \u00E2\u0089\u00A4 |T | and no guards\u00E2\u0080\u0099 path intersects the paths of another guard in T \u00E2\u0080\u00B2 . We can easily find the first and the last covered free edges of T , calling them s and t respectively. Since every free edge is visited simultaneously by two guards, the two guards that cover s, either start their paths at endpoints of s, or start their paths elsewhere but prior to visiting s their paths are limited to the interior of chains, i.e., they do not visit any free edges 26 \u000CChapter 4. 3-Guard Solution s G1 G2 G3 t Figure 4.9: The new paths for the three guards, when all paths intersects (Case 3). prior to s. The same conclusion can be applied to t, i.e., the guards that cover t, do not visit any other free edges after t. This implies that four of the six end-points in the sweep, are either inside chains or at the end-points of s or t. The two remaining end-points can be used to cover additional free edges. Based on the positions of these end-points sweep T is in one of these three cases: Case 1 , T is simple, i.e., it does not include any intersections of the paths of the guards. Case 2 , each guard\u00E2\u0080\u0099s path intersects at least another guard\u00E2\u0080\u0099s path. Case 3 , one guard walks its path isolated from the others, i.e., it does not intersect any other path. Case 1, Clearly if T does not include any intersections of the paths of the guards, then no modifications are necessary, thus we declare T \u00E2\u0080\u00B2 = T . In the rest of the proof we study the other two cases individually, explaining how each case can be changed into a simple sweep. Case 2, If each path intersects at least one other path, then we will redefine the paths of the three guards to remove the intersections and make T \u00E2\u0080\u00B2 simpler and shorter than T (see Fig. 4.9). 27 \u000CChapter 4. 3-Guard Solution Assuming that s is on top and t at the bottom of the polygon, we will change the paths of the guards such that one guard covers the right side of the picture, another the left side and the third guard connects the remaining parts, by following these steps: \u00E2\u0080\u00A2 The 1st guard walks on the left chain. \u00C2\u00B7 It starts its path at the left end-point of s. \u00C2\u00B7 walking the leftmost path in the arrangement of all guards paths, from s to another end-point. \u00C2\u00B7 while this end-point is not the left end-point t, \u00E2\u008B\u0084 back track to the last visited intersection and follows the next leftmost path in the arrangement of all guards paths. \u00C2\u00B7 It should be noted that the guard will eventually reach the left end-point of t, since all paths intersect other paths, implies that there is a path between any two points in T . \u00C2\u00B7 If any part of the path forms a pocket for a free edges, then change the sweep to include the free edge in place of its pocket. \u00E2\u0080\u00A2 The 2nd guard walks on the right chain. \u00C2\u00B7 It starts its path at the right end-point of s. \u00C2\u00B7 Walks the rightmost path in the arrangement of all guards paths, from s to the next end-point. \u00C2\u00B7 while this end-point is not the right end-point t, \u00E2\u008B\u0084 back track to the last visited intersection and follows the next rightmost path in the arrangement of all guards paths. \u00C2\u00B7 If any part of the path forms a pocket for a free edges, then change the sweep to include the free edge in place of its pocket. \u00E2\u0080\u00A2 There are at most two exposed vertices separate from s and t. \u00E2\u0080\u00A2 The 3rd guard takes the path that connects the two remaining end points on P . The previous algorithm implies that there is always a path between the two remaining end-points that does not include any part of the left and right paths. This is true since even after removing the left and right paths we will be left with these exposed end-points, and since all of the other parts of the 28 \u000CChapter 4. 3-Guard Solution s e s a t f e a f t Figure 4.10: Left path and right path share a line segment. paths have even degrees (since a path is a connected curve), then any path from one exposed end-point has no choice but to end at the other end-point. If there is only one exposed end-point, then the third guard does not cross the interior, since we can consider the chain that includes this end-point as the total path of the guard. The following lemma proves that when the left and right chain share a line segment then the sweep can be reduced to a single intersection case and we will show that a sweep with single intersection can be reduced to a shorter sweep with only three chains in section 4.2. Lemma 2. If the left and right paths in sweep T share a line segment, then there is a sweep T2 with a single intersection, such that |T2 | \u00E2\u0089\u00A4 |T |. Proof. In the algorithm we assumed that left and right paths do not share a line segment. Assume that in sweep T , the left and right paths share a line segment a (Fig. 4.10). We will show that this sweep can be transformed into a single intersection case. In Fig. 4.10, the left and right paths share a. Let ta be the time that guard 1 walks a in the original sweep T . Since no other guard\u00E2\u0080\u0099s path crosses the cut through a that separates s and t and since covering s and t needs two guards then guard 2 is always above a and guard 3 is always below it. There is at least one free edge that crosses the cut through a (there is exactly one free edge if a is a part of the perimeter of P ). Let e be the edge across the cut with the earliest cover time te , and f be the one with the 29 \u000CChapter 4. 3-Guard Solution s s X X e a t f e a f t Figure 4.11: Re-arranging of sweep T when left and right path share a line segment. latest cover time tf . Note: e might equal f . There two possible cases that define the shape of T , \u00E2\u0080\u00A2 tf \u00E2\u0089\u00A5 ta , implies that guard 2 finishes its path at f (or in a chain), since it cannot participate in covering any more free edge after ta . \u00E2\u0080\u00A2 te \u00E2\u0089\u00A4 ta , implies that guard 3 starts its path at e (or in a chain), since it cannot participate in covering any more free edge before ta . In either case, one of the top or bottom section cannot contain another exposed end-point. Assume that the top part has a free edge with an exposed end-point and the bottom part contains only intermediate free edges. We flat the pockets of intermediate free edges using a method similar to the left and right paths, and the outcome would be Fig. 4.10. Based on the direction of the tail that leads to the exposed end-point we can re-arrange the paths to one of the forms in Fig. 4.11. Each has only one intersection, at X. If the left and right paths do not share a line segment then guard 1 traversed the left path and guard 2 traverses the right path and the third guard connects the remaining two exposed vertices. Depending on the position of these exposed vertices, there are two possible case: when the exposed vertices are on the same side of the polygon, we have a double intersection, which is addressed in section 4.3, and when they are on different sides, it is a single intersection, addressed in section 4.2. We prove that both cases can be simplified to paths no longer than the original with no intersections. 30 \u000CChapter 4. 3-Guard Solution Case 3, If one guard walks its path isolated from the others, i.e., it does not intersect any other path, then we can create T \u00E2\u0080\u00B2 from T using a method similar to the left and right path selections. Assuming that s is on top and t at the bottom of the polygon, we divide the sweep into three regions, isolated, left and right (if they exist); where isolated contains the path that does not intersect other paths. Left and right each are the remaining parts of the sweep on the left and right side of the polygon, respectively. Depending on the position of the isolated region we can divide this case into three parts, 1. It is possible that the isolated chain covers one side of the polygon completely, i.e., there are only two regions (isolated and one of left or right). Without loss of generality we assume that the isolated chain is on the left side. We can consider the isolated chain as the left path, traversed by guard 1. Guard 2, would take the right-most path from s to t. If there are two exposed vertices left (not at s or t), guard 3 would take the path that connects these vertices. Since the left side is an isolated chain, both exposed vertices are on the right side. Connecting these exposed vertices creates a sweep with a double intersections which is addressed in section 4.3. 2. If the isolated region does not contain any end-point of s or t, then by choosing the left and right paths will create T \u00E2\u0080\u00B2 . Since our isolated region contains two free boundary segments, and the other four are involved in covering s and t, then by flattening the intermediate free edges in left and right paths we will get a sweep that has no intersections. 3. If the isolated region includes one end-point of s, or t, then without loss of generality we can assume that it is the right end-point of s. We have at most one other exposed end-point, since s and t use four of the end-points, and the isolated region uses two, one an end-point of s. If this end-point is not exposed, then we can easily re-assign the paths of the guards in a way that it includes no crossing of the interior (each guard traverses one of the regions). Depending on the position of the chain with the exposed vertex and the alignment of its tail, we get four cases. In each case we can transform the sweep into one that includes only a single intersection. Fig. 4.12 31 \u000CChapter 4. 3-Guard Solution shows all four cases and how each case can be transformed. 32 \u000CChapter 4. 3-Guard Solution s s x x a a \u00E2\u0087\u0092 b b t s t s x x a a \u00E2\u0087\u0092 b b t s t s a b a \u00E2\u0087\u0092 b t s t s a a b \u00E2\u0087\u0092 t b t Figure 4.12: Different forms of a Case3 sweep, and its suitable transformation. 33 \u000C4.1. Simple Mathematical Lemmas A c b C a B Figure 4.13: An arbitrary triangle ABC. 4.1 Simple Mathematical Lemmas This section contains multiple geometric lemmas that we commonly use in later chapters in larger lemmas. While each of these proofs are easily explained, we thought that keeping them in another chapter would make the process of understanding larger arguments easier. You may skip this section if you are already familiar with these lemmas. The following subsections belong to different classes of arguments and they can be read separately, while the lemmas within each subsection might be connected, and it is best to read them in order. 4.1.1 Simple Triangle Lemmas (Edge Length and Angle) The following two lemmas refer to Figure 4.13 Lemma 3. In an arbitrary triangle(fig 4.13), a \u00E2\u0089\u00A5 b \u00C3\u0097 sin A. Proof. By the Law of Sines, b a = sin A sin B The lemma follows since sin B \u00E2\u0089\u00A4 1. Lemma 4. a \u00E2\u0089\u00A5 (b + c) sin A 2 Proof. From Lemma 3, we know that a \u00E2\u0089\u00A5 b sin A and a \u00E2\u0089\u00A5 c sin A, so 2a \u00E2\u0089\u00A5 (b + c) sin A. Since sin is concave and sin 0 = 0, sin A + sin 0 A+0 A sin A = \u00E2\u0089\u00A5 sin = sin 2 2 2 2 (using Lemma 6) 34 \u000C4.1. Simple Mathematical Lemmas B H x a y A C b Figure 4.14: When A = \u00CF\u0080/2, a + b < x + y. Lemma 5. In a triangle ABC with A \u00E2\u0089\u00A5 \u00CF\u0080/2 (as shown in Fig 4.15), the sum of the lengths of a and b is less than sum of length of x plus the length of any chord y that connects A to x, i.e. a + b < x + y. Proof. First we will prove our claim for A = \u00CF\u0080/2 (Fig 4.14) and then we will expand the results to include A > \u00CF\u0080/2. Make y as short as possible, then y would be perpendicular to x, dividing it into x1 and x2 . Now, triangles ABH and AHC are similar to each other, and also similar to ABC. Using this similarity between ABH and ABC, we get: area(ABC) = implies Since we have which implies thus ab xy = 2 2 ab = xy. a2 + b2 = x2 a2 + b2 + 2ab = x2 + 2xy (x + y)2 > (a + b)2 since y > 0 x + y > a + b. The inequality would hold if y was greater than the altitude, i.e, for any line y connecting A to BC. To extend the results to A > \u00CF\u0080/2 we convert our triangle ABC to a right triangle AB \u00E2\u0080\u00B2 C, see Fig. 4.15. Draw the line AB \u00E2\u0080\u00B2 from A to BC in a way that the angle CAB \u00E2\u0080\u00B2 is a right angle. Now in the right triangle AB \u00E2\u0080\u00B2 C, we know that a\u00E2\u0080\u00B2 + b < x\u00E2\u0080\u00B2 + y. Both B and B \u00E2\u0080\u00B2 are acute angles, and by using triangular inequality in ABB \u00E2\u0080\u00B2 we have: a \u00E2\u0089\u00A4 a\u00E2\u0080\u00B2 + |BB \u00E2\u0080\u00B2 |, or a \u00E2\u0088\u0092 a\u00E2\u0080\u00B2 \u00E2\u0089\u00A4 |BB \u00E2\u0080\u00B2 | Now by adding this inequality to the previous one, we get: a + b < x\u00E2\u0080\u00B2 + 35 \u000C4.1. Simple Mathematical Lemmas A b a a\u00E2\u0080\u00B2 y x\u00E2\u0080\u00B2 C B\u00E2\u0080\u00B2 H x B Figure 4.15: Extending the results to an obtuse angle. |BB \u00E2\u0080\u00B2 | + y and x = x\u00E2\u0080\u00B2 + |BB \u00E2\u0080\u00B2 | therefore: a+b m1 + m2 in quadrilateral ABCD, implies that x + y > m1 + m2 in polygon P . We can simplify the quadrilateral further if the interior edge is the longest edge in each quadrant, i.e., if |EH| \u00E2\u0089\u00A5 max{|AH| , |AE|} we flat quadrant A, and make its two adjacent quadrants B and D larger, this transforms the quadrilateral into a triangle. Flattening a quadrant refers to replacing the triangle with the edge that forms the base of the triangle. 40 \u000C4.2. Single Intersection Case Figure 4.19: The quadrilateral can be transformed into a triangle by flattening one of its corners. We assume that this condition does not happen in two opposite quadrants, since if |EH| \u00E2\u0089\u00A5 max{|AH| , |AE|} and |F G| \u00E2\u0089\u00A5 max{|F C| , |CG|}, then a+c \u00E2\u0089\u00A4 |EH|+|F G|. By the triangle inequality we have, |EH|+|F G| \u00E2\u0089\u00A4 |EG| + |HF | = x + y, thus m1 + m2 \u00E2\u0089\u00A4 a + c \u00E2\u0089\u00A4 x + y. Similarly if |EF | \u00E2\u0089\u00A5 max{|BE| , |BF |} and |HG| \u00E2\u0089\u00A5 max{|DH| , |DG|} then m1 + m2 \u00E2\u0089\u00A4 x + y. Every quadrilateral has at least one right or obtuse angle. In a right or obtuse triangle, the longest edge is opposite the right/obtuse angle, thus we can always flat one quadrant. Fig. 4.19 shows the general shape of the resulting triangle. If there are two adjacent quadrants that can be transformed, the result would be as Fig. 4.20. We claim that in the resulting triangles (either as Fig. 4.19 or as Fig. 4.20) the longest edges of the quadrants are on the boundary of the triangles. It suffices to show that after the transformation none of the longest edges become shorter. We prove that our transformation does not shorten a possible longest edge in the adjacent quadrants. We assume that in an adjacent quadrants the longest edge is on the boundary of the quadrilateral, otherwise we would transform the quadrant. This implies that the quadrilateral\u00E2\u0080\u0099s angle in that region is acute. 41 \u000C4.2. Single Intersection Case Figure 4.20: An alternative transformation when two adjacent quadrants have angles \u00E2\u0089\u00A5 \u00CF\u0080/2. A A c2 c1 E E x y \u00CE\u00B1 b1 d2 H b2 B a F 2 1 b D \u00CE\u00B1 a G d1 Figure 4.21: Type A, general form of the transformed triangle. d1 CB d2 H x D y F c1 c2 C Figure 4.22: Type B, alternate transformed triangle. When a quadrant is transformed, the angle of its adjacent quadrants (if the quadrant is not transformed) become smaller. Since these angles have been acute prior to the transformation, the boundary edges grow longer. Going back to our conditions, we can see that x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 has not increased, as x and y are unchanged, and none of the longest edges of the quadrants have become shorter. The quadrilateral ABCD has been transformed into a triangle of type A in Fig. 4.21 or type B in Fig. 4.22. Since x+y \u00E2\u0088\u0092m1 \u00E2\u0088\u0092m2 has not increased by the transformation, existence of counter example for the quadrilateral implies a counter example of type A or type A. 42 \u000C4.2. Single Intersection Case In the rest of this section we will perform a series of transformations on the triangles, that will normalize their shapes, while keeping x+y \u00E2\u0088\u0092m1 \u00E2\u0088\u0092m2 from increasing. Our goal is to turn the triangle into a shape where all (or most) of the long edges are of the same length. During these transformations the triangle may change its form (from type A to type B or vice versa), all the while becoming more balanced (the longest edges become closer in length). We will continue with these normalizations, until we either get a shape where the lengths of all longest edges are equal or we arrive at a state where none of our normalizing moves apply. There are some cases where normalization no longer applies but the longest edges are not all equal either. We call these cases special cases, which we will study on a case by case basis. 4.2.1 Normalization Tools There are three general transformations that we apply to the triangle whenever their conditions are satisfied. After each transformation the resulting shape is more balanced and x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 either has decreased or remains unchanged. We define b = max{b1 , b2 }, c = max{c1 , c2 } and d = max{d1 , d2 }. A segment (a, b, c or d) is called critical if it has length m1 or m2 . During the normalization phase, we make sure that a critical segment\u00E2\u0080\u0099s length is never decreased, since a decrease in a critical length will increase x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 . The transformations are as follows: 1. Pivoting: pivoting a triangle edge about an endpoint of segment x or y. This is the only transformation that doesn\u00E2\u0080\u0099t change the length of x + y but changes the length of the triangle edge, e.g. we would never pivot AB about E (in triangle type B) since this would change the length of y. The purpose of this move is to balance the lengths of the segments with each other such that it increases the lengths of critical edges while decreasing the lengths of the other segments. 2. Moving: Moving an end-point of x or y along an edge of the triangle, in order to decrease x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 . This move changes the length 43 \u000C4.2. Single Intersection Case (c, d) (a, b) y x l (t, 0) (t + 1, 0) Figure 4.23: Changing t would affect the lengths of x and y. of x or y, lengths of some segments might also be affected by the move. 3. Sliding: the goal is to minimize x + y by sliding F G (moving F and G by the same amount and in the same direction) on BC in Fig. 4.21. As a result we may assume either, (a) \u00E2\u0088\u00A0DF G = \u00E2\u0088\u00A0EGF or (b) F or G becomes B or C respectively (i.e. we switch to type B) Assume we have a line portion l of unit length. Two arbitrary points (a, b) and (c, d) are connected to the vertices of l via two intersecting lines (see Fig. 4.23). The lengths of the two connecting lines (x and y) can be expressed as functions of t, where t shows the position of l. p (1 + t \u00E2\u0088\u0092 a)2 + b2 p y = (t \u00E2\u0088\u0092 c)2 + d2 x = We would like to find the value of a \u00E2\u0089\u00A4 t \u00E2\u0089\u00A4 c that minimizes x + y. Differentiating x + y with respect to t, we find x + y is minimized when t= da \u00E2\u0088\u0092 d + bc d+b Replacing this value for t, we get b/x = d/y which means the angles x and y make with the horizontal line are equal. 44 \u000C4.2. Single Intersection Case 4.2.2 Normalization Algorithm Transforming the convex polygon into a triangle lead to two triangles typeA and typeB. We divide these two triangles into further cases based on the position of the longest edge in each of their quadrants, i.e., for typeA we have, A1 \u00EF\u00A3\u00B1 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B2 d 1 b1 c 1 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B3 \u00EF\u00A3\u00B1 d1 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 d1 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B2 d1 A2 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 d2 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B3 d \u00EF\u00A3\u00B1 2 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B2 d2 A3 \u00EF\u00A3\u00B4 \u00EF\u00A3\u00B3 d2 b1 c 2 b2 c 1 b2 c 2 b1 c 1 b1 c 2 b2 c 1 b2 c 2 Similarly for typeB we have, B1 \u00C2\u00BD d 1 c1 B2 \u00C2\u00BD d 1 c2 B3 \u00C2\u00BD d 2 c1 B4 \u00C2\u00BD d 2 c2 In the rest of this section we will explain the algorithm we use in order to normalize the triangle. We will explain how and when each of our normalization methods are used and what is the desired outcome after each step. Lemma 7. If x + y < m1 + m2 then the triangle ABC is acute. 45 \u000C4.2. Single Intersection Case Proof. \u00E2\u0080\u00A2 For type A triangle: \u00C2\u00B7 If A \u00E2\u0089\u00A5 \u00CF\u0080/2 then |ED| \u00E2\u0089\u00A5 c, by the triangle inequality, x + y \u00E2\u0089\u00A5 a + |ED|, thus x + y \u00E2\u0089\u00A5 a + c \u00E2\u0089\u00A5 m1 + m2 (a contradiction). \u00C2\u00B7 If B \u00E2\u0089\u00A5 \u00CF\u0080/2 then \u00E2\u0088\u00A0EF G > \u00CF\u0080/2 and x + y > a + |EF | (by Lemma 5). Also since B \u00E2\u0089\u00A5 \u00CF\u0080/2, |EF | \u00E2\u0089\u00A5 b so x + y > a + b \u00E2\u0089\u00A5 m1 + m2 (a contradiction). \u00C2\u00B7 If C \u00E2\u0089\u00A5 \u00CF\u0080/2 a similar contradiction is obtained. \u00E2\u0080\u00A2 For type B triangle: both B and C are acute by an argument similar to the one used to show A < \u00CF\u0080/2 for type A triangles. If A \u00E2\u0089\u00A5 \u00CF\u0080/2 (in type B) then Lemma 5 implies x + y > a + b \u00E2\u0089\u00A5 m1 + m2 (a contradiction). Lemma 8. If triangle \u00E2\u0096\u00B3ABC with a 6= m2 exists where x + y < m1 + m2 , then there exists \u00E2\u0096\u00B3ABC with x + y < m1 + m2 and a = m2 . Proof. 1. For a type A triangle: (a) If a > m2 : We will move one of its endpoints towards the other in order to decrease both a and x + y until a = m2 . (b) If a = m1 : If either d = d2 or b = b2 (CaseA2 or CaseA3), then we will increase a by moving G towards C or F towards B respectively. It is easy to see that the increase in a, is more than the possible increase in x + y (triangle inequality), and therefore this transformation will decrease x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 . We will continue with this transformation until either a = m2 or the triangle becomes of type B, in case of the latter we will continue the transformations as described below. The remaining case where d = d1 and b = b1 (CaseA1), is one 46 \u000C4.2. Single Intersection Case of the special cases. We can prove that x + y > m1 + m2 in this case, regardless of any other conditions. We will not worry about this case here, since a more general case will be analyzed in details later. 2. For a type B triangle: (a) If a \u00E2\u0089\u00A5 m2 : In this situation we will move the vertex A down until a = m2 , and after the transformation the triangle may be of typeA. (b) If a = m1 : b \u00E2\u0089\u00A5 m2 , in which case we will change our labels, and now we will call the old b, a. The new a is greater than or equal to m2 and we are in the previous case. Lemma 9. If a triangle ABC of type B exists where x + y < m1 + m2 , then there exists \u00E2\u0096\u00B3ABC with x + y < m1 + m2 and b \u00E2\u0088\u0088 {m1 , m2 }. Proof. If b is not already one of the minimum pair, then it is greater than m2 . We can shorten b, by moving the endpoint of y down AC, therefore decreasing the length of y while keeping m1 + m2 unchanged. This transformation may only decrease x + y \u00E2\u0088\u0092 m1 \u00E2\u0088\u0092 m2 . After this transformation the triangle might become of type A. Step 1, Pivot the edges, to balance the lengths of b, c and d in a triangle of type A and c and d in type B. This move can be performed as long as the candidate edges of the two involved quadrants have different lengths, and at least one of them is not critical. It is clear that after the two involved segments become the same length we can not use this transformation anymore; we also can not use it if the two involved segments are both critical, even if they are not of the same length. 1. For a triangle of type A: We will balance the lengths of b, c and d, by pivoting AB on E and AC on D, following the conditions of this transformation. If any of the three edges are not in {m1 , m2 }, then we can still pivot an edge and 47 \u000C4.2. Single Intersection Case balance its length with one of its adjacent edges. In this way we can propagate the length difference, until either all the lengths are equal, or they are all of critical length, i.e., we can continue the transformation until one of the following outcomes occur. (a) b = c = d. (b) c = d = m2 and b = m1 . (c) b = c = m2 and d = m1 . (d) b = d = m2 and c = m1 . (e) ABC becomes of type B, where b > c. In this case, we will continue on balancing the lengths of c and d, following the next steps. 2. For a triangle of type B: By pivoting BC with F as our pivot, we can normalize the lengths of c and d. The following cases are the possible outcomes of this transformation. (a) c = d = m1 = m2 . Which implies a = b = c = d (by Lemma 8 and Lemma 9). (b) c 6= d and c, d \u00E2\u0088\u0088 {m1 , m2 }. (c) c1 = 0 or d1 = 0. This case happens when BC becomes a continuation of EF or DF during the transformation, i.e., B lies on F or C is moved to D. In either case, using the triangular inequality leads to x+y \u00E2\u0089\u00A5 a+c or x + y \u00E2\u0089\u00A5 b + d and we know that a + c, b + d \u00E2\u0089\u00A5 m1 + m2 , thus x + y \u00E2\u0088\u0092 m1 + m2 \u00E2\u0089\u00A5 0. (d) c = d > m2 . This case is one of our special cases, we will cover it in two parts, part1, where c = c2 and d = d2 and part2, where c = c1 and d = d2 or vice versa. We will show that assuming c and d are equal to m2 will not change the structure of the proof. After this step, if it has not been already proved that x+y\u00E2\u0088\u0092m1 \u00E2\u0088\u0092m2 \u00E2\u0089\u00A5 0, then we will see one of the following situations: 1. A type A triangle where the long edges of all four quadrants have a length in {m1 , m2 }. 48 \u000C4.2. Single Intersection Case 2. A triangle of type B with a, b \u00E2\u0088\u0088 {m1 , m2 } (from lemma 8,9 and step1). Step 2, If ABC is of type A and b = b2 and d = d2 , then slide a until either it reaches a vertex ( changes to type B) or x + y reaches its minimum value. If ABC is of type B, then if either c = c2 or d = d2 (or both), then slide a or b down their edges to minimize x + y, assuming that the other conditions are satisfied (e.g. for sliding a down AB, A2 < E and d = d2 ). After this transformation we will assume a triangle of type A with b = b2 and d = d2 , has |HF | = |HG|, or a triangle of type B with c = c2 or d = d2 has A2 > E or A1 > D, respectively. 4.2.3 Final and Special Cases In this section we will study all possible outcomes of the normalization algorithm in detail. In each case we will consider one or a group of possible outcomes and prove that x + y \u00E2\u0089\u00A5 m1 + m2 in each case. Case A1 In this case d = d1 and b = b1 . We will show that m1 +m2 \u00E2\u0089\u00A4 x+y, regardless of the exact lengths of b, d and a. First we use Lemma 3 on triangles BEG and F CD. In \u00E2\u0096\u00B3BEG, (b1 + a) sin(B) \u00E2\u0089\u00A4 x Similarly in \u00E2\u0096\u00B3F CD, (d1 + a) sin(C) \u00E2\u0089\u00A4 y Together these two inequalities imply, min{(b + a), (d + a)}(sin(C) + sin(B)) \u00E2\u0089\u00A4 x + y Since 0 \u00E2\u0089\u00A4 B, C \u00E2\u0089\u00A4 \u00CF\u0080/2, Lemma 6 on triangle ABC implies, Thus 1 \u00E2\u0089\u00A4 sin(C) + sin(B) \u00E2\u0089\u00A4 2 m1 + m2 \u00E2\u0089\u00A4 min{b + a, d + a}(sin(C) + sin(B)) \u00E2\u0089\u00A4 x + y 49 \u000C4.2. Single Intersection Case Case A2 In this case either b = b1 and d = d2 , or b = b2 and d = d1 . Without loss on generality we will assume d = d1 and b = b2 : \u00E2\u0089\u00A5d2 d = d1 and a In \u00E2\u0096\u00B3F CD : |F D| + |DC| \u00E2\u0089\u00A5 |F C| i.e., y + d2 thus y =m2 . \u00E2\u0089\u00A5d1 + m2 , \u00E2\u0089\u00A5m2 . In \u00E2\u0096\u00B3BEG, if B \u00E2\u0089\u00A5 \u00CF\u0080/3, |EG| \u00E2\u0089\u00A5 min{|BE| , |BG|} x \u00E2\u0089\u00A5 min{b2 , a + b1 } \u00E2\u0089\u00A5 m1 x + y \u00E2\u0089\u00A5 m1 + m2 (since y \u00E2\u0089\u00A5 m2 ) The other possibility is when B < \u00CF\u0080/3; we know B + C > \u00CF\u0080/2 (otherwise A \u00E2\u0089\u00A5 \u00CF\u0080/2). Using Lemma 3 in \u00E2\u0096\u00B3F DC and Lemma 4 in \u00E2\u0096\u00B3BGE we get: In \u00E2\u0096\u00B3BGE : and in \u00E2\u0096\u00B3F DC : thus Also and imply, x sin(B/2) y sin(C) \u00E2\u0089\u00A5 b1 + b2 + a > b2 + a, \u00E2\u0089\u00A5 d1 + a, x+y \u00E2\u0089\u00A5 min{a + b, a + d}(sin(B/2) + sin(C)). B+C > \u00CF\u0080/2 \u00CF\u0080 \u00E2\u0089\u00A5 C, B \u00E2\u0089\u00A5 0 2 sin B/2 + sin C \u00E2\u0089\u00A5 sin B/2 + sin (\u00CF\u0080/2 \u00E2\u0088\u0092 B). sin B/2 + sin (\u00CF\u0080/2 \u00E2\u0088\u0092 B) is minimized when B is at its smallest, i.e., B = \u00CF\u0080/3, thus, sin B/2 + sin (\u00CF\u0080/2 \u00E2\u0088\u0092 B) \u00E2\u0089\u00A5 1. Finally we get: x + y \u00E2\u0089\u00A5 min{a + b, a + d} x + y \u00E2\u0089\u00A5 m1 + m2 50 \u000C4.2. Single Intersection Case Case A3 In this case b = b2 and d = d2 . By symmetry we can assume that c = c2 . When b = b2 and d = d2 , we slide F G on BC. We get |F H| = |GH|, thus in \u00E2\u0096\u00B3F HG, F = G. We call this angle \u00CE\u00B1. By pivoting, the lengths of a, b, c and d have been normalized. Either they are all equal to m2 = m1 or one of them is m1 and the other three are equal to m2 . Comparing B and C with \u00CE\u00B1 we get four possible cases: \u00E2\u0080\u00A2 B, C < \u00CE\u00B1: Place point H \u00E2\u0080\u00B2 so that DHEH \u00E2\u0080\u00B2 is a parallelogram and so |DH| + |HE| = |DH \u00E2\u0080\u00B2 | + |H \u00E2\u0080\u00B2 E|. Since B, C < \u00CE\u00B1, then A lies inside \u00E2\u0096\u00B3DEH \u00E2\u0080\u00B2 . It implies, \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |DH| + |HE| = \u00C2\u00AFDH \u00E2\u0080\u00B2 \u00C2\u00AF + \u00C2\u00AFH \u00E2\u0080\u00B2 E \u00C2\u00AF > |DA| + |AE| > m1 By the triangular inequality, |GH| + |HF | > |GF | = m2 . Thus, x + y = |DH| + |HE| + |GH| + |HF | > m1 + m2 . \u00E2\u0080\u00A2 C < \u00CE\u00B1 < B: Similar to the previous case we draw the parallel lines and create parallelogram HDH \u00E2\u0080\u00B2 E, but unlike the previous case A lies outside HDH \u00E2\u0080\u00B2 E. B > \u00CE\u00B1 implies that in the current figure EH \u00E2\u0080\u00B2 would be to the right of AE, and intersects DA before reaching H \u00E2\u0080\u00B2 . Call the intersection point A\u00E2\u0080\u00B2 . In \u00E2\u0096\u00B3AEA\u00E2\u0080\u00B2 , \u00E2\u0088\u00A0AEA\u00E2\u0080\u00B2 =B \u00E2\u0088\u0092 \u00CE\u00B1, and B< \u00CF\u0080/2 thus, B \u00C2\u00AFDA\u00E2\u0080\u00B2 \u00C2\u00AF , and we can conclude |HD| + |HE| > |DA| 51 \u000C4.2. Single Intersection Case thus, x + y > m1 + m2 . \u00E2\u0080\u00A2 B < \u00CE\u00B1 < C If a = b = c = d then clearly C \u00E2\u0089\u00A4 B, since |AB| \u00E2\u0089\u00A4 |AC|. Similarly if b = m1 or c = m1 , C < B. a can not be m1 , since we set the length of a to m2 during normalization. The only remaining case has d = m1 and b, c and a are m2 . Draw a line F D\u00E2\u0080\u00B2 from F parallel to AB. Using the similarity of \u00E2\u0096\u00B3CF D\u00E2\u0080\u00B2 and \u00E2\u0096\u00B3ABC, we have |CF | / |F B| = |CD\u00E2\u0080\u00B2 | / |D\u00E2\u0080\u00B2 A| > 1. We can therefore conclude that D\u00E2\u0080\u00B2 is positioned on DA, since we know |CD| = d < c = |AD|. This implies \u00E2\u0088\u00A0B > \u00CE\u00B1, which is a contradiction. \u00E2\u0080\u00A2 \u00CE\u00B1 < B, C: In \u00E2\u0096\u00B3CF D: y d = . sin \u00CE\u00B1 sin C Similarly in \u00E2\u0096\u00B3BEG: b x = . sin \u00CE\u00B1 sin B Thus, x + y > b + d \u00E2\u0089\u00A5 m1 + m2 . The rest of the section will contain possible outcomes of type B. Case B1 Since c = c1 and d = d1 , we can show that x + y \u00E2\u0089\u00A5 m1 + m2 regardless of the exact lengths of c, d, a and b. Using Lemma 3 on \u00E2\u0096\u00B3ABF , \u00E2\u0096\u00B3AF C and \u00E2\u0096\u00B3AED: 52 \u000C4.2. Single Intersection Case In \u00E2\u0096\u00B3ABF : y \u00E2\u0089\u00A5 (a + d1 ) sin B thus, y \u00E2\u0089\u00A5 (a + d) sin B. In \u00E2\u0096\u00B3AF C : y \u00E2\u0089\u00A5 (b + c1 ) sin C thus, y \u00E2\u0089\u00A5 (b + c) sin C. In \u00E2\u0096\u00B3AED : x \u00E2\u0089\u00A5 a sin A, and x \u00E2\u0089\u00A5 b sin A thus, Therefore 2x \u00E2\u0089\u00A5 (a + b) sin A. 2(x + y) \u00E2\u0089\u00A5 (a + b) sin A + (b + c) sin C + (a + d) sin B \u00E2\u0089\u00A5 min{a + b, b + c, a + d}(sin A + sin B + sin C). by Lemma 6 Also thus, sin A + sin B + sin C \u00E2\u0089\u00A5 2. min{a + b, b + c, a + d} \u00E2\u0089\u00A5 m1 + m2 x + y \u00E2\u0089\u00A5 m1 + m2 . Case B2 We have d = d1 and c = c2 . In triangle AHD, A1 \u00E2\u0089\u00A5 D(otherwise we would have slid AD down AC to minimize x + y). Since, A1 \u00E2\u0089\u00A5 D, then in triangle AED we have A > D which implies |ED| > |AE| or x > a. In triangle ABF we have |BF | + |AF | \u00E2\u0089\u00A5 |AB|, i.e., |BF | + y \u00E2\u0089\u00A5 a + d. We already know that |BF | = d2 \u00E2\u0089\u00A4 d, therefore y \u00E2\u0089\u00A5 a, thus x+y \u00E2\u0089\u00A5 2a \u00E2\u0089\u00A5 m1 +m2 (since a = m2 ). Case B3 In this case d = d2 and c = c1 . Similar to the previous argument we have A2 \u00E2\u0089\u00A5 E which leads to x > b. 1. If c2 \u00E2\u0089\u00A4 b, then using triangular inequality in \u00E2\u0096\u00B3AF C we find out y + c2 \u00E2\u0089\u00A5 c1 + b = c + b, so y \u00E2\u0089\u00A5 c. Finally we can conclude that x + y \u00E2\u0089\u00A5 b + c \u00E2\u0089\u00A5 m1 + m2 . 53 \u000C4.2. Single Intersection Case 2. And if c2 > b (only occurs if b = m1 < c, since c \u00E2\u0089\u00A4 b, implies c2 < c < b), then |BC| \u00E2\u0089\u00A5 |AC|, since after pivoting BC on F , either c = d \u00E2\u0089\u00A5 m2 , or c 6= d and c, d \u00E2\u0088\u0088 {m1 , m2 } (d = m1 or c = m1 ); the latter is not possible as we already assumed b = m1 . |BC| \u00E2\u0089\u00A5 |AC| implies A \u00E2\u0089\u00A5 B. In AED : In ABF : In AF C : A \u00E2\u0089\u00A4 x (Lemma 4). 2 B B (a + d) sin( ) \u00E2\u0089\u00A4 (a + d1 + d2 ) sin( ) \u00E2\u0089\u00A4 y (Lemma 4). 2 2 (b + c) sin C = (b + c1 ) sin C \u00E2\u0089\u00A4 y (Lemma 3). (a + b) sin We also know that (m1 + m2 ) \u00E2\u0089\u00A4 min{a + b, a + d, b + c}, thus B A (m1 + m2 )[2 sin( ) + sin( ) + sin C] \u00E2\u0089\u00A4 2(x + y) 2 2 (4.1) A B Claim. 2 sin( ) + sin( ) + sin C \u00E2\u0089\u00A5 2 2 2 Proof. The following constraints exist on inequality 4.1: 0 \u00E2\u0089\u00A4 A, B, C < \u00CF\u0080/2, A + B + C = \u00CF\u0080 and A \u00E2\u0089\u00A5 B. We will prove that the minimum value for d, (d = 2 sin(A/2)+sin(B/2)+ sin C) is greater than 2, and then use this result to show that x + y \u00E2\u0089\u00A5 m1 + m2 . Using A + C = \u00CF\u0080 \u00E2\u0088\u0092 B, we define: X = \u00CF\u0080 \u00E2\u0088\u0092 B. Assuming a fixed value for B, the minimum value for 2 sin(A/2) + sin(B/2) + sin C would occur when 2 sin(A/2) + sin C is minimized. We can rewrite C as X \u00E2\u0088\u0092 A. We want to minimize f (A) = 2 sin(A/2) + sin(X \u00E2\u0088\u0092 A). We find the first and second derivatives of f : A f \u00E2\u0080\u00B2 (A) = cos( ) \u00E2\u0088\u0092 cos(X \u00E2\u0088\u0092 A) 2 1 A f \u00E2\u0080\u00B2\u00E2\u0080\u00B2 (A) = \u00E2\u0088\u0092 sin( ) \u00E2\u0088\u0092 sin(X \u00E2\u0088\u0092 A) 2 2 f \u00E2\u0080\u00B2\u00E2\u0080\u00B2 (A) is negative, thus f has a bell shaped form, and the minimum values happen at the extremes,i.e., comparing different values of d when A = X, A = \u00CF\u0080/2 or A = B, 54 \u000C4.2. Single Intersection Case (a) A = X and A = \u00CF\u0080/2 A = X \u00E2\u0086\u0092 d = 2 sin((\u00CF\u0080 \u00E2\u0088\u0092 B)/2) + sin(B/2) + sin 0 with X \u00E2\u0089\u00A4 \u00CF\u0080/2 \u00E2\u0086\u0092 B = \u00CF\u0080/2, d = 3 sin(\u00CF\u0080/4) \u00E2\u0089\u0088 2.12(A = \u00CF\u0080/2) (b) A = B A = B \u00E2\u0086\u0092 d = 2 sin(B/2) + sin(B/2) + sin(\u00CF\u0080 \u00E2\u0088\u0092 2B) = 3 sin(B/2) + sin(2B) We have to find the value for B that minimizes d. Finding the second derivative of d, we realize that d is also minimized when B is at either its maximum or minimum value. B 3 d\u00E2\u0080\u00B2\u00E2\u0080\u00B2 = \u00E2\u0088\u0092 sin( ) \u00E2\u0088\u0092 4 sin 2B \u00E2\u0089\u00A4 0 4 2 \u00CF\u0080 \u00E2\u0088\u0092 2B \u00E2\u0089\u00A4 \u00CF\u0080/2 \u00E2\u0086\u0092 B \u00E2\u0089\u00A5 \u00CF\u0080/4, \u00CF\u0080 B = \u00CF\u0080/4 \u00E2\u0086\u0092 d = 3 sin( ) + 1 \u00E2\u0089\u0088 2.15 8 \u00CF\u0080 B = \u00CF\u0080/2 \u00E2\u0086\u0092 d = 3 sin( ) + 0 \u00E2\u0089\u0088 2.12 4 The over all minimum greater than 2.12 since this value is obtained with A = B = \u00CF\u0080/2, which does not show a valid triangle. By the claim we know x + y \u00E2\u0089\u00A5 m1 + m2 . Case B4 We will show that it is not possible to have a normalized type B triangle where d = d2 and c = c2 . In step 2, of the normalization algorithm, we slide a down AB if d = d2 and angle A2 < E. Similarly we slide b down AC if c = c2 and A1 < D. We have already assumed that d = d2 and c = c2 in this case, so the only possible explanation is that, A1 \u00E2\u0089\u00A5 D and A2 \u00E2\u0089\u00A5 E. In triangle ADE we have A + D + E = \u00CF\u0080, and A = A1 + A2 . Therefore we have A \u00E2\u0089\u00A5 E + D so A \u00E2\u0089\u00A5 \u00CF\u0080/2, which contradicts our first claim that ABC is acute. 55 \u000C4.3. Double Intersection Case A A B C C A A B C A A B A B A A B B Figure 4.24: Double inter- Figure 4.25: Double inter- Figure 4.26: Double intersection case1. section case2. A A B C A A section case3. B C A A B B Figure 4.27: Case1 is simplified to a Figure 4.28: Case2 is simplified to a single intersection. 4.3 perimeter walk (no interior paths). Double Intersection Case In this case we study the possibility of having an intersection inside a boundary cover where the path of one guard intersects the path of another guard twice. The case consists of six chains, and three interior paths traversed by the guards such that one guard covers three of the chains, another guard traverses two chains and the third guard only walks on one chain. In the double intersection case, the relative positions of the chains with respect to the interior paths makes for different methods. We define the following three cases based on the the alignment of the tails of the path of guard B in Fig. 4.24 to Fig. 4.26. The first two cases can be reduced to previous cases, \u00E2\u0080\u00A2 In case1, the sweep can be simplified to one intersection case, see Fig. 4.27. \u00E2\u0080\u00A2 In case2, the sweep can be simplified to a perimeter walk (with no interior paths), see Fig. 4.28. In the section 4.2, we proved that the length of a boundary cover with a single intersection, is no shorter than a boundary cover with three chains, which needs no interior paths. Thus the first two cases are both reduced to sweeps with no intersections. Fig. 4.29 shows the remaining case. 56 \u000C4.3. Double Intersection Case C A C\u00E2\u0080\u00B2 A\u00E2\u0080\u00B2 Y X Y\u00E2\u0080\u00B2 X\u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 B\u00E2\u0080\u00B2 D B Figure 4.29: The remaining case of double intersection. In the rest of this section, we will prove that the length of a paths of Fig. 4.29, is greater than or equal to a boundary cover with only three chains. Theorem 2. The length of the boundary cover T of polygon P as shown in Fig. 4.29, is greater than or equal to \u00E2\u0089\u00A5 |P | \u00E2\u0088\u0092 |\u00E2\u0084\u00931 | \u00E2\u0088\u0092 |\u00E2\u0084\u00932 | \u00E2\u0088\u0092 |\u00E2\u0084\u00933 |, where \u00E2\u0084\u00931 , \u00E2\u0084\u00932 and \u00E2\u0084\u00933 are the three longest edges of P . Proof. Proving that T \u00E2\u0089\u00A5 |\u00E2\u0088\u0082P | \u00E2\u0088\u0092 any three edges of P would immediately lead to our claim, and we know that the length of the interior paths is greater than |CA| + |DB|, thus we will assume that CA and DB are two of the three edges. We will choose the shortest of the four remaining free boundary segments as the third edge. It will suffice to show \u00C2\u00AF \u00C2\u00AF |AB| + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0089\u00A5 |CA| + |DB| + \u00CE\u00BB where \u00CE\u00BB = min{|C \u00E2\u0080\u00B2 Y | , |D\u00E2\u0080\u00B2 Y \u00E2\u0080\u00B2 | , |A\u00E2\u0080\u00B2 X| , |X \u00E2\u0080\u00B2 B \u00E2\u0080\u00B2 |}. Since then replacing the interior parts of the guards\u00E2\u0080\u0099 paths with CA, DB and \u00CE\u00BB will be a shorter boundary cover. First we will take our general shape through several steps of transformation, which will normalize the form of the polygon while making sure that |AB| + |CX| + |DX \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |CA| \u00E2\u0088\u0092 |DB| does not increase, and similarly \u00CE\u00BB never becomes shorter. In other words, at each step we claim that if a counter example to our claim (|AB| + |CX| + |DX \u00E2\u0080\u00B2 | > |CA| + |DB| + \u00CE\u00BB) exists prior to this step, then one would exist with this condition. 57 \u000C4.3. Double Intersection Case C E A C\u00E2\u0080\u00B2 A\u00E2\u0080\u00B2 H X Y X\u00E2\u0080\u00B2 Y\u00E2\u0080\u00B2 H\u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 D B\u00E2\u0080\u00B2 B Figure 4.30: A polygon P where the extended lines of AC and DB diverge. In Fig. 4.29 draw a line XX \u00E2\u0080\u00B2 and extend it in both directions. Extend CA on both sides, this line intersects XX \u00E2\u0080\u00B2 on the right side of the picture. Similarly extend DB. The following lemma shows that the extended lines of CA and DB intersect on the left side of the picture. Lemma 10. In Fig.4.30 extension of lines CA, DB, and XX \u00E2\u0080\u00B2 creates a triangle. Proof. In other words, we want to prove that CA, DB intersect one another on the left side of the picture, thus we will show that if they do not intersect, |AB| + |CX| + |DX \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |AC| \u00E2\u0088\u0092 |BD| \u00E2\u0089\u00A5 \u00CE\u00BB. Assuming that the lines do not intersect on the left side, then the sum of their intersecting angles with |XX \u00E2\u0080\u00B2 | is \u00E2\u0089\u00A5 \u00CF\u0080. This implies that at least one of them is \u00E2\u0089\u00A5 \u00CF\u0080/2. Without loss of generality we will assume that the extension of AC and XX \u00E2\u0080\u00B2 form an angle at E that is \u00E2\u0089\u00A5 \u00CF\u0080/2. Thus both A and A\u00E2\u0080\u00B2 would also be greater than or equal to \u00CF\u0080/2, as they are both greater than E in Fig. 4.30. Since A\u00E2\u0080\u00B2 \u00E2\u0089\u00A5 \u00CF\u0080/2, |AX| > |A\u00E2\u0080\u00B2 X|. Since A \u00E2\u0089\u00A5 \u00CF\u0080/2, |CX| + |AH| > |AC| + |AX| (Lemma 5). Therefore, |CX| + |AH| > |AC| + |A\u00E2\u0080\u00B2 X|. Also by triangle inequality, |DH \u00E2\u0080\u00B2 | + |H \u00E2\u0080\u00B2 B| \u00E2\u0089\u00A5 |BD|. Thus, \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |AH| + \u00C2\u00AFH \u00E2\u0080\u00B2 B \u00C2\u00AF + |CX| + \u00C2\u00AFDH \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0088\u0092 |AC| \u00E2\u0088\u0092 |BD| \u00E2\u0089\u00A5 \u00C2\u00AFA\u00E2\u0080\u00B2 X \u00C2\u00AF \u00E2\u0089\u00A5 \u00CE\u00BB 58 \u000C4.3. Double Intersection Case A C Z Y Y A\u00E2\u0080\u00B2 C\u00E2\u0080\u00B2 X \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 X\u00E2\u0080\u00B2 D B\u00E2\u0080\u00B2 B Figure 4.31: The general form of a counter-example. From Lemma 10, we know that a counter-example must have CA and DB intersect to the left of polygon P , at a point we will call Z. So the counter-example, if one exists, appears as in Fig. 4.31. 1. Make C \u00E2\u0080\u00B2 , C, A and A\u00E2\u0080\u00B2 co-linear. Extend CA and DB on both sides. From Lemma 10 we know that these lines intersect. Call the intersection point Z. We know that C \u00E2\u0080\u00B2 , D\u00E2\u0080\u00B2 , Y and Y \u00E2\u0080\u00B2 lie inside \u00E2\u0096\u00B3ZCD. Extend Y C \u00E2\u0080\u00B2 until it intersects CZ, move C \u00E2\u0080\u00B2 to the intersection point. Since the polygon is convex, we know that the extended line would intersect line AC outside of the polygon (after vertex C), thus it will increase the length of Y C \u00E2\u0080\u00B2 . It also might decrease |CC \u00E2\u0080\u00B2 |, but the decrease does not concern us since |CC \u00E2\u0080\u00B2 | is not contributing in our inequality. Similarly by extending XA\u00E2\u0080\u00B2 we can move A\u00E2\u0080\u00B2 until it is co-linear with A, C and C \u00E2\u0080\u00B2 . 2. Make D\u00E2\u0080\u00B2 , D, B and B \u00E2\u0080\u00B2 co-linear. This step is similar to the previous step, since by extending X \u00E2\u0080\u00B2 B \u00E2\u0080\u00B2 and Y \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 we can make B \u00E2\u0080\u00B2 , B, D and D\u00E2\u0080\u00B2 co-linear. 3. Move Y and Y \u00E2\u0080\u00B2 to Z. Both Y and Y \u00E2\u0080\u00B2 reside within triangle \u00E2\u0096\u00B3ZC \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 . We claim that we can increase |Y C \u00E2\u0080\u00B2 | + |Y \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 | by moving Y and Y \u00E2\u0080\u00B2 to Z. First extend C \u00E2\u0080\u00B2 Y and D\u00E2\u0080\u00B2 Y \u00E2\u0080\u00B2 until they intersect one another, call the intersection Y1 . We have |C \u00E2\u0080\u00B2 Y1 | > |C \u00E2\u0080\u00B2 Y | and |D\u00E2\u0080\u00B2 Y1 | > |D\u00E2\u0080\u00B2 Y \u00E2\u0080\u00B2 |. Then extend C \u00E2\u0080\u00B2 Y1 to intersect D\u00E2\u0080\u00B2 Z at Y2 (see Fig. 4.32). It is clear that |D\u00E2\u0080\u00B2 Y1 | is shorter than |D\u00E2\u0080\u00B2 Y2 | + |Y2 Y1 |. Similarly, |Y1 C \u00E2\u0080\u00B2 | + |Y2 Y1 | < 59 \u000C4.3. Double Intersection Case C A C \u00E2\u0080\u00B2 A\u00E2\u0080\u00B2 Z X Y1 Y Y2 Y \u00E2\u0080\u00B2 X\u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 D B B\u00E2\u0080\u00B2 Figure 4.32: The general form of the counter example after the first two steps. |Y2 Z| + |C \u00E2\u0080\u00B2 Z|, i.e., \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFY C \u00E2\u0080\u00B2 \u00C2\u00AF + \u00C2\u00AFY \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 \u00C2\u00AF < \u00C2\u00AFY1 C \u00E2\u0080\u00B2 \u00C2\u00AF + \u00C2\u00AFD\u00E2\u0080\u00B2 Y2 \u00C2\u00AF + |Y2 Y1 | \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF < \u00C2\u00AFD\u00E2\u0080\u00B2 Y2 \u00C2\u00AF + |Y2 Z| + \u00C2\u00AFC \u00E2\u0080\u00B2 Z \u00C2\u00AF . We can conclude that, \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFY C \u00E2\u0080\u00B2 \u00C2\u00AF + \u00C2\u00AFY \u00E2\u0080\u00B2 D \u00E2\u0080\u00B2 \u00C2\u00AF < \u00C2\u00AFD \u00E2\u0080\u00B2 Z \u00C2\u00AF + \u00C2\u00AFC \u00E2\u0080\u00B2 Z \u00C2\u00AF . Also \u00C2\u00AF \u00E2\u0080\u00B2 \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00B2 \u00C2\u00AF \u00C2\u00AFD Z \u00C2\u00AF + \u00C2\u00AFC Z \u00C2\u00AF \u00E2\u0089\u00A5 2\u00CE\u00BB. Since |Y C \u00E2\u0080\u00B2 | and |Y \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 | are both \u00E2\u0089\u00A5 \u00CE\u00BB. Move Y and Y \u00E2\u0080\u00B2 to Z. Thus, \u00C2\u00AF \u00E2\u0080\u00B2 \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00B2 \u00C2\u00AF \u00C2\u00AFD Y \u00C2\u00AF + \u00C2\u00AFC Y \u00C2\u00AF \u00E2\u0089\u00A5 2\u00CE\u00BB. (4.2) 4. A = A\u00E2\u0080\u00B2 and B = B \u00E2\u0080\u00B2 . Move vertex A until it lies on A\u00E2\u0080\u00B2 . this will make CA longer, but it also increases AB. CA would get longer by |AA\u00E2\u0080\u00B2 |, but |BA\u00E2\u0080\u00B2 | \u00E2\u0089\u00A4 |BA| + |AA\u00E2\u0080\u00B2 | (triangular inequality), thus we will not have an increase in |AB| + |CX| + |DX \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |AC| \u00E2\u0088\u0092 |BD|. A symmetric transformation will move B to B \u00E2\u0080\u00B2 . 5. Make A, X, X \u00E2\u0080\u00B2 and B co-linear. 60 \u000C4.3. Double Intersection Case Extend XX \u00E2\u0080\u00B2 on both sides until it intersects both Y A and Y B. We want to move A and B to their respective intersection points. Call the intersection point of XX \u00E2\u0080\u00B2 and Y A, E. We claim that moving A to E would make both |CA| and |XA| longer, also moving B to the intersection point of XX \u00E2\u0080\u00B2 and Y B would increase both DB| and |X \u00E2\u0080\u00B2 B|. In order to prove this claim we use the fact that \u00E2\u0088\u00A0Y BX \u00E2\u0080\u00B2 and \u00E2\u0088\u00A0Y AX are acute. Lemma 11. \u00E2\u0088\u00A0Y BX \u00E2\u0080\u00B2 and \u00E2\u0088\u00A0Y AX are both acute. Proof. The proof for this claim is very similar to Lemma 10. Assuming that \u00E2\u0088\u00A0Y AX \u00E2\u0089\u00A5 \u00CF\u0080/2, we can apply Lemma 5 to \u00E2\u0096\u00B3Y AX. Thus, and Also and Thus |CX| + |AH| \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFDH \u00E2\u0080\u00B2 \u00C2\u00AF + \u00C2\u00AFH \u00E2\u0080\u00B2 B \u00C2\u00AF |AB| \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF > |CA| + |AX| \u00E2\u0089\u00A5 |DB| . \u00C2\u00AF \u00C2\u00AF \u00E2\u0089\u00A5 |AH| + \u00C2\u00AFH \u00E2\u0080\u00B2 B \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0089\u00A5 \u00C2\u00AFDH \u00E2\u0080\u00B2 \u00C2\u00AF . \u00C2\u00AF \u00C2\u00AF |AB| + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF\u00E2\u0089\u00A5 |AC| + |BD| + |AX| . \u00E2\u0089\u00A5 |AC| + |BD| + \u00CE\u00BB Similarly if \u00E2\u0088\u00A0yBX \u00E2\u0080\u00B2 \u00E2\u0089\u00A5 \u00CF\u0080/2, then |AB|+|CX|+|DX \u00E2\u0080\u00B2 | \u00E2\u0089\u00A5 |AC|+|BD|+\u00CE\u00BB, thus \u00E2\u0088\u00A0Y AX and \u00E2\u0088\u00A0Y BX \u00E2\u0080\u00B2 are both acute. When \u00E2\u0088\u00A0Y BX \u00E2\u0080\u00B2 and \u00E2\u0088\u00A0Y AX are acute, moving A to E would lengthen both |CA| and |XA|, since |XE| > |XA|. |AB| would also get longer, but |BE| < |AB|+|AE|. Similarly we can argue that |X \u00E2\u0080\u00B2 B \u00E2\u0080\u00B2 | and |DB| would both get longer. 6. C = C \u00E2\u0080\u00B2 and D = D\u00E2\u0080\u00B2 This move is valid since moving C \u00E2\u0080\u00B2 to C and D\u00E2\u0080\u00B2 to D would make Y C \u00E2\u0080\u00B2 and Y D\u00E2\u0080\u00B2 longer. After these transformations we have a triangle with vertices A = A\u00E2\u0080\u00B2 , B = B \u00E2\u0080\u00B2 and Y = Y \u00E2\u0080\u00B2 (see Fig. 4.33). 61 \u000C4.3. Double Intersection Case A A\u00CC\u0082 A = A\u00E2\u0080\u00B2 X X C C C\u00CC\u0082 X\u00E2\u0080\u00B2 X\u00E2\u0080\u00B2 Y =Y\u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 Y B = B\u00E2\u0080\u00B2 Figure 4.33: The outcome of the first seven steps of transformation on Fig. 4.33. D\u00E2\u0080\u00B2 B \u00CB\u009B 4.34: Choose A\u00CC\u0082 on AX such that \u00CB\u009BFigure \u00CB\u009B \u00CB\u009B \u00CB\u009BA\u00CC\u0082X \u00CB\u009B = \u00CE\u00BB. 7. |AX| = |BX \u00E2\u0080\u00B2 | = \u00CE\u00BB and \u00E2\u0088\u00A0CXA, \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B \u00E2\u0089\u00A4 \u00CF\u0080/2 We claim that either, \u00E2\u0080\u00A2 \u00E2\u0088\u00A0CXA = \u00CF\u0080/2 and |AX| \u00E2\u0089\u00A5 \u00CE\u00BB, or \u00E2\u0080\u00A2 \u00E2\u0088\u00A0CXA < \u00CF\u0080/2 and |AX| = \u00CE\u00BB Since, if \u00E2\u0088\u00A0CXA > \u00CF\u0080/2 then we can decrease it by moving X towards X \u00E2\u0080\u00B2 , and if \u00E2\u0088\u00A0CXA < \u00CF\u0080/2 while |AX| > \u00CE\u00BB then we will decrease |AX| by moving X towards A. The same is true for the other side of the triangle: \u00E2\u0080\u00A2 \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B = \u00CF\u0080/2 and |BX \u00E2\u0080\u00B2 | \u00E2\u0089\u00A5 \u00CE\u00BB, or \u00E2\u0080\u00A2 \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B < \u00CF\u0080/2 and |BX \u00E2\u0080\u00B2 | = \u00CE\u00BB We conclude that |AX| > \u00CE\u00BB or |BX \u00E2\u0080\u00B2 | > \u00CE\u00BB only if \u00E2\u0088\u00A0CXA = \u00CF\u0080/2 or \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B = \u00CF\u0080/2 respectively. \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF If |AX| > \u00CE\u00BB, select A\u00CC\u0082 on AX such that \u00C2\u00AFA\u00CC\u0082X \u00C2\u00AF = \u00CE\u00BB. Connect A\u00CC\u0082 to Y , intersecting XC at C\u00CC\u0082. \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00A2 \u00C2\u00AFY C\u00CC\u0082 \u00C2\u00AF > |Y C|, since \u00E2\u0088\u00A0Y CX = \u00E2\u0088\u00A0CXA + \u00E2\u0088\u00A0CAX > \u00CF\u0080/2 62 \u000C4.3. Double Intersection Case A \u00CE\u00BB X C X\u00E2\u0080\u00B2 \u00CE\u00BB Y D B Figure 4.35: Normalization would transform the polygon into this triangle. \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00A2 \u00C2\u00AFC\u00CC\u0082X \u00C2\u00AF = |CX| \u00E2\u0088\u0092 \u00C2\u00AFC C\u00CC\u0082 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00A2 \u00C2\u00AFX A\u00CC\u0082\u00C2\u00AF = |XA| \u00E2\u0088\u0092 \u00C2\u00AFAA\u00CC\u0082\u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00A2 \u00C2\u00AFC\u00CC\u0082 A\u00CC\u0082\u00C2\u00AF > |CA| \u00E2\u0088\u0092 \u00C2\u00AFC C\u00CC\u0082 \u00C2\u00AF \u00E2\u0088\u0092 \u00C2\u00AFAA\u00CC\u0082\u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF Therefore \u00C2\u00AFA\u00CC\u0082B \u00C2\u00AF + \u00C2\u00AFC\u00CC\u0082X \u00C2\u00AF + |DX \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 \u00C2\u00AFC\u00CC\u0082 A\u00CC\u0082\u00C2\u00AF \u00E2\u0088\u0092 |BD| < |AB| + |CX| + |DX \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |AC| \u00E2\u0088\u0092 |BD|. A similar transformation will be done if |BX \u00E2\u0080\u00B2 | > \u00CE\u00BB in order to adjust its length, thus we will assume that |BX \u00E2\u0080\u00B2 | = |AX| = \u00CE\u00BB and \u00E2\u0088\u00A0CXA, \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B \u00E2\u0089\u00A4 \u00CF\u0080/2. After these seven steps we have a triangle as Fig. 4.35. In the rest of this section we will analyze our triangle and establish more facts regarding its shape which will eventually lead to the proof of our claim. 8. Assume without loss of generality that A \u00E2\u0089\u00A5 B. 9. \u00E2\u0088\u00A0CXA > A, otherwise |CA| \u00E2\u0089\u00A4 |CX|, and |XA| \u00E2\u0089\u00A5 \u00CE\u00BB, thus |CX| + |DX \u00E2\u0080\u00B2 | + |AB| \u00E2\u0088\u0092 |AC| \u00E2\u0088\u0092 |DB| \u00E2\u0089\u00A5 \u00CE\u00BB. 10. Similarly \u00E2\u0088\u00A0DX \u00E2\u0080\u00B2 B > B. 11. A \u00E2\u0089\u00A5 \u00CF\u0080/3. Assume A < \u00CF\u0080/3. Since B < A then Y > \u00CF\u0080/3. We claim that if Y > \u00CF\u0080/3, then sum of the projections of CY and Y D on AB is 63 \u000C4.3. Double Intersection Case A C\u00CC\u0082 C X X\u00E2\u0080\u00B2 Y\u00CC\u0082 Y D\u00CC\u0082 1 2 B D Figure 4.36: \u00CB\u009B \u00CB\u009B \u00CB\u009B \u00CB\u009B If A < \u00CF\u0080/3, \u00CB\u009BC\u00CC\u0082 D\u00CC\u0082\u00CB\u009B > \u00CE\u00BB. greater than \u00CE\u00BB. We start by drawing perpendiculars from C and D to AB, calling the intersections C\u00CC\u0082 and D\u00CC\u0082 respectively. C\u00CC\u0082 D\u00CC\u0082 is sum of the projections of \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF CY and Y D on AB. If \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF > \u00CE\u00BB then it is easy to see that, \u00CE\u00BB < also |AC| < and |DB| < Thus |DB| + |AC| + \u00CE\u00BB < \u00E2\u0089\u00A4 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFC C\u00CC\u0082 \u00C2\u00AF + \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFDD\u00CC\u0082\u00C2\u00AF + \u00C2\u00AFB D\u00CC\u0082\u00C2\u00AF . \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |AB| + \u00C2\u00AFC C\u00CC\u0082 \u00C2\u00AF + \u00C2\u00AFDD\u00CC\u0082\u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |AB| + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF . \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF Lemma 12. In \u00E2\u0096\u00B3ABY of Fig. 4.36, if A, B < \u00CF\u0080/3 then \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF > \u00CE\u00BB Proof. Let Y\u00CC\u0082 be the projection of Y onto AB. C\u00CC\u0082 Y\u00CC\u0082 is the projection of of DY on AB. It is clear that \u00C2\u00AF projection \u00C2\u00AF \u00C2\u00AFCY \u00C2\u00AFon AB, and D\u00CC\u0082Y\u00CC\u0082 is the \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFC\u00CC\u0082 Y\u00CC\u0082 \u00C2\u00AF = sin Y1 |CY | and \u00C2\u00AFD\u00CC\u0082Y\u00CC\u0082 \u00C2\u00AF = sin Y2 |DY |. Since A and B are both < \u00CF\u0080/3, then Y1 and Y2 are both > \u00CF\u0080/6, thus: sin Y1 > 1 2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0087\u0092 \u00C2\u00AFC\u00CC\u0082 Y\u00CC\u0082 \u00C2\u00AF > |CY | /2 64 \u000C4.3. Double Intersection Case A C C X \u00E2\u0080\u00B2 X\u00E2\u0080\u00B2 Y D\u00E2\u0080\u00B2 D B Figure 4.37: XC \u00E2\u0080\u00B2 and X \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 are drawn perpendicular to AB. and similarly: sin Y2 > 1/2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0087\u0092 \u00C2\u00AFD\u00CC\u0082Y\u00CC\u0082 \u00C2\u00AF > |DY | /2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF therefore, \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF > (|DY | + |CY |)/2 \u00E2\u0089\u00A5 \u00CE\u00BB, since we already established that |DY | + |CY | \u00E2\u0089\u00A5 2\u00CE\u00BB (see equation 4.2). 12. B < \u00CF\u0080/6 We will show that if B \u00E2\u0089\u00A5 \u00CF\u0080/6 then |XC|+|XA|\u00E2\u0088\u0092|CA|+|X \u00E2\u0080\u00B2 D|+|X \u00E2\u0080\u00B2 B|\u00E2\u0088\u0092 |DB| > \u00CE\u00BB, and therefore |AB| + |CX| + |DX \u00E2\u0080\u00B2 | > |CA| + |DB| + \u00CE\u00BB. Draw XC \u00E2\u0080\u00B2 from X perpendicular to AB. |C \u00E2\u0080\u00B2 A| is longer than |CA| by |CC \u00E2\u0080\u00B2 | (since \u00E2\u0088\u00A0AXC \u00E2\u0089\u00A4 \u00CF\u0080/2), and |XC \u00E2\u0080\u00B2 | is longer than |XC| by less than |CC \u00E2\u0080\u00B2 | (triangular inequality), thus |XC \u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |C \u00E2\u0080\u00B2 A| \u00E2\u0089\u00A4 |XC| \u00E2\u0088\u0092 |CA|. Similarly draw X \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 from X \u00E2\u0080\u00B2 and we have |X \u00E2\u0080\u00B2 D\u00E2\u0080\u00B2 | \u00E2\u0088\u0092 |D\u00E2\u0080\u00B2 B| \u00E2\u0089\u00A4 |X \u00E2\u0080\u00B2 D| \u00E2\u0088\u0092 |DB| (see Fig. 4.37). We want to find |XC| + |XA| \u00E2\u0088\u0092 |CA| + |X \u00E2\u0080\u00B2 D| + |X \u00E2\u0080\u00B2 B| \u00E2\u0088\u0092 |DB|, therefore we will find the value of |XC| + |XA| \u00E2\u0088\u0092 |CA| in \u00E2\u0096\u00B3AXC \u00E2\u0080\u00B2 and |X \u00E2\u0080\u00B2 D| + |X \u00E2\u0080\u00B2 B| \u00E2\u0088\u0092 |DB| in \u00E2\u0096\u00B3BD\u00E2\u0080\u00B2 X \u00E2\u0080\u00B2 . Considering an arbitrary right triangle ABC, as in Fig. 4.38. We want to find a lower bound for |AB| + |BC| \u00E2\u0088\u0092 |AC|. Define f (\u00CE\u00B8) = (\u00CE\u00BB(sin \u00CE\u00B8 + cos \u00CE\u00B8 \u00E2\u0088\u0092 1))/ cos \u00CE\u00B8 = |AB| + |BC| \u00E2\u0088\u0092 |AC|. By increasing the angle \u00CE\u00B8 both AC and BC become longer. Using the triangular inequality we can see that the increase in AC is less 65 \u000C4.3. Double Intersection Case A \u00CE\u00B8 \u00CE\u00BB B C Figure 4.38: The relationship between edge lengths and \u00CE\u00B8 in a right triangle. than the increase in BC, therefore f (\u00CE\u00B8) is minimized when \u00CE\u00B8 is at its minimum. This leads to the conclusion that when applied to triangles \u00E2\u0096\u00B3AXC \u00E2\u0080\u00B2 and \u00E2\u0096\u00B3BD\u00E2\u0080\u00B2 X \u00E2\u0080\u00B2 , f (A) \u00E2\u0089\u00A5 f (\u00CF\u0080/3) and f (B) \u00E2\u0089\u00A5 f (\u00CF\u0080/6). After calculating f (\u00CF\u0080/3) and f (\u00CF\u0080/6) we get: f (\u00CF\u0080/3) = = and, Thus, f (\u00CF\u0080/6) = f (\u00CF\u0080/3) + f (\u00CF\u0080/6) = = > \u00CE\u00BB(sin(\u00CF\u0080/3) + cos(\u00CF\u0080/3) \u00E2\u0088\u0092 1) cos(\u00CF\u0080/3) \u00E2\u0088\u009A 3 1 \u00E2\u0088\u0092 1) 2\u00CE\u00BB( + 2 2\u00E2\u0088\u009A 3 2 1 \u00E2\u0088\u009A \u00CE\u00BB( + \u00E2\u0088\u0092 1). 2 2 3 \u00E2\u0088\u009A \u00E2\u0088\u009A 3\u00E2\u0088\u00921+3\u00E2\u0088\u0092 3 \u00E2\u0088\u009A ) \u00CE\u00BB( 3 2 \u00CE\u00BB\u00E2\u0088\u009A 3 \u00CE\u00BB So we have shown that |AB| + |CX| + |DX \u00E2\u0080\u00B2 | > |CA| + |DB| + \u00CE\u00BB. 13. |CA| > |CX| Assume |CA| \u00E2\u0089\u00A4 |CX|, then |CA| + |AX| \u00E2\u0089\u00A4 |CX| + |AX| By the triangle inequality |DB| \u00E2\u0089\u00A4 |DX \u00E2\u0080\u00B2 | + |X \u00E2\u0080\u00B2 B|, thus |CA| + |DB| + |AX| \u00E2\u0089\u00A4 |CX| + |DX \u00E2\u0080\u00B2 | + |AX| + |X \u00E2\u0080\u00B2 B| \u00E2\u0089\u00A4 |CX| + |DX \u00E2\u0080\u00B2 | + |AB|. This indicates that, \u00C2\u00AF \u00C2\u00AF |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF + |AB| \u00E2\u0088\u0092 |CA| \u00E2\u0088\u0092 |DB| \u00E2\u0089\u00A5 |AX| \u00E2\u0089\u00A5 \u00CE\u00BB 66 \u000C4.3. Double Intersection Case A 1 C\u00E2\u0080\u00B2 H 2 C C\u00CC\u0082 I X Figure 4.39: \u00CB\u009B \u00CB\u009B \u00CB\u009B \u00CB\u009B |CX| + \u00CB\u009BAC\u00CC\u0082 \u00CB\u009B \u00E2\u0088\u0092 |CA| \u00E2\u0089\u00A5 \u00CE\u00BB/2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF 14. |CX| + \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF \u00E2\u0088\u0092 |CA| \u00E2\u0089\u00A5 \u00CE\u00BB/2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF We show that when A \u00E2\u0089\u00A5 \u00CF\u0080/3 and |CA| > |CX|, then |CX| + \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF \u00E2\u0088\u0092 |CA| \u00E2\u0089\u00A5 \u00CE\u00BB/2, where C\u00CC\u0082 is the projection of C on AX. Choose C \u00E2\u0080\u00B2 on Y A such that |AC \u00E2\u0080\u00B2 | = |C \u00E2\u0080\u00B2 X|. Clearly C \u00E2\u0080\u00B2 has to be on CA (Fig.4.39), otherwise |CX| would be greater than |CA| since any move to the right of C \u00E2\u0080\u00B2 will decrease C \u00E2\u0080\u00B2 A more than C \u00E2\u0080\u00B2 X. Define H as the projection of C \u00E2\u0080\u00B2 on AX. It is clear that |AH| = \u00CE\u00BB/2, since \u00E2\u0096\u00B3AC \u00E2\u0080\u00B2 X is an isosceles triangle, and by fact 7, |AX| = \u00E2\u0080\u00B2 \u00CE\u00BB. Thus |C \u00E2\u0080\u00B2 X| \u00C2\u00AF +\u00C2\u00AF |AH| \u00E2\u0088\u0092 |C A| = \u00CE\u00BB/2. Subtracting this equation \u00C2\u00AF \u00C2\u00AF from |CX| + \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF \u00E2\u0088\u0092 |CA| \u00E2\u0089\u00A5 \u00CE\u00BB/2, we obtain the equivalent inequality \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |CX|\u00E2\u0088\u0092|C \u00E2\u0080\u00B2 X|+ \u00C2\u00AFC\u00CC\u0082H \u00C2\u00AF \u00E2\u0088\u0092|CC \u00E2\u0080\u00B2 | \u00E2\u0089\u00A5 0, which if shown, will establish fact 14. Select I such that \u00E2\u0088\u00A0CIC \u00E2\u0080\u00B2 = \u00CF\u0080/2 and IC \u00E2\u0080\u00B2 is perpendicular to XC \u00E2\u0080\u00B2 . \u00E2\u0080\u00B2 X| \u00E2\u0089\u00A5 |CI| and |CI| = |CC \u00E2\u0080\u00B2 | sin(C \u00E2\u0080\u00B2 ) = |CC \u00E2\u0080\u00B2 | sin(2A\u00E2\u0088\u0092 In Fig. 4.39,\u00C2\u00AF |CX|\u00E2\u0088\u0092|C 2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0080\u00B2 \u00CF\u0080/2). Also \u00C2\u00AFH C\u00CC\u0082 \u00C2\u00AF = |CC | sin((\u00CF\u0080 \u00E2\u0088\u0092 2A)/2). 67 \u000C4.3. Double Intersection Case A C\u00CC\u0082 C X X\u00E2\u0080\u00B2 Y\u00CC\u0082 D\u00CC\u0082 Y D B Figure 4.40: \u00CB\u009B \u00CB\u009B \u00CB\u009B \u00CB\u009B \u00CB\u009BC\u00CC\u0082 D\u00CC\u0082\u00CB\u009B > \u00CE\u00BB/2. Adding these equations together, \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF |CX| + \u00C2\u00AFH C\u00CC\u0082 \u00C2\u00AF \u00E2\u0088\u0092 \u00C2\u00AFC \u00E2\u0080\u00B2 X \u00C2\u00AF \u00E2\u0088\u0092 \u00C2\u00AFCC \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0089\u00A5 \u00C2\u00AFCC \u00E2\u0080\u00B2 \u00C2\u00AF (sin(\u00CF\u0080/2 \u00E2\u0088\u0092 A) + sin(2A \u00E2\u0088\u0092 \u00CF\u0080/2) \u00E2\u0088\u0092 1) \u00C2\u00AF \u00C2\u00AF = \u00C2\u00AFCC \u00E2\u0080\u00B2 \u00C2\u00AF (cos A \u00E2\u0088\u0092 cos 2A \u00E2\u0088\u0092 1) \u00C2\u00AF \u00C2\u00AF = \u00C2\u00AFCC \u00E2\u0080\u00B2 \u00C2\u00AF cos A(1 \u00E2\u0088\u0092 2 cos A) \u00E2\u0089\u00A50 Since A > \u00CF\u0080/3 implies cos A < 1/2. \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF 15. In Fig. 4.40 \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF > \u00CE\u00BB/2 \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF If \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF were less than \u00CE\u00BB/2, then \u00C2\u00AFC\u00CC\u0082B \u00C2\u00AF \u00E2\u0089\u00A4 3\u00CE\u00BB/2 (since \u00C2\u00AFD\u00CC\u0082B \u00C2\u00AF \u00E2\u0089\u00A4 \u00CE\u00BB by \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF fact 7). Draw Y Y\u00CC\u0082 perpendicular to AB. \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF/(3\u00CE\u00BB/2) < \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF/\u00C2\u00AFC\u00CC\u0082B \u00C2\u00AF < \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0088\u009A \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF/\u00C2\u00AFB Y\u00CC\u0082 \u00C2\u00AF = tan B < 1/ 3 (since B < \u00CF\u0080/6 by fact 12). Therefore \u00C2\u00AF \u00C2\u00AF \u00E2\u0088\u009A \u00C2\u00AF \u00C2\u00AF \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF < \u00CE\u00BB 3/2. (4.3) \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF This upper-bound on \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF poses a problem since \u00C2\u00AFC C\u00CC\u0082 \u00C2\u00AF would be longer \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF than \u00C2\u00AFY Y\u00CC\u0082 \u00C2\u00AF, which is not possible. We know that |AB| \u00E2\u0089\u00A5 2\u00CE\u00BB, which 68 \u000C4.3. Double Intersection Case \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF implies \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF \u00E2\u0089\u00A5 \u00CE\u00BB/2. \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00E2\u0088\u009A \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF A C\u00CC\u0082 = C C\u00CC\u0082 \u00C2\u00AF tan A > \u00CE\u00BB/2 tan A > \u00CE\u00BB 3/2 (since A > \u00CF\u0080/3 by fact 11) \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF (4.4) \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF This contradiction (equations 4.3 and 4.4) implies \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF > \u00CE\u00BB/2. After these steps we have all the required information, thus \u00C2\u00AF \u00C2\u00AF |AB| + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0088\u0092 |BD| \u00E2\u0088\u0092 |CA| \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF = \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF + \u00C2\u00AFC\u00CC\u0082 D\u00CC\u0082\u00C2\u00AF + \u00C2\u00AFD\u00CC\u0082B \u00C2\u00AF + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0088\u0092 |BD| \u00E2\u0088\u0092 |CA| \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF > \u00C2\u00AFAC\u00CC\u0082 \u00C2\u00AF + \u00CE\u00BB/2 + \u00C2\u00AFD\u00CC\u0082B \u00C2\u00AF + |CX| + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0088\u0092 |BD| \u00E2\u0088\u0092 |CA| (fact 15) \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF > \u00CE\u00BB + \u00C2\u00AFD\u00CC\u0082B \u00C2\u00AF + \u00C2\u00AFDX \u00E2\u0080\u00B2 \u00C2\u00AF \u00E2\u0088\u0092 |BD| (fact 14) \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF \u00C2\u00AF > \u00CE\u00BB + \u00C2\u00AFD\u00CC\u0082B \u00C2\u00AF + \u00C2\u00AFDD\u00CC\u0082\u00C2\u00AF \u00E2\u0088\u0092 |BD| (since \u00C2\u00AFDD\u00CC\u0082\u00C2\u00AF \u00E2\u008A\u00A5 |AB|) > \u00CE\u00BB (by triangle ineq.) 69 \u000CChapter 5 Conclusion In this work, we studied the problem of finding the shortest path to cover a convex polygon with two or three mobile guards. When there are two guards a polygon P is covered if every point in P lies on the line that connects the two guards, at some point in time. In the 3-guard case the covered area is defined as the triangle that the guards make, thus the guards move in a way that their triangle covers the surface of P . In both cases we relaxed the problem to a boundary cover, where the objective is to cover the boundary of P . Finding a boundary cover is not harder than finding the optimal sweep, since in an optimal sweep the boundary is also covered. In the two guards case, we proved that the shortest boundary cover is achieved when the guards stay on the polygon. The shortest boundary cover therefore is when the guards leave out the two longest edges of P and visit the other n \u00E2\u0088\u0092 2 edges during the sweep. Since the polygon is convex this solution also provides coverage for the interior of the polygon, thus it is also a solution to the more general problem of finding the optimal sweep for two guards. This solution can be found in order O(n) time, where n is the size of the polygon. In the three guards case, we were able to show that the optimal boundary cover is simple, i.e., the paths of the guards do not intersect on the interior of P . We proved that any boundary cover which included intersection in the paths of the guards, could be simplified to one of two intersection cases, either a single intersection or a double intersection. Each of these cases where shown to be longer than an alternative simple boundary cover. A simple three guard boundary cover has a maximum of four chains, and this makes the optimal boundary cover one of three certain shapes. All 70 \u000C5.1. Future Work three shapes provide coverage for the interior of the polygon, thus the optimal boundary cover is the optimal three guard sweep. 5.1 Future Work Our objective in this problem was to find the minimum total length of the paths of the guards. With this idea we might find the best solution consists of one guard that walks along the perimeter while the rest are stationary. This solution is of course not practical if we want to cover the polygon in minimum time. If we assume that speed of each guard is limited, and we want to cover the polygon with minimum time, then the problem turns into finding the paths of the guards such that the longest path is minimized. This problem is not trivial even when two guards are covering a convex polygon. Another interesting question arises when there are three or more guards. The purpose of area coverage was to cover a polygon such that every point in the polygon is visible from different directions. One might assume that a narrow triangle does not provide the same quality as an equilateral triangle. This assumption leads to the problem of finding the shortest paths for the guards such that their triangle does not have very large (e.g., \u00E2\u0089\u00A5 2\u00CF\u0080/3) or very small angles (e.g., \u00E2\u0089\u00A4 \u00CF\u0080/6). A similar problem can also be defined when the guards have limited visibility, i.e., the edges of the covered triangle are not longer than a certain distance. Also the problem can be considered when there are more than three guards. When there are more than three guards, the problem of finding minimum length sweeps becomes more complicated. Since the definition of covered area needs further speculation, as the guards are now able to form shapes that are not convex. 71 \u000CBibliography [1] Svante Carlsson, Bengt J. Nilsson, and Simeon Ntafos. Optimum guard covers and m-watchmen routes for restricted polygons, 1993. [2] Wei-Pang Chin. Optimum watchman routes. Information Processing Letters, 8:39\u00E2\u0080\u009344, 1988. [3] Wei-Pang Chin and Simeon Ntafos. Optimum watchman routes. In Annual Symposium on Computational Geometry, pages 24\u00E2\u0080\u009333, 1986. [4] Wei-Pang Chin and Simeon Ntafos. Shortest watchman routes in simple polygons. Discrete Computational Geometry, 6:9\u00E2\u0080\u009331, 1991. [5] Jurek Czyzowicz, Peter Egyed, Hazel Everett, David Rappaport, Thomas Shermer, Diane Souvaine, Godfried Toussaint, and Jorge Urrutia. The aquarium keeper\u00E2\u0080\u0099s problem. In SODA \u00E2\u0080\u009991: Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, pages 459\u00E2\u0080\u0093464, Philadelphia, PA, USA, 1991. Society for Industrial and Applied Mathematics. [6] Moshe Dror, Alon Efrat, Anna Lubiw, and Joseph S.B. Mitchell. Touring a sequence of polygons. In STOC\u00E2\u0080\u009903, pages 473\u00E2\u0080\u0093482, 2003. [7] Paul J. Heffernan. An optimal algorithm for the two-guard problem. In SCG \u00E2\u0080\u009993: Proceedings of the ninth annual symposium on Computational geometry, pages 348\u00E2\u0080\u0093358, New York, NY, USA, 1993. ACM. [8] Christian Icking and Rolf Klein. The two guards problem. In SCG \u00E2\u0080\u009991: Proceedings of the seventh annual symposium on Computational geometry, pages 166\u00E2\u0080\u0093175, New York, NY, USA, 1991. ACM. [9] D.T. Lee and Arthur K.Lin. Computational complexity of art gallery problems. IEEE Transaction on Information Theory, 32:276\u00E2\u0080\u0093282, 1986. [10] Jae-Ha Lee, Sang-Min Park, and Kyung-Yong Chwa. Searching a polygonal room with one door by a 1-searcher. International Journal of Computational Geometry and Applications, 10(2):201\u00E2\u0080\u0093220, 2000. 72 \u000C[11] Albert W. Marshall and Ingram Olkin. Inequalities: theory of Majorization and Its Applications. Academic Press INC., New York, first edition, 1979. [12] Bengt J. Nilsson and Derick Wood. Optimum watchmen routes in spiral polygons. In Proceeding of 2nd Conference on Computational Geometry, page 269272, 1990. [13] S. Ntafos. The robber route problem. Inf. Process. Lett., 34(2):59\u00E2\u0080\u009363, 1990. [14] Simeon Ntafos. Watchman routes under limited visibility. Comput. Geom. Theory Appl., 1(3):149\u00E2\u0080\u0093170, 1992. [15] Simeon Ntafos and Laxmi Gewali. External watchman routes. The Visual Computer, 10(8):474\u00E2\u0080\u0093483, 1994. [16] Joseph O\u00E2\u0080\u0099Rourke. Art Gallery Theorems and Algorithms. Oxford University Press, New York, US, first edition, 1987. [17] Thomas C. Shermer. Recent results in art galleries. In In Proceedings of the IEEE, volume 80(9), pages 1384\u00E2\u0080\u00931399, 1992. [18] Ichiro Suzuki and Masafumi Yamashita. Searching for a mobile intruder in a polygonal region. Society for Industrial and Applied Mathmatics, 20(5):863\u00E2\u0080\u0093888,, 1992. [19] Xuehou Tan. An efficient algorithm for the three-guard problem. Discrete Applied Mathmatics, 156(17):3312\u00E2\u0080\u00933324, 2008. [20] L. H. Tseng, Paul J. Heffernan, and D. T. Lee. Two-guard walkability of simple polygons. International Journal of Computational Geometry and Applications, 8(1):85\u00E2\u0080\u0093116, 1998. [21] J Urrutia. Handbook of Computational Geometry. North Holland, 2000. [22] Zhong Zhang. Applications of Visibility Space in Polygon Search Problems. PhD thesis, Simon Fraser University, 2005. 73 "@en .
"Thesis/Dissertation"@en .
"2010-11"@en .
"10.14288/1.0051866"@en .
"eng"@en .
"Computer Science"@en .
"Vancouver : University of British Columbia Library"@en .
"University of British Columbia"@en .
"Attribution-NonCommercial-NoDerivatives 4.0 International"@en .
"http://creativecommons.org/licenses/by-nc-nd/4.0/"@en .
"Graduate"@en .
"Optimally sweeping convex polygons with two and three guards"@en .
"Text"@en .
"http://hdl.handle.net/2429/24248"@en .