Twin-width is a width parameter introduced by Bonnet, Kim, Thomass\'e and Watrigant [FOCS'20, JACM'22], which has many structural and algorithmic applications. We prove that the twin-width of every graph embeddable in a surface of Euler genus $g$ is $18\sqrt{47g}+O(1)$, which is asymptotically best possible as it asymptotically differs from the lower bound by a constant multiplicative factor. Our proof also yields a quadratic time algorithm to find a corresponding contraction sequence. To prove the upper bound on twin-width of graphs embeddable in surfaces, we provide a stronger version of the Product Structure Theorem for graphs of Euler genus $g$ that asserts that every such graph is a subgraph of the strong product of a path and a graph with a tree-decomposition with all bags of size at most eight with a single exceptional bag of size $\max\{8,32g-27\}$.
翻译:双宽度是由Bonnet、Kim、Thomassé和Watrigant [FOCS'20, JACM'22]引入的宽度参数,具有广泛的结构与算法应用。我们证明了可嵌入欧拉亏格为$g$的曲面的每个图的双宽度为$18\sqrt{47g}+O(1)$,该界在渐近意义下是最优的,因为其与下界仅差一个常数乘法因子。我们的证明还给出了寻找相应压缩序列的二次时间算法。为了证明可嵌入曲面图的双宽度上界,我们给出了欧拉亏格为$g$的图的乘积结构定理的一个更强版本,该定理断言每个此类图都是某条路径与某个图的强乘积的子图,其中后者具有树分解,除一个大小为$\max\{8,32g-27\}$的例外袋外,所有袋的大小至多为8。