[논문 리뷰] Reconfiguration of Spanning Trees with Many or Few Leaves

Nicolás Bousquet, Takehiro Ito외 5명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 간선 뒤집기 연산을 통해 한 스패닝 트리를 다른 스패닝 트리로 변환하는 과정에서 잎의 수에 대한 제약 조건을 유지하면서 복잡도를 조사한다. 최소 k개의 잎을 유지하거나 최대 k개의 잎을 유지하는 문제(여기서 k ≥ 3)가 둘 다 PSPACE-완전하다고 증명한다. 이는 이중분할, 스플릿, 평면 그래프와 같은 제한된 그래프 클래스에서도 성립한다. 이 결과는 간선 뒤집기 재구성 문제에 대해 알려진 바 있는 최초의 PSPACE-난이도를 규명한다.

ABSTRACT

Let $G$ be a graph and $T_1,T_2$ be two spanning trees of $G$. We say that $T_1$ can be transformed into $T_2$ via an edge flip if there exist two edges $e \in T_1$ and $f$ in $T_2$ such that $T_2= (T_1 \setminus e) \cup f$. Since spanning trees form a matroid, one can indeed transform a spanning tree into any other via a sequence of edge flips, as observed by Ito et al. We investigate the problem of determining, given two spanning trees $T_1,T_2$ with an additional property $Π$, if there exists an edge flip transformation from $T_1$ to $T_2$ keeping property $Π$ all along. First we show that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at most $k$ (for any fixed $k \ge 3$) leaves is PSPACE-complete. We then prove that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at least $k$ leaves (where $k$ is part of the input) is PSPACE-complete even restricted to split, bipartite or planar graphs. We complete this result by showing that the problem becomes polynomial for cographs, interval graphs and when $k=n-2$.

연구 동기 및 목표

• 간선 뒤집기 방법을 사용하여 잎 수 제약 조건 하에서 스패닝 트리 재구성의 복잡도를 연구하는 것.
• 각 단계에서 최소 k개의 잎을 유지하면서 두 스패닝 트리 간의 변환이 존재하는지 여부를 판단하는 것.
• 간선 뒤집기 변환 과정에서 최대 k개의 잎을 유지하는 문제의 복잡도를 분석하는 것.
• 일반적으로 PSPACE-완전한 문제이지만 특정 그래프 클래스에서는 다항시간에 해결 가능한 경우를 식별하는 것.
• 특히 작은 k 값이나 특수한 그래프 가족에서의 다항시간 문제와 다항시간이 아닌 문제의 경계를 탐색하는 것.

제안 방법

• 최대 k개의 잎을 유지하는 문제의 PSPACE-완전성을 증명하기 위해 VERTEX COVER에서 HAMILTONIAN PATH로의 감소를 사용한다.
• 구간 그래프 및 코그래프에서 C-최소 스패닝 트리와 표준 트리 구조를 사용하여 연결성을 분석한다.
• 내부 노드와 잎의 부착 구조에 대한 구조적 제약 조건을 가진 간선 뒤집기 순서를 적용한다.
• 정점 순서를 거꾸로 정렬하여 부분 그래프의 연결성을 판단하기 위해 임계 노드(r′_v, ℓ′_v)를 계산하는 후행 귀납법을 사용한다.
• 제약 조건이 없는 경우 간선 뒤집기 순서의 존재를 보장하기 위해 스패닝 트리의 매트로이드 성질을 활용한다.
• 구성 요소의 연결성을 판단하기 위해 부분 그래프(Hv, R(Hv, k′_v))에 대한 재구성 그래프를 정의하고 분석한다.

실험 결과

연구 질문

• RQ1 최소 k개의 잎을 유지하면서 한 스패닝 트리를 다른 스패닝 트리로 변환하는 문제는 PSPACE-완전한가?
• RQ2 k ≥ 3일 때 최대 k개의 잎을 유지하는 문제는 이중분할, 스플릿, 평면 그래프와 같은 제한된 그래프 클래스에서도 PSPACE-완전한가?
• RQ3 k = n − 2이거나 코그래프, 구간 그래프와 같은 특수한 그래프 클래스일 경우 문제를 다항시간에 해결할 수 있는가?
• RQ4 작은 잎 수의 여유가 있음에도 불구하고 재구성 가능성을 방해하는 특정 그래프 장애물이 존재하는가?
• RQ5 스패닝 트리의 어떤 구조적 성질(예: C-최소성, 내부 노드 순서)이 재구성 그래프의 연결성에 영향을 미치는가?

주요 결과

• 최소 k개의 잎을 유지하면서 스패닝 트리를 변환하는 문제는 이중분할, 스플릿, 평면 그래프와 같은 그래프에서도 PSPACE-완전하다.
• 모든 k ≥ 3에 대해 최대 k개의 잎을 유지하는 문제는 PSPACE-완전하다. 이는 간선 뒤집기 재구성 문제에 대해 알려진 바 있는 최초의 PSPACE-난이도를 규명한다.
• 코그래프와 구간 그래프에서는 k = n − 2일 때 문제는 다항시간에 해결 가능하다.
• 구간 그래프에서는 C-최소성 검증과 임계 노드 r′_v 및 ℓ′_v의 계산을 통해 변환의 존재 여부를 다항시간에 결정할 수 있다.
• 구간 그래프에서 두 C-최소 스패닝 트리 사이에 변환이 존재하는 것은 그들의 두 번째 내부 노드가 동일하고, 해당 부분 그래프에서 그들의 부분 트리가 연결되어 있을 때이고 그때에만 성립한다.
• 외평면 그래프에서는 C4에 추가 간선이 있거나 두 개의 평행 경로가 존재하는 경우와 같은 장애물이 재구성 가능성을 방해하므로, 이러한 클래스에서는 구조적 제약이 존재한다.