[論文レビュー] The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth

Jannik Schestag, Norbert Zeh|arXiv (Cornell University)|Feb 6, 2026

Genomics and Phylogenetic Studies被引用数 0

ひとこと要約

要約: 複雑さの分離を証明する論文。依存関係を伴う重み付き系統多様性は、ノードスキャン幅でFPTだが、木幅でパラメータ化した場合はℓ≥1に対してW[ℓ]-hardである。

ABSTRACT

Structural parameters of graphs, such as treewidth, play a central role in the study of the parameterized complexity of graph problems. Motivated by the study of parametrized algorithms on phylogenetic networks, scanwidth was introduced recently as a new treewidth-like structural parameter for directed acyclic graphs (DAGs) that respects the edge directions in the DAG. The utility of this width measure has been demonstrated by results that show that a number of problems that are fixed-parameter tractable (FPT) with respect to both treewidth and scanwidth allow algorithms with a better dependence on scanwidth than on treewidth. More importantly, these scanwidth-based algorithms are often much simpler than their treewidth-based counterparts: the name ``scanwidth'' reflects that traversing a tree extension (the scanwidth-equivalent of a tree decomposition) of a DAG amounts to ``scanning'' the DAG according to a well-chosen topological ordering. While these results show that scanwidth is useful especially for solving problems on phylogenetic networks, all problems studied through the lens of scanwidth so far are either FPT with respect to both scanwidth and treewidth, or W[$\ell$]-hard, for some $\ell \ge 1$, with respect to both. In this paper, we show that scanwidth is not just a proxy for treewidth and provides information about the structure of the input graph not provided by treewidth, by proving a fairly stark complexity-theoretic separation between these two width measures. Specifically, we prove that Weighted Phylogenetic Diversity with Dependencies is FPT with respect to the scanwidth of the food web but W[$\ell$]-hard with respect to its treewidth, for all $\ell \ge 1$. To the best of our knowledge, no such separation between these two width measures has been shown for any problem before.

研究の動機と目的

• DAG（系統ネットワーク）における幅の指標としてスキャン幅の研究動機を示す。
• スキャン幅が木幅では達成できないFPTアルゴリズムを生み出す可能性を示す。
• 自然な問題に対するノードスキャン幅と木幅の hardness 分離を確立する。
• 食物網（DAG）上でWeighted Phylogenetic Diversity with Dependencies (Weighted PDD_s) をモデル化・分析する。
• 正確な還元を通じてスキャン幅と木幅を分離する構成を提示する。

提案手法

• 重み付き PDD_s を頂点重み d、弧重み γ、整数 B, D を持つ食物網（DAG）上で定義する。
• Capacitated Dominating Set からの還元を用いて、木幅パラメータ化したときの 1/2-PDD_s の W[ℓ]-hard性を証明する。
• 木幅を制御したWeighted PDD_s の多項式時間還元を構築し、インスタンス同値性を保持する。
• CDS → 1/2-PDD_s の還元において支配集合の構造と容量制約を課す selector ウィジェットと quota ウィジェットを導入・分析する。
• ノードスキャン幅に基づく動的計画法を、木の拡張 T 上で展開して Weighted PDD_s を解く。特化した (v,A′,ℓ)-適合性状態を用いる。
• NSW(F) の木の拡張を与えれば、解は O(2^{nsw(F)} · n^3) の時間で得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 ノードスキャン幅に対してFPTだが木幅にはFPTでない問題は存在するか？
• RQ2 系統ネットワークに関する自然な問題で、スキャン幅と木幅の強い分離は存在するか？
• RQ3 Weighted PDD_s はノードスキャン幅で効率良く解けるが、木幅での hardness を超えられるか？
• RQ4 selector ウィジェットと quota ウィジェットは CDS から 1/2-PDD_s への還元をどう補助するか？
• RQ5 木の拡張、ノードスキャン幅、および Weighted PDD_s の DP 形式の正確な関係はどうなるか？

主な発見

• 1/2-PDD_s は木幅でパラメータ化した場合 ℓ≥1 に対して W[ℓ]-hard。
• Weighted PDD_s はノードスキャン幅で FPT であり、 NSW(F) を持つ木の拡張が与えられれば時間は O(2^{nsw(F)} · n^3)。
• CDS のインスタンスを木幅を一定因子まで保持しつつ多項式時間で 1/2-PDD_s に還元できる。
• 還元では選択ウィジェットと quota ウィジェットを用いて、支配集合の構造と容量制約を構築した食物網内に課す。
• ノードスキャン幅ベースの DP は木分解に似た構造 T を活用して、部分木間の適合性状態を管理する。