[논문 리뷰] Cross-Composition: A New Technique for Kernelization Lower Bounds

Hans L. Bodlaender, Bart M. P. Jansen외 1명|arXiv (Cornell University)|2010. 11. 18.

Advanced Graph Theory Research참고 문헌 29인용 수 113

한 줄 요약

이 논문은 매개변수 복잡도 이론에서 커널라이제이션 하한을 증명하기 위한 새로운 기법인 크로스-구성(composition)을 소개한다. 여러 개의 NP-난해 문제 인스턴스를 다항수준으로 제한된 매개변수를 가진 단일 매개변수 문제 인스턴스로 조합함으로써, 이러한 조합이 존재한다면, 다항계층 구조가 붕괴하지 않는 한 목표 문제는 다항식 커널을 가질 수 없다는 것을 보여준다. 이 기법은 이전의 방법들인 or-구성과 다항식 매개변수 변환을 일반화하고 강화한다.

ABSTRACT

We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance of Q with polynomially bounded parameter value can express the logical OR of a sequence of instances of L. Building on work by Bodlaender et al. (ICALP 2008) and using a result by Fortnow and Santhanam (STOC 2008) we show that if an NP-complete problem cross-composes into a parameterized problem Q then Q does not admit a polynomial kernel unless the polynomial hierarchy collapses. Our technique generalizes and strengthens the recent techniques of using OR-composition algorithms and of transferring the lower bounds via polynomial parameter transformations. We show its applicability by proving kernelization lower bounds for a number of important graphs problems with structural (non-standard) parameterizations, e.g., Chromatic Number, Clique, and Weighted Feedback Vertex Set do not admit polynomial kernels with respect to the vertex cover number of the input graphs unless the polynomial hierarchy collapses, contrasting the fact that these problems are trivially fixed-parameter tractable for this parameter. We have similar lower bounds for Feedback Vertex Set.

연구 동기 및 목표

• 매개변수 복잡도에서 커널라이제이션 하한을 증명하기 위한 새로운 일반 기법을 개발하는 것.
• 이전 방법들인 or-구성과 다항식 매개변수 변환의 한계를 극복하는 것.
• 정점 커버 수와 같은 구조적 매개변수로 매개변수화된 문제들에 대해 강력한 하한을 확립하는 것.
• 기본적인 그래프 문제들인 색수, 클리크, 가중치가 있는 피드백 정점 집합, 피드백 정점 집합에 대해 이 기법의 적용 가능성을 보여주는 것.

제안 방법

• 크로스-구성은 다항식 수준으로 제한된 최대 입력 인스턴스 크기의 다항식 함수에 비례하는 매개변수를 가진 매개변수 문제 Q의 단일 인스턴스를, 고전적인 NP-난해 문제 L의 여러 인스턴스로부터 구성한다.
• 구성 과정은 Q의 구성 인스턴스가 참이 되기 위한 조건이 적어도 하나의 L의 입력 인스턴스가 참이 되는 것과 동치이므로, 입력의 논리적 OR를 표현한다.
• 이 방법은 Fortnow와 Santhanam(2008년 STOC)의 결과를 활용하여 이러한 구성의 존재성이 다항식 커널의 부재성과 연결됨을 보장한다.
• 이 기법은 원래의 or-구성보다 일반화되어 있으며, 소스 문제와 타겟 문제 간에 다를 수 있도록 허용하고, 입력 인스턴스들이 동일한 매개변수 값을 가져야 한다는 요구를 피한다.
• 이 기법은 그래프 기반 도구(예: 가중치가 있는 정점을 가진 BK4 그래프)를 사용하여 인스턴스 인덱스의 이진 표현을 인코딩하고 해집합의 구조적 제약 조건을 강제한다.
• 구성의 정당성은 이중 방향 감소를 통해 증명된다: 구성된 인스턴스에서의 해가 원래 인스턴스들 중 하나의 해를 암시하고, 그 반대도 마찬가지다.

실험 결과

연구 질문

• RQ1 or-구성과 다항식 매개변수 변환을 일반화하는 기법을 사용하여 매개변수 문제에 대해 더 강력한 커널라이제이션 하한을 증명할 수 있는가?
• RQ2 NP-난해 문제에서 매개변수 문제로의 크로스-구성의 존재성이 그 후행 문제에 다항식 커널이 존재하지 않음을 암시하는가?
• RQ3 정점 커버 수와 같은 구조적 매개변수로 매개변수화된 문제들에 대해 크로스-구성 기법을 적용할 수 있는가, 즉 그 문제들이 그 매개변수에 대해 FPT이더라도 말이다?
• RQ4 색수, 클리크, 피드백 정점 집합과 같은 기본적인 그래프 문제들이 이러한 매개변수화 하에 다항식 커널을 가지지 않는가?

주요 결과

• 정점 커버 수로 매개변수화된 가중치가 있는 피드백 정점 집합은 NP ⊆ coNP/poly가 성립하지 않는 한 다항식 커널을 가지지 않는다.
• 정점 커버 수로 매개변수화된 색수와 클리프 문제 역시 동일한 가정 하에 다항식 커널을 가지지 않는다.
• 정점 커버 수로 매개변수화된 피드백 정점 집합 문제 역시 NP ⊆ coNP/poly가 성립하지 않는 한 다항식 커널을 가지지 않는다.
• 크로스-구성 기법은 고전적인 NP-난해 문제들로부터 구조적 매개변수를 가진 매개변수 문제들로 하한을 성공적으로 전달한다.
• 이 방법은 소스 문제와 타겟 문제를 다를 수 있도록 允허함으로써, 이전의 접근 방식인 or-구성과 다항식 매개변수 변환을 일반화하고 강화한다.
• 결과적으로, 이러한 문제들이 정점 커버 매개변수에 대해 고정차수 다항식 시간(FPT)임에도 불구하고, 여전히 다항식 커널 형태의 효율적인 데이터 축소가 불가능함을 보여준다.