[论文解读] Monoidal Width: Unifying Tree Width, Path Width and Branch Width

Elena Di Lavore, Paweł Sobociński|arXiv (Cornell University)|Feb 15, 2022

Logic, programming, and type systems被引用 4

一句话总结

本文引入了幺半宽（monoidal width）作为度量幺半类范畴中态射复杂度的统一代数框架，该框架广义化了图的宽度度量（如树宽、路径宽和分支宽）。通过在图的余链（cospans）范畴中实例化幺半宽，作者证明了该框架能精确捕捉这些经典图的宽度度量，建立了紧致的界限：分支宽满足 1/2 ⋅ bwd(G) ≤ mwd(g) ≤ bwd(G) + 1，树宽与路径宽亦有类似等式关系。

ABSTRACT

We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width. We propose that monoidal width: (i) is a promising concept that, while capturing known measures, can similarly be instantiated in other settings, avoiding the need for ad-hoc domain-specific definitions and (ii) comes with a general, formal algebraic notion of decomposition using the language of monoidal categories.

研究动机与目标

• 在单一形式框架下统一现有的图宽度度量——树宽、路径宽与分支宽。
• 通过引入幺半宽作为形式化且可执行的分解概念，弥补计算对象缺乏一般性代数分解理论的不足。
• 证明当在图的余链范畴中实例化时，幺半宽能广义化已知的图宽度度量。
• 建立幺半宽与经典图宽度之间的形式化界限，证明其在精确条件下具有等价性。
• 通过范畴论的推广，为将宽度度量扩展至其他结构（如有向图、超图与关系系统）奠定基础。

提出的方法

• 将幺半宽定义为在幺半类范畴中，使用序列组合与幺半组合（并行）对态射进行分解的最小代价。
• 引入受限变体：幺半树宽与幺半路径宽，分别对应树状与路径状的分解树结构。
• 构建图的递归分解（如递归分支分解、树分解或路径分解）与图的余链范畴中幺半分解之间的映射。
• 利用范畴论工具，包括图的满射与子图包含关系，确保分解约束与宽度在映射中保持不变。
• 通过递归结构归纳法证明：幺半分解的宽度与对应图分解的经典宽度一致。
• 建立紧致的定量界限：mwd(g) ∈ [1/2 ⋅ bwd(G), bwd(G) + 1]，且树宽与路径宽情形下等式成立。

实验结果

研究问题

• RQ1 能否为幺半类范畴中的态射定义一个统一的、广义的宽度概念，使其涵盖现有的图宽度度量？
• RQ2 幺半宽及其变体与分支宽、树宽、路径宽等经典图宽度之间存在何种关系？
• RQ3 能否形式化并证明图的递归分解与幺半分解之间的映射关系，且确保宽度在映射中保持不变？
• RQ4 幺半宽与经典图宽度之间的定量界限是什么？
• RQ5 通过选择适当的幺半类范畴，能否将幺半宽推广至有向图、超图或关系系统等其他结构？

主要发现

• 在图的余链范畴中，幺半宽恢复了经典图宽度度量：幺半树宽等于树宽，幺半路径宽等于路径宽，幺半宽受分支宽的上下文约束。
• 对任意图 G，其对应余链态射 g 的幺半宽满足 1/2 ⋅ bwd(G) ≤ mwd(g) ≤ bwd(G) + 1。
• 态射 g 的幺半树宽等于其底层图的树宽：mtwd(g) = twd(G)。
• 态射 g 的幺半路径宽等于其底层图的路径宽：mpwd(g) = pwd(G)。
• 从递归分支分解到幺半分解的映射，其宽度保持在 +1 以内；反之，宽度保持在乘法因子 2 以内。
• 研究结果表明，幺半宽不仅是一个统一的概念，更是一种形式精确且可执行的图宽度广义化，其潜在应用可通过 Courcelle 定理的推广实现。