[논문 리뷰] Lossy kernels for connected distance-$r$ domination on nowhere dense graph classes

Sebastian Siebertz|arXiv (Cornell University)|2017. 07. 31.

Advanced Graph Theory Research참고 문헌 23인용 수 6

한 줄 요약

이 논문은 모든 nowhere dense 그래프 클래스와 임의의 거리 $ r $에 대해, 연결된 거리-$ r $ 독립집합 문제에 대해 $ \alpha $-근사 이중핵이 존재하며, 이는 $ \alpha > 1 $일 때 다항식 크기의 $ \alpha $-근사 이중핵이 존재함을 보여준다. 핵심 결과는 정확한 특성화이다: 이러한 손실 허용 핵은 nowhere dense 클래스에서만 존재하며, Gap Exponential Time Hypothesis 하에 더 일반적인 somewhere dense 클래스에서는 존재할 수 없다.

ABSTRACT

For $α\colon\mathbb{N} ightarrow\mathbb{R}$, an $α$-approximate bi-kernel is a polynomial-time algorithm that takes as input an instance $(I, k)$ of a problem $Q$ and outputs an instance $(I',k')$ of a problem $Q'$ of size bounded by a function of $k$ such that, for every $c\geq 1$, a $c$-approximate solution for the new instance can be turned into a $c\cdotα(k)$-approximate solution of the original instance in polynomial time. This framework of \emph{lossy kernelization} was recently introduced by Lokshtanov et al. We prove that for every nowhere dense class of graphs, every $α>1$ and $r\in\mathbb{N}$ there exists a polynomial $p$ (whose degree depends only on $r$ while its coefficients depend on $α$) such that the connected distance-$r$ dominating set problem with parameter $k$ admits an $α$-approximate bi-kernel of size $p(k)$. Furthermore, we show that this result cannot be extended to more general classes of graphs which are closed under taking subgraphs by showing that if a class $C$ is somewhere dense and closed under taking subgraphs, then for some value of $r\in\mathbb{N}$ there cannot exist an $α$-approximate bi-kernel for the (connected) distance-$r$ dominating set problem on $C$ for any function $α\colon\mathbb{N} ightarrow\mathbb{R}$ (assuming the Gap Exponential Time Hypothesis).

연구 동기 및 목표

• 연결된 거리-$ r $ 독립집합 문제에 대한 손실 허용 핵의 존재에 대한 정확한 경계를 규명하는 것.
• 손실 허용 핵을 구성할 수 있는 가장 일반적인 그래프 클래스—특히 nowhere dense 클래스—를 식별하는 것.
• 이 결과가 하위그래프에 대해 닫혀 있는 더 일반적인 somewhere dense 그래프 클래스로 확장될 수 없음을 보이는 것.
• 그래프 클래스의 구조적 성질과 근사 핵화 가능성 사이의 엄밀한 연결 고리를 확립하는 것.

제안 방법

• 근사 보존을 유지하면서 인스턴스를 더 작은 것으로 축소하는 전처리 알고리즘을 활용하는 손실 허용 핵화 프레임워크를 활용한다.
• 모든 $ \alpha $-근사 해를 유지하는 다항식 크기의 인스턴스를 구성하기 위해 $ (k,r) $-독립핵의 개념을 사용한다.
• 특히, 유한 전개 및 저습두 깊이 분해를 통한 nowhere dense 클래스의 특성화를 활용하는 구조적 그래프 이론 도구를 적용한다.
• 집합 커버에서 거리-$ r $ 독립집합 문제로의 감소를 통해, 그래프 클래스가 somewhere dense이면 gap-ETH 하에 근사 핵이 존재하지 않음을 보인다.
• Lokshtanov 등에서 제안한 고정 매개변수 트랙터블 근사 알고리즘과 근사 핵화 사이의 등가성을 활용하여 하한을 전이한다.
• 모든 nowhere dense 클래스가 $ k $에 대해 다항식 크기의 $ (k,r) $-독립핵을 가지며, 이의 차수는 $ r $에 따라 달라지고 계수는 $ \alpha $에 따라 달라짐을 증명한다.

실험 결과

연구 질문

• RQ1 nowhere dense 그래프 클래스에서 연결된 거리-$ r $ 독립집합 문제에 대해 손실 허용 핵을 구성할 수 있는가?
• RQ2 손실 허용 핵을 갖는 그래프 클래스와 갖지 않는 그래프 클래스 사이의 정확한 경계는 무엇인가?
• RQ3 이러한 핵의 존재는 그래프 클래스의 구조적 성질, 예를 들어 nowhere denseness에 따라 달라지는가?
• RQ4 핵의 다항식 크기 경계를 의사선형 크기로 향상시킬 수 있는가?
• RQ5 어떤 표준 복잡도 가정 하에 somewhere dense 클래스에서 근사 핵이 존재하지 않는다는 것이 유지되는가?

주요 결과

• 모든 nowhere dense 그래프 클래스, 모든 $ \alpha > 1 $, 그리고 모든 $ r \in \mathbb{N} $에 대해, 연결된 거리-$ r $ 독립집합 문제에 대해 $ \alpha $-근사 이중핵이 존재하며, 이의 크기는 $ p(k) $로 표현되며, 이의 차수는 $ r $에 따라 달라지고 계수는 $ \alpha $에 따라 달라진다.
• 결과는 정확하다: 그래프 클래스가 somewhere dense이면서 하위그래프에 대해 닫혀 있고, Gap Exponential Time Hypothesis를 가정할 경우, 어떤 함수 $ \alpha $에 대해서도 $ \alpha $-근사 이중핵이 존재하지 않는다.
• 하한은 인스턴스의 매개변수 $ k $를 정확히 유지하면서 집합 커버에서 거리-$ r $ 독립집합 문제로의 매개변수 감소를 통해 확립된다.
• 이러한 구조는 nowhere dense 클래스에서 다항식 크기의 $ (k,r) $-독립핵의 존재에 기반하며, 이는 근사 비율을 유지하면서 인스턴스를 압축하는 데 사용된다.
• 논문은 이러한 클래스에서 연결된 거리-$ r $ 독립집합 문제에 대해 다항식 크기의 손실 허용 핵이 존재함을 보이며, 원래 문제는 W[2]-하드이지만 여전히 가능하다고 밝힌다.
• 이 작업은 완전한 특성화를 제공한다: 이러한 문제에 대해 손실 허용 핵이 존재하는 것은 오직 그래프 클래스가 nowhere dense일 때에만 성립한다.