[논문 리뷰] Elimination distance to bounded degree on planar graphs

Alexander Lindermayr, Sebastian Siebertz외 1명|arXiv (Cornell University)|2020. 07. 05.

semigroups and automata theory인용 수 8

한 줄 요약

이 논문은 평면 그래프에서 차수 제한이 있는 그래프로의 제거 거리 계산이 고정 매개변수 복잡도로 가능하다는 것을 입증한다. 이는 나무 폭 분석, 격자 미니처 분해, 그리고 불필요한 정점 기법을 조합하여 달성된다. 핵심 결과는 시간 복잡도 $ f(k,d) \cdot n^c $ 에서 작동하는 알고리즘을 제시하여 매개변수 $ k $ (제거 거리) 및 $ d $ (최대 차수)에 대해 고정 매개변수 복잡도를 증명한다.

ABSTRACT

We study the graph parameter elimination distance to bounded degree, which was introduced by Bulian and Dawar in their study of the parameterized complexity of the graph isomorphism problem. We prove that the problem is fixed-parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph $G$ and integers $d$ and $k$ decides in time $f(k,d)\cdot n^c$ for a computable function~$f$ and constant $c$ whether the elimination distance of $G$ to the class of degree $d$ graphs is at most $k$.

연구 동기 및 목표

• Bulian과 Dawar가 남긴 문제인 평면 그래프에서 차수 제한이 있는 그래프로의 제거 거리의 매개변수 복잡도를 해결하기 위해.
• 소멸 닫힌 클래스를 초월하여 고정 매개변수 복잡도 결과를 확장하기 위해. 왜냐하면 차수 제한이 있는 그래프의 클래스는 소멸 닫혀 있지 않기 때문이다.
• $ K_5 $를 소멸로 포함하지 않는 그래프에 대해 $ \mathscr{C}_d $로의 제거 거리에 초점을 맞춘 구조적 알고리즘 프레임워크를 개발하기 위해.
• $ K_5 $-소멸 자유 그래프, 즉 평면 그래프를 포함하여, 매개변수 $ k $ 및 $ d $ 에 대해 제거 거리 문제의 고정 매개변수 복잡도를 증명하기 위해.

제안 방법

• 입력 그래프의 나무 폭이 $ k $ 의 함수로 유계일 경우, $ \mathscr{C}_{k,d} $ 의 단항 제2차 논리(MSO) 정의 가능성을 활용하여 Courcelle의 정리를 적용한다.
• 평면 그래프의 구조를 이용하여 다항 시간 내에 크기 $ h(k) = (4k+5) \cdot k \cdot (2k+1) $ 의 큰 격자 미니처를 계산한다.
• 격자 미니처의 지지 집합 기반의 구조적 분석을 통해 고차수 정점($ \geq d+1 $)과 그 이웃을 탐지한다.
• 만일 고차수 정점을 포함하는 지지 집합이 $ k \cdot (2k+1)^2 $ 개를 초과하면, Corollary 8을 적용하여 $ \mathscr{C}_{k,d} $ 에 속하지 않음을 배제한다.
• Corollary 11을 적용하여 $ (k,d) $-안전 지지 집합을 식별함으로써, $ \mathscr{C}_{k,d} $ 에 속하는지 여부에 영향을 주지 않는 불필요한 정점의 존재를 암시한다.
• 불필요한 정점을 반복적으로 제거하여, 또는 나무 폭이 작아지는 경우(사례 1), 또는 고차수 정점 조건이 거짓을 유도하는 경우(사례 2.1)에 도달할 때까지 진행한다.

실험 결과

연구 질문

• RQ1 차수 제한이 있는 그래프 클래스로의 제거 거리는 평면 그래프에서 고정 매개변수 복잡도로 가능한가?
• RQ2 목표 클래스 $ \mathscr{C}_d $ 가 소멸 닫혀 있지 않은 경우, 제거 거리 문제는 효율적으로 해결할 수 있는가?
• RQ3 $ K_5 $-소멸 자유 그래프에 큰 격자 미니처가 존재하면, 불필요한 정점 기법을 통해 구조적 단순화가 가능한가?
• RQ4 나무 폭 분석과 격자 미니처 분해의 조합을 통해 흩어진 그래프 클래스에서 제거 거리에 대한 고정 매개변수 복잡도 알고리즘을 유도할 수 있는가?

주요 결과

• 차수 제한이 있는 그래프로의 제거 거리는 $ K_5 $-소멸 자유 그래프, 즉 평면 그래프에서도 매개변수 $ k $ 와 $ d $ 에 대해 고정 매개변수 복잡도로 가능하다.
• 매개변수 $ k $ 와 $ d $ 에 대해 평면 그래프가 최대 차수 $ d $ 인 그래프 클래스로의 제거 거리가 최대 $ k $ 이하인지 결정하는 알고리즘이 존재하며, 이 알고리즘은 계산 가능한 함수 $ f $ 와 상수 $ c $ 에 대해 시간 복잡도 $ f(k,d) \cdot n^c $ 에서 작동한다.
• 증명은 격자 미니처를 이용한 구조적 분해와, 고차수 정점이 미니처에 흩어져 있을 경우 불필요한 정점 식별에 기반한다.
• 만일 격자 미니처의 지지 집합 중 차수 $ d+1 $ 이상인 정점을 포함하는 것이 $ k \cdot (2k+1)^2 $ 개를 초과하면, 그래프는 $ \mathscr{C}_d $ 와의 제거 거리 $ k $ 를 가질 수 없다.
• 그러한 지지 집합의 수가 적을 경우, $ (k,d) $-안전 지지 집합이 존재하여, 불필요한 정점 탐지 기반의 반복적 정점 제거가 가능하다.
• 전반적인 알고리즘은 $ f(k,d) \cdot n^c $ 시간 복잡도로 작동하며, 다항 시간 전처리와 나무 폭 및 구조적 분해 기반의 고정 매개변수 복잡도 단계를 조합한다.