[논문 리뷰] FPT Approximations for Packing and Covering Problems Parameterized by Elimination Distance and Even Less

Tanmay Inamdar, Lawqueen Kanesh외 3명|arXiv (Cornell University)|2023. 01. 01.

Assembly Line Balancing Optimization인용 수 1

한 줄 요약

이 논문은 단조적 이阶 논리(Monadic Second Order Logic)로 정의 가능하고 유한 정수 인덱스를 갖는 광범위한 패킹 및 커버링 문제에 대해, 모듈레이터 크기로 매개변수화된 FPT 근사 체계(FPT-AS)가 미니어처-폐쇄 그래프 가족 H에 대해, 소거 거리(edH)로 매개변수화된 FPT-AS와 H-트리너비(twH)로 매개변수화된 FPT-AS와 동치임을 확립한다. 핵심 기여는 점점 더 작은 구조적 매개변수로의 FPT-AS 존재성이 유지됨을 보여주는 메타정리이며, 이는 H-미니어러-자유 그래프에서 Vertex Cover, Feedback Vertex Set, Dominating Set 등의 문제에 대해 (1±ϵ)-근사해를 효율적으로 구현할 수 있게 한다.

ABSTRACT

For numerous graph problems in the realm of parameterized algorithms, using the size of a smallest deletion set (called a modulator) into well-understood graph families as parameterization has led to a long and successful line of research. Recently, however, there has been an extensive study of structural parameters that are potentially much smaller than the modulator size. In particular, recent papers [Jansen et al. STOC 2021; Agrawal et al. SODA 2022] have studied parameterization by the size of the modulator to a graph family $\mathcal{H}$ ($ extbf{mod}_{\mathcal{H}}$), elimination distance to $\mathcal{H}$ ($ extbf{ed}_{\mathcal{H}}$), and $\mathcal{H}$-treewidth ($ extbf{tw}_{\mathcal{H}}$). While these new parameters have been successfully exploited to design fast exact algorithms their utility (especially that of latter two) in the context of approximation algorithms is mostly unexplored. The conceptual contribution of this paper is to present novel algorithmic meta-theorems that expand the impact of these structural parameters to the area of FPT Approximation, mirroring their utility in the design of exact FPT algorithms. Precisely, we show that if a covering or packing problem is definable in Monadic Second Order Logic and has a property called Finite Integer Index, then the existence of an FPT Approximation Scheme (FPT-AS, i.e., ($1\pm ε$)-approximation) parameterized these three parameters is in fact equivalent. As concrete exemplifications of our meta-theorems, we obtain FPT-ASes for well-studied graph problems such as Vertex Cover, Feedback Vertex Set, Cycle Packing and Dominating Set, parameterized by these three parameters.

연구 동기 및 목표

• 소거 거리(edH)와 H-트리너비(twH)와 같은 구조적 매개변수의 유용성을 정확한 FPT 알고리즘에서 근사 알고리즘으로 확장하기.
• 광범위한 그래프 문제 클래스에 대해 modH, edH, twH로 매개변수화된 FPT-AS 간의 동치성을 확립하기.
• modH 매개변수화 하에서 W[1]-하드인 문제들이 twH 매개변수화 하에서는 여전히 FPT-AS를 갖을 수 있음을 보여주기.
• CMSO-정의 가능성과 유한 정수 인덱스(FII) 성질을 활용한 FPT-AS 설계를 위한 메타이론적 프레임워크 제공하기.
• 정점 커버, 피드백 정점 집합, 연결된 독립 집합과 같은 기본 문제들에 대해, 애플렉스-미니어러-자유 및 H-미니어러-자유 그래프에서의 구체적 FPT-AS 제시하기.

제안 방법

• 패킹 및 커버링 문제의 해법 가능성 특성화를 위해 단조적 이阶 논리(MSOL) 정의 가능성과 유한 정수 인덱스(FII) 성질을 활용하기.
• 모듈레이터 M을 갖는 미니어처-폐쇄 그래프 가족 H로의 변환을 통해 그래프 G를 수정한 그래프 G′ = G − M으로의 감소 프레임워크 적용하기.
• G′의 유계 트리너비 코어에 대해 EPTAS(효율적 매개변수화 근사 체계)를 적용하여 (1±ϵ)-근사해 확보하기.
• G′에서의 해와 모듈레이터 M을 조합하여 원래 그래프에서 연결된 해를 구성하기. 이 과정에서 근사 보장을 유지하기 위해 철저한 메모리 관리 수행하기.
• modH, edH, twH 간의 FPT-AS 존재성 동치성을 증명하기 위해, 이러한 구조적 매개변수 간의 관계를 통해 한 매개변수에 대한 FPT-AS가 다른 매개변수에 대한 FPT-AS를 유도함을 보여주기.
• 유계 트리너비 그래프에서 문제에 대한 알려진 EPTAS 결과(예: Fomin 등에 의한 결과)를 기반으로 FPT-AS 구성하기.

실험 결과

연구 질문

• RQ1 모듈레이터 크기 modH 외에도 소거 거리(edH)와 H-트리너비(twH)로 매개변수화된 패킹 및 커버링 문제에 대해 FPT-AS를 달성할 수 있는가?
• RQ2 MSOL-정의 가능하고 FII를 갖는 문제에 대해 modH, edH, twH로 매개변수화된 FPT-AS 간에 메타이론적 동치성이 존재하는가?
• RQ3 modH 매개변수화 하에서 W[1]-하드인 문제들이 twH 매개변수화 하에서도 여전히 FPT-AS를 갖을 수 있는가?
• RQ4 FPT-AS 프레임워크는 CMSO-정의 가능 문제를 초월해 얼마나 일반화될 수 있는가?
• RQ5 Connected Vertex Cover 및 Connected Dominating Set 등의 문제에 대해 FPT-AS가 매개변수에 관계없이 통일적으로 구성될 수 있는가?

주요 결과

• 모듈레이터 크기 modH(G)로 매개변수화된 Connected Vertex Cover에 대해 FPT-AS가 존재하며, 이는 apex-minor-free 그래프 가족 H에 대해 2^O(modH(G)+1/ϵ) · n^O(1) 시간 복잡도로 실행 가능하다.
• Same running time bound을 갖는다. Set Intersecting Dominating Set 감소를 통해 modH(G)로 매개변수화된 Connected Dominating Set에 대한 FPT-AS도 존재한다.
• CMSO-정의 가능성과 FII를 갖는 문제에 대해 modH(G)로 매개변수화된 FPT-AS 존재성은 edH(G)와 twH(G)로 매개변수화된 FPT-AS 존재성과 동치이다.
• Vertex Cover, Feedback Vertex Set, Cycle Packing 등의 문제에 대해 twH 매개변수화 하에서는 FPT-AS를 확보할 수 있으며, 이는 modH보다 상당히 작을 수 있다.
• 이 프레임워크를 통해 유계 트리너비 그래프에서의 EPTAS 결과를 모듈레이터 기반 분해를 통해 일반 그래프로 확장하여 FPT-AS로 이행할 수 있다.
• 결과적으로 modH, edH, 또는 twH를 매개변수로 사용할 때, 애플렉스-미니어러-자유 그래프 가족에서 정점 커버 및 독립 집합 문제에 대해 통일된 FPT-AS를 구성할 수 있음을 시사한다.