[논문 리뷰] Graph Search Trees and the Intermezzo Problem

Jesse Beisegel, Ekkehard Köhler외 3명|arXiv (Cornell University)|2024. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 일반 검색(Generic Search, GS)에 대한 마지막-들어간-트리 식별 문제의 NP-완전성을 입증하며, 주어진 스패닝 트리가 GS 순회에 의해 생성될 수 있는지 여부를 판단하는 것이 계산적으로 어렵다는 것을 보여준다. 또한 부분 순서의 하세 다이어그램이 유한 높이의 트리인 경우조차도 인터메조 문제의 NP-완전성을 증명하고, 부분 순서의 폭을 매개변수로 삼는 XP-알고리즘을 제시하며, 이는 지수 시간 가설(Exponential Time Hypothesis) 하에서 점근적으로 최적임을 보인다.

ABSTRACT

The last in-tree recognition problem asks whether a given spanning tree can be derived by connecting each vertex with its rightmost left neighbor of some search ordering. In this study, we demonstrate that the last-in-tree recognition problem for Generic Search is $\mathsf{NP}$-complete. We utilize this finding to strengthen a complexity result from order theory. Given a partial order $π$ and a set of triples, the $\mathsf{NP}$-complete intermezzo problem asks for a linear extension of $π$ where each first element of a triple is not between the other two. We show that this problem remains $\mathsf{NP}$-complete even when the Hasse diagram of the partial order forms a tree of bounded height. In contrast, we give an $\mathsf{XP}$-algorithm for the problem when parameterized by the width of the partial order. Furthermore, we show that $\unicode{x2013}$ under the assumption of the Exponential Time Hypothesis $\unicode{x2013}$ the running time of this algorithm is asymptotically optimal.

연구 동기 및 목표

• 일반 검색(GS)에 대한 마지막-들어간-트리 식별 문제의 계산 복잡도를 규명하는 것.
• 특히 하세 다이어그램의 높이가 유한한 구조적 제약 조건이 있는 부분 순서 하에서 인터메조 문제를 조사하는 것.
• 부분 순서의 폭을 매개변수로 삼아 인터메조 문제의 매개변수 복잡도를 탐색하는 것.
• 기본 복잡도 가정 하에서 마지막-들어간-트리 문제와 인터메조 문제의 날카로운 복잡도 경계를 확립하는 것.

제안 방법

• 다색 클리크(Multicolored Clique, MCP) 문제에서 인터메조 문제로의 감소를 통해, 높이가 유한한 트리 형태의 하세 다이어그램을 가진 부분 순서를 구성하는 것.
• 다색 클리크의 정점 간 인접성 제약 조건을 인코딩하기 위해 특수한 트리플을 설계하는 것.
• 올바른 순서와 클리크 소속을 강제하기 위해 정점 및 간선 시뮬레이션 요소(예: c-요소, u-요소, s-요소)를 구성하는 것.
• 인덕티브 성질을 사용하여 순서의 중간 요소가 c-요소와 사이의 순서 제약 조건에 대해 올바르게 위치됨을 보장하는 것.
• 네 가지 핵심 성질을 통한 정당성 증명: c-요소의 순서, c-요소에 대한 u-요소의 위치, 간선 존재 여부에 따른 u-요소 위치 의존성, 다색 클리크 구조와의 일관성.
• 부분 순서의 폭을 매개변수로 삼는 인터메조 문제에 대한 XP-알고리즘을 수립하고, 지수 시간 가설(Exponential Time Hypothesis, ETH) 하에서 그 최적성도 증명하는 것.

실험 결과

연구 질문

• RQ1 일반 검색(GS)에 대한 마지막-들어간-트리 식별 문제는 NP-완전인가?
• RQ2 부분 순서의 하세 다이어그램이 높이가 유한한 트리인 경우에도 인터메조 문제의 NP-완전성은 유지되는가?
• RQ3 부분 순서의 폭을 매개변수로 삼을 때 인터메조 문제는 XP 시간 내에 해결 가능한가?
• RQ4 지수 시간 가설(ETH) 하에서 인터메조 문제에 대한 XP-알고리즘은 점근적으로 최적인가?
• RQ5 예를 들어 래티스 또는 간격 순서, 또는 트리 높이가 작은 그래프에 대해 인터메조 문제의 다항 시간 해법이 존재하는가?

주요 결과

• 일반 검색(GS)에 대한 마지막-들어간-트리 식별 문제는 NP-완전하나, GS에 대해 끝 정점 문제는 다항 시간 내에 해결 가능함에도 불구하고 그렇다.
• 부분 순서의 하세 다이어그램이 높이가 유한한 트리인 경우, 특히 높이가 36인 경우조차도 인터메조 문제의 NP-완전성은 유지된다.
• 부분 순서의 폭을 매개변수로 삼는 인터메조 문제에 대해 XP-알고리즘이 존재하며, 실행 시간은 f(width) · n^O(width)이다.
• 지수 시간 가설(ETH) 하에서, 어떤 계산 가능한 함수 f에 대해서도 f(k) · n^o(k) 시간 내에 인터메조 문제를 해결할 수 있는 알고리즘이 존재하지 않으며, 이는 XP-알고리즘이 점근적으로 최적임을 증명한다.
• GS에 대한 마지막-들어간-트리 식별 문제는 스패닝 트리의 잎의 수를 매개변수로 삼을 때 W[1]-완전이다.
• 다색 클리크 문제에서 인터메조 문제로의 감소는 클리크 탐지와 제약 조건이 있는 총순서 간의 밀접한 연결을 확립한다.