[논문 리뷰] Not So Easy Problems for Tree Decomposable Graphs

Stefan Szeider|arXiv (Cornell University)|2011. 07. 06.

Advanced Graph Theory Research참고 문헌 32인용 수 27

한 줄 요약

이 논문은 유계 트리너비를 가진 간선 가중치가 부여된 그래프에서 최대 가중치를 가진 출도를 최소화하는 문제의 W[1]-난이도를 입증한다. 이는 고정된 트리너비를 가진 그래프에 대해서도 트리너비에 독립적인 차수를 가진 다항식 시간 알고리즘이 존재할 가능성이 낮음을 시사한다. 이 결과는 분할 클리크 문제로부터의 fpt-환원을 통해 도출되며, 이는 유계 트리너비 그래프에서 다항식 시간 내로 해결 가능한 문제이지만 FPT 클래스를 넘어선다는 것을 보여준다.

ABSTRACT

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some recent results for problems regarding list and equitable colorings, general factors, and generalized satisfiability. Second we establish a new hardness result for the problem of minimizing the maximum weighted outdegree for orientations of edge-weighted graphs of bounded treewidth.

연구 동기 및 목표

• 유계 트리너비 그래프에 대해 자명하게 쉬운 문제이거나 NP-난이도 문제가 아닌 문제를 규명하는 것.
• 유계 트리너비 그래프에서 다항식 시간 내로 해결 가능한 문제를 조사하는 것. 그러나 다항식 차수는 트리너비에 의존한다.
• 이러한 문제들이 고정 매개변수 트랙태블(fixed-parameter tractable, FPT)일 가능성이 낮다는 이론적 증거를 제공하는 것.
• 유계 트리너비를 가진 간선 가중치가 부여된 그래프에서 최소 최대 가중치 출도 방향성 문제에 대해 새로운 W[1]-난이도 결과를 확립하는 것.

제안 방법

• 기존에 알려진 W[1]-난이도 문제인 분할 클리크 문제에서 최소 최대 출도 문제로의 환원을 구성한다.
• k-분할 그래프 G의 변수 및 절점 가드젯을 모델링하는 정점과 간선을 가진 가중치가 부여된 그래프 H를 정의한다.
• ρ-허용 가능한 방향성과 대응되도록 간선 가중치와 정점 요구량(ρ-값)을 할당한다.
• 방향성의 구조적 제약 조건을 이용해 각 분할 집합에서 정확히 하나의 변수만 선택되도록 하며, 선택된 변수들이 클리크를 이룬다는 것을 보장한다.
• ρ-허용 가능한 방향성이 H에 존재하는 것과 G에 k-클리크가 존재하는 것이 동치임을 증명한다.
• 분할 클리크 문제에서 최소 최대 출도 문제로의 fpt-환원을 수립하여, fpt-환원 하에 W[1]-난이도임을 입증한다.

실험 결과

연구 질문

• RQ1 유계 트리너비 그래프에서 다항식 시간 내로 해결 가능한 문제들이 트리너비에 따라 다항식 차수가 변할 경우, 여전히 W[1]-난이도일 수 있는가?
• RQ2 유계 트리너비 그래프에 대해 최소 최대 가중치 출도 방향성 문제는 고정 매개변수 트랙태블인가?
• RQ3 분할 클리크 문제를 fpt-환원을 통해 최소 최대 출도 방향성 문제로 환원할 수 있는가?
• RQ4 유계 트리너비 조건 하에서 간선 가중치가 부여된 그래프에서 클리크 선택을 강제하는 구조적 제약 조건은 무엇인가?
• RQ5 다항식 시간 복잡도의 경계가 트리너비에 의존할 경우, 매개변수 기반의 비트랙태블성(비가역성)이 유도되는가?

주요 결과

• 간선 가중치가 부여된 그래프에서 최소 최대 출도 문제의 트리너비를 매개변수로 삼을 경우, W[1]-난이도임이 입증된다.
• 고정된 트리너비를 가진 그래프에 대해서도 문제는 여전히 W[1]-난이도를 가지며, 이는 FPT = W[1]이 아닐 경우 FPT 알고리즘이 존재하지 않음을 시사한다.
• 구성된 그래프 H에서 ρ-허용 가능한 방향성이 존재하는 것은 원본 그래프 G에 k-클리크가 존재하는 것과 동치이다.
• 환원 과정은 매개변수 기반 복잡도를 유지하며, 분할 클리프 문제에서 최소 최대 출도 문제로의 fpt-환원을 수립한다.
• 구성된 그래프 H의 트리너비는 k의 함수로 유계이므로, 매개변수 기반 설정에서의 환원이 유효함을 보장한다.
• 결과적으로, 일부 문제들은 유계 트리너비 그래프에서는 다항식 시간 내로 해결 가능하지만, 다항식 차수의 트리너비 의존성으로 인해 본질적으로 매개변수 기반 비트랙태블성을 가진다는 것이 입증된다.