[논문 리뷰] Extending Partial Representations of Subclasses of Chordal Graphs

Pavel Klavík, Jan Kratochvı́l외 2명|arXiv (Cornell University)|2012. 07. 01.

Advanced Graph Theory Research참고 문헌 17인용 수 8

한 줄 요약

이 논문은 코르달 그래프와 그 부분류인 간격 그래프, 적절한 간격 그래프, 경로 그래프의 부분 표현을 확장하는 데 필요한 복잡도를 나무 구조의 수정을 통해 분석한다. 대부분의 변형에 대해 문제의 NP-완전성을 입증하며, 3-Partition 및 Bin Packing 문제로부터의 감소를 통해 핵심 결과를 도출한다. 또한 특정 매개변수화, 특히 부분 나무의 크기가 유계일 경우의 고정-파rameter 트래커티블리티를 규명한다.

ABSTRACT

Chordal graphs are intersection graphs of subtrees of a tree T. We investigate the complexity of the partial representation extension problem for chordal graphs. A partial representation specifies a tree T' and some pre-drawn subtrees of T'. It asks whether it is possible to construct a representation inside a modified tree T which extends the partial representation (i.e, keeps the pre-drawn subtrees unchanged). We consider four modifications of T' and get vastly different problems. In some cases, it is interesting to consider the complexity even if just T' is given and no subtree is pre-drawn. Also, we consider three well-known subclasses of chordal graphs: Proper interval graphs, interval graphs and path graphs. We give an almost complete complexity characterization. We further study the parametrized complexity of the problems when parametrized by the number of pre-drawn subtrees, the number of components and the size of the tree T'. We describe an interesting relation with integer partition problems. The problem Partition is used for all NP-completeness reductions. The extension of interval graphs when the space in T' is limited is "equivalent" to the BinPacking problem.

연구 동기 및 목표

• 다양한 나무 수정 유형에 대해 코르달 그래프 및 그 부분류에서 부분 표현을 확장하는 데 필요한 계산 복잡도를 규명하는 것.
• 코르달 그래프에서 부분 표현 확장 문제의 난이도가 인식 문제보다 엄격히 더 높은지 조사하는 것. 이는 알려진 해결 가능 사례와 대비된다.
• 사전 그려진 부분수나무의 수, 구성 요소의 수, 부분 나무의 크기와 같은 매개변수에 따른 고정-파라미터 복잡도를 탐색하는 것.
• 열려 있는 문제를 규명하고 기하학적 그래프 클래스의 표현 확장 분야에서 향후 연구를 이끌어내는 것.

제안 방법

• 대부분의 확장 문제 변형에 대해 NP-완전성을 입증하기 위해 NP-완전 문제인 3-Partition 문제로부터의 감소.
• 부분 나무 내에서 표현 확장을 검증하기 위해 나무 내 부분수나무의 Helly 성질 활용.
• 부분 나무의 크기가 유계일 경우 고정-파라미터 트래커티블리티를 분석하기 위해 PQ-트리 기법과 부분수나무 열거 기법 적용.
• 공간 제약 조건이 있는 간격 표현 확장을 모델링하기 위해 백팩 문제 감소의 적응.
• NP-완전성 증명에서 연결성 유지 및 제약 조건 강제를 위해 부분 나무 내에서 보편 정점 구축.
• 세 가지 코르달 그래프 부분류에 걸쳐 네 가지 나무 수정 유형(제거(Sub), 추가(Add), 고정(Fixed), 병합(Both))을 분석함.

실험 결과

연구 질문

• RQ1 서브트리 및 추가 수정이 허용되는 경우 경로 그래프에 대한 부분 표현 확장 문제의 복잡도는 어떻게 되는가(즉, 'Both' 유형에 대해)?
• RQ2 사전에 그려진 간격 수에 대해 매개변수화할 경우 간격 그래프에 대한 부분 표현 확장 문제가 여전히 해결 가능할까?
• RQ3 경로 그래프 및 코르달 그래프에서 '고정(Fixed)' 수정 유형에 대해 부분 나무의 크기로 매개변수화했을 때 문제의 고정-파라미터 트래커티블리티가 성립하는가?
• RQ4 사전에 그려진 부분수나무의 수, 구성 요소의 수, 부분 나무의 크기 등 다양한 매개변수화가 확장 문제의 복잡도에 어떤 영향을 미치는가?
• RQ5 PQ-트리 기반 접근법을 간격 그래프의 확장 문제에 일반화하여 사전에 그려진 간격 수에 대해 XP 시간 내에 해결할 수 있는가?

주요 결과

• 코르달 그래프에 대한 부분 표현 확장 문제는 유일한 경우를 제외하고는 모두 NP-완전하며, 이는 이 클래스에서 인식 문제보다 엄격히 더 어렵다는 것을 보여주며, 이는 이 분야에서 처음으로 이루어지는 발견이다.
• 단 하나의 부분수나무만 사전에 그려져 있거나 그래프가 연결되어 있어도 문제의 NP-완전성은 유지되며, 이는 낮은 복잡도 매개변수화가 문제를 단순화하지 못한다는 것을 시사한다.
• '고정(Fixed)' 수정 유형에 대해 부분 나무의 크기로 매개변수화했을 때 문제는 고정-파라미터 트래커티블하며, 시간 복잡도 O(n + m + 2^{t^{2^t}}) 내에 해결 가능하다. 여기서 t는 부분 나무의 크기이다.
• 공간 제약 조건이 있는 간격 그래프의 확장 문제는 백팩 문제와 동치이며, 기하학적 표현과 조합 최적화 간의 강력한 연결 고리를 규명한다.
• 'Both' 수정 유형에 대해 경로 그래프에 대한 문제는 여전히 미해결 상태이며, 복잡도 분류에서 유일하게 남아 있는 경우이다.
• k = 0 또는 k = 1일 경우, 유일한 예외를 제외한 모든 문제들이 NP-완전하며, 이는 최소한의 사전 그림조차도 복잡도를 감소시키지 못한다는 것을 의미한다. 또한 경로 그래프에서 'Add' 수정 유형에 대해 k에 대해 W[1]-hard이다.