[논문 리뷰] Hierarchies of Inefficient Kernelizability

Danny Hermelin, Stefan Kratsch외 3명|arXiv (Cornell University)|2011. 10. 05.

Advanced Graph Theory Research참고 문헌 31인용 수 12

한 줄 요약

이 논문은 다항 시간 튜링 커널화에 취약한 문제들을 분류하기 위한 새로운 프레임워크인 WK- 및 MK-계층 구조를 소개한다. Min Ones d-SAT(k), Binary NDTM Halting(k), Connected Vertex Cover(k), Clique(k log n)와 같은 문제들이 WK[1]-완전하다는 것을 보여줌으로써, 효율적인 튜링 커널화를 허용하지 않을 가능성이 높은 문제들을 포괄하는 계층을 확립한다. 이는 기존의 커널화 하한선을 넘어서는 것이다.

ABSTRACT

The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam (STOC 2008) allows us to exclude the existence of polynomial kernels for a range of problems under reasonable complexity-theoretical assumptions. However, there are also some issues that are not addressed by this framework, including the existence of Turing kernels such as the "kernelization" of Leaf Out Branching(k) into a disjunction over n instances of size poly(k). Observing that Turing kernels are preserved by polynomial parametric transformations, we define a kernelization hardness hierarchy, akin to the M- and W-hierarchy of ordinary parameterized complexity, by the PPT-closure of problems that seem likely to be fundamentally hard for efficient Turing kernelization. We find that several previously considered problems are complete for our fundamental hardness class, including Min Ones d-SAT(k), Binary NDTM Halting(k), Connected Vertex Cover(k), and Clique(k log n), the clique problem parameterized by k log n.

연구 동기 및 목표

• 기존의 커널화 하한선이 다항 시간 튜링 커널화를 배제하지 못하는 데서 비롯된 격차를 메우기 위해.
• 기본 매개변수 문제의 비결정성 계층과 유사하게, 튜링 커널화를 위한 비결정성 계층을 체계화하기 위해.
• 효율적인 튜링 커널화를 허용하지 않을 가능성이 높은 자연스러운 매개변수 문제들을 식별하고 분류하기 위해.
• Clique(k log n)과 Connected Vertex Cover(k)와 같은 잘 알려진 문제들이 WK[1]-완전하다는 것을 보여주어, 튜링 커널화에 대한 근본적인 난이도를 입증하기 위해.
• 새로운 계층과 고전적 복잡도 클래스, 특히 EXPT 및 FPT 사이의 구조적 연결 고리를 탐색하기 위해.

제안 방법

• 효율적인 튜링 커널화에 어려운 것으로 여겨지는 문제들의 PPT-폐쇄성을 통해 새로운 클래스 계층—WK[1], WK[2], ..., MK[1], MK[2], ...—을 정의한다.
• 다항 매개변수 변환(PPT)을 사용하여 다항 시간 튜링 커널화를 유지함으로써, 계층 내에서 완전성의 정의를 가능하게 한다.
• 기존의 W[1]-완전 문제들로부터의 감소를 통해 Min Ones d-SAT(k), Binary NDTM Halting(k), Clique(k log n) 등의 문제들이 WK[1]-완전하다는 것을 입증한다.
• 히팅 세트 및 스티너 트리 문제를 시뮬레이션하기 위해 플래그 기능을 갖춘 튜링 기계 모델을 도입하여, WK[2] 클래스로의 감소를 가능하게 한다.
• 전건 논리 공식을 매개변수화된 WSAT 프레임워크 위에서 표현함으로써, 이동과 플래그 조건을 인코딩하여 WK[2]에 속함을 증명한다.
• PPT-폐쇄 성질을 활용하여, 감소에 의해 경과하는 딱지의 강건성을 확보함으로써, 표준 커널화와 튜링 커널화 사이의 차이를 유지한다.

실험 결과

연구 질문

• RQ1 기존 커널화 하한선의 한계를 넘어서는 다항 시간 튜링 커널화를 위한 비결정성 계층을 정의할 수 있는가?
• RQ2 PPT 하에 WK[1]에 대해 완전한 자연스러운 매개변수 문제들이 존재하는가? 이는 효율적인 튜링 커널화에 대한 근본적인 난이도를 시사한다.
• RQ3 새로운 WK/MK-계층과 EXPT 및 FPT와 같은 고전적 복잡도 클래스 사이의 관계는 무엇인가?
• RQ4 Path(k)와 Cycle(k)와 같은 문제들은 다항 시간 튜링 커널을 갖는가? 만약 그렇다면, 이들은 WK-계층 내에서 분류될 수 있는가?
• RQ5 표준 매개변수 k(즉, k log n 가 아닌)를 갖는 자연스러운 문제들이 WK[2]-완전하다는 것을 보일 수 있는가?

주요 결과

• 논문은 Clique(k log n)이 WK[1]-완전하다는 것을 입증하여, 다항 시간 튜링 커널화를 갖지 않을 가능성이 높음을 시사한다. 유일한 조건은 다항시간 계층이 붕괴하지 않는 한이다.
• Connected Vertex Cover(k)가 WK[1]-완전하다는 것이 입증되어, 기존의 다항 커널화의 비가능성 결과가 튜링 커널화 설정으로 확장됨을 보여준다.
• Binary NDTM Halting(k)가 WK[1]-완전하다는 것이 증명되어, 비결정성 기계의 시뮬레이션도 튜링 커널화 모델 하에서 난이도가 높음을 보여준다.
• Min Ones d-SAT(k)가 WK[1]-완전하다는 것이 입증되어, 심지어 제한된 형태의 만족 가능성 문제조차도 효율적인 튜링 커널화에 어려움을 겪음을 보여준다.
• Steiner Tree(k log n)가 WK[2]-완전하다는 것이 입증되어, 네트워크 설계 문제들과 새로운 계층 간의 연결 고리를 확립한다.
• WK- 및 MK-계층은 정교한 포함 관계를 형성한다: MK[1] ⊆ WK[1] ⊆ MK[2] ⊆ WK[2] ⊆ ... ⊆ EXPT이며, 이는 커널화 비결정성의 체계적인 분류를 위한 프레임워크를 제공한다.