[論文レビュー] Problems hard for treewidth but easy for stable gonality

Hans L. Bodlaender, Gunther Cornelissen+1 more|arXiv (Cornell University)|Feb 14, 2022

Advanced Graph Theory Research被引用数 2

ひとこと要約

本稿では、安定的ゴノリティ（stable gonality）と呼ばれる代数幾何学に根ざした新しいグラフパラメータを用いたパrameterizationのもとで、いくつかの古典的なNP困難なグラフ問題—例えば、下限付き非有向フロー、最小最大出次数、容量制限付き支配集合—がFPT（Fixed-Parameter Tractable）であることを示している。著者らは「ツリーブレッドス（treebreadth）」と呼ばれる新しいパラメータを導入し、動的計画法と整数線形計画法を用いて効率的なアルゴリズムを実現しており、treewidthに基づくパrameterizationでは困難である問題が、この新しいパラメータ化によって扱いやすくなることを示している。

ABSTRACT

The Integer Multicommodity Flow problem has been studied extensively in the literature. However, from a parameterised perspective, mostly special cases, such as the Disjoint Path problem, have been considered. Therefore, we investigate the parameterised complexity of the general Integer Multicommodity Flow problem. We show that the decision version of this problem on directed graphs for a constant number of commodities, when the capacities are given in unary, is XNLP-complete with pathwidth as parameter and XALP-complete with treewidth as parameter. When the capacities are given in binary, the problem is NP-complete even for graphs of pathwidth at most 13. We give related results for undirected graphs. These results imply that the problem is unlikely to be fixed-parameter tractable by these parameters. In contrast, we show that the problem does become fixed-parameter tractable when weighted tree partition width (a variant of tree partition width for edge weighted graphs) is used as parameter.

研究の動機と目的

• treewidthに基づくパラメータ化では不条理であるが、安定的ゴノリティに基づくパラメータ化では扱えるグラフ問題を同定すること。
• 重み付きツリーパartitionに基づき、新しいパラメータであるツリーブレッドスを用いたアルゴリズムフレームワークを構築すること。
• 安定的ゴノリティが、特定の容量制限付きおよびフロー関連の問題に対して、treewidthよりも強力なパラメータであることを示すこと。
• 安定的ゴノリティを用いた多様なグラフのバージョンのCourcelleの定理の論理的かつ構造的基盤を確立すること。
• 安定的ゴノリティの限界を特定し、このパラメータ化のもとでも依然として困難である問題を同定すること。

提案手法

• Seeseのツリーパーティショングラフにインspiredされた重み付きツリーパーティションとしての「ツリーブレッドス」の概念を導入し、形式化すること。
• ツリーブレッドス構造の分解に基づく動的計画法を用いて、問題を効率的に解くこと。
• 変数数が有界である整数線形計画法を用いて、容量制限をモデル化すること。
• XNLP完全問題（例：受理非決定的チェックカウンタマシン）を用いて、treewidthおよびパス幅における難易度を示すこと。
• 多様グラフからツリーへのグラフモルフィズムを構築し、安定的ゴノリティを定義することで、細分化と調和的エッジ重み付けを可能にすること。
• 安定的ゴノリティの代数幾何学的基盤を活用し、treewidthとは異なり多様グラフ構造に敏感なアルゴリズムを設計すること。

実験結果

リサーチクエスチョン

• RQ1 treewidthに基づくパラメータ化ではXNLP困難である問題が、安定的ゴノリティに基づくパラメータ化ではFPTにできるか？
• RQ2 容量制限付きおよびフロー関連のグラフ問題において、安定的ゴノリティはtreewidthよりも効果的なパラメータであるか？
• RQ3 ツリーブレッドスの概念を用いて、多様グラフ問題のための効率的な動的計画法を設計できるか？
• RQ4 安定的ゴノリティまたはツリーブレッドスによるパラメータ化のもとでも、依然として困難である問題は存在するか？
• RQ5 Courcelleの定理に類似した、安定的ゴノリティにおけるFPT問題の論理的特徴付けを構築できるか？

主な発見

• 下限付き非有向フローは、パス幅をパラメータとするときXNLP完全であるが、安定的ゴノリティをパラメータとするときFPTに帰着可能である。
• treewidthをパラメータとするときW[1]-困難である最小最大出次数問題は、安定的ゴノリティをパラメータとするときFPTに帰着可能である。
• 以前はtreewidthをパラメータとするときW[1]-困難であった容量制限付き（赤-青）支配集合問題は、安定的ゴノリティをパラメータとするときFPTに帰着可能である。
• 著者らは「ツリーブレッドス」を新しい構造的パラメータとして導入し、グラフ分解における効率的な動的計画法の実現を可能にした。
• 変数数が有界である整数線形計画法の使用により、新しいパラメータ領域における容量制限の効率的モデル化が可能になった。
• 安定的ゴノリティは、treewidthとは異なり多様グラフ構造に敏感であり、これは容量制限付き問題に適している。