In geometry, a star-shaped polygon is a polygonal region in the euclidean plane which is a star domain, that is, a polygon that contains a point from which the entire polygon boundary is visible. Formally, a polygon P is star-shaped if there exists a point z such that for each point p of P the segment z p ¯ {\displaystyle {\overline {zp}}} lies entirely within P. The set of all points z with this property (that is, the set of points from which all of P is visible) is called the kernel of P. If a star-shaped polygon is convex, the link distance between any two of its points (the minimum number of sequential line segments sufficient to connect those points) is 1, and so the polygon's link diameter (the maximum link distance over all pairs of points) is 1. If a star-shaped polygon is not convex, the link distance between a point in the kernel and any other point in the polygon is 1, while the link distance between any two points that are in the polygon but outside the kernel is either 1 or 2; in this case the maximum link distance is 2.
Examples Convex polygons are star shaped, and a convex polygon coincides with its own kernel. Visibility polygons are star-shaped as every point within them must be visible to the center by definition.
Algorithms Testing whether a polygon is star-shaped, and finding a single point in the kernel, may be solved in linear time by formulating the problem as a linear program and applying techniques for low-dimensional linear programming (see http://www.inf.ethz.ch/personal/emo/PublFiles/SubexLinProg_ALG16_96.pdf, page 16). Each edge of a polygon defines an interior half-plane, the half-plane whose boundary lies on the line containing the edge and that contains the points of the polygon in a neighborhood of any interior point of the edge. The kernel of a polygon is the intersection of all its interior half-planes. The intersection of an arbitrary set of N half-planes may be found in Θ(N log N) time using the divide and conquer approach. However, for the case of kernels of polygons, a faster method is possible: Lee & Preparata (1979) presented an algorithm to construct the kernel in linear time.
See also Monotone polygon
References
