[논문 리뷰] Computing Twin-Width Parameterized by the Feedback Edge Number

Jakub Balabán, Robert Ganian외 1명|arXiv (Cornell University)|2023. 10. 12.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 피드백 간선 수 k로 매개변수화된 그래프에서 near-optimal contraction sequence를 계산하기 위한 최초의 고정-파rameter 알고리즘을 제시한다. 2-contraction sequence에 대해 선형 bikernel을 달성하고, 최적의 순서에 대한 구조적 통찰과 (H,P)-그래프에 대한 감소 규칙을 활용하여, 시간 복잡도 2⇈O(k) · nO(1) 내에 너비가 적어도 tww(G) + 1 이하인 contraction sequence를 계산하는 약간의 고정-파rameter 알고리즘을 제시한다.

ABSTRACT

The problem of whether and how one can compute the twin-width of a graph - along with an accompanying contraction sequence - lies at the forefront of the area of algorithmic model theory. While significant effort has been aimed at obtaining a fixed-parameter approximation for the problem when parameterized by twin-width, here we approach the question from a different perspective and consider whether one can obtain (near-)optimal contraction sequences under a larger parameterization, notably the feedback edge number k. As our main contributions, under this parameterization we obtain (1) a linear bikernel for the problem of either computing a 2-contraction sequence or determining that none exists and (2) an approximate fixed-parameter algorithm which computes an 𝓁-contraction sequence (for an arbitrary specified 𝓁) or determines that the twin-width of the input graph is at least 𝓁. These algorithmic results rely on newly obtained insights into the structure of optimal contraction sequences, and as a byproduct of these we also slightly tighten the bound on the twin-width of graphs with small feedback edge number.

연구 동기 및 목표

• 더 큰 구조적 매개변수로 매개변수화되었을 때 twin-width에 대한 (근사적으로 최적의) contraction sequence를 계산하는 열린 문제를 해결하기 위해.
• 특히 피드백 간선 수 k와 같은 더 강력한 구조적 제약 조건이 twin-width 매개변수화에서는 실패하는 고정-파라미터 가능 알고리즘을 가능하게 하는지 탐색하기 위해.
• twin-width를 소수의 덧셈 오차 내에서 유지하는, 증명 가능하게 안전하고 다항 시간 내에 실행되는 감소 규칙을 개발하기 위해.
• twin-width 자체가 아닌 다른 매개변수화 방식에 대해 twin-width 계산을 위한 최초의 비자명한 고정-파라미터 알고리즘을 제공하기 위해.

제안 방법

• twin-width를 소수의 오차 내에서 유지하면서 피드백 간선 수 k에 대해 크기가 유한한 (H,P)-그래프 표현으로의 변환을 도입한다.
• 모든 남아 있는 경로가 구조적 분석을 지원할 수 있도록 충분히 긴 길이를 확보하기 위해, 탐욕적인 경로 단순화 절차를 적용한다. 이 과정에서 함수 fH′(ℓ) = (3t + 4t²)ℓ를 사용하며, 여기서 t = |V(H′)|이다.
• 모든 경로를 fH*(2|V(H*)|²)에 의존하는 길이로 단순화하여, 간소화된 (H*,P*)-그래프 G*를 구성함으로써 twin-width를 유한하게 유지한다.
• Knuth의 올림표기법을 사용하여 G*의 크기를 높이가 O(k)인 거듭제곱의 탑으로 bound하고, 이에 따라 최적의 순서 계산에 대해 2⇈O(k) 실행 시간을 확보한다.
• 다항 시간 내에 G*에서 원래 그래프로 contraction sequence를 복원함으로써 너비를 1의 덧셈 오차 내에서 유지한다.
• 출력이 trigraph임을 활용하고 감소 규칙이 안전하고 효율적이므로, 2-contraction sequence 문제에 대해 선형 bikernel을 적용한다.

실험 결과

연구 질문

• RQ1 feedback edge number로 매개변수화되었을 때 contraction sequence를 계산하기 위한 고정-파라미터 알고리즘이 twin-width로 매개변수화되었을 때와 동일하게 얻어질 수 있는가?
• RQ2 k로 매개변수화되었을 때, 너비가 적어도 tww(G) + 1 이하인 contraction sequence를 고정-파라미터 시간 내에 계산할 수 있는가?
• RQ3 feedback edge number 매개변수화 하에서 안전한 감소 규칙을 설계하기 위해 최적의 contraction sequence의 어떤 구조적 성질을 활용할 수 있는가?
• RQ4 이 매개변수화 하에서 approximation의 덧셈 오차 1을 제거할 수 있는가?

주요 결과

• 피드백 간선 수 k로 매개변수화되었을 때, 그래프의 twin-width가 2 이하인지를 결정하는 문제는 선형 bikernel을 갖는다. 실행 시간은 2O(k·log k) + nO(1)이다.
• 시간 복잡도 2⇈O(k) · nO(1) 내에 너비가 적어도 tww(G) + 1 이하인 contraction sequence를 계산하는 알고리즘을 제시한다. 지수의 탑 높이는 O(k)이다.
• 간소화된 (H*,P*)-그래프 G*의 크기는 높이가 4k + 3인 거듭제곱의 탑으로 bound되며, 최상단의 지수는 O(log k)이다.
• 논문의 구조적 분 析 과정을 통해 피드백 간선 수 k를 갖는 그래프의 twin-width가 약간 더 강화됨을 부산물로 얻는다.
• 사용된 감소 규칙는 증명 가능하게 안전하고 효율적이며 다항 시간 내에 실행되므로, 히ュ리스틱 구현에 유용할 수 있다.
• approximation의 덧셈 오차 1은 제거 가능할 것으로 보이지만, 저자들은 이 문제를 treedepth나 treewidth로 매개변수화하는 것보다 우선순위가 낮은 방향으로 간주한다.