[논문 리뷰] Contracting to a Longest Path in H-Free Graphs

Walter Kern, Daniël Paulusma|arXiv (Cornell University)|2018. 10. 02.

Advanced Graph Theory Research참고 문헌 52인용 수 2

한 줄 요약

이 논문은 H-free 그래프에서 Longest Path Contractibility 문제에 대한 완전한 복잡도 이분법을 제공하며, H가 P2 + P4의 부분그래프이면 다항식 시간 내에 해결 가능하고, 그 외의 경우는 NP-완전임을 증명한다. 저자들은 문제를 매칭 문제로 감소시키는 새로운 계약 가능성 기법을 도입하였으며, (P2 + P4)-free 그래프에서 Longest Path Contractibility와 Longest Cycle Contractibility의 복잡도가 다름을 입증하여 분야 내 핵심적 차이를 해결한다.

ABSTRACT

A graph G is contractible to a graph H if there is a set X subseteq E(G), such that G/X is isomorphic to H. Here, G/X is the graph obtained from G by contracting all the edges in X. For a family of graphs F, the F-Contraction problem takes as input a graph G on n vertices, and the objective is to output the largest integer t, such that G is contractible to a graph H in F, where |V(H)|=t. When F is the family of paths, then the corresponding F-Contraction problem is called Path Contraction. The problem Path Contraction admits a simple algorithm running in time 2^n * n^{O(1)}. In spite of the deceptive simplicity of the problem, beating the 2^n * n^{O(1)} bound for Path Contraction seems quite challenging. In this paper, we design an exact exponential time algorithm for Path Contraction that runs in time 1.99987^n * n^{O(1)}. We also define a problem called 3-Disjoint Connected Subgraphs, and design an algorithm for it that runs in time 1.88^n * n^{O(1)}. The above algorithm is used as a sub-routine in our algorithm for Path Contraction.

연구 동기 및 목표

• 모든 H-free 그래프에 대해 Longest Path Contractibility의 계산 복잡도를 분류하는 것.
• Longest Path Contractibility에 대한 이분법 결과를 도출하여 다항식 시간 내에 해결 가능하고 NP-완전인 경우를 구분하는 것.
• 문제를 매칭 문제로 감소시키는 일반적인 계약 가능성 기법을 개발하는 것.
• H-free 그래프에서 Longest Path Contractibility와 Longest Cycle Contractibility가 동일한 복잡도 행동을 가지지 않음을 입증하는 것.
• Longest Path Contractibility의 복잡도에 대한 열려 있는 케이스를 해결하고 남아 있는 열린 문제를 부각하는 것.

제안 방법

• 저자들은 금지된 부분그래프 H의 구조적 분석을 통해 Longest Path Contractibility의 복잡도를 분류한다.
• 문제를 매칭 문제로 감소시키는 새로운 계약 가능성 기법을 도입하여 특정 그래프 클래스에서 효율적인 계산을 가능하게 한다.
• 특정 H에 대해 NP-완전성을 보일 때는 초그래프 2-색칠 문제에서의 감소를 사용하며, 초그래프 H에서 그래프 G′H를 구성한다.
• P5-free 및 P6-free 그래프에 대한 기존 결과를 적용하여 다양한 케이스에서 다항식 시간 내의 해결 가능성과 NP-완전성을 확립한다.
• H의 구조에 따라 사례를 다루기 위해 Theorem 7과 Theorem 5를 사용하며, 특히 3P2 및 P6과 같은 유도 부분그래프에 중점을 둔다.
• 핵심 단계는 G′H가 (P2 + P4)-free임을 증명하는 것으로, 이는 이 클래스에 대한 다항식 시간 결과를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 H에 대해 H-free 그래프에서 Longest Path Contractibility이 다항식 시간 내에 해결 가능한가?
• RQ2 H-free 그래프에서 Longest Path Contractibility의 다항식 시간 가능 및 NP-완전 케이스 사이의 정확한 경계는 무엇인가?
• RQ3 H-free 그래프에서 Longest Path Contractibility과 Longest Cycle Contractibility의 복잡도가 동일한가?
• RQ4 특정 그래프 클래스에서 문제를 매칭 문제로 감소시키는 일반적인 계약 가능성 기법을 개발할 수 있는가?
• RQ5 H-free 그래프에서 Longest Path Contractibility의 복잡도에 대해 남아 있는 열린 케이스는 무엇인가?

주요 결과

• P2 + P4-free 그래프에서 Longest Path Contractibility은 새로운 계약 가능성 기법을 통해 문제를 매칭 문제로 감소시킴으로써 다항식 시간 내에 해결 가능함을 입증하였다.
• H가 유도된 3P2를 포함하거나 P6의 부분그래프이면 H-free 그래프에서 문제는 NP-완전이며, 이는 이분법을 확립한다.
• H-free 그래프에서 Longest Path Contractibility과 Longest Cycle Contractibility의 복잡도가 일치하지 않음을 입증하였으며, 이는 (P2 + P4)-free 그래프에서 C4-Contractibility이 NP-완전임을 통해 확인된다.
• (P2 + P4)-free 그래프에서 C4-Contractibility이 NP-완전임을 입증하였으며, 이는 이 클래스에서 Longest Cycle Contractibility도 NP-완전임을 의미한다.
• 논문은 H가 P2 + P4의 부분그래프일 때에만 Longest Path Contractibility이 다항식 시간 내에 해결 가능함을 보여줌으로써 H-free 그래프에서의 복잡도를 완전히 해결하였다.
• 결과는 Longest Path Contractibility이 P5-free 그래ph에서 다항식 시간 내에 해결 가능하지만, P6-free 그래프에서는 NP-완전임을 보여주며, P6에서 날카로운 임계점이 있음을 시사한다.