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.

Classification of global solutions to the obstacle problem in the plane

The structure of the regular part of the free boundary close to singularities in the obstacle problem

On Abstract Strichartz Estimates and the Strauss Conjecture for Nontrapping Obstacles

Concerning the Strauss Conjecture and Almost Global Existence for Nonlinear Dirichlet-wave Equations in 4-Dimensions

Three-dimensional noncompact $κ$-solutions that are Type I forward and backward

Existence and uniqueness results for a class of obstacle problem via Young's measure theory

On Higher Dimensional Complex Plateau Problem

Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems

Nonlocal Double Phase Implicit Obstacle Problems with Multivalued Boundary Conditions

Classification of 3-Dimensional Isolated Rational Hypersurface Singularities with C*-Action

Classification of abelian actions with globally hypoelliptic orbitwise laplacian I: The Greenleaf-Wallach conjecture on nilmanifolds

On the Holonomic Rank Problem

A fake smooth CP^2 # RP^4

Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

Some recent approaches in 4-dimensional surgery theory

Compact contact sets of sub-quadratic solutions to the thin obstacle problem

Obstacle Numbers of Planar Graphs

On a class of coupled obstacle systems

A game-theoretic approach to the asymptotic behavior of solutions to an obstacle problem for the mean curvature flow equation

Bounding and Computing Obstacle Numbers of Graphs

Classification of solutions to $3$-D and $4$-D mixed order conformally invariant systems with critical and exponential growth