[논문 리뷰] k-apices of minor-closed graph classes. II. Parameterized algorithms

Ignasi Sau, Giannos Stamoulis외 1명|arXiv (Cornell University)|2020. 04. 27.

Advanced Graph Theory Research인용 수 14

한 줄 요약

이 논문은 $2^{\text{poly}(k)} \cdot n^3$ 시간 내에 작동하는 고정 매개변수 다항 시간 알고리즘을 제시하며, 이는 고정된 매개변수 k에 대해 소수의 정점 제거 후 그래프가 근본적으로 닫힌 그래프 클래스의 원소가 되는지 여부를 판별한다. 그래프 클래스가 정점이 하나인 그래프를 소수로 포함하지 않으면, 런타임을 $2^{\text{poly}(k)} \cdot n^2$로 향상시킬 수 있다. 이 방법은 반복 압축, 무의미한 정점 기법, 그리고 평탄한 벽과 분기 논증을 포함한 구조적 그래프 이론을 결합하여 매개변수 복잡도 프레임워크 내에서 문제를 효율적으로 해결한다.

ABSTRACT

Let ${\\cal G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of ${\\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\\setminus S$ belongs to ${\\cal G}$. We denote by ${\\cal A}_k ({\\cal G})$ the set of all graphs that are $k$-apices of ${\\cal G}.$ In the first paper of this series we obtained upper bounds on the size of the graphs in the minor-obstruction set of ${\\cal A}_k ({\\cal G})$, i.e., the minor-minimal set of graphs not belonging to ${\\cal A}_k ({\\cal G}).$ In this article we provide an algorithm that, given a graph $G$ on $n$ vertices, runs in $2^{{\\sf poly}(k)}\\cdot n^3$-time and either returns a set $S$ certifying that $G \\in {\\cal A}_k ({\\cal G})$, or reports that $G \ otin {\\cal A}_k ({\\cal G})$. Here ${\\sf poly}$ is a polynomial function whose degree depends on the maximum size of a minor-obstruction of ${\\cal G}.$ In the special case where ${\\cal G}$ excludes some apex graph as a minor, we give an alternative algorithm running in $2^{{\\sf poly}(k)}\\cdot n^2$-time.

연구 동기 및 목표

• 주어진 그래프가 소수의 닫힌 그래프 클래스의 k-apex인지 여부를 판별하는 매개변수화 알고리즘을 개발하는 것, 즉 최대 k개의 정점을 제거했을 때 그 결과 그래프가 해당 클래스에 속하는지 여부를 판단하는 것.
• 이를 위해 그래프 클래스의 소수 장애 집합의 크기에 따라 결정되는 다항식의 함수에 의존하는 $2^{\text{poly}(k)} \cdot n^3$ 런타임을 달성하는 것.
• 그래프 클래스가 정점이 하나인 그래프를 소수로 포함하지 않으면, 런타임을 $2^{\text{poly}(k)} \cdot n^2$로 향상시키는 것.
• 소수의 닫힘 설정 내에서 다양한 그래프 수정 문제에 적용 가능한 일반적인 프레임워크를 제공하는 것.

제안 방법

• k-apex 문제를 압축된 형태로 줄이기 위해 반복 압축 기법을 사용하며, 이 경우 최대 크기 k의 해 집합이 존재한다고 가정한다.
• 평탄한 벽의 구조적 성질에 기반해 해의 존재성에 영향을 주지 않는 정점을 식별하고 제거하는 무의미한 정점 기법을 적용한다.
• 평탄한 벽 정리(Flat Wall Theorem)를 적용하여 그래프를 효율적인 분기와 축소를 가능하게 하는 구조화된 형태로 분해한다.
• 동질적인 벽과 그 그림을 분석하는 조합론적 결과를 활용해 평탄한 벽 구조와 그 표현을 식별한다.
• 클리크 소수 장애가 큰 그래프를 피할 경우, 작은 폭의 트리 분해에 대해 동적 프로그래밍을 적용한다.
• 이러한 기법들을 소수 장애 집합의 크기가 유한함을 이용한 분기 전략과 결합하여 탐색 공간을 제한한다.

실험 결과

연구 질문

• RQ1 소수의 닫힌 그래프 클래스에서 k-apex 문제에 대해 $2^{\text{poly}(k)} \cdot n^3$ 런타임을 가지는 고정 매개변수 다항 시간 알고리즘을 설계할 수 있는가?
• RQ2 런타임을 $2^{\text{poly}(k)} \cdot n^2$로 향상시킬 수 있는 조건은 무엇인가?
• RQ3 무의미한 정점 기법은 소수의 닫힌 그래프 클래스와 평탄한 벽 구조의 맥락에서 어떻게 효과적으로 적용될 수 있는가?
• RQ4 평탄한 벽 정리와 트리 분해는 k-apex 문제에 대한 효율적인 매개변수화 알고리즘을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 이 알고리즘 프레임워크는 소수의 닫힘 설정 내에서 다른 그래프 수정 문제로 일반화될 수 있는가?

주요 결과

• 논문은 $2^{\text{poly}(k)} \cdot n^3$ 시간 내에 k-apex 문제를 해결하는 알고리즘을 제시하며, 다항식의 차수는 그래프 클래스의 소수 장애 집합의 최대 크기에 따라 달라진다.
• 정점이 하나인 그래프를 소수로 포함하지 않는 그래프 클래스의 경우, 알고리즘이 $2^{\text{poly}(k)} \cdot n^2$ 시간 내에 작동하여 선형 요소만큼 런타임을 향상시킨다.
• 알고리즘은 반복 압축을 통해 문제를 압축된 형태로 줄이고, 이는 무의미한 정점 기법과 평탄한 벽 분해의 조합으로 해결된다.
• 평탄한 벽을 통한 구조적 분해 덕분에 큰 클리크 소수 장애를 피할 수 있어, 작은 폭의 트리 분해에 대해 효율적인 동적 프로그래밍이 가능해진다.
• 알고리즘은 제한된 수의 필로 및 제어 가능한 분기 과정에 의존하여, 지수적 의존성은 k와 클래스의 매개변수에만 국한된다.
• 이 결과는 소수의 닫힌 그래프 클래스에서 k-apex 문제를 강력한 매개변수화 효율성으로 해결하는 일반적인 프레임워크를 수립한다.