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.

The Opaque Square

Opaque Sets

Computing Opaque Interior Barriers à La Shermer.

Computational Geometry Column 58

Online Removable Square Packing

The double-bubble problem on the square lattice

Bounding and Computing Obstacle Numbers of Graphs

Face-Guarding Polyhedra

Irrational Guards are Sometimes Needed

Square Trisection

Parallel covering a parallelogram with squares

On a conjecture on prime double square tiles

Sometimes Two Irrational Guards are Needed

Stabbing simplices by points and flats

Simplex slicing: an asymptotically-sharp lower bound

Restricted Sums of Four Squares

Guarding curvilinear art galleries with vertex or point guards

On Covering Problems of Rado

Minimizing the stabbing number of matchings, trees, and triangulations

Improved upper bounds in the moving sofa problem

Simple Graph Density Inequalities with no Sum of Squares Proofs