Core Concepts
이 논문은 변수 제한 정도에 따른 두 문제, 즉 제한 정도 정점 삭제와 결함 있는 색칠의 구조적 매개변수화에 대해 재검토한다. 이 두 문제는 널리 알려진 구조적 매개변수, 예를 들어 트리 폭 등으로 매개변수화할 경우 W[1]-hard로 알려져 있다. 이 논문에서는 이러한 매개변수에 대한 더 세부적인 복잡도 분석을 제공한다.
Abstract
이 논문은 제한 정도 정점 삭제와 결함 있는 색칠 문제의 구조적 매개변수화에 대한 복잡도를 분석한다.
먼저, 두 문제 모두 표 크기가 각각 (∆+2)^tw와 (χd(∆+1))^tw인 동적 프로그래밍 알고리즘을 가진다. 여기서 tw는 입력 그래프의 트리 폭이고 χd는 사용 가능한 색의 수이다.
이어서 SETH를 가정할 때, 이러한 알고리즘이 본질적으로 최적임을 보인다. 즉, 트리 폭 대신 경로 폭을 사용해도 여전히 최적이다. 이를 위해 ∆와 χd의 모든 조합을 다루는 일련의 환원을 제시한다.
다음으로, 트리 깊이 매개변수에 대해서는 기존 하한 결과를 개선한다. 즉, 두 문제 모두 no(td)시간에 해결할 수 없음을 보인다. 이를 위해 트리 깊이가 선형인 재귀적 구성을 사용한다.
마지막으로, 정점 커버 매개변수에 대해서는 기존 알고리즘이 최적임을 보인다. 즉, vco(vc)nO(1)시간 내에 해결할 수 없음을 보인다. 이를 위해 d-detecting families 기법을 활용한다.
전반적으로 이 논문은 두 문제의 구조적 매개변수화 복잡도에 대한 완전한 그림을 제시한다. 표준 동적 프로그래밍 알고리즘이 다양한 제한된 경우에서 최적임을 보여준다.
Stats
제한 정도 정점 삭제 문제의 경우, 트리 폭 또는 경로 폭 매개변수화 시 (∆+2-ε)^pw 시간 내에 해결할 수 없다.
결함 있는 색칠 문제의 경우, 트리 폭 또는 경로 폭 매개변수화 시 (χd(∆+1)-ε)^pw 시간 내에 해결할 수 없다.
두 문제 모두 트리 깊이 매개변수화 시 no(td) 시간 내에 해결할 수 없다.
두 문제 모두 정점 커버 매개변수화 시 vco(vc)nO(1) 시간 내에 해결할 수 없다.
Quotes
"표준 DP 알고리즘이 트리 폭과 경로 폭에 대해 최적임을 보였다."
"트리 깊이 매개변수화에서도 표준 DP 알고리즘이 (질적으로) 최적임을 보였다."
"정점 커버 매개변수화에서도 표준 DP 알고리즘이 (질적으로) 최적임을 보였다."