我们引入了合并宽度，这是一类统一多种结构图度量的图参数，包括树宽、退化度、双宽、团宽和广义着色数。我们的参数基于一种称为构造序列的新分解方法。这些序列由顶点集的逐渐粗化的划分组成，其中每对部分有一个指定的默认连接，所有与默认连接不同的顶点对被标记为已解决。
半径为 $r$ 的合并宽度是通过沿着最多 $r$ 条已解决边的路径，从一个顶点开始所能到达的最大部分数量。具有有界合并宽度的图类——对于每个固定的 $r=1,2,3,\text{...}$，其半径 $r$ 的合并宽度参数可以被一个常数所界定——包含所有有界扩展类或有界双宽类，从而统一了稀疏性和双宽框架中的两个核心概念。此外，这些类在一阶转导下是保持的，证明了它们的稳健性。我们猜测，有界合并宽度的类与之前引入的有界翻转宽度类是等价的。
作为我们的主要结果，我们证明了在包含见证构造序列的输入下，对于有界合并宽度的图类，一阶逻辑的模型检测问题是固定参数可处理的。这一结果统一并扩展了 Dvořák、Král 和 Thomas 针对有界扩展类的模型检测结果，以及 Bonnet、Kim、Thomassé 和 Watrigant 针对有界双宽类的结果。最后，我们建议未来的研究方向，这些方向可能会影响结构和算法图论的研究，尤其是单调依赖图类，我们猜测这与几乎有界合并宽度类一致。
博主点评： 本文通过引入合并宽度及其相关结构，为图论中的模型检测问题提供了新的视角和方法，展现了理论计算机科学中的创新思路，值得进一步探讨其在更广泛应用中的潜力。