[논문 리뷰] Bandwidth Parameterized by Cluster Vertex Deletion Number

Tatsuya Gima, Eun Jung Kim외 3명|arXiv (Cornell University)|2023. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 클러스터 정점 삭제 수와 클리크 수의 합으로 매개변수화할 경우 밴드폭 문제의 고정 매개변수 가능성(FPT)을 입증하지만, 클러스터 정점 삭제 수만으로 매개변수화할 경우 W[1]-하드로 남아 있음을 보여준다. 저자들은 클리크의 구조적 성질과 정점 순서의 특성을 활용하여 유니어리 바이닝 문제로의 환원을 통해 고정 매개변수 복잡도 경계를 규명한다.

ABSTRACT

Given a graph G and an integer b, Bandwidth asks whether there exists a bijection π from V(G) to {1, …, |V(G)|} such that max_{{u, v} ∈ E(G)} | π(u) - π(v) | ≤ b. This is a classical NP-complete problem, known to remain NP-complete even on very restricted classes of graphs, such as trees of maximum degree 3 and caterpillars of hair length 3. In the realm of parameterized complexity, these results imply that the problem remains NP-hard on graphs of bounded pathwidth, while it is additionally known to be W[1]-hard when parameterized by the treedepth of the input graph. In contrast, the problem does become FPT when parameterized by the vertex cover number of the input graph. In this paper, we make progress towards the parameterized (in)tractability of Bandwidth. We first show that it is FPT when parameterized by the cluster vertex deletion number cvd plus the clique number ω of the input graph, thus generalizing the previously mentioned result for vertex cover. On the other hand, we show that Bandwidth is W[1]-hard when parameterized only by cvd. Our results generalize some of the previous results and narrow some of the complexity gaps.

연구 동기 및 목표

• 클러스터 정점 삭제 수에 대해 밴드폭 문제의 고정 매개변수 복잡도를 조사하는 것.
• 클러스터 정점 삭제 수와 클리프 수를 함께 고려할 경우 문제의 다항식 시간 해법이 가능해지는지 판단하는 것.
• 정점 커버와 트리 깊이와 같은 기존 매개변수들과의 비교를 통해 다항식 시간 해법과 비가역적 매개변수화 사이의 복잡도 격차를 명확히 하는 것.
• 이전의 정점 커버 수에 대한 FPT 결과를 더 일반적인 매개변수인 클러스터 정점 삭제 수로 확장하는 것.
• 밴드폭 문제에 대한 구조적 매개변수화의 한계를, 특히 클리크 구조와 정점 순서 제약 조건과의 관계에서 탐색하는 것.

제안 방법

• 제어된 정점 순서 제약 조건을 가진 밴드폭 인스턴스를 구성하기 위해 유니어리 바이닝 문제에서의 환원.
• 항목 클리크, 보조 정점, 그리고 밴드폭 범위에 기반한 스트레치 제약 조건을 강제하는 간선을 포함한 그래프의 구성.
• 클러스터 정점이 정의한 간격 내에서 항목 클리크의 정점들을 분할하는 데 사용되는 정점 집합 S와 S'의 사용.
• 집합 Si와 S′i가 주어진 간격 내에서 항목 클리크의 정점에 정확히 대응함을 보이는 귀납적 증명.
• G−S가 클리크의 분리된 합집합이 되도록 보장하는 클러스터 정점 삭제 집합 S의 정의, |S| = O(k)로 매개변수를 유한하게 제한.
• 밴드폭이 b 이하로 제한될 조건과 해당 유니어리 바이닝 인스턴스가 YES 인스턴스일 조건이 정확히 일치함을 증명하여 FPT 결과를 확립.

실험 결과

연구 질문

• RQ1 밴드폭 문제의 클러스터 정점 삭제 수와 클리프 수의 합으로 매개변수화할 경우 FPT인가?
• RQ2 밴드폭 문제의 클러스터 정점 삭제 수만으로 매개변수화할 경우 W[1]-하드로 남아 있는가?
• RQ3 정점 커버 수에 대한 FPT 결과를 더 일반적인 클러스터 정점 삭제 수 매개변수로 일반화할 수 있는가?
• RQ4 밴드폭 문제의 구조적 그래프 매개변수에 대해 다항식 시간 해법과 비가역적 매개변수화 사이의 정확한 경계는 무엇인가?
• RQ5 밴드폭 문제의 클러스터 정점 삭제 수 또는 트리 깊이로 매개변수화할 경우 XP에 속하는가?

주요 결과

• 밴드폭 문제의 클러스터 정점 삭제 수와 클리프 수의 합으로 매개변수화할 경우 FPT이며, 이는 정점 커버 수에 대한 FPT 결과를 크게 일반화한 것이다.
• 밴드폭 문제의 클러스터 정점 삭제 수만으로 매개변수화할 경우 W[1]-하드로 남아 있으며, 이는 다항식 시간 해법을 확보하기 위해 클리프 수의 추가가 필수적임을 시사한다.
• 구성된 그래프의 클러스터 정점 삭제 수는 O(k)이며, 여기서 k는 유니어리 바이닝 인스턴스의 박스 수이므로 매개변수화의 유한성을 보장한다.
• 유니어리 바이닝 문제에서 밴드폭 문제로의 환원은 해 구조를 유지한다: 유효한 박스 분할은 정확히 유효한 밴드폭 순서에 대응한다.
• 증명은 집합 Si와 S′i가 박스 할당에 따라 정확히 왼쪽 및 오른쪽 항목 클리프 정점들을 분할함을 보여주며, 환원의 정확성을 확보한다.
• 저자들은 정점 커버, 클러스터 정점 삭제 수, 트리 깊이 등의 매개변수 사이의 복잡도 격차를 좁혀, 다항식 시간 해법의 끝과 비가역성의 시작 지점을 명확히 한다.