[論文レビュー] 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

ひとこと要約

本稿では、木幅、経路幅、分岐幅といったグラフ幅測度を一般化する、モノイダル圏における射の複雑さを測る統一的な代数的枠組みとしてモノイダル幅を導入する。コスパンのグラフの圏においてモノイダル幅を具体化することで、著者たちはそれが古典的なグラフ幅を正確に捉え、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の定理の一般化を通じてアルゴリズム的応用の可能性を秘めている。