论文标题
界限和计算图的障碍物数
Bounding and computing obstacle numbers of graphs
论文作者
论文摘要
图$ g $的障碍物表示由一组成对的脱节简单连接的封闭区域和$ g $的顶点的一对一映射到点,以便在$ g $中相邻两个顶点时,仅当连接两个相应点的线段没有任何障碍时。图的障碍物数是平面中图的障碍物表示中最小数量的障碍物,因此所有障碍物都是简单的多边形。众所周知,每个$ n $ vertex图的障碍号为$ o(n \ log n)$ [balko,cibulka和valtr,2018],并且有$ n $ vertex图形的障碍物为$ω(n/(n/(n/(\ log log \ log \ log n)^2)我们将此下限提高到简单多边形的$ω(n/\ log \ log n)$,凸多边形的$ω(n)$。为了获得这些更强大的界限,我们改进了有关具有有限障碍号的$ n $ vertex图的已知估计值,解决了Dujmović和Morin的猜想。我们还表明,如果给出一些$ n $ vertex图作为输入的一部分,则需要一些图纸$ω(n^2)$障碍物将它们变成图形的障碍物表示。在几种情况下,我们的界限在渐近上很紧。我们通过两个复杂性结果补充了这些组合界限。首先,我们表明计算图$ G $的障碍物数是$ g $的顶点封面中的固定参数。其次,我们表明,给定图形$ g $和一个简单的多边形$ p $,决定是否使用$ p $作为唯一的障碍是NP-HARD。
An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ 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 $n$-vertex graph is $O(n \log n)$ [Balko, Cibulka, and Valtr, 2018] and that there are $n$-vertex graphs whose obstacle number is $Ω(n/(\log\log n)^2)$ [Dujmović and Morin, 2015]. We improve this lower bound to $Ω(n/\log\log n)$ for simple polygons and to $Ω(n)$ for convex polygons. To obtain these stronger bounds, we improve known estimates on the number of $n$-vertex graphs with bounded obstacle number, solving a conjecture by Dujmović and Morin. We also show that if the drawing of some $n$-vertex graph is given as part of the input, then for some drawings $Ω(n^2)$ 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 $G$ is fixed-parameter tractable in the vertex cover number of $G$. Second, we show that, given a graph $G$ and a simple polygon $P$, it is NP-hard to decide whether $G$ admits an obstacle representation using $P$ as the only obstacle.