[논문 리뷰] Linear kernels for edge deletion problems to immersion-closed graph classes

Archontia C. Giannopoulou, Michał Pilipczuk외 3명|arXiv (Cornell University)|2016. 09. 25.

Complexity and Algorithms in Graphs인용 수 12

한 줄 요약

이 논문은 유한한 가족 F에 속한 그래프를 임미션으로 포함하지 않도록 하기 위해 최대 k개의 간선을 제거하는 F-임미션 삭제 문제를 위한 선형 커널과 효율적인 알고리즘을 제시한다. F에 속한 모든 그래프가 연결되어 있고, 적어도 하나가 평면적이고 3-정점 차수를 가지는 조건 하에, 저자들은 상수 요인 근사, 선형 커널, 그리고 FPT 알고리즘을 달성한다. 커널 크기는 F의 다항 계수에만 의존하며, 이는 소수 기반 대비에서 F에 따라 크게 달라지는 지수에 의존하는 것과는 대조된다.

ABSTRACT

Suppose $\\mathcal{F}$ is a finite family of graphs. We consider the following meta-problem, called $\\mathcal{F}$-Immersion Deletion: given a graph $G$ and integer $k$, decide whether the deletion of at most $k$ edges of $G$ can result in a graph that does not contain any graph from $\\mathcal{F}$ as an immersion. This problem is a close relative of the $\\mathcal{F}$-Minor Deletion problem studied by Fomin et al. [FOCS 2012], where one deletes vertices in order to remove all minor models of graphs from $\\mathcal{F}$. We prove that whenever all graphs from $\\mathcal{F}$ are connected and at least one graph of $\\mathcal{F}$ is planar and subcubic, then the $\\mathcal{F}$-Immersion Deletion problem admits: a constant-factor approximation algorithm running in time $O(m^3 \\cdot n^3 \\cdot \\log m)$; a linear kernel that can be computed in time $O(m^4 \\cdot n^3 \\cdot \\log m)$; and a $O(2^{O(k)} + m^4 \\cdot n^3 \\cdot \\log m)$-time fixed-parameter algorithm, where $n,m$ count the vertices and edges of the input graph. These results mirror the findings of Fomin et al. [FOCS 2012], who obtained a similar set of algorithmic results for $\\mathcal{F}$-Minor Deletion, under the assumption that at least one graph from $\\mathcal{F}$ is planar. An important difference is that we are able to obtain a linear kernel for $\\mathcal{F}$-Immersion Deletion, while the exponent of the kernel of Fomin et al. for $\\mathcal{F}$-Minor Deletion depends heavily on the family $\\mathcal{F}$. In fact, this dependence is unavoidable under plausible complexity assumptions, as proven by Giannopoulou et al. [ICALP 2015]. This reveals that the kernelization complexity of $\\mathcal{F}$-Immersion Deletion is quite different than that of $\\mathcal{F}$-Minor Deletion.

연구 동기 및 목표

• 유한한 가족 F에 속한 그래프의 임미션 모델을 제거하기 위해 간선을 삭제하는 F-임미션 삭제 문제에 대한 효율적인 매개변수화 알고리즘을 개발하기 위해.
• 모든 F에 속한 그래프가 연결되어 있고, 적어도 하나가 평면적이고 3-정점 차수인 조건 하에 F-임미션 삭제 문제에 대해 선형 커널을 확립하기 위해.
• Fomin 등 [FOCS 2012]의 F-소수 삭제 문제에 대한 알고리즘 결과를 모방하고 이를 초월하기 위해, 특히 소수 기반 커널이 F에 따라 비선형 지수를 가지는 데 반해, 임미션 기반 커널이 선형임을 달성하기 위해.
• 커널화 복잡성의 관점에서 임미션 폐쇄와 소수 폐쇄 그래프 계열 간의 구조적 차이를 조사하기 위해.
• 트리 컷 폭과 돌출 분해 기법의 적용 범위를 소수 기반 문제에서 임미션 기반 문제로 확장하기 위해.

제안 방법

• 트리 컷 폭을 구조적 파라미터로 활용하여 F-임미션 자유 그래프의 복잡도를 제한하고, 커널화를 가능하게 한다.
• 소수 기반 문제에서 유도된 돌출 치환 및 돌출 분해 기법을 임미션 설정에 적응시켜 적용한다.
• 임미션 폐쇄 계열에 대한 그래프 미노르 정리의 구성적 변형을 사용하여 최소 장애물 집합의 크기를 제한한다.
• 트리 컷 폭 분해를 통한 상수 요인 근사: 다항식 시간 내에 간선 집합을 찾을 수 있으며, 이를 제거하면 트리 컷 폭가 유한한 그래프가 된다.
• 제약된 트리 컷 폭을 가진 그래프에서 최소 간선 삭제 집합을 찾기 위해 최적화 버전의 Courcelle 정리를 적용한다.
• 근사와 커널화를 조합하여 커널 크기가 F에 따라 상수 배수를 가지며, 크기가 O(k)인 선형 커널을 달성한다.

실험 결과

연구 질문

• RQ1 소수 기반 대비 초선형 커널 크기를 요구하는 경우에도, 임미션 폐쇄 그래프 계열로의 간선 삭제 문제에 대해 선형 커널을 달성할 수 있는가?
• RQ2 F-임미션 삭제 문제의 커널화 복잡도는 F-소수 삭제 문제와 비교해 볼 때, 가족 F에 대한 의존성 측면에서 어떻게 다른가?
• RQ3 트리 컷 폭과 돌출 기반 기법이 소수 기반 문제에서 임미션 기반 문제로 얼마나 잘 일반화될 수 있는가?
• RQ4 F-임미션 삭제 문제에서 선형 커널을 확보하기 위해 F에 속한 모든 그래프가 연결되어 있다는 가정이 필수적인가?
• RQ5 비평면적 또는 비3-정점 차수 그래프를 임미션으로 포함하지 않는 그래프의 구조적 특성은 무엇이며, 이러한 특성은 일반적인 알고리즘 결과를 지원할 수 있는가?

주요 결과

• F-임미션 삭제 문제는 O(m³n³log m) 시간 내에 상수 요인 근사 알고리즘을 갖는다.
• F-임미션 삭제 문제에 대한 선형 커널은 O(m⁴n³log m) 시간 내에 계산 가능하며, 커널 크기는 O(k)이며, 상수 요인은 F에 따라 달라진다.
• F-임미션 삭제 문제에 대한 FPT 알고리즘은 O(2^O(k) + m⁴n³log m) 시간 내에 실행되며, 커널 크기 복잡도 측면에서 소수 기반 대비 향상된다.
• 커널 크기는 k에 대해 선형이지만, 소수 기반 문제와 달리 커널 크기 지수는 F에 대해 비구성적으로 의존하므로, 임미션 케이스는 훨씬 유리하다.
• 결과는 모든 F에 속한 그래프가 연결되어 있고, 적어도 하나가 평면적이고 3-정점 차수인 조건 하에 성립하며, 이는 핵심적인 구조적 제약 조건이다.
• 트리 컷 폭가 임미션 관련 문제에 적합한 파라미터임을 확인하였으며, 소수 관련 문제에서 트리위드와 유사한 역할을 한다.