Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1537-1565, June 2024. An obstacle representation of a graph [math] consists of a set of pairwise disjoint simply connected closed regions and a one-to-one mapping of the vertices of [math] to points such that two vertices are adjacent in [math] if and only if the line segment connecting the two corresponding points does not intersect any obstacle. The obstacle number of a graph is the smallest number of obstacles in an obstacle representation of the graph in the plane such that all obstacles are simple polygons. It is known that the obstacle number of each [math]-vertex graph is [math] [M. Balko, J. Cibulka, and P. Valtr, Discrete Comput. Geom., 59 (2018), pp. 143–164] and that there are [math]-vertex graphs whose obstacle number is [math] [V. Dujmović and P. Morin, Electron. J. Combin., 22 (2015), 3.1]. We improve this lower bound to [math] for simple polygons and to [math] for convex polygons. To obtain these stronger bounds, we improve known estimates on the number of [math]-vertex graphs with bounded obstacle number, solving a conjecture by Dujmović and Morin. We also show that if the drawing of some [math]-vertex graph is given as part of the input, then for some drawings [math] obstacles are required to turn them into an obstacle representation of the graph. Our bounds are asymptotically tight in several instances. We complement these combinatorial bounds by two complexity results. First, we show that computing the obstacle number of a graph [math] is fixed-parameter tractable in the vertex cover number of [math]. Second, we show that, given a graph [math] and a simple polygon [math], it is NP-hard to decide whether [math] admits an obstacle representation using [math] as the only obstacle.

Computational Geometry Column 58

Opaque Sets

The Opaque Square

Computing Opaque Interior Barriers à La Shermer.

Computational Geometry Column 69

Computational Geometry Column 38

Computational Geometry Column 56

Computational Geometry Column 33

Guarding curvilinear art galleries with vertex or point guards

Bounding and Computing Obstacle Numbers of Graphs

Almost Tight Bounds for Conflict-Free Chromatic Guarding of Orthogonal Galleries

Minkowski Bisectors, Minkowski Cells and Lattice Coverings

Face-Guarding Polyhedra

Super Guarding and Dark Rays in Art Galleries

Enclosing Points with Geometric Objects

A Geometric proof for the Polygonal Isoperimetric Inequality

Optimal Curve Straightening is $\exists\mathbb{R}$-Complete

Hidden Mobile Guards in Simple Polygons

Irrational Guards are Sometimes Needed

The Restriction of Efficient Geodesics to the Non-separating Complex of Curves

Geometry curves: A compact representation for 3D shapes