We prove the following variant of Levi's Enlargement Lemma: for an arbitrary arrangement $\mathcal{A}$ of $x$-monotone pseudosegments in the plane and a pair of points $a,b$ with distinct $x$-coordinates and not on the same pseudosegment, there exists a simple $x$-monotone curve with endpoints $a,b$ that intersects every curve of $\mathcal{A}$ at most once. As a consequence, every simple monotone drawing of a graph can be extended to a simple monotone drawing of a complete graph. We also show that extending an arrangement of cylindrically monotone pseudosegments is not always possible; in fact, the corresponding decision problem is NP-hard.
翻译:我们证明了Levi扩展引理的如下变体:对于平面上任意一个由$x$-单调伪线段组成的排列$\mathcal{A}$,以及一对具有不同$x$坐标且不在同一条伪线段上的点$a,b$,存在一条以$a,b$为端点的简单$x$-单调曲线,使得该曲线与$\mathcal{A}$中每条曲线至多相交一次。作为推论,任何图的简单单调绘制均可扩展为完全图的简单单调绘制。我们还证明了柱面单调伪线段排列的扩展并非总是可行的;事实上,相应的判定问题是NP-难的。