[논문 리뷰] Kernel(s) for Problems With no Kernel: On Out-Trees With Many Leaves

Henning Fernau, Fedor V. Fomin외 4명|ArXiv.org|2008. 10. 27.

Advanced Graph Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 극한 조합론을 사용하여 크기 $O(k^3)$인 첫 번째 다항식 커널을 제시하며, Rooted $k$-Leaf Out-Branching에 대해 다항식 커널이 존재하지 않음을 입증한다. 이는 다항계층이 붕괴하지 않는 한 $k$-Leaf Out-Branching에 다항식 커널이 존재하지 않음을 의미한다. 또한, 난이도가 높은 문제에 대해 $n$개의 독립적인 $O(k^3)$ 커널이 존재함을 보여, 다대일과 튜링 커널라이제이션 사이에 새로운 분리를 설정한다.

ABSTRACT

The {\sc $k$-Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) with at least $k$ leaves in a given digraph. The problem has recently received much attention from the viewpoint of parameterized algorithms {alonLNCS4596,AlonFGKS07fsttcs,BoDo2,KnLaRo}. In this paper we step aside and take a kernelization based approach to the {\sc $k$-Leaf-Out-Branching} problem. We give the first polynomial kernel for {\sc Rooted $k$-Leaf-Out-Branching}, a variant of {\sc $k$-Leaf-Out-Branching} where the root of the tree searched for is also a part of the input. Our kernel has cubic size and is obtained using extremal combinatorics. For the {\sc $k$-Leaf-Out-Branching} problem we show that no polynomial kernel is possible unless polynomial hierarchy collapses to third level %$PH=Σ_p^3$ by applying a recent breakthrough result by Bodlaender et al. {BDFH08} in a non-trivial fashion. However our positive results for {\sc Rooted $k$-Leaf-Out-Branching} immediately imply that the seemingly intractable the {\sc $k$-Leaf-Out-Branching} problem admits a data reduction to $n$ independent $O(k^3)$ kernels. These two results, tractability and intractability side by side, are the first separating {\it many-to-one kernelization} from {\it Turing kernelization}. This answers affirmatively an open problem regarding "cheat kernelization" raised in {IWPECOPEN08}.

연구 동기 및 목표

• 다항식 그래프 파arameterized 알고리즘에서 핵심 문제인 $k$-Leaf Out-Branching의 커널라이제이션 복잡도를 해결하기 위해.
• 다항식 커널이 없는 문제라도 다수의 독립적인 커널을 통해 효율적인 데이터 축소가 가능할지 조사하기 위해.
• 파라미터화된 복잡도 이론에서 다대일 커널라이제이션과 튜링 커널라이제이션 사이의 분리를 확립하기 위해.
• 단일 큰 커널 대신 $n$개의 독립적인 다항식 커널이 존재하는 '거짓 커널라이제이션(fraud kernelization)'의 프레임워크를 제공하기 위해.

제안 방법

• 극한 조합론과 축소 규칙을 사용하여 Rooted $k$-Leaf Out-Branching에 대해 크기 $O(k^3)$인 다항식 커널을 개발한다.
• $k$-Leaf Out-Branching를 $k$-Leaf Out-Tree로의 비트리비얼 축소를 위해 모든 가능한 루트를 테스트한다.
• '좋은 백양나무 그래프(nice willow graphs)' 기반의 구성법을 사용하여 외부 지식을 시뮬레이션하고 $b_{\text{max}}$개의 리프를 가진 단일 인스턴스로 축소한다.
• 사이클 기반의 구성법을 사용하여 $n$개의 독립적인 Rooted $k$-Leaf Out-Tree 인스턴스를 단일 $k$-Leaf Out-Branching 인스턴스로 통합한다.
• Bodlaender 등 [5]의 하한 프레임워크를 적용하여 $k$-Leaf Out-Branching가 다항식 커널을 가질 수 없음을 입증한다. 이는 다항계층이 $\Sigma_p^3$로 붕괴하지 않는 한 성립한다.
• 커널화된 인스턴스를 다시 $k$-Leaf Out-Tree로 축소하여, $k$-Leaf Out-Branching에 다항식 커널이 존재한다면 모순이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 다항식 커널이 없는 문제라도 $n$개의 독립적인 다항식 커널을 가질 수 있는가?
• RQ2 파라미터화된 복잡도 이론에서 다대일 커널라이제이션과 튜링 커널라이제이션 사이에 분리가 존재하는가?
• RQ3 어려운 문제에 대해 다수의 작은 커널이 존재하면, 이는 이론적으로는 비가역적이지만 실질적으로는 처리 가능성을 암시하는가?
• RQ4 Bodlaender 등 [5]의 프레임워크를 확장하여 $|I|^{O(1)}$개의 독립적인 다항식 커널을 배제할 수 있는가?
• RQ5 이러한 '거짓 커널라이제이션' 행동을 보이는 다른 자연스러운 문제들이 존재하는가?

주요 결과

• Rooted $k$-Leaf Out-Branching는 극한 조합론과 축소 규칙를 통해 크기 $O(k^3)$인 다항식 커널을 가짐이 입증됨.
• $k$-Leaf Out-Branching는 다항계층이 $\Sigma_p^3$로 붕괴하지 않는 한 다항식 커널을 가질 수 없으며, 이는 $k$-Leaf Out-Tree로의 축소를 통해 입증됨.
• $n$개의 독립적인 $O(k^3)$ 커널은 $k$-Leaf Out-Branching 문제에 대해 효율적인 사전처리를 가능하게 하는 튜링 커널라이제이션의 형태를 제공함.
• 백양나무 그래프의 사이클을 사용하여 $n$개의 루트 기반 인스턴스에서 단일 $k$-Leaf Out-Branching 인스턴스를 구성함으로써, 구성 요소 간의 리프 수를 정확히 유지함.
• Bodlaender 등 [5]의 프레임워크를 확장하여 다수의 독립적인 다항식 커널이 다대일 커널라이제이션의 하한을 우회할 수 있음을 보여, '거짓 커널라이제이션'에 대한 열린 문제를 긍정적으로 해결함.
• 이 결과는 다대일 커널라이제이션과 튜링 커널라이제이션 사이에 엄격한 분리를 확립하며, 후자가 특정 문제에 대해 엄밀히 더 강력할 수 있음을 보여줌.