[논문 리뷰] The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth

Jannik Schestag, Norbert Zeh|arXiv (Cornell University)|2026. 02. 06.

Genomics and Phylogenetic Studies인용 수 0

한 줄 요약

이 논문은 복잡도 분리(complexity separation)를 증명한다: 의존성을 가진 가중 Phylogenetic Diversity는 노드 스캔폭으로 매개화하면 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)을 모델링하고 분석한다.
• 정확한 축소를 통해 스캔폭과 트리폭의 차이를 분리하는 구성들을 제공한다.

제안 방법

• 식품 웹(다익스트리콘 DAG)에서 정점 가중치 d와 호 가중치 γ 및 정수 B, D를 가진 Weighted PDD_s를 정의한다.
• 트리폭으로 매개화할 때 1/2-PDD_s에 대한 W[ℓ]-hardness를 Capacitated Dominating Set로부터의 축소를 통해 증명한다.
• 제어된 트리폭을 가진 Weighted PDD_s 인스턴스로의 다항 시간 축소를 구성하여 인스턴스 동등성을 보존한다.
• CDS → 1/2-PDD_s 축소에서 지배 집합 구조와 용량 제약을 강제하기 위한 선택기 위젯(selector widgets)과 쿼터 위젯(quota widgets)을 도입하고 분석한다.
• 노드 스캔폭으로 매개화된 Weighted PDD_s를 해결하기 위한 트리 확장 T 위의 동적 계획(DP) 접근법을 개발하고, 특수한 (v,A′,ℓ)-호환성 상태를 사용한다.
• 트리 확장 NSW(F)의 주어진 경우에 O(2^{nsw(F)} · n^3)의 시간으로 해를 얻을 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 노드 스캔폭에 관해 FPT인 문제가 트리폭에 대해서는 그렇지 않은 경우가 있는가?
• RQ2 생태계 네트워크와 관련된 자연스러운 문제에 대해 스캔폭과 트리폭 사이에 강한 분리가 존재하는가?
• RQ3 Weighted PDD_s가 노드 스캄폭으로 매개화될 때 효율적으로 해결될 수 있는가, 트리폭 하에서의 난제에도 불구하는가?
• RQ4 Selector와 quota 위젯이 CDS에서 1/2-PDD_s로의 축소를 어떻게 촉진하는가?
• RQ5 트리 확장, 노드 스캔폭, Weighted PDD_s의 DP 구성 사이의 정확한 관계는 무엇인가?

주요 결과

• 1/2-PDD_s는 트리폭으로 매개화할 때 모든 ℓ≥1에 대해 W[ℓ]-hard이다.
• Weighted PDD_s는 NSW(F)의 트리 확장이 주어지면 노드 스캔폭에 대해 FPT이며 시간 복잡도는 O(2^{nsw(F)} · n^3)이다.
• Capacitated Dominating Set(CDS) 인스턴스는 트리폭을 상수배만큼 보존하면서 다항 시간에 1/2-PDD_s로 축소될 수 있다.
• 축소는 선택기 위젯과 쿼터 위젯을 사용하여 구성된 식품 웹 내에서 지배 집합 구조와 용량 제약을 강제한다.
• 노드-스캔폭 기반 DP는 서브트리에 걸친 호환성 상태를 관리하기 위해 T와 같은 트리 분해 구조를 활용한다.